JAVA基础-volatile

Java 语言中的 volatile 变量可以被看作是一种 “程度较轻的 synchronized”；与 synchronized 块相比，volatile 变量所需的编码较少，并且运行时开销也较少，但是它所能实现的功能也仅是 synchronized 的一部分。锁提供了两种主要特性：互斥（mutual exclusion） 和可见性（visibility）。互斥即一次只允许一个线程持有某个特定的锁，这样，一次就只有一个线程能够使用该共享数据。可见性要更加复杂一些，它必须确保释放锁之前对共享数据做出的更改对于随后获得该锁的另一个线程是可见的 — 如果没有同步机制提供的这种可见性保证，线程看到的共享变量可能是修改前的值或不一致的值，这将引发许多严重问题。

一、volatile的工作原理

一般共享变量是存放中主内存中，每一个线程都有一个属于自己的工作内存；当一个线程开始时，会将变量从主内存中拷贝一份副本放在自己的工作内存中，当使用时就高效多了，当有更改时，会回写到主内存中；当此时有多个线程对同一个共享变量进行操作时，只会操作属于自己线程的工作内存，之后回写到主内存中，相互之间不会有影响，故此时会有多线程安全问题。当该共享变量使用volatile修改时，一个线程对其进行了修改，则其回写到主内存时，会告知其他有该共享变量的副本，该副本已经失效了，故其他线程要使用该共享变量时，就会重新从主内存中拷贝一份副本到本线程中，以确保其线程内使用的都是最新的。
要使 volatile 变量提供理想的线程安全，必须同时满足下面两个条件：

对变量的写操作不依赖于当前值。
该变量没有包含在具有其他变量的不变式中。