Volatile

volatile

用处

1. 保证程序执行的顺序与预期的顺序相同,实现 happens - before关系----------------添加内存屏障

2. 保证可见性------------volatile变量可以通过缓存一致性协议保证每个线程都能获得最新值，即满足数据的“可见性”

保证可见性底层原理

Lock前缀的指令 + 缓存一致性协议（总线嗅探机制）

1. 为了提高处理速度，处理器不直接和内存进行通信，而是先将系统内存的数据读到内部缓存后再进行操作，但操作完不知道何时会写到内存。

2. 如果对声明了volatile的变量进行写操作，JVM就会向处理器发送一条Lock前缀的指令–>将这个变量所在缓存行的数据写回到系统内存。

3. 但是，就算写回到内存，如果其他处理器缓存的值还是旧的，再执行计算操作就会有问题。所以，在多处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议，每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了，当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效状态，当处理器对这个数据进行修改操作的时候，会重新从系统内存中把数据读到处理器缓存里。

因此，经过分析我们可以得出如下结论：

1. Lock前缀的指令会引起处理器缓存写回内存；
2. 一个处理器的缓存回写到内存会导致其他处理器的缓存失效；
3. 当处理器发现本地缓存失效后，就会从内存中重读该变量数据，即可以获取当前最新值。

happens-before关系+原理

关系是什么

只要结果不会改变程序表现，Java 可以通过重排指令来优化性能

但是重排可能会影响本地处理器缓存与主内存交互的方式，从而产生细微的程序 bug

无论怎么优化，volatile 変量读写之前发生的指令先于它们的读写之前发生。

例子：两个操作之间具有 happens-before关系，并不意味着前一个操作必须要在后一个操作之前执行。happens-before仅仅要求前一个操作（执行的结果）对后一个操作可见，且前一个操作按顺序排在第二个操作之前。

上面的定义看起来很矛盾，其实它是站在不同的角度来说的。

（1） 站在Java程序员的角度来说：JMM保证，如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。

（2） 站在编译器和处理器的角度来说：JMM允许，两个操作之间存在happens-before关系，不要求Java平台的具体实现必须要按照happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按happens-before关系来执行的结果一致，那么这种重排序是允许的。

原理

令指令中插入内存屏障来实现happens-before关系

内存屏障之前的所有写操作都要回写到主内存, 内存屏障之后的所有读操作都能获得内存屏障之前的所有写操作的最新结果----->不允许把内存屏障之后的指令重排序到内存屏障之前。

volatile无法保证原子性

• 最简单的例子就是 i++这样的自增操作，这样的操作并不是原子操作，因为自增操作包括三个基本指令：读取数据、计算数据、输出结果。

（看字节码文件）将变量从主内存中读取出来，这时候如果该变量时volatile修饰的，那可以完全保证此时取到的是最新信息，但在入栈和 计算执行过程中，该变量有可能正在被其他线程修改，最后计算出来的结果存在问题

volatile结合CAS实现原子性

• 典型的应用就是concurrent包下的Atomic类,如果用AtomicInteger代替int，就能够实现自增情况下的线程安全