>>55
そう言う意味ではほとんどのGCが保守的です。
わざわざconservative GCと言うときは、別の意味です。
「本当にGCで管理しているオブジェクトへのポインタか
どうか正確にわからないので、もしそうでなくても問題
が起きないようなGC」と言う意味です。

LispやSmalltalk,新し目のJavaの処理系は、conservative
GCではありません。GCが管理しているポインタか、そうでない
値(Cの整数とかスタック内にセーブされたPCとか)か、GCが
正確に区別できるようにしてあります。

conservativeでないGCを特に区別するときは、exactなGCとか
preciseなGCと呼ぶようです。