すべてのmallocチャンクを反復する方法（glibc）

Question

私はすべてのアリーナですべてのmalloc_chunkを反復しようとしています。

がtop_chunkはそれの内部top_chunk、に基づくものアリーナの内側上部チャンクをポイントし、そこのIは、各アリーナを知っているようにしている（メモリリークやメモリ破損調査のために、コア・ファイルに基づいて、デバッグ）コードに基づいprev_sizeとサイズ、（glibcの/のmalloc/malloc.c）： Iは、以前の連続チャンクを取得し、その後、ループ1つのアリーナ内のすべてのチャンクができます。 （私はWinDBG：！heap -stat -hのようなサイズと数のチャンクを統計できます）また、prev_sizeとサイズに基づいて、チャンクが壊れているかどうかを確認できます。

アリーナ（malloc_state）には、次のアリーナを指すの次のというメンバー変数があります。それから私はすべてのアリーナのチャンクをループすることができます。

しかし、チャンクが割り当てられていない場合、prev_sizeが無効で、以前のmalloc_chunkを取得する方法が問題になりましたか？または、この方法は正しくありません。

---

質問の背景：

私たちが持っているメモリリークのバグが（私たちのプロジェクトは、分散ストレージクラスタです）いくつかのオンラインデータノードで報告されたメモリリークです。

1. 我々はテストクラスタ内のバグを再現するためにvalrgindを使用しますが、残念ながら私たちは何を取得：私たちがしたし、その結果どのような

   。

2. 私はヒープの詳細を調べようとしましたが、ヒープチャンクを分析し、WinDBG（これはメモリリークとメモリ破損を助長する非常に面白いヒープコマンドを持っていました）私が尋ねた質問によってブロックされました。

3. 私はvalgrind-massifを使って割り当てを分析しています（これは非常に詳細で興味深いと思いますが、どの割り当てにどのくらいのメモリが必要かを示すことができます）。 Massifはいくつかの手がかりを示し、私たちはこれに従ってコードをチェックし、最終的に漏れを見つけました（マップは非常に巨大で、適切な使い方ですが、ホルダークラスのデストラクタで消去します。

glicのmalloc構造の詳細については、gdbヒープのソースコードについて詳しく調べていきます。

Answer 1

はまず、mallocの実装の詳細を掘り下げる前に、あなたの時間は、より良いvalgrindなどのツールと一緒に過ごしたことがあり、あるいは内部ヒープの一貫性があなたのために仕事をチェックできるようにMALLOC_CHECK_環境変数で実行されます。あなたが尋ねたので、

しかし、....

のglibcのmalloc.cは、以前のチャンクを見ているに関するいくつかの有用なコメントがあります。

いくつかの特に興味深いものは以下のとおりです。

/* Note that we cannot even look at prev unless it is not inuse */

そして：

If prev_inuse is set for any given chunk, then you CANNOT determine the size of the previous chunk, and might even get a memory addressing fault when trying to do so.

これはただのmalloc implimentationの制限です。以前のチャンクが使用されているときは、サイズを格納するフッターが割り当てのユーザーデータによって代わりに使用されます。

それはあなたのケースを助けることはありませんが、あなたは前のチャンクがprev_inuseマクロが何をするか、以下で使用されているかどうかを確認することができます。

#define PREV_INUSE 0x1 
#define prev_inuse(p) ((p)->size & PREV_INUSE) 

現在のチャンクのサイズの下位ビットをチェックします。 （すべてのチャンクサイズは4で割り切れるので、下位2ビットはステータスに使用できます）。これは、あなたの反復を止めてから、無人の土地に行くのを助けます。

残念ながら、あなたはまだ、すべてのチャンクを訪れる前に、早期にあなたのループを終了することと思います。

あなたが本当に上のすべてのチャンクを反復処理したい場合、私はあなたがmalloc_state::topで開始することをお勧めしますとtopにnext_chunknext_chunkまでのポイントをたどるだろう。