• JMM的happens-before法则


    java内存模型下一些“天然”的先行发生关系,这些先行发生关系无须任何同步器协助就已经存在,可以在编码中直接使用。如果两个操作之间的关系不再此列,并且无法从下面规则中推导出来,则它们就没有顺序性保障,虚拟机可以对它们进行任意地重排序。

    happen-before原则是什么?
    happens-before 口诀:如果两个操作之间具有happens-before 关系,那么前一个操作的结果就会对后面一个操作可见。

    常见的happens-before规则:
    1.
    程序顺序规则:一个线程中的每个操作,happens- before 于该线程中的任意后续操作。

    (注解:如果只有一个线程的操作,那么前一个操作的结果肯定会对后续的操作可见。)
    2.

    监视器锁规则:对一个监视器锁的解锁,happens- before 于随后对这个监视器锁的加锁。

    (注解:这个最常见的就是syncronized 方法 和 syncronized块)

    3.volatile变量规则:对一个volatile域的写,happens- before 于任意后续对这个volatile域的读。

     int a =0;
     volatile int b = 0;
    线程1{
     操作1:a = 1;
    //插入一个StoreStore屏障 禁止上面的普通写与下面的volatile 写重排序
     操作2:b =2;
    }
    线程2{
     if (b==2)
    //LoadLoad屏障。 禁止上面的volatile 与下面的普通读重排序
      System.out.println(a);//a的值为多少呢?
    }
    

    因为存在屏障,JVM就不会重排序上述代码。

    4.传递性:如果A happens- before B,且B happens- before C,那么A happens- before C。

    (注解:这个看起来就像单线程顺序执行。。。)

    扩展JVM内存屏障插入策略:
    在每个volatile写操作的前面插入一个StoreStore屏障。

    在每个volatile写操作的后面插入一个StoreLoad屏障。

    在每个volatile读操作的后面插入一个LoadLoad屏障。

    在每个volatile读操作的后面插入一个LoadStore屏障。

    上述内存屏障插入策略非常保守,但它可以保证在任意处理器平台,任意的程序中都能得到正确的volatile内存语义。

    相信有了这些规则,只有理解他们,我们就能开发出更好的并发程序。

  • 相关阅读:
    Magicodes.IE之Excel模板导出教材订购表
    【总结】《氨基酸新晋管理者领导力培训》第一次课_Day2_学习心得
    【总结】《氨基酸新晋管理者领导力培训》第一次课_Day1_学习心得
    【管理】从技术走向管理
    python写入excel(xlswriter)--生成图表
    python-写入excel(xlswriter)
    python读取excel(xlrd)
    python接口自动化测试(八)-unittest-生成测试报告
    python接口自动化测试(六)-unittest-单个用例管理
    python接口自动化测试(七)-unittest-批量用例管理
  • 原文地址:https://www.cnblogs.com/encode/p/7085914.html
Copyright © 2020-2023  润新知