qq756161569
kobe_sky
2016-07-01 04:15
采纳率: 100%
浏览 3.1k
已采纳

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了吗???
  • 点赞
  • 写回答
  • 关注问题
  • 收藏
  • 邀请回答

3条回答 默认 最新

  • w172087242
    little_how 2016-07-01 06:09
    已采纳

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

    如果有帮助,希望结帖

    点赞 评论
  • Focus
    focusnothing 2016-07-01 05:52

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

    点赞 评论
  • willkinson
    willkinson 2016-07-02 12:06

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

    点赞 评论

相关推荐