咱们先明确MESI的核心价值：它的存在就是为了在多核心共享内存系统中，牢牢维持「内存状态全局一致」这个核心概念——毕竟要是不同核心看到的内存数据各说各的，程序的执行逻辑肯定会彻底混乱。

但**存储缓冲区（store buffers）**的出现，给这套逻辑打了个折扣：当数据真正进入遵循MESI协议的缓存后，下游内存的状态确实是一致的。可在数据进入缓存之前，问题就来了：每个核心的本地存储缓冲区里可能存着不同的待写入内容，这就导致不同核心对同一个内存位置X的实际存储值产生分歧。站在单个核心的视角来看，内存状态完全是不一致的——这显然违背了一致性的基本要求。

这时候估计你会疑惑：既然这样，我们为什么还要费心去做这种「部分满足一致性」的执行操作呢？

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