问题描述

AtomicInteger：getAndIncrement()的实现原理求解

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

public final boolean compareAndSet(int expect, int update) {
    return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}

书上说：
源码中for循环体的第一步先取得AtomicInteger里存储的数值，第二步对AtomicInteger的当前数值进行加1操作，关键的第三步调用compareAndSet方法来进行原子更新操作，该操作先检查当前数值是否等于current，等于意味着AtomicInteger的值没有被其他线程修改过，则将AtomicInteger的当前数值更新成next的值，如果不等compareAndSet方法会返回false，程序会进入for循环重新进行compareAndSet操作。

---

我的疑问：
如果已经被其他线程修改过，此时再执行for()循环有什么意义呢？预期将3变成4，可谁知这时候被其他线程改成5了，不满足compareAndSet，此时重新进去for()循环又能怎么样呢？费解

解决方案

http://blog.csdn.net/zhangerqing/article/details/43057799