Kotlin coroutines xảy ra - trước khi đảm bảo?

Các coroutines Kotlin có cung cấp bất kỳ đảm bảo "xảy ra trước" không?

Ví dụ, có đảm bảo "xảy ra trước" giữa ghi mutableVarvà đọc tiếp theo (có khả năng) luồng khác trong trường hợp này:

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

Biên tập:

Có thể ví dụ bổ sung sẽ làm rõ câu hỏi tốt hơn vì nó nhiều hơn Kotlin-ish (ngoại trừ khả năng biến đổi). Mã này có an toàn không:

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

private data class Data(var data: Int)

Mã bạn đã viết có ba lần truy cập vào trạng thái chia sẻ:

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

Ba truy cập được sắp xếp theo thứ tự nghiêm ngặt, không có sự tương tranh giữa chúng và bạn có thể yên tâm rằng cơ sở hạ tầng của Kotlin sẽ thiết lập một cạnh xảy ra trước khi đưa vào nhóm xử lý IOvà quay lại coroutine của bạn.

Đây là một ví dụ tương đương có lẽ có vẻ thuyết phục hơn:

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

Vì delaylà một chức năng có thể tạm dừng và vì chúng tôi đang sử dụng bộ Defaultđiều phối được hỗ trợ bởi nhóm luồng, nên mỗi dòng 1, 2 và 3 có thể thực thi trên một luồng khác nhau. Do đó, câu hỏi của bạn về các đảm bảo xảy ra trước khi áp dụng như nhau cho ví dụ này. Mặt khác, trong trường hợp này (tôi hy vọng) hoàn toàn rõ ràng rằng hành vi của mã này phù hợp với các nguyên tắc thực hiện tuần tự.

Coroutines trong Kotlin không cung cấp xảy ra trước khi đảm bảo.

Quy tắc là: bên trong một coroutine, mã trước khi gọi hàm tạm dừng xảy ra trước mã sau cuộc gọi tạm dừng.

Bạn nên nghĩ về coroutines như thể chúng là những chủ đề thông thường:

Mặc dù một coroutine trong Kotlin có thể thực thi trên nhiều luồng, nó giống như một luồng từ quan điểm của trạng thái có thể thay đổi. Không có hai hành động trong cùng một coroutine có thể được đồng thời.

Nguồn: https://proandroiddev.com/what-is-conciverse-access-to-mutable-state-f386e5cb8292

Quay trở lại ví dụ mã. Chụp vars trong các cơ quan chức năng lambda không phải là ý tưởng tốt nhất, đặc biệt khi lambda là một coroutine. Mã trước lambda không xảy ra trước mã bên trong.

Xem https://youtrack.jetbrains.com/su/KT-15514