○ インスコ
○ 使う
4個くらいのナンセンスなプログラムを例にぐるメポップの見つけ方の例を示します．
(0) 準備
(1) ループ内でmallocしたアドレスを何度も同じポインタ変数に代入しよう
実行結果はリークポイントが行数で表示されます．長いので端折りますが． ちなみにループが１回だと検出はしません．
(2) freeしないvoidのmalloc用関数を呼び出してみよう
(3) (2)のプログラムでちゃんとfreeしてみよう
(4) (2)のプログラムで取得した領域をstaticなポインタ配列に代入して保持しよう
ということで，領域のアドレスを保持したポインタ変数が生きてる場合は検出しませんが，解放してない領域のアドレスが手の届かないとこにいっちゃってfreeできない場合に有効みたいです．要するにこの書き方だと解放されずに上書きされたもののみ検出します．(0) 準備
define GC_DEBUG include "gc.h" define malloc(n) GC_MALLOC(n) define calloc(m,n) GC_MALLOC((m)*(n)) define free(p) GC_FREE(p) define realloc(p,n) GC_REALLOC((p),(n)) define CHECK_LEAKS() GC_gcollect()デバッグ用に上の文を書いときます．プログラム内でmallocした領域がBoehmの管理下に入ります． ちなみにこれを導入したプログラムをgccでコンパイルするときのオプション例は以下．
gcc -o TS TS.c -I/usr/local/include -L/usr/lib -lgc
int main(void)
{
GC_find_leak = 1;
int i; int *p;
for(i=0;i<100;i++){
p = (int *)malloc(100*sizeof(int));
}
exit(0);
return 0;
}
GC_find_leak=1は ぐるポ検出モードです．
return の前に exit してるのは return した瞬間にガベコレが働いていろいろうるさかったからです．Let Mr.Exit shut him upということです．
とりあえずこれでちゃんと検出できました．やったね！v(^o^)v
実行結果はリークポイントが行数で表示されます．長いので端折りますが． ちなみにループが１回だと検出はしません．
(2) freeしないvoidのmalloc用関数を呼び出してみよう
void isalloc(int n)
{
int *p;
p = (int *)malloc(n*sizeof(int));
}
int main(void)
{
GC_find_leak = 1;
int i;
for(i=0;i<100;i++){
isalloc(100);
}
exit(0);
return 0;
}
検出．これはループ呼び出し１回だけでも検出します．
(3) (2)のプログラムでちゃんとfreeしてみよう
void isalloc(int n)
{
int *p;
p = (int *)malloc(n*sizeof(int));
free(p);
}
検出せず．void isalloc(int n)
{
int *p;
static int num_hist=0;
static int **p_hist;
p = (int *)malloc(n*sizeof(int));
p_hist = (int **)realloc(p_hist, sizeof(p_hist)+n*sizeof(int *));
p_hist[num_hist++] = p;
}
これも検出せず．役立つのか微妙ですが興味ある人はお役立てください．
