C++相談室 part166 (574ﾚｽ)
C++相談室 part166 http://mevius.5ch.net/test/read.cgi/tech/1745631298/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
570: デフォルトの名無しさん (ﾜｯﾁｮｲ cda1-2ooF) [sage] 2025/08/04(月) 06:40:16.41 ID:0gfRmGh70 ちょっ質問なのですが 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が変化する）は保証される？ http://mevius.5ch.net/test/read.cgi/tech/1745631298/570
571: デフォルトの名無しさん (ﾜｯﾁｮｲ cda1-2ooF) [sage] 2025/08/04(月) 07:34:20.02 ID:0gfRmGh70 Q1については、他スレッドから見てm_ulBiasのreadが m_mutex.lock()期間（クリティカルセクション）内のm_ulAbortReasonBmpへの書き込みより 先行するようなことが起きるとクリティカルセクションの意味が消失するから保証される Q2についてはm_ulBiasのreadがプロセッサコアにどう計画されるかわからないから m_ulAbortReasonBmpへの書き込みの後になることは一般に保証されない、 が、現在人類が手にしているクリティカルセクションの実装（lock期間に入るときと出るときそれぞれで いかなるreadもwriteも無差別にバリアする）により、lockしないスレッドから見ても順序が実質的に保証される、 でおk？ http://mevius.5ch.net/test/read.cgi/tech/1745631298/571
572: デフォルトの名無しさん (ﾜｯﾁｮｲ cda1-2ooF) [sage] 2025/08/04(月) 08:33:59.43 ID:0gfRmGh70 訂正orz、 Q2のケースでは保証されない 現在人類が手にしているクリティカルセクションの実装（lock期間に入るときと出るときそれぞれで いかなるreadもwriteも無差別にバリアする）のが真実だとしても、 それはm_ulAbortReasonBmpやm_ulBiasをwriteする側のスレッドがwrite順を守るというだけで、 m_ulAbortReasonBmpやm_ulBiasをreadする側のスレッドにはメモリバリアするコードが無いから read順を好きに計画され、writeした順でreadされる保証が無い http://mevius.5ch.net/test/read.cgi/tech/1745631298/572
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.179s*