volatile笔记

总结自：https://www.cnblogs.com/dolphin0520/p/3920373.html

了解volatile之前得明白什么是原子性、可见性、有序性及指令重排序，详见：https://www.cnblogs.com/yanze/p/9835462.html

作用对象: 变量

可见性

可保证

首先，当使用volatile关键字时，会强制将修改的值立即写入主存。那么当线程2修改时，首先强制写入主存，且此操作会导致线程1的工作内存中缓存变量的缓存行无效，

这时由于线程1的工作内存中缓存变量的缓存行无效，所以线程1再次读取变量的值时会去主存读取。

原子性

无法保证

当某个线程被阻塞，则主存变化后无法直接使此线程工作缓存中缓存变量的缓存行失效。

假设线程1读取到变量的值后被阻塞，然后线程2对变量进行自增操作，线程2也去读取变量的原始值，由于线程1只是对变量进行读取操作，而没有对变量进行修改操作，所以不会导致线程2的工作内存中缓存变量的缓存行无效，所以线程2会直接去主存读取的值，发现的值时10，然后进行加1操作，并把11写入工作内存，最后写入主存。

然后线程1接着进行加1操作，由于已经读取了变量的值，注意此时在线程1的工作内存中变量的值仍然为10，所以线程1对变量进行加1操作后变量的值为11，然后将11写入工作内存，最后写入主存。

解决方案：

使用synchronized

使用Lock

有序性

一定程度上保证

禁止指令重排序，能保证代码执行有有序性，到落实到多线程，则无法保证前面的线程执行完毕