对 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() 函数