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

最新推荐文章于 2024-08-21 21:49:58 发布

javaPie

最新推荐文章于 2024-08-21 21:49:58 发布

阅读量2.3k

点赞数

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

编辑于：2016.12.08 11:28

|评论0|收藏0|浏览1193

qq756161569

声望： 0

3个回答

按赞数排序

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

如果有帮助，希望结帖

发布于：2016.07.01 14:09

|评论 1

w172087242

声望： 0

1已采纳

qq756161569 抱歉，结贴有点晚，您说的是对的，谢谢您

接近 2 年之前回复

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

发布于：2016.07.01 13:52

|评论 0

Focus

声望： 0

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

发布于：2016.07.02 20:06

|评论 3