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保证每个时刻是有一个线程执行同步代码,相当于是让线程顺序执行同步代码,自然就保证了有序性。