びびすけ さんのページ

2件の日記があります。

循環参照によるメモリリーク (2008/06/20 15:44) 0 comment

ViViScript はリファレンスカウントでオブジェクトを管理しているので、GC（garbage collection）とは無縁だと思っていたのだが、
オブジェクトが循環参照しているとオブジェクトが開放されずメモリリークが発生する、ということを最近知った。orz
同じ問題は Perl や PHP 5.2 でも発生するそう なのだが、オブジェクトが循環参照することは稀だし、
スクリプトの実行が終了すれば全メモリが開放されるので、あまり問題にならないのだが、
やっぱり気持ち悪いので、対処に挑戦してみることにする。

というわけで、まずはメモリリークが発生することを確認するプログラム：
http://vivi.dyndns.org/tech/src/rcObject-001.h.txt
http://vivi.dyndns.org/tech/src/rcObject-001.cpp.txt

CRCObjectPtr インスタンスを生成すると、リファレンスカウントにより管理される CRCObjectBody が生成される。
代入が可能で、参照数がゼロになると CRCObjectBody オブジェクトがデリートされる。

使用例：
    cout << "\n複数オブジェクト生成、代入：\n";
    {
        cout << "obj1 生成 ";
        CRCObject obj1;
        cout << "obj2 生成 ";
        CRCObject obj2;
        cout << "代入 obj1 = obj2 ";
        obj1 = obj2;
        cout << "代入終わり.\n";
    }

実行結果：
複数オブジェクト生成、代入：
obj1 生成 alloced 4331952
obj2 生成 alloced 4331664
代入 obj1 = obj2 freed 4331952
代入終わり.
freed 4331664

=====
期待通りに動作していることが確認できる
(2) に続く

循環参照によるメモリリーク (2) (2008/06/20 16:01) 0 comment

次に循環参照を作ってメモリリークが発生することを確認してみる

[1] 自分自身で循環参照している場合：
    cout << "\n子オブジェクト設定（循環参照）：\n";
    {
        cout << "obj1 生成 ";
        CRCObject obj1;
        cout << "obj1 を obj1 の子供に設定 ";
        obj1.setChild1(obj1);
        cout << "設定終わり\n";
    }

実行結果：
子オブジェクト設定（循環参照）：
obj1 生成 alloced 4331952
obj1 を obj1 の子供に設定 設定終わり

[2] 2つのオブジェクトが循環参照している場合：
    cout << "\n子オブジェクト設定（循環参照2）：\n";
    {
        cout << "obj1 生成 ";
        CRCObject obj1;
        cout << "obj2 生成 ";
        CRCObject obj2;
        cout << "obj2 を obj1 の子供に設定 ";
        obj1.setChild1(obj2);
        cout << "設定終わり\n";
        cout << "obj1 を obj2 の子供に設定 ";
        obj2.setChild1(obj1);
        cout << "設定終わり\n";
    }

実行結果：
子オブジェクト設定（循環参照2）：
obj1 生成 alloced 4331616
obj2 生成 alloced 4331328
obj2 を obj1 の子供に設定 設定終わり
obj1 を obj2 の子供に設定 設定終わり

=====
上記のように、循環参照していると確かにオブジェクト本体のメモリが開放されないことが確認できた。

2件の日記があります。