LLVM 中的多线程 GC

Question

我想为支持多线程的语言实现 GC。线程之间不会有共享状态，因为通信将基于消息传递。我不太关心性能。我的首要任务是让事情顺利进行。

我已阅读有关编写 GC 的 LLVM 指南：http://llvm.org/docs/GarbageCollection.html。影子堆栈方法看起来很有前途。问题是，如指南中所述，影子堆栈是单线程解决方案。 如果我能让 LLVM 在每个线程的基础上创建一个影子堆栈，那将是理想的。这是如何实现的？

Answer 1

你有没有想过使用“绿色”线程？

由于您不太关心性能，因此听起来线程主要用于并发性。这可以在完全不使用多个操作系统级线程的情况下实现。在这种情况下，LLVM 的现有支持工作正常。