C++のGCに関しては/CLIが正解だと思うな。グダグダとは思わない。
アプリの本質的な所をGC有りで作って、
GC無しでラップするのもそう難しい事じゃないだろう。
既存資産の利用・実行速度・開発効率を取捨選択出来るのはC++の良い所だし。

Boehmはあまりにトリッキー過ぎる。
すごいとは思うけど、やっぱり「無理してる」と思う。

GCは根っ子（スタックなど）からのGC参照の連鎖が取得出来る必要がある。
そのためには言語レベルでの制限がどうしても必要になる。

本当に効率的にGCするにはOSレベルか、
複数のアプリをまとめて管理するフレームワークが必要だろうね。
個々のプロセスが領域取るのは無駄が大きい。
javaのアプリケーションサーバーみたいにしないと。