并发编程2——缓存一致性的底层：MESI协议

MESI协议

硬件的缓存一致性是通过，MESI状态转换和嗅探技术实现的。

缓存一致性面临的问题：
多个CPU内都有自己的缓存，从内存中取出数据放到缓存中从而提高执行效率，但是如果多个CPU缓存都存有相同的数据，那么如果多个CPU同时对这个数据进行修改，然后放回内存，就会引起冲突。

MESI 协议是一种常见的缓存一致性协议，用于处理多处理器系统中的缓存一致性问题。它通过给CPU缓存中的数据标注状态，然后根据状态执行对应的操作从而保证缓存一致性。

MESI的四个状态：

1. Modified（M）
   这个状态表示缓存行已被修改，并且与主存中的数据不一致。这意味着这个缓存行中的数据是处理器专有的，并且尚未写回主存。其他处理器无权访问此缓存行。

2. Exclusive（E）私有的
   这个状态表示缓存行是干净的，与主存中的数据一致。这个缓存行只存在于一个处理器的缓存中，其他处理器没有副本。当一个处理器读取数据时，数据会从主存加载到这个处理器的缓存中，并切换到 Exclusive 状态。

3. Shared（S）
   这个状态表示缓存行是干净的，与主存中的数据一致。多个处理器可以拥有这个缓存行的副本，因此在多处理器系统中，它可以存在于多个处理器的缓存中。如果一个处理器写入了这个缓存行，它必须先将其转换为 Modified 状态，然后进行修改。

4. Invalid（I）
   这个状态表示缓存行是无效的，无法使用。这可能是因为其他处理器修改了与之相关的数据，或者处理器主动将其标记为无效。在 Invalid 状态下，缓存行不能用于读或写操作。

MESI 协议的一般实现方式：

1. 状态标记
   每个缓存行都有一个状态标记，用于表示它的状态，可以是 Modified（M）、Exclusive（E）、Shared（S）、或 Invalid（I）之一。处理器在缓存中维护这些标记，以跟踪每个缓存行的状态。

2. 缓存操作
   当处理器进行缓存读取或写入操作时，MESI 协议规定了缓存状态的转换条件。例如，如果一个CPU要读取一个缓存行，但当前状态为 Invalid（I），则它必须从主存中加载数据，将状态转换为 Exclusive（E）或 Shared（S），并执行读取操作。

3. 写回和写分配
   当处理器对一个缓存行执行写入操作时，MESI 协议规定了数据如何写回主存以保持一致性。如果一个缓存行处于 Modified（M）状态，写回主存是必需的，然后状态转换为 Exclusive（E）。如果处于 Exclusive（E）状态，写入操作可以直接写入缓存，不需要写回主存。

4. 缓存间通信
   当一个处理器修改一个缓存行并使其状态从 Exclusive（E）转换为 Modified（M）时，它必须通知其他可能拥有该缓存行的处理器。这通常涉及到发送消息或信号给其他处理器，以通知它们相应缓存行的状态变化。

5. 原子操作
   在某些情况下， MESI 协议需要保证多个缓存操作是原子的，以确保数据一致性。这可能涉及到使用原子操作来实现状态的转换和数据的读写，以防止竞态条件。

MESI 协议的实现要求硬件支持，并且通常由处理器内部的缓存控制逻辑来管理。硬件支持 MESI 协议可以确保缓存状态的正确管理和转换，从而确保数据的一致性。不同的处理器架构和硬件实现可能会略有不同，但遵循了 MESI 协议的一般原则。
MESI中的常用操作：

1. 缓存锁定（Cache Locking）：缓存行锁后，其他缓存中的share状态数据转换为invalid，需要重新加载。

2. 总线锁定（Bus Locking）：锁总线后，其他cpu无法访问内存，从而保证一致性，但是很影响性能。

同时处理器也实现了嗅探技术来保证缓存一致性。

嗅探技术：
当一个处理器中的缓存进行修改后，会在总线上通知其他处理器，将其他处理器的share状态改变为invalid。

硬件的缓存一致性是通过，MESI状态转换和嗅探技术实现的。