SBCLのREPLのメモリリーク

Question

REPLのSBCLガベージコレクタの次の動作に多少なりとも戸惑います。私は何ももう元の配列を参照していないことを期待する

(add-one (test-gc)) 

を実行し

(defun test-gc() 
    (let ((x (make-array 50000000))) 
    (elt x 0))) 

(defun add-one (x) (+ 1 x)) 

：二つの機能を定義します。しかし、（部屋の）報告書によると、記憶は解放されない。私は（テスト-GC）を実行した場合、直接、その後、いくつかの参照はSLIMEや

(list * ** ***) 

のどこかに立ち往生されている可能性が、理解していたが、ここでの場合であるのでしょうか？ありがとう、アンドレイ。

更新しばらく前に私はバグを提出しました。最近確認された。参照してください： https://bugs.launchpad.net/sbcl/+bug/936304

Answer 1

オブジェクトをもう何も参照しても、メモリが再利用されるわけではありません。ガベージコレクタは、将来はいつか実行され、しばしばメモリ不足エラーが発生する前に実行されるという唯一の保証があります。

ここで起こりうる別のことは、Lispプロセスのメモリ使用量を見ていることです。メモリがCG'edの場合、通常はオペレーティングシステムに返されません。代わりに、メモリは単にヒープ上で空きとしてマークされ、将来のメモリ割り当てで使用できます。

Answer 2

SBCLだけ...

(gc :full t)

これは、強制的にすべての世代間でガベージコレクションをキックオフします。私はSBCLが数日前に1トンのメモリを保持していたことに気付き、これを使用してメモリを「真の」使用に落としました。

私はgarbagey計算&実験のものを包むために、確実なgcマクロを書きました。私が覚えていれば私が帰宅したらそれを貼り付けます。