不足的地方,还望各位大神指出。
volatile关键字
public class SingleCase {
//双检锁的对象必须要用volatile修饰,不然因为指令重排导致第一个判断为空时,将未初始化的对象
//返回。
private static volatile SingleCase instance2;
public static SingleCase getInstance2(){
if(instance2 == null){
synchronized(SingleCase.lass){
if(instance2 == null){
instance2 = new SingleCase();
}
}
}
return instance2;
}
}
双检锁的对象必须要用volatile修饰,不然因为指令重排导致第一个判断为空时,将未初始化的对象返回。
上篇文章
线程安全,关键字synchronized的其他基本特性(可重入锁)例子有一定的问题,就是如何保证instance2是完全初始化后才进行对象的创建。
这也是我今天准备和大家一起学习的内容。上述的代码是错误的写法,之所以是错误的,这是因为:
指令重排优化
,可能会导致初始化单利对象和将该对象地址赋值给instance字段的顺序与上面Java代码中书写的顺序不同。
例如:线程A在创建单例对象时,在构造方法被调用之前,就为该对象分配了内存空间并将对象设置为默认值。此时线程A就可以将分配的内存地址赋值给instance字段了,然而该对象可能还没有完成初始化操作。线程B来调用newInstance()方法,得到的就是为初始化完全的单例对象,这就会导致系统出现异常行为。
为了解决上述的问题,可以使用
volatile
关键字进行修饰instance字段。volatile关键字在这里的含义就是
禁止指令的重排序优化
(另一个作用是
提供内存可见性
),从而保证instance字段被初始化时,单例对象已经被完全初始化。
volatile关键字的作用就是强制从公共堆栈中取得变量的值,而不是线程私有的数据栈中取得变量的值。
图:
1、关键字volatile是线程同步的轻量级实现,性能比synchronized要好,并且volatile只能修于变量,而synchronized可以修饰方法,代码块等。
2、多线程访问volatile不会发生阻塞,而synchronized会发生阻塞。
3、volatile可以保证数据的可见性,但不可以保证原子性,而synchronized可以保证原子性,也可以间接保证可见性,因为他会将私有内存和公共内存中的数据做同步。
4、volatile解决 的是变量在多个线程之间的可见性,而synchronized解决的是多个线程之间访问资源的同步性。