内存屏障保证缓存一致性-CSDN博客

本文链接：https://blog.csdn.net/2401_85354545/article/details/140640953

为了不频繁阻塞处理器，不会马上读主存以及设置缓存为invlid，合适的时候再一块处理失效队列。

引发内存重排序

下面是处理器A、B，依次写、读内存a的时序图。A、B都缓存了a。

可以看到即使遵守缓存一致性协议，也会有一段时间缓存不一致（①-⑥）。

要是读取a的操作在这段时间内，那么处理器B看到的a将是0。处理器执行顺序为写a>读a，而在内存上的顺序为读a>写a，造成了重排序。重排序可能会导致不可见性，要是此时线程A、B分别在处理器A、B上执行，那么线程A执行了写操作后，线程B看不到线程A执行的结果，共享内存a不可见，改变了程序运行结果。

避免内存重排序

引发重排序是糟糕的，可能造成共享内存不可见，改变程序结果。那么该怎么办，不进行MESI优化吗？既不能追求性能，造成重排序，也不能追求可见性（非共享数据可见是不需要的），降低性能。

处理器还是使用提供了个武器——内存屏障指令（Memory Barrier）：

写内存屏障（Store Memory Barrier）：处理器将当前存储缓存的值写回主存，以阻塞的方式。
读内存屏障（Load Memory Barrier）：处理器处理失效队列，以阻塞的方式。

可以看到内存屏障可以阻止内存系统重排序，保证可见性。但其开销也很大，处理器需要阻塞等待，一般应用在锁的获取和释放中。

上面那段处理器A、B，依次写、读内存a，加了内存屏障后，就不会被重排序了。


boolean finish = false;

int a = 0;



//处理器A:

a = 1;

storeMemoryBarrer(); //保证a一定在主存中，且处理器B中a为invlid

finish = true;



//处理器B:

while(!finish);

loadMemoryBarrier(); //保证缓存到a最新的值，执行后a为share

assert a == 1;