2011-10-26 1 views

答えて

8

割り当てられたメモリがスレッドローカルではないためです。それはすべてのスレッドによって共有されています。

変数はスレッドローカルなので、スコープ外になると割り当てられたメモリは確実に失われます(そのポインタが他の場所にコピーされていないと、明らかにvalgrindが確実にレポートするためではありません)。紛失)

あなたはfreeにする必要があります。

+0

Uhmはい、スレッドローカルです。それが__threadの全体のポイントです。 – Blub

+2

いいえ、変数だけが..そして誰がこれを下降させましたか? –

+2

それは正しい答えです。落下者は愚かではありません。 –

2

freeを呼び出して明示的に割り当てを解除する必要があります。

mallocによって割り当てられたヒープ割り当てメモリは、freeを呼び出すことによって明示的に解放されるまで再要求されません。スレッドが終了すると、割り当てられたローカル記憶域オブジェクトのみが自動的に割り当てが解除されます。

スレッドが終了すると割り当てられたメモリへのポインタがないため、これは間違いなく失われます。メモリを指すポインタはスレッドのスタックに対してローカルであり、スレッドが終了すると破棄されますが、割り当てられたメモリはヒープメモリであり、割り当て解除されません。

2

ブロックへの唯一のポインタがスレッドローカルの場合、スレッドを終了すると、唯一のポインタが失われてしまいます。

これは、もはや到達可能ではなく=間違いなく失われたことを意味します。

2

他の人が言っているように、あなたはfreeです。

これは、すべてのスレッドが共通のヒープを共有し、概念的にはメモリの所有権をスレッド間で渡すことができるという理由があります。 1つのスレッドは何かをmallocし、別のスレッドはそれを解放することができます。しかし、ヒープはメモリを誰が所有しているのか分からないので、スレッドが終了すると(たとえヒープがどのスレッドをmallocしたとしても)安全に削除できませんでした。

プロセスが終了すると、すべてのヒープメモリが効果的に解放されますが、個別には実行されません。プロセスのヒープ全体(おそらく1つの大きな塊)がオペレーティングシステムに返されます。

+0

スレッド記憶域の場合、メモリは他のスレッドと共有されていないため、スレッドは安全に削除することができます。 (少なくとも論理的には共有されていませんが、他のスレッドが偶然メモリにアクセスすることはありません。例えば、配列のオーバーフローの方法によって) – Blub

+1

@Blub:*ポインタ*のみがスレッドローカルです。それが実際に指していることはありません。 'malloc'は、スレッドローカルポインタにリターンを割り当てることを知る方法がありません。 – Roddy

+0

@Blub:一般に、メモリが他のスレッドからアクセスできないと判断することは、停止問題と同じです。だからあなたが提案しているのは、一時停止問題の特別なケースがあなたのコンパイラによって解決できるかどうかに基づいて、メモリが解放されることがあり、時には解放されないということです。 double-freeは非常に危険な未定義の動作を引き起こし、自動的に解放されるかどうかを知る方法がないことを考慮すると、これは災害のレシピのように聞こえます! –

0

これは、「味が良い」/「少ない充填」のようなものです。 Valgrindは正しいですし、データは "まだ到達可能です"。たとえば、データにパスワードが含まれている場合、100%はヒープスキャンからそれらを抽出できます。一意の乱数でデータが開始された場合は、それを再配置することができます。 Valgrindは、ポインタを介してデータにアクセスできなくなったことを意味します。

関連する問題