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

深碍√TFBOYSˉ_ 2022-04-22 06:08 426阅读 0赞

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][0]|浏览1193

[![2 qq756161569][]][2 qq756161569 1]

[qq756161569][2 qq756161569 1]

声望： *0*

3个回答

按赞数排序

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

如果有帮助，希望结帖

发布于：2016.07.01 14:09

|评论 1

[![w172087242][]][w172087242 1]

[w172087242][w172087242 1]

声望： *0*

1**已采纳**

[![qq756161569][]][2 qq756161569 1]

*[qq756161569][2 qq756161569 1]* 抱歉，结贴有点晚，您说的是对的，谢谢您

接近 2 年之前 回复

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

发布于：2016.07.01 13:52

|评论 0

[![Focus][]][Focus 1]

[Focus][Focus 1]

声望： *0*

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

发布于：2016.07.02 20:06

|评论 3

[![willkinson][]][willkinson 1]

[willkinson][willkinson 1]

声望： *0*

[![qq756161569][]][2 qq756161569 1]

*[qq756161569][2 qq756161569 1]* 其实是因为方法内部的变量是属于线程私有的，不会引发线程不安全，当它调用compareAndSet刷新到内存的时候如果不对它会返回false

接近 2 年之前 回复

[![willkinson][]][willkinson 1]

*[willkinson][willkinson 1]* 呵呵 我可不觉得会有问题

2 年多之前 回复

[![w172087242][]][w172087242 1]

*[w172087242][w172087242 1]* 要理解线程安全在什么情况下出现，方法内变量是影响不了共享变量的，cas模型也就是你说的Unsafe提供的对数据原子性改变的支持，就足以保证其安全了。为什么你们会觉得，第二个线程的值会影响第一个线程的返回呢

2 年多之前 回复

[0]: https://ask.csdn.net/collections?item_id=266879&item_type=Question
[2 qq756161569]: /images/20220422/18768f2d4ad9430084ebebb59165dfa1.png
[2 qq756161569 1]: https://my.csdn.net/qq756161569
[w172087242]: /images/20220422/e29415d0e01240ea8d70808c87687c25.png
[w172087242 1]: https://my.csdn.net/w172087242
[qq756161569]: /images/20220422/5131184940d54fbe8910c44d6932bcfc.png
[Focus]: /images/20220422/f9650827194a43b79341adbb168a3f72.png
[Focus 1]: https://my.csdn.net/Focus
[willkinson]: /images/20220422/8e7ed156c0e64d5aa0ec7a0aa5933573.png
[willkinson 1]: https://my.csdn.net/willkinson