双重校验实现单例模式为什么需要volatile关键字
作者:互联网
我们先来看下双重校验模式的标准代码:
public class Singleton1 {
private static volatile Singleton1 singleton;
private Singleton1(){}
public static Singleton1 getStance(){
if(singleton == null){
synchronized (Singleton1.class){
if (singleton == null){
singleton = new Singleton1();
}
}
}
return singleton;
}
}
其次,我们应该知道,synchronized 能保证临界区的原子性、有序性和可见性。volatile 也能保证所修饰对象的可见性,并且还能禁止重排序。
那么问题就来了:既然 volatile 的功能 synchronized基本都具备,那为啥还需要 volatile 修饰单例对象呢?
我找了很多资料和博客,基本都是解释 new 操作不是原子操作,在 JVM 层面会导致重排序,但是这并不能解释为什么 volatile 和 synchronized 关于有序性功能的重叠。
// 这是临界区,synchronized 只能保证有序性。
if (singleton == null){
singleton = new Singleton1();
}
关于这个问题,我思考良久,最后我找到 synchronized 关于有序性的解释:只能保证有序性却不能禁止重排序。
标签:singleton,synchronized,校验,volatile,单例,有序性,Singleton1,null 来源: https://www.cnblogs.com/melonman/p/13067678.html