volatile定义
Java编程语言允许线程访问共享变量,为了确保共享变量能被准确和一致地更新,线程应该确保通过排他锁单独获得这个变量。Java语言提供了volatile,在某些情况下比锁要更加方便。如果一个字段被声明成volatile,Java线程内存模型确保所有线程看到这个变量的值是一致的。
volatile的作用
先让我们说说volatile关键字的作用。它在多处理器开发中保证了共享变量的“可见性”。可见性的意思是当一个线程修改一个共享变量时,另外一个线程能读到这个修改的值。如果volatile变量修饰符使用恰当的话,它比synchronized的使用和执行成本更低,因为它不会引起线程上下文的切换和调度。
volatile代码示例
单例模式(重排序)
public class Singleton {
public static volatile Singleton singleton;
/**
* 构造函数私有
*/
private Singleton(){}
/**
* 单例实现
* @author fuyuwei
* 2017年5月14日 上午10:07:07
* @return
*/
public static Singleton getInstance(){
if(singleton == null){
synchronized (singleton) {
if(singleton == null){
singleton = new Singleton();
}
}
}
return singleton;
}
}
我们知道实例化一个对象经过分配内存空间、初始化对象、将内存空间的地址赋值给对应的引用,上面的单例模式可以解释为分配内存空间、将内存地址赋值给对应的应用、初始化对象。上面的代码如果我们不加volatile在并发环境下可能会出现Singleton的多次实例化,假如线程A进入getInstance方法,发现singleton==null,然后加锁通过new Singleton进行实例化,然后释放锁,我们知道new Singleton在JVM中其实是分为3步,假如线程啊在释放锁之后还没来得及通知其他线程,这时候线程B进入getInstance的时候发现singleton==null便会再次实例化。
可见性
一个线程修改了共享变量值,而另一个线程却看不到。引起可见性问题的主要原因是每个线程拥有自己的一个高速缓存区——线程工作内存。volatile关键字能有效的解决这个问题
public class Volatile {
int m = 0;
int n = 1;
public void set(){
m = 6;
n = m;
}
public void print(){
System.out.println("m:"+m+",n:"+n);
}
public static void main(String[] args) {