Boehm GC ライブラリを使って C/C++ でもガベージコレクションしよう

作成日：2002.10.9
修正日：2004.01.8

Boehm GC ライブラリとは

ガーベージコレクション

メモリリーク(memory leak)

すでに不用になったメモリを 解放し忘れたまま、 その領域への参照(ポインタ)を失った状態。 C/C++ では、 1度 参照(ポインタ)を失ってしまった メモリ領域は 解放ができなくなります。

{
  {
    char* p = (char*)malloc( SIZE ); /* (1) */
  }
  
  /* 変数 p がスコープの外に出ると、(1) によって確保された
     メモリ領域は解放不能 */
}

この場合、 プログラムが終了するまで回収できない メモリ領域が プロセス中に残ることになります。 これをメモリリークと呼びます。 メモリリークが積もって行くと、 使用可能なメモリが増えてゆき、 プログラムを停止せざるえなくなります。

ダングリングポインタ(dangling pointer)

ポインタが不正なメモリ領域を指している状態を ダングリングポインタと呼びます。
特に C / C++ ではポインタに任意の値を代入できるので、 様々なタイプのダングリングポインタが発生します。

void foo(char** p) {
  char c;
  *p = &c;
}

char* p = NULL;
foo(&p);
/* p は不正なメモリアドレスを指している */

ダングリングポインタの中で 最も発見が見つけ辛いのが、 本来 正常なオブジェクトを指していたポインタが、 参照しているオブジェクトが解放されたために ダングリングポインタを指してしまうパターンです。

char* p = (char*) malloc(SIZE);
free(p);

char* q = (char*) malloc(SIZE);

/* p は不正なメモリアドレスを指している */
/* もしかすると p == q で、p を書き直すと q の内容が変わるかも */

解放された領域が、 次回以降のメモリ割り付けで再利用されている場合、 不正な書き変えを行ってしまいます。

インストール

> tar xzvf gc6.1.tar.gz

> cd gc6.1/
> ./configure
> make
> make check
> su
# make install

# cp -r  include /usr/local/include/gc

戻る