Is het verplicht om synchronisatie te gebruiken bij het uitvoeren van coroutines die in de Main Dispatcher worden gestart om een globale variabele veilig te verhogen?

Als coroutines worden gestart in de Main Dispatcher (dus in de hoofdthread), is synchronisatie voor het verhogen van een gedeelde variabele meestal niet nodig, omdat de code sequentieel wordt uitgevoerd in één thread.

Echter, als de variabele vanuit andere threads of dispatchers kan worden gewijzigd, is synchronisatie nodig om racecondities te voorkomen.

Voorbeeld van veilige verhoging van een variabele in de Main Dispatcher:

var counter = 0

fun increment() {
    // Wordt uitgevoerd in de Main Dispatcher, dus geen synchronisatie nodig
    counter++
}

Als toegang tot de variabele vanuit verschillende threads plaatsvindt, wordt het gebruik van Mutex of atomische types aanbevolen.