缓存一致性协议是否保证多核总能读取到同一共享数据的相同值？

缓存一致性的核心保证 #

缓存一致性协议（如MESI）确实绝对保证：同一时刻，任意两个核心不会看到同一共享变量的不同值。这是硬件层面的基础承诺，目的是让多核心系统中的共享内存行为符合直觉。

论文场景的本质：内存重排序而非缓存不一致 #

Scott Meyers与Andrei Alexandrescu的论文中描述的场景，并非缓存一致性被打破，而是内存操作重排序导致的可见性顺序问题：

假设处理器A先修改共享变量x的内存值，随后修改共享变量y的内存值。这些新值必须刷新到主内存才能被其他处理器看到。不过，按地址递增顺序刷新缓存新值可能更高效，因此如果y的地址早于x的地址，y的新值可能先于x的新值写入主内存。这种情况下，其他处理器可能先看到y的值变化，后看到x的。

这里的关键是：处理器为了提升性能，可能会调整写操作提交到全局内存的顺序（与代码中的执行顺序不一致）。此时缓存一致性协议依然有效——当某个核心看到y的新值时，它看到的x的值要么是未更新的旧值，要么是已更新的新值，绝不会出现“y是新值但x是无效中间值”的情况，但它无法保证看到的操作顺序和处理器A的代码执行顺序一致。

两者的边界 #

• 缓存一致性解决的是单个共享变量的视图一致性问题，确保所有核心对同一变量的认知同步。
• 内存重排序属于内存一致性模型的范畴，它决定了多变量操作的可见性顺序是否与代码顺序一致，这是缓存一致性协议不负责的领域。

内容的提问来源于stack exchange，提问作者mentalmushroom