併發編程初探-對象的組合

對象的組合

　　1、設計線程安全的類

　　　1.在設計線程安全類的過程當中，須要包括如下三個基本要素：

　　　　　1）找出構成對象狀態的全部變量

　　　　　2）找出約束狀態變量的不變性條件

　　　　　3）創建對象狀態的併發訪問管理策略

　　　2.收集同步需求

　　　　　要確保類的線程安全性，就須要確保它的不變性條件不會再併發訪問的狀況下被破壞，這就須要對其狀態進行推斷。

　　　　　對象與變量都有一個狀態空間，即全部可能的取值，狀態空間越小，就越容易判斷線程的狀態。

　　　　　若是不瞭解對象的不變性條件和後驗條件，那麼久不能確保線程安全性。要知足在狀態量的有效值或狀態轉換上的各類條件，就須要藉助於原子性與封裝性。

　　　3.依賴狀態的操做

　　　　　若是在某個操做中包含基於狀態的先驗條件，那麼這個操做就稱爲依賴狀態的操做。

　　2、實例封閉

　　　1.封裝簡化了線程安全類的實現過程，它提供了一種實例封閉機制，一般也簡稱爲「封閉」。

　　　2.將數據封裝在對象內部，能夠將數據的訪問限制在對象的方法上，從而更容易確保線程在訪問數據是總能持有正確的鎖。

　　　3.封閉機制更易於構造線程安全類，由於當封閉類的狀態變化時，在分析類的線程安全性時就無須檢查整個程序。

　　　4.Java監視器模式

　　　　從線程封閉原則及其邏輯推論能夠得出Java監視器模式。遵循Java監視器模式的對象會把對象的全部可變狀態都封裝起來，而且由對象本身的內置鎖來保護。

　　3、線程安全性的委託

　　　　　若是一個狀態變量時線程安全的，而且沒有任何不變性條件來約束它的值，在變量的操做上也不存在任何容許的狀態轉換，那麼久能夠安全的發佈這個變量。