正确使用Volatile 变量总结

1.正确理解锁的概念，就要理解两个key point：原子性（atmatic）与可见性。synchronized在原子性和可见性上都很好，volatile 在原子性上没有强约束，在可见性上和synchronized一样

可见性是指一直变量的内容在一个线程中修改后，其他线程或方法能否在下次访问时访问到正确的值。这本来是一个简单的概念，但是在现代编译优化技术的操作下，变量的修改以及同步（publish）并不一定是及时和可见的。synchronized和volatile通过一些机制，确保了visibility。

锁提供了两种主要特性：互斥（mutual exclusion） 和可见性（visibility）。互斥即一次只允许一个线程持有某个特定的锁，因此可使用该特性实现对共享数据的协调访问协议，这样，一次就只有一个程能够使用该共享数据。可见性要更加复杂一些，它必须确保释放锁之前对共享数据做出的更改对于随后获得该锁的另一个线程是可见的
—— 如果没有同步机制提供的这种可见性保证，线程看到的共享变量可能是修改前的值或不一致的值，这将引发许多严重问题。”

2. 如何正确使用volatile？

您只能在有限的一些情形下使用 volatile 变量替代锁。要使 volatile 变量提供理想的线程安全，必须同时满足下面两个条件：

对变量的写操作不依赖于当前值。
该变量没有包含在具有其他变量的不变式中（例如 “start <=end”）。