關于SMP cache一致性的疑問

Huntsmen

對smp的cache一致性有點疑問，多核cpu，每個cpu都有自己獨立的cache，那下面這個場景
cpu0對變量A執(zhí)行寫操作，執(zhí)行結果放在cpu0的cache中，
1，當cpu1對變量A執(zhí)行讀操作的時候，cpu0會先主動將cpu0的cache中內容刷回內存中，然后再讓cpu1訪問變量A嗎？還是需要程序員通過mb()手段來強制將cpu0的cache刷回內存？
2，如果cpu0主動將cache刷回內存，那cpu0是如何感知這個事情的，它怎么知道什么時候該刷，什么時候不需要刷？
3，mb()的底層原理是怎么樣的？比如mb在cpu1上執(zhí)行的，cpu1上的指令怎么來控制將cpu0的cache刷回內存的？

Huntsmen

不知道是不是我沒有描述清楚

bensenq

1. cpu自己會保證Cache一致性，不用程序員自己刷。再說兩個核的行為本來就是異步的，程序員怎么知道什么時候刷？
2. 這個不是靠cpu0的指令來刷的，SMP的cache一致性部件會保證。具體實現(xiàn)一般有snooping和directory兩種類型，可wikipedia/google，搜cache coherent
3. mb是存儲器柵欄，主要保證cpu訪存順序，跟刷不刷Cache沒有直接聯(lián)系。

liuiang

特意來頂三樓的。