Java AtomicInteger incrementAndGet也会存在线程不安全情况

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

    以上是AtomicInteger的源码，使用自旋CAS的方式保证在最新值上修改。但是如果程序在compareAndSet以后，return之前其他线程执行了int next = current + 1;那么返回的值不一样不是我想要的吗？
    例如：一开始的值是1，自旋加1以后应该返回2，但在更新值以后、return之前另外一个线程执行了int next = current + 1;那么返回的值不就是3了吗？？？

也许你没有理解线程的私有性。
线程的并发是出现在共享的变量的。
也就是说，能出现并发的值是value；
也就是对value的读取和修改；
而方法中的
current和next的都是在线程的栈内存中的，每个线程都会维护线程的栈帧。
两个线程的改变是没有关系的，
如果当前线程修改后next=2；
第二个线程的next=3是没有关系的，他们之间的联系是value。
在第一个线程的value=2就够了，第二个线程是value=3那么得到的自然是3

如果有帮助，希望结帖

这个魔法的秘密恐怕在get();
get()应该是线程安全的方法.
保证获取的值只和当前线程有关...

去研究了一下源码，我觉得和线程间的变量私有共享没有关系，注意一下，这个方法内部是用无限for循环包着的，就是说compareAndSet方法是会返回false的，
compareAndSet方法内部是用一个Unsafe对象来做的，看不到源码，看了下Unsafe对象被调用的方法的说明，是用来保证拿到的当前值就是真正的当前值，
当不是当前真正的值，就返回false，这样应该就能保证线程安全了