KMM跨平台并发可变性规则iOS与Android表现差异及强制校验方案咨询

为什么commonMain代码运行在JVM上时不会强制校验并发可变性规则 #

• 你遇到的线程间对象可变性限制是Kotlin/Native平台特有的运行时约束，并不是Kotlin跨平台的通用规范。Kotlin/JVM完全遵循JVM原生内存模型，JVM本身就允许不同线程修改同一个堆内存中的可变对象，只会存在可见性、竞态条件等线程安全问题，不会在运行时层面直接禁止这类操作。
• Kotlin/JVM的核心设计目标是完全兼容Java生态，如果强行加入跨线程修改的硬性限制，会导致几乎所有现有Java库、Android框架代码都无法正常运行，不具备可行性。
• commonMain仅作为跨平台共享代码的声明容器，编译阶段会由对应平台的编译器后端生成平台特有代码，只会遵循目标平台的运行时规则，不会额外添加跨平台统一的可变性校验逻辑。

补充说明：如果你使用的是Kotlin 1.7.20及以上版本，Kotlin/Native默认已经启用了新版内存管理器，已经移除了旧版的冻结和跨线程修改限制，默认不会再抛出InvalidMutabilityException异常。

如何在JVM上强制启用可变性规则 #

目前有成熟的方案可以在JVM侧（包括Android单元测试）实现和旧版K/N一致的可变性校验，保障跨平台逻辑一致性：

• 引入Touchlab出品的Stately并发工具库，它的检测模块完全对齐K/N原生可变性规则，给需要校验的共享可变对象添加对应的包装或注解后，跨线程修改时就会在JVM上抛出和iOS侧完全一致的InvalidMutabilityException异常。
• 开启kotlinx.coroutines的并发调试检测能力，在单元测试启动参数中添加-Dkotlinx.coroutines.debug.enable.concurrent.coroutines.detection=true，可以检测协程跨上下文访问可变状态的风险，支持配置为检测到违规直接抛出异常。
• 启用Kotlin官方的并发安全静态检查编译器插件，在编译期就可以识别出commonMain中存在的跨线程可变状态违规问题，不需要到运行时才发现问题。

内容的提问来源于stack exchange，提问作者Matt.M