要編寫執行緒安全的程式碼,其核心在於要對狀態存取操作進行管理,特別是對共享的和可變的狀態的存取。當多個執行緒存取某個狀態變量,並且其中有一個執行緒執行寫入操作時,必須採用同步機制來協調這些執行緒對變數的存取。無狀態物件一定是線程安全的。
如果我們在無狀態的物件中增加一個狀態時,會出現什麼情況呢?
假設我們按照以下方式在servlet中增加一個"命中計數器"來管理請求數量:在servlet中增加一個long類型的域,每處理一個請求就在這個值上加1。
public class UnsafeCountingFactorizer implements Servlet { private long count = 0; public long getCount() { return count ; } @Override public void service(ServletRequest arg0, ServletResponse arg1) throws ServletException, IOException { // do something count++; } }
不幸的是,以上程式碼不是線程安全的,因為count 並非是原子操作,實際上,它包含了三個獨立的操作:讀取count的值,將值加1,然後將計算結果寫入count。如果線程A讀到count為10,馬上線程B讀到count也為10,線程A加1寫入後為11,線程B由於已經讀過count值為10,執行加1寫入後依然為11,這樣就丟失了一次數數。
在並發程式設計中,這種由於不恰當的執行時序而出現不正確的結果是一種非常重要的情況,它有一個正式的名字:競態條件。最常見的競態條件類型就是「先檢查後執行」操作,也就是透過一個可能失效的觀測結果來決定下一步操作,
延遲初始化是競態條件的常見情況:
public class LazyInitRace { private SomeObject instance = null; public SomeObject getInstance() { if(instance == null) instance = new SomeObject(); return instance ; } }
在LazyInitRace包含競態條件:首先線程A判斷instance為null,然後線程B判斷instance也為null,之後線程A和線程B分別創建對象,這樣對象就進行了兩次初始化,發生錯誤。
要避免靜態條件,就必須在某個執行緒修改變數時,透過某種方式防止其他執行緒使用這個變量,從而確保其他執行緒只能在修改操作完成之前或之後讀取和修改狀態,而不是在修改狀態的過程中。
在UnsafeCountingFactorizer 範例中,執行緒不安全的原因是count 並非原子操作,我們可以使用原子類,確保加操作是原子的,
##這樣類別就是執行緒安全的了:
public class CountingFactorizer implements Servlet { private final AtomicLong count = new AtomicLong(0); public long getCount() { return count .get() ; } @Override public void service(ServletRequest arg0, ServletResponse arg1) throws ServletException, IOException { // do something count.incrementAndGet(); } }AtomicLong是java.util.concurrent.atomic套件中的原子變數類,它能夠實現原子的自增操作,這樣就是線程安全的了。
相關學習推薦:
以上是java什麼類別是線程安全的詳細內容。更多資訊請關注PHP中文網其他相關文章!