使用协程的 Kotlin/Native 多线程

Question

我一直在尝试使用 kotlin 多平台，它非常棒，但线程让我难堪。线程之间的状态冻结在概念上是有意义的，并且在来回传递小对象或原语的简单示例中工作正常，但在现实世界的应用程序中，我无法绕过 InvalidMutabilityException。

从 Android 应用程序中获取以下常见代码片段

class MainViewModel(
    private val objectWhichContainsNetworking: ObjectWhichContainsNetworking
)

    private var coreroutineSupervisor = SupervisorJob()
    private var coroutineScope: CoroutineScope = CoroutineScope(Dispatchers.Main + coreroutineSupervisor)

    private fun loadResults() {
        // Here: Show loading
        coroutineScope.launch {
            try {
                val result = withContext(Dispatchers.Default) { objectWhichContainsNetworking.fetchData() }
                // Here: Hide loading and show results
            } catch (e: Exception) {
                // Here: Hide loading and show error
            }
    }
}

没有什么非常复杂的，但如果在公共代码中使用并从 Kotlin/Native 运行，那么在 MainViewModel 上 pow InvalidMutabilityException。

其原因似乎是传入 withContext 的任何内容都被递归冻结，因为 objectWhichContainsNetworking 是 MainViewModel 的一个属性并在 withContext 中使用，然后 MainViewModel 被冻结。

所以我的问题是，这只是当前 Kotlin/Native 内存模型的限制吗？或者也许是当前版本的协程？有什么办法可以解决这个问题吗？

注意：协程版本：1.3.9-native-mt。科特林版本 1.4.0。

---

编辑 1：所以看起来上面的精简代码实际上工作正常。事实证明，有罪的代码是视图模型中的一个可更新变量（用于保持对最后一个视图状态的引用），该变量被冻结，然后在尝试改变时抛出异常。我将尝试使用 Flow/Channels 来确保不需要 var 引用，看看这是否能解决整个问题。

注意：如果有一种方法可以避免 MainViewModel 一开始就被冻结，那还是太棒了！

---

编辑 2：用 Flow 替换 var。在使用这里的帮助程序之前，我无法在 iOS 中收集标准流：https : //github.com/JetBrains/kotlinconf-app/blob/master/common/src/mobileMain/kotlin/org/jetbrains/kotlinconf/FlowUtils。千吨。

MainViewModel 仍然被冻结，但由于它的所有状态都是不可变的，因此不再是问题。希望它可以帮助某人！

Answer 1

在原始代码中，您引用父对象的字段，这使您捕获整个父对象并将其冻结。这不是协程的问题。协程遵循与 Kotlin/Native 中所有其他并发库相同的规则。当你跨线程时它会冻结 lambda。

class MainViewModel(
    private val objectWhichContainsNetworking: ObjectWhichContainsNetworking
)

//yada yada
    private fun loadResults() {

        coroutineScope.launch {
            try {

                val result = withContext(Dispatchers.Default) {

                    //The reference to objectWhichContainsNetworking is a field ref and captures the whole view model
                    objectWhichContainsNetworking.fetchData() 

            }

        } catch (e: Exception) {}
    }
}

为了防止这种情况发生：

class MainViewModel(
    private val objectWhichContainsNetworking: ObjectWhichContainsNetworking
){
    init{
        ensureNeverFrozen()
    }
    //Etc

内存模型最复杂的就是这个。习惯被捕获的东西并避免它。当你习惯了之后并不难，但是你需要学习基础知识。

我已经详细讨论过这个问题：

实用 Kotlin/Native 并发

Kotlin 原生并发实践

KotlinConf KN 并发

内存模型正在发生变化，但还需要相当长的一段时间才能实现。一旦您习惯了内存模型，不可变问题通常就很容易诊断。