- /**
- * 完整的懒汉式
- *
- */
- public class SingletonFive {
- private SingletonFive() {
- init();
- }
- private void init() {
- user = new User();
- }
- private User user;
- private static class LazyHolder {
- private static final SingletonFive INSTANCE = new SingletonFive();
- }
- public static SingletonFive getInstance(){
- return LazyHolder.INSTANCE;
- }
- public User getUser(){
- return user;
- }
- }
double check 懒汉模式 (DCL)
1.为对象分配内存
2.初始化实例对象
3.把引用instance指向分配的内存空间
这个三个步骤并不能保证按序执行,处理器会进行指令重排序优化,存在这样的情况:
优化重排后执行顺序为:1,3,2, 这样在线程1执行到3时,instance已经不为null了,线程2此时判断instance!=null,则直接返回instance引用,但现在实例对象还没有初始化完毕,此时线程2使用instance可能会造成程序崩溃。
现在要解决的问题就是怎样限制处理器进行指令优化重排
- //使用volatile,double check单例模式
- public class Singleton{
- private static volatile Singleton instance;
- private Singleton(){
- }
- public static Singleton getInstance(){
- if(instance==null){
- synchronized(Singleton.class){
- if(instance==null){
- instance=new Singleton();
- }
- }
- }
- return instance;
- }
- }
- 这里就要介绍一下volatile的作用了:
1.保证可见性
可以保证在多线程环境下,变量的修改可见性。每个线程都会在工作内存(类似于寄存器和高速缓存),实例对象都存放在主内存中,在每个线程要使用的时候把主内存中的内容拷贝到线程的工作内存中。使用volatile关键字修饰后的变量,保证每次修改了变量需要立即写回主内存中,同时通知所有的该对变量的缓存失效,保证缓存一致性,其他线程需要使用该共享变量时就要重新从住内存中获取最新的内容拷贝到工作内存中供处理器使用。这样就可以保证变量修改的可见性了。但volatile不能保证原子性,比如++操作。
2.提供内存屏障
volatile关键字能够通过提供内存屏障,来保证某些指令顺序处理器不能够优化重排,编译器在生成字节码时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。
下面是保守策略插入内存屏障:
- 在每个volatile写操作的前面插入一个StoreStore屏障。
- 在每个volatile写操作的后面插入一个StoreLoad屏障。
- 在每个volatile读操作的前面插入一个LoadLoad屏障。
- 在每个volatile读操作的后面插入一个LoadLoad屏障。
这样可以保证在volatile关键字修饰的变量的赋值和读取操作前后两边的大的顺序不会改变,在内存屏障前面的顺序可以交换,屏障后面的也可以换序,但是不能跨越内存屏障重排执行顺序。好了,现在来看上面的单例模式,这样就可以保证3步骤(instance赋值操作)是保持最后一步完成,这样就不会出现instance在对象没有初始化时就不为null的情况了。这样也就实现了正确的单例模式了。