程式碼審查清單：Java併發 - Roman Leventov

1.設計
1.1  如果補丁引入了一個帶有併發程式碼的新子系統，那麼在補丁描述中是否需要合併併發化？是否討論了可以簡化程式碼併發模型的替代設計方法（參見下一個專案）？


1.2  是否可以應用一個或多個設計模式（其中一些在下面列出）以顯著簡化程式碼的併發模型，同時不會明顯影響其他質量方面，如整體簡單性，效率，可測試性，可擴充套件性等？

不變性/快照服務。當某個狀態應該更新時，會建立，釋出和使用新的不可變物件（或可變物件中的快照），而某些併發執行緒仍可能使用較舊的副本或快照。參見CopyOnWriteArrayList，CopyOnWriteArraySet，持久資料結構。

分而治之。工作分為幾個獨立處理的部分，每個部分都在一個執行緒中。然後結合處理結果。Parallel Streams或ForkJoinPool可用於應用此模式。

生產者-消費者。工作執行緒透過佇列在工作執行緒之間傳輸。參見[JCIP 5.3]，本清單中的專案6.1，CSP，SEDA。

例項限制。某些根型別的物件封裝了一些複雜的分層子狀態。Root物件主要負責從多個執行緒訪問和修改子狀態的安全性。換句話說，組合物件是同步的，而不是組成同步物件。見[JCIP 4.2,10.1.3,10.1.4]。

執行緒/任務/序列執行緒限制。透過自上而下的傳遞引數或ThreadLocal使得某些狀態成為本地狀態。見[JCIP 3.3]。任務限制是執行緒限制思想的變體，與分而治之模式結合使用。它通常以lambda捕獲的“context”引數或每個執行緒任務物件中的欄位的形式出現。序列執行緒限制是生產者 - 消費者模式的執行緒限制思想的擴充套件，參見[JCIP 5.3.2]。

2. 文件
2.1 對於具有執行緒安全標誌的每個類，方法和欄位，例如synchronized關鍵字，volatile欄位上的修飾符，使用任何類java.util.concurrent.*或第三方併發原語或併發集合，需要實現他們的Javadoc註釋包括：

• 執行緒安全的理由：是否解釋了為什麼特定的類，方法或欄位必須是執行緒安全的？
• 併發控制流文件：它是從什麼方法和上下文中列舉執行緒安全類的每個特定方法被呼叫的執行緒（執行程式，執行緒池）的內容？

ConcurrentMap<String, Entity> entities = getEntities();
if (!entities.containsKey(key)) {
  entities.put(key, entity);
} else {
  ...
}