竟态条件

    上一节讲了竟态条件，竟态条件使得最后的结果不准确，当计算的正确性取决于多个线程的交替执行时序时，那么就会发生竟态条件。换句话说，就是正确的结果取决于运气。最常见的竟态条件类型就是“先检查后执行(Check-Then-Act)”操作，即通过一个可能失效的观测结果来决定下一步的动作。

     使用“先检查后执行”的一种常见情况就是延迟初始化，延迟初始化的目的是将对象的初始化操作推迟到实际被使用时才进行，同时要确保只被初始化一次。

package com.zy.test;

public class LazyInitRace {

    private ExpensiveObject instance = null;
    
    public ExpensiveObject getInstance() {
        if (instance == null) {
            instance = new ExpensiveObject();
        }
        return instance;
    }
}


class ExpensiveObject {
    
}

    在LazyInitRace中包含了一个竟态条件，他可能会破坏这个类的正确性。假设线程A和线程B同时执行getInstance。A会看到instance是空，因而创建了一个新的ExpensiveObject实例，B同样需要判断instance是否为空，此时instance是否为空，要取决于不可预测的时序，包括线程的调度方式，以及A需要花多长时间来初始化ExpensiveObject并设置instance，如果B检查时，instance为空，那么在两次调用getInstance()方法时可能会得到两个不同的对象。