java中的雙重檢查模式（double-check idiom）

在Effecitve Java一書的第48條中提到了雙重檢查模式，並指出這種模式在java中通常並不適用。該模式的結構如下所示：private Resource resource;

public Resource getResource()...{
  if (resource == null)...{ 
    synchronized(this)...{ 
      if (resource==null)...{
        resource = new Resource();  
      }   
    }  
  }return resource;
}

該模式是對下面的代碼改進：public synchronized Resource getResource()...{
  if (resource == null)...{ 
        resource = new Resource();  
  }
  return resource;
}

這段代碼的目的是對resource延遲初始化。但是每次訪問的時候都需要同步。為了減少同步的開銷，於是有了雙重檢查模式。

在java中雙重檢查模式無效的原因是在不同步的情況下參考型別不是安全執行緒的。對於除了long和double的基本類型，雙重檢查模式是適用的。比如下面這段代碼就是正確的：

private int count;

public int getCount()...{
  if (count == 0)...{ 
    synchronized(this)...{ 
      if (count == 0)...{
        count = computeCount();  //一個耗時的計算
      }   
    }  
  }return count;
}

上面就是關於java中雙重檢查模式（double-check idiom）的一般結論。但是事情還沒有結束，因為java的記憶體模式也在改進中。Doug Lea 在他的文章中寫道：“根據最新的JSR133的java記憶體模型，如果將參考型別聲明為volatile，雙重檢查模式就可以工作了”，參見http://gee.cs.oswego.edu/dl/cpj/updates.html。

所以以後要在java中使用雙重檢查模式，可以使用下面的代碼：

private volatile Resource resource;

public Resource getResource()......{
  if (resource == null)......{ 
    synchronized(this)......{ 
      if (resource==null)......{
        resource = new Resource();  
      }   
    }  
  }return resource;
}

當然了，得是在遵循JSR133規範的java中。