問題描述

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

這是自增操作，定義： CAS有3個操作數，內存值V，舊的預期值A，要修改的新值B。當且僅當預期值A和內存值V相同時，將內存值V修改為B，否則什么都不做預期值是next嗎？ 內存值是current？假如1個線程自增時沒有其他線程競爭，那么預期值應該比內存值大1啊，怎么會預期值和內存值相同？

問題解答

瀉藥~可能題主這里理解有點偏差

current是預期值，不是內存值

next是修改的新值不是預期值

方法compareAndSet的源碼就可以看得出來，里面注釋已經很明白了

/** * Atomically sets the value to the given updated value * if the current value {@code ==} the expected value. * * @param expect the expected value * @param update the new value * @return {@code true} if successful. False return indicates that * the actual value was not equal to the expected value. */ public final boolean compareAndSet(int expect, int update) {return unsafe.compareAndSwapInt(this, valueOffset, expect, update); }

CAS的操作是按照題主所說，用預期值和內存值比較，只有當相等時，才會把新值寫入，否則會不斷重試，是一種樂觀的態度，而真正的內存值其實是AtomicInteger.value這個屬性（其實最關鍵也不是這個屬性，只是個引用而已，真正的boss后面會提到）,注意這個value的有關鍵字volatile修飾

private volatile int value;

所以這個value值其實是一個共享變量，代表著這個變量的可見性，也就是線程之間的可見性，

=======================話多隨便扯了哈可見性，不喜可以直接略過================================

簡單點說，Java內存模型規定了變量是存在主存中（類似物理內存）的，各個線程都有自己的工作緩存，在對某個變量操作時，不是直接修改主存中的值，而是在自己的工作緩存中執行，最后在同步到主存中，并且線程相互之間的是不能訪問對方的工作緩存的

這里說到的可見性，就是指，線程在操作有關鍵字volatile修飾的變量時，當成功修改了這個變量并寫入了主存，那么其他線程的工作緩存中的變量會失效，所以此時其他線程再次去讀取變量時會直接從主存中去讀，而不會再用自己工作緩存中的值了

==========================================扯完==============================================

剛才說到AtomicInteger.value這個屬性對于數據本身而言，只是一個引用，在調用compareAndSet方法時，可以注意到第二個參數，valueOffset，其實這才是關鍵...真正的Boss，真正的內存的值，因為涉及到在java語言里很少聽到的一個詞，指針，這個valueOffset其實就是對象內的偏移量啦，這才是真正的內存值

（之所以這個方法compareAndSet里調用的是Unsafe類的方法，Unsafe這其實就是封裝了一些類似指針的操作，指針才不安全嘛）