在學習多線程時，遇到了原子變量類，它是基於 CAS 和 volatile 實現的，能夠保障對共享變量進行 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); //應該輸出100才對
        System.out.println(ID);
    }
}

用五個線程並發獲得ID，每個線程獲取100個，最後應該輸出100才是，但試了好幾次都不是100。原子變量類不是能保障原子性和可見性嗎，為什麽出現了競態？

糾結了很久，還是很懵逼。後來發現 get 方法相當於讀取一個 volatile 變量，而讀取一個 volatile 變量時，不具備排他性！（AtomicInteger類內部使用了volatile修飾了value值，而volatile關鍵字不具備排他性）

也就是說，當一個線程剛讀取到了共享的 volatile 變量的值時，其他線程可會馬上對共享變量進行修改。如，線程A讀取到ID的值為99時（還沒對ID進行修改），其他線程可能馬上就將ID加1了，此時共享變量為100了，其他線程再獲取ID時，應該令ID=1才是

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

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

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

  。

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

Java原子變量類需要註意的問題