Gwarancje Kotlin „zdarzają się wcześniej”

Czy karliny Kotlin dają jakieś gwarancje „zdarzy się przed”?

Na przykład, czy w tym przypadku istnieje gwarancja „dzieje się przed” między zapisem mutableVara późniejszym odczytem (potencjalnie) innego wątku:

suspend fun doSomething() {
    var mutableVar = 0
    withContext(Dispatchers.IO) {
        mutableVar = 1
    }
    System.out.println("value: $mutableVar")
}

Edytować:

Być może dodatkowy przykład lepiej wyjaśni pytanie, ponieważ jest to bardziej Kotlin (z wyjątkiem zmienności). Czy ten kod jest bezpieczny dla wątków:

suspend fun doSomething() {
    var data = withContext(Dispatchers.IO) {
        Data(1)
    }
    System.out.println("value: ${data.data}")
}

private data class Data(var data: Int)

Napisany kod ma trzy dostępy do stanu współdzielonego:

var mutableVar = 0                        // access 1, init
withContext(Dispatchers.IO) {
    mutableVar = 1                        // access 2, write
}
System.out.println("value: $mutableVar")  // access 3, read

Trzy dostępy są ściśle uporządkowane kolejno, bez współbieżności między nimi, i można mieć pewność, że infrastruktura Kotlin za dba ustanowienia dzieje, przed krawędzią gdy przekazanie off do IOpuli wątków i powrotem do wywołującego współprogram.

Oto równoważny przykład, który może być bardziej przekonujący:

launch(Dispatchers.Default) {
    var mutableVar = 0             // 1
    delay(1)
    mutableVar = 1                 // 2
    delay(1)
    println("value: $mutableVar")  // 3
}

Ponieważ delayjest to funkcja zawieszalna i ponieważ używamy programu Defaultrozsyłającego, który jest wspierany przez pulę wątków, linie 1, 2 i 3 mogą być wykonywane w innym wątku. Dlatego twoje pytanie dotyczące gwarancji przed zdarzeniem dotyczy w równym stopniu tego przykładu. Z drugiej strony w tym przypadku (mam nadzieję) jest całkowicie oczywiste, że zachowanie tego kodu jest zgodne z zasadami sekwencyjnego wykonywania.

Coroutines in Kotlin naprawdę się dzieje przed gwarancjami.

Zasada jest następująca: wewnątrz coroutine kod przed wywołaniem funkcji zawieszenia występuje przed kodem po wywołaniu zawieszenia.

Powinieneś pomyśleć o coroutines tak, jakby były zwykłymi wątkami:

Mimo że koruta w Kotlinie może wykonywać wiele wątków, jest ona jak wątek z punktu widzenia stanu zmiennego. Żadne dwie akcje w tym samym języku nie mogą być równoległe.

Źródło: https://proandroiddev.com/what-is-concurrent-access-to-mutable-state-f386e5cb8292

Wracając do przykładu kodu. Wychwytywanie zmiennych w ciałach funkcji lambda nie jest najlepszym pomysłem, szczególnie gdy lambda jest koroutyną. Kod przed lambda nie występuje przed kodem w środku.

Zobacz https://youtrack.jetbrains.com/issue/KT-15514