MESI 缓存一致性协议

场景再现

场景：
  服务器有2个线程t1、t2在跑。都对 x=1 分别+1，期望最终结果：x = 3
 
问题分析：
  首先会将 x=1 加载到主内存中，然后 t1线程，会获取到 x=1 的内存地址，然后在寄存器、CPU缓存（L1、L2、L3）中是否存在(L1最优先，L2中如果有，则copy一份到L1，最后加载到寄存器进行计算)，如果都没有则会去主内存中获取，然后一次加载，并copy到L3→L2→L1，最后写入寄存器进行计算，一级一级进行缓存。
 
实际结果：
  同一时刻两个线程同时运行，则会在各自线程中的 CPU 缓存中，同时有两份 x=1 的副本，然后两个线程都 +1 后，再同步写入到主内存中，此时两个线程最终结果应该为 1+1+1=3，但是预期结果会是2（t1线程写入后，t2也写入，都是1+1，写入的都是2），会导致结果和预期的不一致。

  多线程环境下，同时对一个共享变量进行操作，每个线程中都有各自的缓存模块。在这种情况下就会出现示例中出现的情况。这种情况就是并发编程中的三大问题之一：可见性，此处先行透露一下，本文不对可