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

Question

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了吗？？？

Answer 1

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

如果有帮助，希望结帖