Kotlin 協程多線程調度器和局部變量的線程安全

讓我們考慮這個帶有協程的簡單代碼

import kotlinx.coroutines.*
import java.util.concurrent.Executors

fun main() {
    runBlocking {
        launch (Executors.newFixedThreadPool(10).asCoroutineDispatcher()) {
            var x = 0
            val threads = mutableSetOf<Thread>()
            for (i in 0 until 100000) {
                x++
                threads.add(Thread.currentThread())
                yield()
            }
            println("Result: $x")
            println("Threads: $threads")
        }
    }
}

據我所知，這是相當合法的協程代碼，它實際上產生了預期的結果：

Result: 100000
Threads: [Thread[pool-1-thread-1,5,main], Thread[pool-1-thread-2,5,main], Thread[pool-1-thread-3,5,main], Thread[pool-1-thread-4,5,main], Thread[pool-1-thread-5,5,main], Thread[pool-1-thread-6,5,main], Thread[pool-1-thread-7,5,main], Thread[pool-1-thread-8,5,main], Thread[pool-1-thread-9,5,main], Thread[pool-1-thread-10,5,main]]

問題是什麼使局部變量的這些修改成為線程安全的（或者是線程安全的？）。我知道這個循環實際上是按順序執行的，但它可以在每次迭代時更改正在運行的線程。在第一次迭代中從線程完成的更改仍然應該對在第二次迭代中拾取此循環的線程可見。哪個代碼可以保證這種可見性？我試圖將此代碼反編譯為 Java 並使用調試器挖掘協程實現，但沒有找到線索。