volatile 可见性 以及synchronized到jmm

volatile带有可见性，可见性是指什么，可见性就是说我一个地方修改的，另外一个线程能看到。

为啥会有这种问题呢？

这是因为多核cpu导致的。

对于某个核的cpu来说，寄存器存储的东西可能和另一个cpu的寄存器存储的东西不一样，包括后面为了处理cpu和内存之间的延时的数量级鸿沟而引入的 L1 L2cache 等各个cpu核之间都可能不一样。有些东西我要保证多个核之间的cpu的数值一致，或者说弱一点，这个东西对另外一个东西可见

之前的volatile可见性的实现，是通过重型的锁总线，但是这个东西性能实在有点差，后来intel就使用了嗅探技术 + 缓存行锁定，只锁定一个缓存行，这就有了MESI协议。

MESI表示状态，表示我这一行的缓存，当前的状态。分别是修改，独占，共享，无效。

如果无效了，肯定是要从内存中去取了，存和取的都是一个值，肯定能保持一致了。

另外什么时候通知呢？

x86 通过store-load屏障来保证这个问题的解决。store-load的store是针对数据流向内存来说的。即，store一个内容到内存，如果加入了该屏障，就会通过缓存嗅探技术，将对应有这个东西的缓存行置为无效，对应的数据就会再从内存中去取了，这就保证了可见性。

如果是一直有效的，那就可以继续读取。

但是并不能保证原子性。两个线程同时进行++操作，两个线程同时去读的时候，读到的都是同样的值（读并不会引起缓存行的失效），+1也是同样的值，而后才是写局部变量，写才会出发store-load屏障，但store-store之间并不会失效，因此两次写的也是同样的值。

与锁的异同

• 线程1释放一个锁，实质上是线程1向接下来将要获取这个锁的某个线程发出了（线程1对共享变量所做修改的）消息。
• 线程2获取一个锁，实质上是线程2接收了之前某个线程发出的（在释放这个锁之前对共享变量所做修改的）消息。
• 线程1锁释放，随后线程2获取这个锁，这个过程实质上是线程A通过主内存向线程B发送消息。