缓存一致性协议

缓存一致性协议

CPU缓存的意义

CPU缓存的存在是为了解决CPU和主内存之间的速度差问题，现在的一般多核CPU存在多级缓存。CPU缓存的基本单位是Cache 行，是与主内存交换的基本单位，一个Cache 行的单位是2的次幂比特，所以CPU缓存一个变量的时候会缓存这个变量周围的区域。MySQL也有这样的特性。CPU缓存示意图如下图所示：

CPU缓存带来的问题

设想一个场景，当2个CPU的一级缓存缓存了同一个变量，然后2个CPU分别用一个线程去更新这个变量的值，会导致什么问题？
显而易见，可能会出现缓存到不同CPU的变量值是不一致的。由此，引发了另外一个问题，缓存一致性问题，为了避免这种情况的发生，我们规定了一个缓存一致性协议MESI。

缓存一致性协议MESI的具体解释

MESI是Cache 行4个状态的首字母，如下：

状态	描述	监听任务
M 修改 (Modified)	该Cache line有效，数据被修改了，和内存中的数据不一致，数据只存在于本Cache中。	缓存行必须时刻监听所有试图读该缓存行相对就主存的操作，这种操作必须在缓存将该缓存行写回主存并将状态变成S（共享）状态之前被延迟执行。
E 独享、互斥 (Exclusive)	该Cache line有效，数据和内存中的数据一致，数据只存在于本Cache中。	缓存行也必须监听其它缓存读主存中该缓存行的操作，一旦有这种操作，该缓存行需要变成S（共享）状态。
S 共享 (Shared)	该Cache line有效，数据和内存中的数据一致，数据存在于很多Cache中。	缓存行也必须监听其它缓存使该缓存行无效或者独享该缓存行的请求，并将该缓存行变成无效（Invalid）。
I 无效 (Invalid)	该Cache line无效。	无

如上所示，Cache 行监听不同的读写状态，来进行Cache 状态的转换，来保证缓存数据与主内存数据的一致性。