マルチスレッド Afxbeginthreadでの書き込み読み込みに関して

Question

Afxbeginthreadで作ったスレッド内で
連続的にある変数の値を書き込むとします。

その間に
他スレッドでこのある変数の値を読み込もうとした際に問題は起きますか？

現在のプログラムでは連続的に書き換える変数の値を他スレッドで読み込もうとすると、
書き込み側のスレッドで時折アクセス違反として処理されてしまいます。

Answer 1

こんにちは。

他スレッドでこのある変数の値を読み込もうとした際に問題は起きますか？

連続的に書き込んでいる最中に他スレッドが動作して当該変数の値を読んだ場合、当該変数が書き換えられている途中なので矛盾が発生し、問題が起きることが多いです。

std::mutexとstd::lock_guard等を使って保護することがお薦めです。

Comments

[KKKM]

ご回答ありがとうございます。
＞＞問題が起きることが多いです
問題が起きないのはどういったケースでしょうか？

他に何か要因は考えられないでしょうか
もしアドバイスございましたらよろしくお願いいたします

[yominet]

他に要因を聞こうとしていますが・・・

あなたのプログラムで発生してる問題に対し、
Chironianさんの回答以外の「問題の要因である可能性の情報」やアドバイスを欲しいのであれば
あなたのプログラム固有の情報をもっと書いたほうがいいと思います。

[Chironian]

書き込んでいる最中の中途半端なデータを読み出しても矛盾が発生しないなら問題は起きません。

例えば、要素数と、要素の並びに連続的に書き込んでいたとします。
各要素の間に関連はなく完全に独立しているものと仮定します。
また要素の並びは決まったアドレスを使っていると仮定します。（realloc等で再獲得しないという意味）
そして、要素数を増やす時は要素の並びの最後に１つ追加してから、要素数を増やす。
要素数を減らす時は必ず要素の並びの最後から１つ減らす。
これなら恐らく矛盾は発生しません。（とはいえ、深い検証はしていませんので、何か検討漏れがあるかもしれないです。漏れがあると矛盾は発生します。）

[majiponi]

減らすとき、要素数をデクリメントするときにロード→デクリメント→ストアをアトミックにやらないと、他のスレッドがストア前に要素数を参照したときに有効でない要素にアクセスしてしまうのでは?

[Chironian]

あ、その通りです。リード・モデファイ・ライトしてはいけません。
やっぱ真剣に検討しないとダメですね。お恥ずかしい。

[asm]

32bitのCPUで64bit変数を操作した時などに起きうるのですが
変数の読み書きがそもそもアトミックじゃない事もありえます。
(011... → 100... への書き換え中に111...や000...が読み取れるタイミングがある感じ)

[fana]

> 問題が起きないのはどういったケースでしょうか？
値を読む側が単純なbool型フラグをポーリング的にチェックしているような場合とか