happens-before原则

前言

happens-before是jmm的核心概念。对java程序员来说，理解happens-before是理解jmm的关键。

jmm设计

在设计jmm的时候，需要考虑两个关键因素
1.程序员对内存模型的使用。程序员希望内存模型易于理解，易于编程。程序员希望基于一个强内存模型来编写代码。
2.编译器和处理器对内存模型的实现。编译器和处理器希望内存模型对它们的舒服越少越好，这样他们就可以做尽可能多的优化来提高性能。编译器和处理器希望实现一个弱内存模型。
所以jsp-133的专家们设计jmm的核心目标就是找到一个好的平衡点。

jmm把happens-before要求禁止的重排序分为了下面两类。
会改变程序结果的重排序（会被禁止，jmm会禁止编译器和处理器重排序）
不会改变程序结果的重排序（不会被禁止）

happens-before定义

1.如果一个操作happens-before另一个操作，那么第一个操作的结果将对第二个操作可见，而且第一个操作的致性顺序排在第二个前面。
2.两个操作之间存在happens-before关系，并不意味着java平台java平台的具体实现必须按照happens-before指定顺序来执行。如果重排序的结果，与按happens-before关系来执行的结果一样，jmm允许这种重排序。
1是jmm对程序员的承诺，2是jmm对编译器和处理器重排序的约束规则。

happens-before规则

1.程序顺序规则：一个线程的操作，happens-before于该线程中任意后续操作
2.监视器锁规则：对一个线程代的解锁，happens-before于随后对这个锁的加锁。
3.volatile变量规则：对一个volatile域的写，happens-before于任意后续这个volatile域的读
4.传递性：1happens-before2，2happens-before3，1happens-before3
5.start规则：如果线程a执行操作threadb.start，那么线程a的Threadb.start操作happens-before线程b中的任意操作。
6.join规则：如果线程a执行操作threadb.join并成功返回，那么线程b中的任意操作happens-before线程a从threadb.join操作成功返回。

总结

happens-before规则是jmm内存模型中一个重要的概念，很多地方可能都用到了，但是我们并不知道，今天我们就简单的介绍下happens-before规则和在java中的应用。