LLVM中的多線程GC

Question

我想爲支持多線程的語言實現GC。線程之間不會有共享狀態，因爲通信將基於消息傳遞。我不關心表現。我的首要任務就是讓事情順利進行。

我已閱讀LLVM指南寫作GC：http://llvm.org/docs/GarbageCollection.html。影子疊加法看起來非常有前景。問題是，如指南中所述，影子堆棧是單線程解決方案。 如果我能讓LLVM在每個線程的基礎上創建一個影子堆棧，那將是理想的。這怎麼可能實現？

Answer 1

你有沒有想過使用「綠色」線程？

既然你不關心性能，聽起來像線程主要是爲了併發。這可以在不使用多個OS級線程的情況下實現。在這種情況下，LLVM的現有支持正常工作。