volatile 与指令重排

volatile 与指令重排

首先需要分析java在new对象的过程中为我们做了哪些操作？

如图：

new对象这个操作并不是原子性的，因此在多线程的情况下可能出现意外的情况的，而CPU也可能针对指令进行重排序操作，所谓的指令重排序就是将指令的顺序乱序执行，顺序执行下，我们new对象的操作应该是先为对象在堆中分配内存，然后初始化对象，最后将变量的引用地址指向该对象完成关联，而如果是指令重排可能就是下面这种顺序了：

先分配内存空间，再和变量关联，最后完成对象的初始化，如果是单线程情况下，当然没什么问题，如果是多线程情况下，那就可能导致问题了。

场景：此时需要使用DCL设计一个单例模式，保证多线程高并发下的安全性，假设发生指令重排，线程1获取到同步锁进行对象的单例创建，当执行完第二步变量p和对象内存关联后还没来得及执行对象的初始化，此时线程2执行到判断变量p不为null，随即返回p，但此时p并没有完成初始化，由此也就导致了安全问题，如图：

由于线程2获取到了对象的半初始化状态，因此Person中的id属性（假设1是赋值给Person的成员变量id），那么id此时并没有完成完成初始化操作，因此使用默认值0，如果线程2使用了id值，那么这个数据就不是一个准确的数据了。

解决方案：

volatile关键字可以保证内存可见性和指令重排序问题，因此我们可以为Person的成员属性id加上volatile 关键字，保证指令不会被重排，对象的创建步骤就会按照我们预想的顺序执行，如下图：

由此也就保证了单例的安全