系统的过度优化会给系统带来不确定性。
volatile可以组织“优化编译器”的以下优化:
1.变量赋值操作的乱序执行
2.变量缓存到寄存器而不及时写回。
不同体系有不同的barrier指令,用于防止CPU的乱序执行(一个优化系统性能的功能)导致的程序崩溃。
但是volotile不能解决CPU的乱序执行,因此引入barrier指令,barrier指令要求其之前的指令被执行完后,才能执行后面的指令。例如,一个类的初始化,分为两步:
(1)分配内存
(2)调度构造函数
(3)把类对象地址赋值给指针
其中第二和第三步是可以乱序执行的。这样,在单例模式中,很可能在构造函数没执行完的时候,就把已经被分配内存的地址赋值指针,如果程序这时候操作指针,就会产生不可预计的错误。