Scala 本机线程和 GC 问题

Question

目前 ScalaNative 是单线程的。 但是我们可以使用 POSIX API（例如）来创建和管理线程（以及共享资源）。

我的问题与垃圾收集器有关：

• 使用带有线程的 Scala 原生及其默认 GC (immix) 是否安全？
• 如果答案是肯定的。 此解决方案可能不如预期的那样有效； 有一些基准吗？
• 如果答案是否定的。 将 GC 更改为声称是并发的 Boehm 是否聪明？

Answer 1

• 不，目前（2021 年 1 月 19 日的 Scala Native 版本 0.4.0）在除严格单线程之外的任何情况下使用带有 immix 作为 GC 的 Scala Native 都是不安全的。 评论https://github.com/scala-native/scala-native/issues/101#issuecomment-633495602讨论了一些 then-current(-as-of-25-May-2020) 对多线程混合和影响的实验GC 上的绿色线程。
• 尽管 Boehm GC 本身可能能够支持多线程 GC，但它取决于语言的其余运行时和内存模型是否与 Boehm 垃圾收集器中的多线程 GC 规则正确交互，而 Scala Native 目前没有这样做，例如， “安全点”。
• 据我了解，多线程 Scala Native 的粗略用法是每个线程都有一个 GC，并保持该线程的所有分配只能在该线程上访问，这样就不会对任何实例进行任何线程间访问，因此每个线程都是就好像它是单线程的，因为该线程可以看到的所有内容都是孤立的。 但是这种对每个线程的简陋粗暴的严格隔离并不是多线程应用程序通常的意思。