Fw: [問題] bool變數一寫多讀需要鎖嗎

[SFGEX (SFGEX)]

※ [本文轉錄自 C_and_CPP 看板 #1fZ7vDfQ ]

作者: SFGEX (SFGEX) 看板: C_and_CPP
標題: [問題] bool 64bit機器上一寫多讀需要鎖嗎
時間: Wed Feb 11 21:04:11 2026

開發平台(Platform): (Ex: Win10, Linux, ...) 
Linux 64 位元指令集

編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
gcc


問題(Question)：
bool型別之類的簡單變數
Single Store & Multiple Load本身有組合語言層級的原子性保證


請問～～
所以有做好memory barrier的前提下
一寫多讀bool是不是完全不用鎖？




程式碼(Code)：(請善用置底文網頁, 記得排版，禁止使用圖檔) 

Writer thread:

do_something();
smp_wmb();
global_flag = true;



Multiple Reader threads:

if (global_flag) {
    smp_rmb()
    do_other_things()
}


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.27.23.35 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1770815053.A.A5A.html
※ 編輯: SFGEX (114.27.23.35 臺灣), 02/11/2026 21:20:20
推 ManOfSteel: 我想請問一下，你是怎麼知道bool型別支援single write
→ ManOfSteel:  和 multiple load?
推 ManOfSteel: 參考這個網頁：https://en.cppreference.com/w/c/lang
→ ManOfSteel: uage/memory_model.html
→ ManOfSteel: 這一段話：When an汢valuation漑f an expression writ
→ ManOfSteel: When an汢valuation of an expression writes to a me
→ ManOfSteel: and another evaluation reads or modifies the same
→ ManOfSteel:  memory location, the expressions are said to氲onf
→ ManOfSteel: 所以data race 是只要有一個 write 搭配其它 read 或w
→ ManOfSteel: rite 就會是發生。
→ LPH66: 另外, 就算 x86 組合語言只有一條, CPU 微指令可能有好幾條
推 if4: 請問這題適合轉 Linux 板嗎？
→ SFGEX: 應該說我只知道賦值跟讀變數都只有一條組語
→ SFGEX: 但複雜操作例如++ , swap會有多條 一定不行
→ SFGEX: 然後store load 即使底下還有微指令
→ SFGEX: 讀寫這個快取上byte也是原子性的
→ SFGEX: 不會說store更新了4bit還有4bit沒更新
→ SFGEX: 其他cpu 或是同一個cpu load這塊快取要馬新要馬舊
→ SFGEX: 應該是整個8bit 全舊全新選一個而已？
※ 發信站: 批踢踢實業坊(ptt.cc)
※ 轉錄者: SFGEX (223.136.48.119 臺灣), 02/12/2026 14:49:33
→ leolarrel: bool 若是底層組語用暫存器實現,我認為是可不用鎖,但
→ leolarrel: bool 變數其實也可以用記憶體實現此變數, 所以我不敢說
→ leolarrel: 用bool 就一定不用鎖,還好kernel 有相關ATOMC巨集可用