volatile实现原理--为什么实现了可见性却不能保证原子性

本篇文章我们来解决一个问题  这也是面试面的比较多的问题,进阶阶段(高级)一般都会问到。

volatile变量怎么保证可见性  为什么在并发情况下无法保证原子性?

比较懒了  摘了一段JVM原理的片段来描述语义:

这里只要记住尾部括号的三个点

1.从主内存到工作内存<读>:每次使用变量前  先从主内存中刷新最新的值到工作内存,用于保证能看见其他现场对变量修改的最新值

2.从工作内存到主内存<写>:每次修改变量后必须立刻同步到主内存中,用于保证其他线程可以看到自己对变量的修改

3.指令重排序:保证代码的执行顺序和程序的执行顺序一致。(并发环境下 代码的执行顺序与程序的执行顺序有时并不一致,会出现串行的现象固有指令重排序优化一说。JAVA1.5之后彻底修复了这个BUG在用volatile变量的时)

以上最多只能保证可见性。但为什么不能保证原子性呢。

看下这个程序。执行后一般猜想会是200000.结果都是一个小于200000的数字。为什么

通过javaP反编译后发现一个现象 increaser方法有四个指令集构成

 

getstatic指令还能保证其正确性,但在执行3,4两步的时候 有可能race早已被其他线程加大了,所以最后执行putstatic指令后有可能把已经过期的并且较小的值 同步回主内存造成数据不一致 所以并不能保证原子性 

原文地址:https://www.cnblogs.com/zhangfengshi/p/6907722.html