Kotlin yardımcı programları “daha ​​önce olur” garantileri veriyor mu?

Kotlin yardımcı programları "daha önce olur" garantisi veriyor mu?

Örneğin, mutableVarbu durumda başka bir konuya yazma ve daha sonra okuma (potansiyel olarak) arasında "daha önce olur" garantisi var mı :

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

Düzenle:

Belki ek örnek, daha fazla Kotlin-ish olmasına rağmen (değişebilirlik hariç) soruyu daha iyi açıklayacaktır. Bu kod iş parçacığı için güvenli mi?

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

private data class Data(var data: Int)

Yazdığınız kodun paylaşılan duruma üç erişimi var:

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

Üç erişim kesinlikle sıralı olarak düzenlenir, aralarında hiçbir eşzamanlılık yoktur ve Kotlin'in altyapısının iş parçacığı havuzuna teslim edilirken ve çağrı yapan koroutine geri dönerken önce bir kenar oluşturmaya özen gösterdiğinden emin olabilirsiniz IO.

Belki de daha ikna edici görünebilecek eşdeğer bir örnek:

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

Yana delaybir asılabilir fonksiyonudur ve biz kullanıyoruz çünkü Defaultbir iş parçacığı havuzu tarafından desteklenen hareket memurunu, çizgiler 1, 2 ve 3 her biri farklı bir iş parçacığı üzerinde çalıştırabilir. Bu nedenle daha önce olma ile ilgili sorunuz garantiden bu örnek için aynı derecede geçerlidir. Öte yandan, bu durumda, bu kodun davranışının sıralı yürütme ilkeleri ile tutarlı olduğu (umarım) tamamen açıktır.

Kotlin'deki yardımcı programlar garantilerden önce gerçekleşir.

Kural şudur: Bir eşyordamın içinde kod öncesinde bir işlev çağrısı askıya almak önce olur kodundan sonra aramayı bekletin.

Koroutinleri normal iplikçiymiş gibi düşünmelisiniz:

Kotlin'deki bir program, birden çok iş parçacığında çalışabilse de, değişebilir durum açısından bir iş parçacığı gibidir. Aynı ortak programdaki hiçbir iki eylem eşzamanlı olamaz.

Kaynak: https://proandroiddev.com/what-is-concurrent-access-to-mutable-state-f386e5cb8292

Kod örneğine dönme. Lambda fonksiyon gövdelerinde çeşitlilik yakalamak, özellikle lambda koroutin olduğunda en iyi fikir değildir. Lambdadan önceki kod içerideki koddan önce olmaz.

Bkz. Https://youtrack.jetbrains.com/issue/KT-15514