延迟初始化的竞态条件

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

  

public class LazyInitRace{
    private ExpensiveObject instance=null;

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

   如上代码,getInstance方法首先判断ExpensiveObject是否已经被初始化,如果已经初始化则返回现有的实例,否则,它将创建一个新的实例,并返回一个引用,从而在后来的调用中就无需再执行这段高开销的代码路径。

  在LazyInitRace中包括了一个竞态条件,它可能破坏这个类的正确性。假定线程A和线程B同时执行getInstance。A看到instance为空,因而创建一个新的ExpensiveObject实例。B同样需要判断instance是否为空,如果当B检查时,instance为空,那么在两次调用getInstance时可能会得到不同的结果。

猜你喜欢

转载自dbp5588.iteye.com/blog/2368450