【转】Volatile 实现原理

volatile

java编程语言容许线程访问共享变量，为了确保共享变量能被准确和一致的更新，线程应该确保经过排他锁单独得到这个变量。Java语言提供了volatile，在某些状况下比锁更加方便。若是一个字段被声明成volatile，java线程内存模型确保全部线程看到这个变量的值是一致的。

这个变量用够好久，一直都没有深刻研究过，虽说知道主要是用于线程内变量共享，但殊不知因此然，正好看到一个博文，感受写的很nice，就摘抄了其中一些，补了一个我的理解的图

原文连接： 聊聊并发（一）深刻分析Volatile的实现原理

实现原理

处理器为了提升处理速度，不直接和内存进行通信，而是先将系统内存的数据读到内部缓存（L1,L2或其余）后再进行操做，但操做完以后不知道什么时候会写到内存，若是对声明了Volatile变量进行写操做，JVM就会向处理器发送一条Lock前缀的指令，将这个变量所在缓存行的数据写回到系统内存。可是就算写回到内存，若是其余处理器缓存的值仍是旧的，再执行计算操做就会有问题，因此在多处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议，每一个处理器经过嗅探在总线上传播的数据来检查本身缓存的值是否是过时了，当处理器发现本身缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效状态，当处理器要对这个数据进行修改操做的时候，会强制从新从系统内存里把数据读处处理器缓存里 用一个图简单的说明上面的过程

图画的通常般，简单说一下

1. cpu与内部缓存进行交互
2. volatile生命的变量，操做完以后写入内存（data -> data' 同时写入内存）
3. 其余cpu缓存嗅探总线变更，并设置本身的data无效，使用时，从内存中获取