zoukankan      html  css  js  c++  java
  • volatile实现原理--为什么实现了可见性却不能保证原子性

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

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

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

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

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

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

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

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

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

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

     

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

  • 相关阅读:
    整合Sleuth
    idea springboot 微服务批量启动
    思维的八层境界(深度好文)
    【格局视野】三色需求与工作层次
    【阅读推荐】改变你思维模式的书单
    【软件架构】七款代码味道识别工具
    【软件架构】代码重构之道
    【Android】EventBus 源码解析
    【软件架构】IM架构设计(安卓版)
    【设计模式】Java版设计模式的类图汇总
  • 原文地址:https://www.cnblogs.com/zhangfengshi/p/6907722.html
Copyright © 2011-2022 走看看