2 doublez1216 DoubleZ1216 于 2015.06.04 00:11 提问

java volatile原子性问题

i++;加法运算,当并发操作的时候,加上volatile为什么不能保证原子性,假如线程A从主存中拿到i为1,
线程A没有进行加法运算,被阻塞了,线程B也从主存中拿到i值为1,然后进行加1运算,将
结果刷新到主存中,这个时候线程B修改i值后,根据MESI协议,应该会将线程A工作内存
缓存行置为无效状态的啊,然后线程A重新到内存中读取最新数据2进行加1操作,为什么线程
A还会按照工作内存原先读取到的1进行加1操作,原子性得不到保证?
volatile只能保证读取到的数据是最新的,不能保证操作的原子性该怎么理解?求大神
指教?

4个回答

danielinbiti
danielinbiti   Ds   Rxr 2015.06.04 00:32
已采纳

volatile只是保证从主内存加载到线程工作内存的值是最新的.
你也说了“线程A从主存中拿到i为1,线程A没有进行加法运算,被阻塞了”,相当于线程A已经从主存取完值了,这时候主存中数值的更新和线程中的i变量值是没关系了。

DoubleZ1216
DoubleZ1216 明白了,谢谢danielinbiti
2 年多之前 回复
danielinbiti
danielinbiti 回复DoubleZ1216: 标记无效,但没有读操作,标记为无效只是对读来说,读的时候如果发现缓存无效,就会从主存同步。但没有读行为,就不会从主存中同步到工作内存。
2 年多之前 回复
danielinbiti
danielinbiti 回复DoubleZ1216: 标记无效,但没有读操作,标记为无效只是对读来说,读的时候如果发现缓存无效,就会从主存同步。但没有读行为,就不会从主存中同步到工作内存。
2 年多之前 回复
DoubleZ1216
DoubleZ1216 使用volatile时,多线程共享同一个变量时,如果一个线程在自己的工作内存中对共享变量进行修改操作,会置其他线程中的缓存行为无效状态,这个时候线程A中的i值不应该为无效状态,然后重新从主内存中读取吗?与volatile可见性会不会有矛盾的地方?
2 年多之前 回复
quanzhongzhao
quanzhongzhao   2015.06.04 00:27

i++操作内部分几个步骤的。tmp=i ;i=i+1 ; return tmp;
volatile是可以保证一部分原子性的,但只限于一些简单的单步的运算。比如long.double型变量的存取,虽然是64位,可保证原子性

qq_28728717
qq_28728717   2015.06.04 00:52

++操作内部分几个步骤的。tmp=i ;i=i+1 ; return tmp;
volatile是可以保证一部分原子性的,但只限于一些简单的单步的运算。比如long.double型变量的存取,虽然是64位,可保证原子性

datou431
datou431   Rxr 2015.06.18 10:53

i++操作内部分几个步骤的。tmp=i ;i=i+1 ; return tmp;

Csdn user default icon
上传中...
上传图片
插入图片