如果多個執行緒之間只有乙個共享變數，對它的原子操作是否沒有多核可見性順序問題而永遠無需使用記憶體屏障？

1樓：饒萌

具體要看用的是什麼原子操作（什麼彙編指令或C++表示式），如果是x86架構下C++11 atomic操作，那麼編譯器已經預設加上了compiler fence，如果使用seq_cst還會加上mfence指令。

首先在題主的背景下只操作單個指標大小的變數是不需要mfence指令的。再者其實compiler fence也不需要，把變數宣告成volatile然後像單執行緒程式一樣操作它就可以了，不過要注意的是volatile變數不會快取在暫存器中，如果需要的話可以用區域性變數快取它的值。

2樓：satanson

問題1也不需要. 兩個core修改cache line高低不同區域.

前乙個core修改cache line, 已經讓這個cache line處於modified或者exclusive狀態, 後乙個core嘗試修改同乙個cache line, 此時有兩種做法:

cache-to-cache : 後者直接從前者的本地cache中獲取以修改的cache line(更加高效). (MESIF, MOESI協議)

我曾經寫過一點內容Shared Memory Concurrency Roadmap, 末尾的參考基本上可以回答問題.

3樓：原子筆

仔細閱讀你過去關於多核記憶體模型一致性異常的案例，是否至少都要有2個變數在2個執行緒之間共享讀寫修改？順序的先後是需要參照物的。沒有參照物其實你是觀察不到核間順序的變化的。

好，問題主認為光光原子操作乙個共享變數，可見性是沒有問題的。但是如果把這個共享變數看成2個或多個小的共享變數，分開進行原子操作呢？假如這個共享變數不是原生型別但是按快取線對齊且大小小於快取線呢？

問題主認為至少在已知的x64的快取同步機制下，此時依然不應該存在順序問題。

希望得到大家的意見。