界: Time and State

分散式運算與時間和狀態相關。也就是說，為了使多個元件進行通訊，必須共用狀態，並且這一切都需要時間。

大多數的程式設計師將他們的工作擬人化。他們想採用一種控制執行緒來執行整個程式，就像他們必須自己完成這項工作一樣。但是，現代的電腦可以非常快速地切換工作，並且在多核心多 CPU 或分散式系統中，兩個事件可能恰好同時發生。瑕疵急於填補程式設計師在程式執行模型與實際情況之間的差距。這些瑕疵與執行緒、處理序、時間和資訊之間的意外互動有關。這些互動透過共用狀態發生：信號、變數、檔案系統，以及基本上任何可以儲存資訊的項目。

Code Correctness: Double-Checked Locking

Java/JSP

Abstract

Double-checked locking 是一種不正確且不能達到預期效果的方法。

Explanation

許多聰穎的人花了大量的時間精神，試圖找出如何使用 double-checked locking 來增進效能。但都沒有人成功。

範例 1：乍看之下，它似乎既能避免不必要的同步處理又能保障執行緒的安全。


if (fitz == null) {
  synchronized (this) {
    if (fitz == null) {
      fitz = new Fitzer();
    }
  }
}
return fitz;

程式設計師希望保證只分配一個 Fitzer() 物件，但是又不希望每次呼叫此程式碼時都進行一次同步化。這就是所謂的 double-checked locking。

不幸的是，這並沒有用，且可分配多個 Fitzer() 物件。請參閱 Double-Checked Locking is Broken 聲明以取得更多詳細資訊 [1]。

References

[1] D. Bacon et al. The "Double-Checked Locking is Broken" Declaration

[2] LCK10-J. Use a correct form of the double-checked locking idiom CERT

[3] Standards Mapping - Common Weakness Enumeration CWE ID 609

[4] Standards Mapping - Payment Card Industry Data Security Standard Version 3.0 Requirement 6.5.6

[5] Standards Mapping - Payment Card Industry Data Security Standard Version 3.1 Requirement 6.5.6

[6] Standards Mapping - Payment Card Industry Data Security Standard Version 3.2 Requirement 6.5.6

[7] Standards Mapping - Payment Card Industry Data Security Standard Version 3.2.1 Requirement 6.5.6

[8] Standards Mapping - Payment Card Industry Software Security Framework 1.0 Control Objective 4.2 - Critical Asset Protection

[9] Standards Mapping - Payment Card Industry Software Security Framework 1.1 Control Objective 4.2 - Critical Asset Protection

[10] Standards Mapping - Payment Card Industry Software Security Framework 1.2 Control Objective 4.2 - Critical Asset Protection

desc.structural.java.code_correctness_double_checked_locking