C++相談室 part166 (574ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
570: デフォルトの名無しさん (ﾜｯﾁｮｲ cda1-2ooF) [sage] 2025/08/04(月) 06:40:16.41 ID:0gfRmGh70(1/3) AAS
ちょっ質問なのですが
unsigned long m_ulAbortReasonBmp;
std::mutex m_mutex;
std::atomic<unsigned long> m_ulBias;
に対し、
m_mutex.lock();
m_ulAbortReasonBmp |= fooBmp; // (1) : m_mutex.lock()期間内
m_mutex.unlock();
m_ulBias.store(barVal, std::memory_order_release); // (2) : m_mutex.lock()期間外だがm_mutex.lock()期間の後
としたとき、
Q1. m_mutex.lock()している他スレッドから見て(1)、(2)の操作の順序（m_ulAbortReasonBmpが変化した後、m_ulBiasが変化する）は保証される？
Q2. m_mutex.lock()していない他スレッドから見てんも(1)、(2)の操作の順序（m_ulAbortReasonBmpが変化した後、m_ulBiasが変化する）は保証される？
571: デフォルトの名無しさん (ﾜｯﾁｮｲ cda1-2ooF) [sage] 2025/08/04(月) 07:34:20.02 ID:0gfRmGh70(2/3) AAS
Q1については、他スレッドから見てm_ulBiasのreadが
m_mutex.lock()期間（クリティカルセクション）内のm_ulAbortReasonBmpへの書き込みより
先行するようなことが起きるとクリティカルセクションの意味が消失するから保証される
Q2についてはm_ulBiasのreadがプロセッサコアにどう計画されるかわからないから
m_ulAbortReasonBmpへの書き込みの後になることは一般に保証されない、
が、現在人類が手にしているクリティカルセクションの実装（lock期間に入るときと出るときそれぞれで
いかなるreadもwriteも無差別にバリアする）により、lockしないスレッドから見ても順序が実質的に保証される、
でおk？
572(1): デフォルトの名無しさん (ﾜｯﾁｮｲ cda1-2ooF) [sage] 2025/08/04(月) 08:33:59.43 ID:0gfRmGh70(3/3) AAS
訂正orz、
Q2のケースでは保証されない
現在人類が手にしているクリティカルセクションの実装（lock期間に入るときと出るときそれぞれで
いかなるreadもwriteも無差別にバリアする）のが真実だとしても、
それはm_ulAbortReasonBmpやm_ulBiasをwriteする側のスレッドがwrite順を守るというだけで、
m_ulAbortReasonBmpやm_ulBiasをreadする側のスレッドにはメモリバリアするコードが無いから
read順を好きに計画され、writeした順でreadされる保証が無い
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s