Java并发之volatile关键字

Java并发之volatile关键字

volatile是Java提供的一种轻量级的同步机制。Java同步机制：一是同步块（或方法）二是volatile变量。在并发编程中都很重要，话说什么是并发编程呢？

一、并发编程中的基本概念之可见性、原子性、有序性。

原子性： 一个操作或多个操作 要么全部执行且执行过程中不受其他因素而打断，要么全部不执行。

java中原子性的操作：
（1）基本类型的读取和赋值操作，且赋值必须是值赋给变量，变量之间的相互赋值不是原子性操作。
（2）所有引用reference的赋值操作。
（3）java.concurrent.Atomic.* 包中所有类的一切操作。
可见性： 指在多线程中访问同一个变量的时候，一个线程中修改变量的值，其他线程中也可以看到修改的值。

在java多线程中，一个线程对共享变量的操作其他线程是不可见的。所以java就提供了volatile、synchronized和Lock等来保证变量的可见性，当被volatile修饰的变量，在本地内存中是无效的，修改共享变量之后他会立即更新到主内存中，其他线程会从主内存中获取共享变量。
有序性： 程序执行的顺序是按照代码编写的先后顺序执行。

Java内存模型中的有序性可以总结为：如果在本线程内观察，所有操作都是有序的；如果在一个线程中观察另一个线程，所有操作都是无序的。前半句是指“线程内表现为串行语义”，后半句是指“指令重排序”现象和“工作内存主主内存同步延迟”现象。
在Java内存模型中，为了效率是允许编译器和处理器对指令进行重排序，当然重排序不会影响单线程的运行结果，但是对多线程会有影响。Java提供volatile来保证一定的有序性。最著名的例子就是单例模式里面的DCL（双重检查锁）。另外，可以通过synchronized和Lock来保证有序性，synchronized和Lock保证每个时刻是有一个线程执行同步代码，相当于是让线程顺序执行同步代码，自然就保证了有序性。