Java的先行发生原则

简介: 先行发生原则(Happens-Before)是Java内存模型定义的一个等效判断原则。依赖这个原则,我们可以通过几条简单规则判断数据是否存在竞争,线程是否安全,而不需要陷入Java内存模型苦涩难懂的定义之中。

先行发生原则(Happens-Before)是Java内存模型定义的一个等效判断原则。依赖这个原则,我们可以通过几条简单规则判断数据是否存在竞争,线程是否安全,而不需要陷入Java内存模型苦涩难懂的定义之中。


“先行发生”原则指的是什么。比如说操作 A 先行发生于操作 B,其实就是说在操作 B 发生之前,操作 A 产生的影响能被操作 B 观察到,“影响”包括修改了内存中共享变量的值、发送了消息、调用了方法等。

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

  • 程序次序规则(Program Order Rule):在一个线程内,按照控制流顺序,书写在前面的操作先行发生于书写在后面的操作。注意,这里说的是控制流顺序而不是程序代码顺序,因为要考虑分支、循环等结构。
  • 管程锁定规则(Monitor Lock Rule):一个 unlock 操作先行发生于后面对同一个锁的 lock 操作。 这里必须强调的是“同一个锁”,而“后面”是指时间上的先后。
  • volatile 变量规则(Volatile Variable Rule):一个对 volatile 变量的写操作先行发生于后面对这个 volatile 变量的读操作,这里的“后面”同样是指时间上的先后。
  • 线程启动规则(Thread Start Rule):Thread 对象的 start() 方法先行发生于此线程的每一个动作。
  • 线程终止规则(Thread Termination Rule):线程中的所有操作都先行发生于对此线程的终止检测。我们可以通过 Thread::join() 方法是否结束、Thread::isAlive() 的返回值等手段检测线程是否已经终止执行,这就算是对此线程的终止检测。
  • 线程中断规则(Thread Interruption Rule):Thread 对象的 interrupt() 方法先行发生于被中断线程的中断检测。我们可以通过 Thread::interrupted() 方法检测到是否有中断发生,这就算是被中断线程的中断检测。
  • 对象终结规则(Finalizer Rule):一个对象的初始化完成(构造函数执行结束) 先行发生于它的 finalize() 方法的开始。
  • 传递性(Transitivity):如果操作 A 先行发生于操作 B,操作 B 先行发生于操作 C,那就可以得出结论:操作 A 先行发生于操作 C。

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


“时间上的先后顺序”与“先行发生”之间有什么不同?

  • 一个操作“时间上的先发生”不代表这个操作会是 “先行发生”。譬如:操作 A 是 ,线程 A 对未被 volatile 修饰的共享变量的写操作;操作 B 是,线程 B 对该共享变量的读操作。在时间上,操作 A 比操作 B 先发生,但是不代表操作 A 先行发生于操作 B。
  • 如果一个操作“先行发生”,也不能推导出这个操作必定是“时间上的先发生”。譬如:程序次序规则,在一个线程内,按照控制流顺序,书写在前面的操作 A 先行发生于书写在后面的操作 B。但是,不代表在时间上,操作 A 比操作 B 先发生。普通的变量会保证在方法的执行过程中,所有依赖赋值结果的地方都能获取到正确的结果,而不能保证变量赋值操作的顺序与程序代码中的执行顺序一致。

时间先后顺序与先行发生原则之间基本没有因果关系,所以我们衡量并发安全问题的时候不要受时间顺序的干扰,一切必须以先行发生原则为准。

参考资料

《深入理解Java虚拟机》第 12 章:Java 内存模型与线程 12.3 Java 内存模型

02 | Java内存模型:看Java如何解决可见性和有序性问题 (geekbang.org)

相关文章
|
2月前
|
缓存 Java 数据库
JAVA分布式CAP原则
JAVA分布式CAP原则
69 0
|
2月前
|
缓存 前端开发 Java
Java中的RESTful API原则
总结而言,遵循RESTful原则不仅能够提升API的互操作性,还便于维护和扩展,是构建现代Web服务的重要实践。通过精心设计的URI、利用HTTP协议特性以及采用成熟框架如Spring Boot,Java开发者能够高效地创建出既强大又易于使用的RESTful API。
58 0
|
5月前
|
存储 Java 开发者
Java编程实践:探索面向对象设计原则
【7月更文挑战第31天】在Java的世界中,面向对象设计(OOP)原则是构建健壮、可维护和可扩展软件的基石。本文将深入探讨这些核心原则,并通过实际代码示例揭示其应用之美。
52 0
|
6月前
|
Java 关系型数据库 开发者
Java编程设计原则:构建稳健、可维护的软件基石
Java编程设计原则:构建稳健、可维护的软件基石
|
5月前
|
监控 Java API
Java面试题:解释微服务架构的概念及其优缺点,讨论微服务拆分的原则。
Java面试题:解释微服务架构的概念及其优缺点,讨论微服务拆分的原则。
85 0
|
5月前
|
Java 关系型数据库 开发者
Java中的面向对象设计原则与实践
Java中的面向对象设计原则与实践
|
6月前
|
Java 关系型数据库
Java中的面向对象设计原则与实践
Java中的面向对象设计原则与实践
|
7月前
|
存储 Java API
关于Java异常处理的9条原则
关于Java异常处理的9条原则
|
7月前
|
安全 Java API
Java并发设计的7条原则
Java并发设计的7条原则
|
7月前
|
Java
Java面向对象编程:就近原则与this关键字详解
Java面向对象编程:就近原则与this关键字详解
69 0