什麼是安全執行緒？

http://baike.baidu.com/view/1298606.htm

安全執行緒 

目錄

什麼是安全執行緒？

舉例

執行緒安全性

安全執行緒程度

1. 不可變
2. 安全執行緒
3. 有條件的安全執行緒
4. 線程相容
5. 線程對立

什麼是安全執行緒？

舉例

執行緒安全性

安全執行緒程度

1. 不可變
2. 安全執行緒
3. 有條件的安全執行緒
4. 線程相容
5. 線程對立

展開

 　　

 

 

 編輯本段什麼是安全執行緒？

　　如果你的代碼所在的進程中有多個線程在同時運行，而這些線程可能會同時運行這段代碼。如果每次運行結果和單線程啟動並執行結果是一樣的，而且其他的變數的值也和預期的是一樣的，就是安全執行緒的。

 

　　或者說:一個類或者程式所提供的介面對於線程來說是原子操作或者多個線程之間的切換不會導致該介面的執行結果存在二義性,也就是說我們不用考慮同步的問題。

 

　　安全執行緒問題都是由全域變數及靜態變數引起的。

 

　　若每個線程中對全域變數、靜態變數只有讀操作，而無寫操作，一般來說，這個全域變數是安全執行緒的；若有多個線程同時執行寫操作，一般都需要考慮線程同步，否則就可能影響安全執行緒。

 編輯本段舉例

　　比如一個 ArrayList 類，在添加一個元素的時候，它可能會有兩步來完成：1. 在 Items[Size] 的位置存放此元素；2. 增大 Size 的值。

 

　　在單線程啟動並執行情況下，如果 Size = 0，添加一個元素後，此元素在位置 0，而且 Size=1；

 

　　而如果是在多線程情況下，比如有兩個線程，線程 A 先將元素存放在位置 0。但是此時 CPU 調度線程A暫停，線程 B 得到啟動並執行機會。線程B也向此 ArrayList 添加元素，因為此時 Size 仍然等於 0 （注意哦，我們假設的是添加一個元素是要兩個步驟哦，而線程A僅僅完成了步驟1），所以線程B也將元素存放在位置0。然後線程A和線程B都繼續運行，都增加 Size 的值。

 

　　那好，現在我們來看看 ArrayList 的情況，元素實際上只有一個，存放在位置 0，而 Size 卻等於 2。這就是“線程不安全”了。

 編輯本段執行緒安全性

　　類要成為安全執行緒的，首先必須在單線程環境中有正確的行為。如果一個類實現正確(這是說它符合規格說明的另一種方式)，那麼沒有一種對這個類的對象的操作序列(讀或者寫公用欄位以及調用公用方法)可以讓對象處於無效狀態，觀察到對象處於無效狀態、或者違反類的任何不可變數、前置條件或者後置條件的情況。

 

　　此外，一個類要成為安全執行緒的，在被多個線程訪問時，不管運行時環境執行這些線程有什麼樣的時序安排或者交錯，它必須仍然有如上所述的正確行為，並且在調用的代碼中沒有任何額外的同步。其效果就是，在所有線程看來，對於安全執行緒對象的操作是以固定的、全域一致的順序發生的。

 

　　正確性與執行緒安全性之間的關係非常類似於在描述 ACID(原子性、一致性、獨立性和持久性)事務時使用的一致性與獨立性之間的關係：從特定線程的角度看，由不同線程所執行的對象操作是先後(雖然順序不定)而不是並存執行的。

 編輯本段安全執行緒程度

　　執行緒安全性不是一個非真即假的命題。 Vector 的方法都是同步的，並且 Vector 明確地設計為在多線程環境中工作。但是它的執行緒安全性是有限制的，即在某些方法之間有狀態依賴(類似地，如果在迭代過程中 Vector 被其他線程修改，那麼由 Vector.iterator() 返回的 iterator會拋出ConcurrentModifiicationException)。

 

　　對於 Java 類中常見的執行緒安全性層級，沒有一種分類系統可被廣泛接受，不過重要的是在編寫類時盡量記錄下它們的安全執行緒行為。

 

　　Bloch 給出了描述五類執行緒安全性的分類方法：不可變、安全執行緒、有條件安全執行緒、線程相容和線程對立。只要明確地記錄下安全執行緒特性，那麼您是否使用這種系統都沒關係。這種系統有其局限性 -- 各類之間的界線不是百分之百地明確，而且有些情況它沒照顧到 -- 但是這套系統是一個很好的起點。這種分類系統的核心是調用者是否可以或者必須用外部同步包圍操作(或者一系列操作)。下面幾節分別描述了執行緒安全性的這五種類別。

不可變

　　不可變的對象一定是安全執行緒的，並且永遠也不需要額外的同步[1]。因為一個不可變的對象只要構建正確，其外部可見狀態永遠也不會改變，永遠也不會看到它處於不一致的狀態。Java 類庫中大多數基本數值類如 Integer 、 String 和 BigInteger 都是不可變的。

安全執行緒

　　安全執行緒的對象具有在上面“安全執行緒”一節中描述的屬性 -- 由類的規格說明所規定的約束在對象被多個線程訪問時仍然有效，不管運行時環境如何排列，線程都不需要任何額外的同步。這種執行緒安全性保證是很嚴格的 -- 許多類，如 Hashtable 或者 Vector 都不能滿足這種嚴格的定義。

有條件的安全執行緒

　　有條件的安全執行緒類對於單獨的操作可以是安全執行緒的，但是某些操作序列可能需要外部同步。條件安全執行緒的最常見的例子是遍曆由 Hashtable 或者 Vector 或者返回的迭代器 -- 由這些類返回的 fail-fast 迭代器假定在迭代器進行遍曆的時候底層集合不會有變化。為了保證其他線程不會在遍曆的時候改變集合，進行迭代的線程應該確保它是獨佔性地訪問集合以實現遍曆的完整性。通常，獨佔性的訪問是由對鎖的同步保證的 -- 並且類的文檔應該說明是哪個鎖(通常是對象的內部監視器(intrinsic monitor))。

 

　　如果對一個有條件安全執行緒類進行記錄，那麼您應該不僅要記錄它是有條件安全執行緒的，而且還要記錄必須防止哪些操作序列的並發訪問。使用者可以合理地假設其他動作序列不需要任何額外的同步。

線程相容

　　線程相容類不是安全執行緒的，但是可以通過正確使用同步而在並發環境中安全地使用。這可能意味著用一個 synchronized 塊包圍每一個方法調用，或者建立一個封裝器對象，其中每一個方法都是同步的(就像 Collections.synchronizedList() 一樣)。也可能意味著用 synchronized 塊包圍某些操作序列。為了最大程度地利用線程相容類，如果所有調用都使用同一個塊，那麼就不應該要求調用者對該塊同步。這樣做會使線程相容的對象作為變數執行個體包含在其他安全執行緒的對象中，從而可以利用其所有者對象的同步。

 

　　許多常見的類是線程相容的，如集合類 ArrayList 和 HashMap 、 java.text.SimpleDateFormat 、或者 JDBC 類 Connection 和 ResultSet 。

線程對立

　　線程對立類是那些不管是否調用了外部同步都不能在並發使用時安全地呈現的類。線程對立很少見，當類修改待用資料，而待用資料會影響在其他線程中執行的其他類的行為，這時通常會出現線程對立。線程對立類的一個例子是調用 System.setOut() 的類。

   

參考資料

• 1

  安全執行緒程度及其類別 

  http://www.ibm.com/developerworks/cn/java/j-jtp09263/