sitelogo
ガーベジ・コレクション
MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.

IF/Prologシステムが要するメモリサイズを最小限にするために、Prologのデータベース(アトム、節....)には、バージョン2.2以降、自動的に不要な領域(ガーベジ)を収集する機能が設けられています。

バージョン4.0では、Prologのスタック(ダイナミック・データ)のサイズを減少させるための、新しいガーベジ・コレクタが実装されています。このメカニズムは、演算を続けるためのメモリが残っていない場合、自動的にスタートします。ガーベジ・コレクションが望ましい結果をもたらさない際には、スタックサイズが拡張されます。オペレーティング・システムにより提供されたメモリを使い切るまで、あるいは、ユーザが定義した最大のスタック・サイズに到達するまで、このアルゴリズムは適用されます。

戻る 続く..
冒頭へ managed with ubiCMS