volatile为什么不能保证原子性

根据定义被volatile关键字修饰的变量更改后,会直接刷新到主存和线程缓存中,那为什么不能保证原子性呢?

看到各位大佬各种反编译,内存屏障

一个变量i被volatile修饰,两个线程想对这个变量修改,都对其进行自增操作也就是i++,i++的过程可以分为三步,首先获取i的值,其次对i的值进行加1,最后将得到的新值写会到缓存中。
线程A首先得到了i的初始值100,但是还没来得及修改,就阻塞了,这时线程B开始了,它也得到了i的值,由于i的值未被修改,即使是被volatile修饰,主存的变量还没变化,那么线程B得到的值也是100,之后对其进行加1操作,得到101后,将新值写入到缓存中,再刷入主存中。根据可见性的原则,这个主存的值可以被其他线程可见。
问题来了,线程A已经读取到了i的值为100,也就是说读取的这个原子操作已经结束了,所以这个可见性来的有点晚,线程A阻塞结束后,继续将100这个值加1,得到101,再将值写到缓存,最后刷入主存,所以即便是volatile具有可见性,也不能保证对它修饰的变量具有原子性。

我的理解是这样的,但是写回内存的操作会使得其他cpu缓存的地址数据无效呀,那A线程为什么还会继续增加操作呢?

volatile本身修饰的变量在读取时,肯定是与主存一致的,那么在读取后,只能说是没有或者是不能再从其他cpu刷新数据了。

猜你喜欢

转载自blog.csdn.net/afdasfggasdf/article/details/88174285