《Java并发编程的艺术》第三章节Java内存模型2——happen-before原则

Ethan Yankang

于 2024-09-28 22:05:08 发布

阅读量359

点赞数 9

文章标签： java 开发语言

本文链接：https://blog.csdn.net/m0_68657832/article/details/142622059

版权

🌈hello，你好鸭，我是Ethan，西安电子科技大学大三在读，很高兴你能来阅读。

✔️目前博客主要更新Java系列、项目案例、计算机必学四件套等。
🏃人生之义，在于追求，不在成败，勤通大道。加油呀！

🔥个人主页：Ethan Yankang
🔥推荐：史上最强八股文||一分钟看完我的几百篇博客

🔥温馨提示：划到文末发现专栏彩蛋点击这里直接传送

🔥本篇概览：详细讲解了《Java并发编程的艺术》第3章节Java内存模型2——happen-before原则。基于JSR<Java 内存模型和线程规范>详细说明了happen-before的定义、程序的产生的一对矛盾、从而引出了一个核心理念，JMM为此所做到的平衡点,为实现这个平衡点所遵守的两个原则。以及happen-before的6大基本规约等~~。🌈⭕🔥

【计算机领域一切迷惑的源头都是基本概念的模糊，算法除外】

👉Java并发编程专栏

🌈章节速览：

5.happens-before

地位：

happens-before是JMM最核心的概念。对应Java程序员来说，理解happens-before是理解 JMM的关键。

回顾定义：

从 JDK5 开始，JSR-133 使用 happens-before 来实现变量的内存可见性问题（一种实现协议与规约）。在 Java 内存模型中，happens-before 的意思是前一个操作的结果可以被后续操作获取。

5.1JMM的设计

5.1.1设计意图：

从 JMM 设计者的角度，在设计 JMM 时，需要 考虑两个关键因素 。

一对矛盾

1.程序员对内存模型的使用。程序员希望内存模型易于理解、易于编程。程序员希望基于一个强内存模型来编写代码

2.编译器和处理器对内存模型的实现。编译器和处理器希望内存模型 对它们的束缚越少越好 ，这样它们就可以做尽可能多的优化来提高性能。 编译器和处理器希望实现一个弱内存模型。

引出了一个平衡点：

由于这两个因素互相矛盾，所以JSR-133专家组在设计JMM时的核心目标就是找到一个好的平衡点：

一方面，要为程序员提供足够强的内存可见性保证；

另一方面，对编译器和处理器的限制要尽可能地放松。

下面让我们来看JSR-133是如何实现这一目标的。

代码讲解：

double pi = 3.14; // A
double r = 1.0; // B
double area = pi * r * r; // C

上面计算圆的面积的示例代码存在 3 个 happens-before 关系，如下。

·A happens-before B 。

·B happens-before C 。

·A happens-before C 。

在 3 个 happens-before 关系中， 2 和 3 是必需的，但 1 是不必要的。因此， JMM 把 happens-before

要求禁止的重排序分为了下面两类：

·会改变程序执行结果的重排序。

·不会改变程序执行结果的重排序。

JMM 对这两种不同性质的重排序，采取了不同的策略，如下。

·对于会改变程序执行结果的重排序(单线程)，JMM要求编译器和处理器必须禁止这种重排序。
·对于不会改变程序执行结果的重排序，JMM对编译器和处理器不做要求（JMM允许这种重排序）。

图3-33是JMM的设计示意图。

·JMM向程序员提供的 happens-before 规则能满足程序员的需求。 JMM 的 happens-before 规

则不但简单易懂，而且也向程序员提供了足够强的内存可见性保证（有些内存可见性保证其实并不一定真实存在，比如上面的 A happens-before B ）。

5.2happens-before的定义

回顾定义：

意义：

JSR-133 使用happens-before的概念来指定两个操作之间的执行顺序（实现上述定义了） 。由于这两个操作可以在一个线程之内，也可以是在不同线程之间。因此， JMM 可以通过 happens-before 关系向程序员提供跨线程的内存可见性保证（如果 A 线程的写操作 a 与 B 线程的读操作 b 之间存在 happens-before关系，尽管 a 操作和 b 操作在不同的线程中执行，但 JMM 向程序员保证 a 操作将对 b 操作可见） （这里就有几种手段，如三种同步原语等等！<可以作为一棵树向周围散开了>）。