JMM的happend-before原则

最新推荐文章于 2024-06-30 08:43:25 发布

原创最新推荐文章于 2024-06-30 08:43:25 发布 · 607 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#IBM #thread #J#

java 专栏收录该内容

4 篇文章

订阅专栏

本文介绍了Java内存模型(JMM)中的happens-before排序规则。这些规则定义了程序中操作的部分顺序，包括线程内的操作顺序、监视器解锁与锁定之间的顺序、volatile字段的写与读之间的顺序等。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

新的 JMM 非正式地定义了一个名为 happens-before 的排序，它是程序中所有操作的部分顺序，如下所示：

* 线程中的每一个操作 happens-before这个线程中在程序顺序中后面出现的每一个操作

* 对监视器的解锁 happens-before同一监视器上的所有后续锁定

* 对 volatile 字段的写 happens-before同一 volatile 的每一个后续读

* 对一个线程的 Thread.start() 调用 happens-before在启动的线程中的所有操作

* 线程中的所有操作 happens-before 从这个线程的 Thread.join() 成功返回的所有其他线程

转自：http://www.ibm.com/developerworks/cn/java/j-jtp03304/