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

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

velatile变量怎么保证可见性  为何在并发状况下没法保证原子性？

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

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

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

2.从工做内存到主内存<写>:每次修改变量后必须马上同步到主内存中,用于保证其余线程能够看到本身对变量的修改

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

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

看下这个程序。执行后通常猜测会是200000.结果都是一个小于20的数字。为何

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

 

 

 

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