• 深入探索JVM高效并发 — Java内存模型(四) 先行发生原则


    先行发生原则

    Java语言中有一个先行发生Happens-Before)的原则。这个原则非常重要,它是判断数据是否存在竞争,线程是否安全的非常有用的手段。

    依赖这个原则,我们可以通过几条简单规则一揽子解决并发环境下两个操作之间是否可能存在冲突的所有问题。

    先行发生是Java内存模型中定义的两项操作之间的偏序关系,比如说操作A先行发生于操作B,其实就是说在发生操作B之前,操作A产生的影响能被操作B观察到,影响包括修改了内存中共享变量的值、发送了消息、调用了方法等。

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

    ·程序次序规则Program Order Rule):在一个线程内,按照控制流顺序,书写在前面的操作先行发生于书写在后面的操作。注意,这里说的是控制流顺序而不是程序代码顺序,因为要考虑分支、循环等结构。

    ·管程锁定规则Monitor Lock Rule):一个unlock操作先行发生于后面对同一个锁的lock操作。这里必须强调的是同一个锁,而后面是指时间上的先后。

    ·volatile变量规则Volatile Variable Rule):对一个volatile变量的写操作先行发生于后面对这个变量

    的读操作,这里的后面同样是指时间上的先后。

    ·线程启动规则Thread Start Rule):Thread对象的start()方法先行发生于此线程的每一个动作。

    ·线程终止规则Thread Termination Rule):线程中的所有操作都先行发生于对此线程的终止检测,我们可以通过Thread::join()方法是否结束、Thread::isAlive()的返回值等手段检测线程是否已经终止执行。

    ·线程中断规则Thread Interruption Rule):对线程interrupt()方法的调用先行发生于被中断线程

    的代码检测到中断事件的发生,可以通过Thread::interrupted()方法检测到是否有中断发生。

    ·对象终结规则Finalizer Rule):一个对象的初始化完成(构造函数执行结束)先行发生于它的

    finalize()方法的开始。

    ·传递性Transitivity):如果操作A先行发生于操作B,操作B先行发生于操作C,那就可以得出

    操作A先行发生于操作C的结论。

    Java语言无须任何同步手段保障就能成立的先行发生规则有且只有上面这些

    先行发生:逻辑上的发生,按照代码顺序

    先发生:实际上的前后发生顺序

    时间先后顺序与先行发生原则之间基本没有因果关系,

    所以我们衡量并发安全问题的时候不要受时间顺序的干扰,一切必须以先行发生原则为准。

  • 相关阅读:
    ECMAScript 6 Reflect / Proxy
    UI自动化测试框架:PO 模式+数据驱动(超详细)
    【JVM】JVM详解
    SPD5详解
    Uncaught (in promise) Error: No match for
    CronJob in K8s
    TCP-4次挥手小记
    私有gitlab的搭建和配置教程
    docker数据迁移
    网络安全(黑客)自学
  • 原文地址:https://blog.csdn.net/cupkss/article/details/126900274