ガベージコレクタはどのようにすべてのスレッドを効率的に停止しますか？

Question

私は現在、C++のサイドプロジェクトとして単純な言語のコンパイラを実装しています。私はガベージコレクタを追加したいと思います。ほとんどの（すべて？）ガベージコレクションアルゴリズムは、ある時点で世界を停止させることを伴います。

私は親スレッドからスレッドのセットを一時的に一時停止する効率的な方法があるかどうかを知ることに興味があります。私が見る唯一の他のオプションは、GCがすべての関数とループの先頭で実行したいかどうかを定期的にチェックすることです。これは、毎回ロックしてロックを解除しなければならないため、かなりのオーバーヘッドが発生するため、非効率的なものとして私を襲ってしまいます。これを行うより効率的な方法はありますか？

Answer 1

まともな方法はありません.C++標準ライブラリが、VMを中断できる場所を魔法のように理解することは期待できません。その論理はあなたが書く必要があるものです。

ここで説明したようにルールを実装することもできますし、N命令を少なくしてリーフ関数の例外を作成し、M番目のループの繰り返しなどをチェックすることもできます。あなたがこれに注ぐことができる脳の量に制限はありません。