同期なしで同時にインクリメントされているintを読み出すことは安全ですか？

Question

私はintを読み込むだけのスレッドAとインクリメントするスレッドBを持っています。

スレッドAを値の正確な最新情報にする必要はありません。実際には9になると8になります。ループであり、ある時点で9になるので大丈夫です。

問題は、現在のインデックス（スレッドAによって最後に読み込まれた位置）と配列の「サイズ」が格納されている別のintを格納する固定サイズの配列です。両方のint値が0から開始され、更新スレッドAは、サイズintがインデックスintより大きいかどうかを調べます。そうであれば、それはキャッチアップして新しい値を読み取ります。

正確な精度が必要ないため、同期を回避できるかどうかを知りたいと思います。

Answer 1

いいえ。動作は未定義です。せいぜい、あなたの「正確な正確さを必要としない」というのは、「無意味な価値を許容する」ことに変わります。

1つのスレッドがバイト境界を超えて値を増やしたとします。たとえば、8ビットのバイトを持つシステムでは255から256になります。インクリメントの前に、上位バイトは値0を持ちます。インクリメント後、下位バイトの値は0になります。ここで0の値を読み込むことは可能ですか？それはあなたがよく見ることができるからです。下位バイトを書き込んだ後で新しいバイトを書き込む前にスレッドを切り替えると、別のスレッドで両方のバイトがゼロとみなされます。

注記これは、同期が解決する種類の問題を感じるための手作業の引数です。それは良い習慣を示唆するためのものではありません。優れた実践には、結果がなくても結果を推測できるかどうかにかかわらず、同期が必要です。

Answer 2

は同時に同期

せずにインクリメントされているint型を読み取るために、それが安全であるいいえ、それは危険なのです。

競合状態には、少なくとも1つのライタースレッドが関係します。 （すべてのスレッドが単なるリーダースレッドであれば、競合状態はなく、ロックは必要ありません）。

あなたの場合、両方のライタースレッド（つまり共有リソースの変更）である2つのスレッドがあります。だから競合状態がある。スレッドセーフなためには、共有リソース（つまりカウンタ）へのロックを実装する必要があります。