关于SMP cache一致性的疑问

Huntsmen

对smp的cache一致性有点疑问，多核cpu，每个cpu都有自己独立的cache，那下面这个场景
cpu0对变量A执行写操作，执行结果放在cpu0的cache中，
1，当cpu1对变量A执行读操作的时候，cpu0会先主动将cpu0的cache中内容刷回内存中，然后再让cpu1访问变量A吗？还是需要程序员通过mb()手段来强制将cpu0的cache刷回内存？
2，如果cpu0主动将cache刷回内存，那cpu0是如何感知这个事情的，它怎么知道什么时候该刷，什么时候不需要刷？
3，mb()的底层原理是怎么样的？比如mb在cpu1上执行的，cpu1上的指令怎么来控制将cpu0的cache刷回内存的？

Huntsmen

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

bensenq

1. cpu自己会保证Cache一致性，不用程序员自己刷。再说两个核的行为本来就是异步的，程序员怎么知道什么时候刷？
2. 这个不是靠cpu0的指令来刷的，SMP的cache一致性部件会保证。具体实现一般有snooping和directory两种类型，可wikipedia/google，搜cache coherent
3. mb是存储器栅栏，主要保证cpu访存顺序，跟刷不刷Cache没有直接联系。

liuiang

特意来顶三楼的。