「ガベージコレクション」を編集中 (節単位)

== 主なガベージコレクション方式 ==
ガベージコレクションと一言でいっても様々な方式や実装が発表されている。どれも一長一短はあるが、1950年代の[[LISP]]に実装された最初のガベージコレクションから日進月歩で良くなりつつある。
;[[参照カウンター]]
:メモリを使うとカウンタを+1、使い終わるとカウンタ-1、カウンタが0なら解放というシンプルな方式。[[循環参照]]によって破綻し[[メモリリーク]]が発生する。
;[[マーク・アンド・スイープ]]
:間違いなく使われている[[オブジェクト]]を[[ランダム]]でひとつ選び、そこから別のオブジェクトへと参照を次々に辿ることを繰り返し、到達出来なかったオブジェクトは使ってないと見なし破棄する方法。
;[[コピーGC]]
:通常使用するメモリ領域と同じ容量のメモリ領域をもうひとつ用意し、ガベージコレクションの際に有効な[[オブジェクト]]のみをもう一方のメモリ領域に[[コピー]]する方法。メモリ領域をデータ保持に必要な容量の2倍消費すること、[[コピー]]の際に[[オブジェクト]]の[[アドレス]]が変更されることなどの欠点があるが、ガベージコレクションと[[コンパクション]]が同時に行える利点がある。
;[[世代別ガベージコレクション]]
:[[マークアンドスイープ]]と[[コピーGC]]のハイブリッド方式。[[メモリ]]が使われ始めてからの経過時間や、確保されたメモリサイズなどでグループを分け（このグループを「世代」という）、それぞれに異なるGC方式を適用するというもの。