对 AtomicInteger 源码 的理解

java.util.concurrent.atomic 包提供了若干个类能实现对int,long,boolean,reference的几个特殊方法非阻塞原子性,这一系列类的主要基于以下两点

1.volatile修饰变量,保证get()/set()的原子性
2.利用系统底层的CAS原语来实现非阻塞的其它方法原子操作

private volatile int value;

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

单看这段 代码 别说 保证原子性 即使+1 ，他都很难保证， 因为根本没有更新value 的操作

重点在于compareAndSet() 函数

compareAndSet

public final boolean compareAndSet(int expect,
                                   int update)

如果当前值 == 预期值，则以原子方式将 当前值 设置为给定的更新值。

参数：

expect - 预期值

update - 新值

返回：

如果成功，则返回 true。返回 False 指示实际值与预期值不相等。

该函数 只有两个参数，可操作的确实三个值 ，即 value ,expect, update. 他使用了 由硬件保证其原子性的指令 CAS （compare and swap）。

compareAndSet 函数保证了 比较，赋值这两步操作可以通过一个原子操作完成。

然后看整个函数， 所有代码被放到了一个循环里面， 如果compareAndSet（）执行失败，则说明 在int current = get(); 以后，其他线程对value进行了更新， 于是就循环一次，重新获取当前值，直到compareAndSet（）执行成功为止。

综上，getAndIncrement() 方法并不是原子操作。 只是保证了他和其他函数对 value 值得更新都是有效的。

他所利用的是基于冲突检测的乐观并发策略。 可以想象，这种乐观在线程数目非常多的情况下，失败的概率会指数型增加。