河野真治 @ 琉球大学情報工学です。

いや、最初からほとんどないとか防御はしてるんですけど、できない
ってのは取り下げますです。

> で、参照カウント方式でないと、incremental GCは、ほぼ不可能です。

リアルタイムGCに要求される機能って、

    GC を任意のタイミングで prempt できる
あるいは、
    incremental GC の時間を制約できる

ってことなのかな。

In article <ch7fe2$1a70@utogw.gssm.otsuka.tsukuba.ac.jp>, kuno@gssm.otsuka.tsukuba.ac.jp writes
>   ごく普通のマークスイープGCの行う動作を、1セル割り当てるごとに
> 「一定量」ずつ行うことができないと思う根拠は何かありますか?

できると思うけど、あまり簡単ではないでしょうね。(問題とその解決法が
2,3いきなり頭の中で点滅した...) 振舞的には lazy  reference
count っぽいのか。

GCの機能を持った集約データ型を作るって方がプログラム言語外で
話が済むので簡単そうだと思う。削除するタイミングとか生き死に
をの判定を知っていれればよいわけだから。なんだけど、これまで
の話だと、汎用GC を持っている言語で、それをやると機能重複で
遅くなるってなことなんですよね。

---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科