共享多核系统的缓存一致性

背景

由于技术发展与性能需求，产生了多核心处理器，由于CPU处理速度远高于内存响应速度，为了更好的提高CPU效率，于是增加了高速缓存。在程序运行时，会先将运行需要的数据复制到高速缓存中，CPU直接对高速缓存中数据进行操作，然后在适当的时间，将高速缓存中的数据同步到主存

共享多核系统

计算核心与高速缓存

• 缓存行：数据是以缓存行为基础单位存储在高速缓存中的，一般为32-256个字节，常见的是64个字节

缓存一致性问题

当一个线程A，B同时修改某个数据，假如core1先修改，修改了缓存在core1的高速缓存中的值，但是未同步到主存，然后core2从主存加载的值，并不是core1修改后的值，于是出现了缓存不一致问题

实现缓存一致性过程

总线：核心与内存进行数据交互的通道

 

总线锁

为了解决会出现的缓存不一致问题，产生了一个对总线进行加锁的指令，当cpu1对主存中的数据进行操作时，能够通过lock指令对总线加锁，防止其他核心去访问主存，直到cpu1将数据同步到主存并释放总线锁之后，其他核心才能访问主存，从而解决缓存不一致问题

• 实现简单，但是开销大，严重降低了CPU的处理效率

MESI

MESI是一种常见的实现了缓存一致性的协议，它只会对单个缓存行的数据进行加锁处理，不会影响其他数据的读写(对于总线锁，相当于降低了锁的粒度)，给缓存行定义了4种状态以及对应的行为

MESI States

状态	描述	任务
Modify	缓存行有效 数据已修改&#x