在學習多線程時，遇到了原子變量類，它是基于 CAS 和 volatile 實現(xiàn)的，能夠保障對共享變量進行 read-modify-write 更新操作的原子性和可見性。于是我就寫了一段代碼試試，自認為非常正確。

public class Test{
  private static AtomicInteger ID = new AtomicInteger(0);
  public static int nextID(){ //返回的ID范圍為 1~100
    if(ID.get() == 100) { //ID到達100時，則從1開始
      ID.set(1);
      return ID.get(); // return ID = 1;
    }
    else
      return ID.incrementAndGet(); //++ID
  }
  public static void main(String[] args) throws Exception{
    for(int i = 0; i < 5; i++){
      new Thread(()->{
        for(int j = 0; j < 100; j++)
          nextID();
      }).start();
    }
    Thread.sleep(1000); //應(yīng)該輸出100才對
    System.out.println(ID);
  }
}

用五個線程并發(fā)獲得ID，每個線程獲取100個，最后應(yīng)該輸出100才是，但試了好幾次都不是100。原子變量類不是能保障原子性和可見性嗎，為什么出現(xiàn)了競態(tài)？

糾結(jié)了很久，還是很懵逼。后來發(fā)現(xiàn) get 方法相當于讀取一個 volatile 變量，而讀取一個 volatile 變量時，不具備排他性！（AtomicInteger類內(nèi)部使用了volatile修飾了value值，而volatile關(guān)鍵字不具備排他性）

也就是說，當一個線程剛讀取到了共享的 volatile 變量的值時，其他線程可會馬上對共享變量進行修改。如，線程A讀取到ID的值為99時（還沒對ID進行修改），其他線程可能馬上就將ID加1了，此時共享變量為100了，其他線程再獲取ID時，應(yīng)該令I(lǐng)D=1才是，但線程A已經(jīng)進入了else分支，它還認為ID=99，而不知道其他線程剛把ID加1變成了100，所以會吧ID加上1變成了101，這就出現(xiàn)了競態(tài)。

《Java多線程編程實戰(zhàn)指南 - 核心篇》中，作者說：“可見性的保障僅僅意味著一個線程能夠讀取到共享變量的相對新值，而不能保障該線程能讀取到相應(yīng)變量的最新值”。如volatile對可見性的保障就是保障的相對新值，由于volatile不具備排他性，所以有可能讀線程剛讀到一個相對新值，寫線程就更改了共享變量，此時，讀線程剛剛讀取到的相對新值就不是最新的了。

作者對相對新值和最新值的定義：

對于同一個共享變量而言，一個線程更新了該變量的值之后，其他線程能夠讀取到這個更新后的值，那這個值就被稱為該變量的 相對新值。

如果讀取這個共享變量的線程在讀取并使用該變量的時候其他線程無法更新該變量的值，那么該線程讀取到的相對新值就被稱為該變量的 最新值。需要加鎖，才能讀取到最新值。

解決辦法，使用原子操作 compareAndSet：

private static int nextID(){ //返回的ID范圍為 1~100
  ID.compareAndSet(100, 0);
  return ID.incrementAndGet();
}

以上就是本文的全部內(nèi)容，希望對大家的學習有所幫助，也希望大家多多支持腳本之家。

最新評論