Котлінські супроти гарантій "трапляються раніше" гарантують?

Чи надають супроводи Котліна які-небудь гарантії "раніше"?

Наприклад, чи існує гарантія "перед тим", що між записом mutableVarі наступним читанням (потенційно) іншого потоку в цьому випадку гарантує :

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

Редагувати:

Можливо, додатковий приклад уточнить питання краще, тому що це більше Котлін-іш (за винятком змінності). Чи безпечний цей код:

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

private data class Data(var data: Int)

Код, який ви написали, має три доступу до загального стану:

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

Три звернення суворо послідовно впорядковані, між ними не виникає суперечностей, і ви можете бути впевнені, що інфраструктура Котліна піклується про встановлення попереднього краю при передачі в IOпул потоків і назад до вашої програми виклику.

Ось еквівалентний приклад, який може виглядати більш переконливо:

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

Так delayяк це функція, що припиняється, і оскільки ми використовуємо Defaultдиспетчер, який підтримується пулом потоків, рядки 1, 2 і 3 можуть виконуватись в іншому потоці. Тому ваше питання про гарантії, що відбудуться раніше, однаково стосується цього прикладу. З іншого боку, в даному випадку абсолютно очевидно, що поведінка цього коду відповідає принципам послідовного виконання.

Програми в Котліні дійсно стають перед гарантіями.

Правило таке: всередині підпрограми код до виклику призупинення функції відбувається перед кодом після призупинення виклику.

Вам слід подумати про співпраці як би вони були звичайними нитками:

Навіть незважаючи на те, що програма в Котліні може виконуватись на декількох потоках, це подібно до потоку з точки зору стану, що змінюється. Жодна дія в одній програмі не може бути одночасною.

Джерело: https://proandroiddev.com/what-is-concurrent-access-to-mutable-state-f386e5cb8292

Повернення до прикладу коду. Захоплення вар в тілах функцій лямбда - не найкраща ідея, особливо, коли лямбда - це супровід. Код до лямбда не відбувається перед кодом всередині.

Дивіться https://youtrack.jetbrains.com/issue/KT-15514