Corotines Kotlin“ รับประกันก่อนเกิด”

corotines Kotlin ให้การรับประกัน "ที่เกิดขึ้นก่อนหน้า" หรือไม่?

ตัวอย่างเช่นมีการรับประกัน "ที่เกิดขึ้นก่อน" ระหว่างการเขียนถึงmutableVarและการอ่านในภายหลัง (อาจ) เธรดอื่น ๆ ในกรณีนี้:

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

แก้ไข:

บางทีตัวอย่างเพิ่มเติมอาจทำให้คำถามชัดเจนขึ้นเพราะมันมากขึ้น Kotlin-ish (ยกเว้นความไม่แน่นอน) โค้ดนี้ปลอดภัยสำหรับเธรดหรือไม่:

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

การเข้าถึงสามครั้งนั้นมีการเรียงลำดับอย่างเคร่งครัดโดยไม่มีการทำงานพร้อมกันและคุณสามารถมั่นใจได้ว่าโครงสร้างพื้นฐานของ Kotlin จะดูแลการสร้างขอบก่อนเกิดขึ้นเมื่อส่งไปยังIOเธรดพูลและกลับไปยังคอร์รูทีนการโทรของคุณ

นี่คือตัวอย่างที่เทียบเท่าที่อาจดูน่าเชื่อถือมากขึ้น:

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

เนื่องจากdelayเป็นฟังก์ชั่นที่ระงับได้และเนื่องจากเรากำลังใช้โปรแกรมเลือกจ่ายDefaultงานที่สำรองข้อมูลโดยกลุ่มเธรดบรรทัดที่ 1, 2 และ 3 อาจดำเนินการบนเธรดที่แตกต่างกัน ดังนั้นคำถามของคุณเกี่ยวกับการรับประกันที่เกิดขึ้นก่อนมีผลบังคับใช้กับตัวอย่างนี้ ในทางกลับกันในกรณีนี้มันเป็น (ฉันหวังว่า) ชัดเจนอย่างสมบูรณ์ว่าพฤติกรรมของรหัสนี้สอดคล้องกับหลักการของการดำเนินการตามลำดับ

Coroutines ใน Kotlin จัดทำขึ้นก่อนการรับประกัน

กฎคือ: ภายใน coroutine รหัสก่อนการเรียกฟังก์ชั่นการระงับเกิดขึ้นก่อนรหัสหลังจากการโทรที่ถูกระงับ

คุณควรคิดถึง coroutines ราวกับว่ามันเป็นหัวข้อปกติ:

แม้ว่า coroutine ใน Kotlin สามารถรันบนหลายเธรดได้ แต่มันก็เหมือนกับเธรดจากสถานะที่ไม่แน่นอน ไม่มีสองการกระทำใน coroutine เดียวกันสามารถเกิดขึ้นพร้อมกัน

ที่มา: https://proandroiddev.com/what-is-concurrent-access-to-mutable-state-f386e5cb8292

กลับไปที่ตัวอย่างรหัส การถ่าย vars ในแลมด้าฟังก์ชั่นร่างกายไม่ใช่ความคิดที่ดีที่สุดโดยเฉพาะเมื่อแลมบ์ดาเป็น coroutine รหัสก่อนแลมบ์ดาจะไม่เกิดขึ้นก่อนรหัสข้างใน

ดูhttps://youtrack.jetbrains.com/issue/KT-15514