AtomicInteger能夠保證對一個整型的操作是原子性。像i++這個操作不是原子操作，存在競態條件，所以需要加鎖，但是加鎖的效能不高，如果僅僅為了對一個整數加1。我們來看下他的實現。

    private volatile int value;

AtomicInteger本身持有一個整型變數，所有的操作都是基於這個變數的。變數由violate修飾，這個變數是保證可見性的，具體可見另一篇部落格

來看一下對value加1的操作

    public final int getAndIncrement() {
        for (;;) {
            int current = get();
            int next = current + 1;
            if (compareAndSet(current, next))
                return current;
        }
    }
 

程式碼巢狀在一個for迴圈裡，關鍵是在compareAndSet方法裡。這個方法會託管給unsafe的compareAndSwapInt方法，這個步驟是靠硬體支援的，是原子操作。這個方法的意思是，如果value等於current，那麼將value置為next，返回true，否則返回false，繼續下一輪迴圈。為什麼會出現值不一致，原因就在競態條件，當本執行緒將value值賦給current後，其它執行緒可能修改了value的值，這樣就會出現current和value不一致的情況。可以看出來compareAndSet類似樂觀鎖，及時失敗。總結來說就是，value的可見性由voilate保證，原子性操作由compareAndSet來保證。

其它的方法，操作也類似，都是依靠compareAndSet來保證