并发编程（二）

安全发布对象

一、什么是发布对象？

使得一个对象在当前范围之外可见。比如通过公开方法返回一个对象的引用、通过类静态变量公布对象.

与之对应的是逸出，指不正确的发布对象，比如将一个私有的对象发布出去，或者还没有正确构造完成对象，此对象就已经对外部可见

二、如何安全地发布对象

共有四种方式安全地发布对象

• 在静态的自定义初始化函数中初始化（new）一个对象引用
• 将对象的引用保存到volatile类型域（保证可见性并防止重排序）或者AtomicReference对象中 
• 将对象的引用保存到某个正确构造对象的final类型域中（不变变量一定是安全的）
• 将对象的引用保存到一个由锁保护的域中

在单例模式中，如何保证只实例化一个对象并保证线程安全？

下面是一个典型的错误

@NotThreadSafe
public class Singlenton{
    private Singlenton(){
    
    }

    private static Singlenton instance = null;

    public static Singlenton getInstance(){
        if (instance == null){
            synchronized(Singlenton.class){
                if (instance == null){
                    instance = new Singlenton();
                }
            }
        }
        return instance;
    }
}

以上双重检测的单例模式是线程不安全的，原因在于指令重排序，初始化instance操作一共有三步：1分配内存；2在该内存空间上初始化对象；3将instacne变量指向分配的内存地址。由于2、3之间无依赖，因此重排序可能会按照1 3 2的顺序执行，如果有两个线程，一个线程执行了1之后执行3，将instacne指向分配的内存地址，另外一个线程执行到外层检测，此时发现instance不是null，然后返回该对象，但是此时该对象还没有初始化，即没有执行操作2，因此获取到该对象并进行使用会发生错误。解决的方法就是防止对instance初始化的指令重排序，通过volatile修饰instance

@ThreadSafe
public class Singlenton{
    private Singlenton(){
    
    }

    private static volatile Singlenton instance = null;

    public static Singlenton getInstance(){
        if (instance == null){
            synchronized(Singlenton.class){
                if (instance == null){
                    instance = new Singlenton();
                }
            }
        }
        return instance;
    }
}

还有一种方法可以保证安全的单例模式：枚举单例

public class Singlenton{
	private Singlenton(){

	}

	public static Singlenton getInstance(){
		return SinglentonEnum.INSTANCE.getInstance();
	}

	private enum SinglentonEnum{
		INSTANCE;

		private Singlenton instance = null;
        //JVM保证这个方法只会调用一次，且线程安全
		public SinglentonEnum(){
			this.instance = new Singlenton();
		}

		public Singlenton getInstance(){
			return instance;
		}
	}
}