Следует ли использовать механизмы синхронизации для корутин, если одни из них выполняются в IO-потоке, а другие в основном потоке, при доступе к общей переменной для инкремента?