【Java】happen before 原则

Java 中存在一个 happen before原则，这个原则指的是两个动作执行顺序会跟一些规则有关系。如果说 动作 x happen before 动作 y，那么 x 对于 y 来说是可见的，并且排在 y 之前。

如果 x 和 y 是同一个线程下的两个动作，那么 x 的代码在 y 之前的话，则说 x happen before y

happen before 原则一共有 8 条，按照特性我分为 1 1 1 2 3。这8条分别是顺序性 1 条、传递性 1 条、对象初始化 1 条、线程可见性 2 条、线程生命周期三条。

顺序性

单线程中，代码在前的 happen before 代码在后的。

传递性

代码 A happen before 代码 B，代码 B happen before 代码 C，那么 代码 A happen before 代码 C。

对象初始化

一个对象构造函数 constructor 中的 最后一行 对这个对象析构函数 finalizer 的第一行 happen before

线程可见性

线程可见性相关的happen before 和 线程并发控制的 lock、volatile 有关。 对同一个 Lock 的加锁操作 happen before 对这个Lock的解锁操作。 对 volatile 修饰过的对象进行写操作 happen before 对这个对象的其他操作。

线程生命周期

线程生命周期的 happen before 和线程创建、终止、结束有关。 同一个线程的 start 函数 happen before 这个线程的其他函数。 线程中的interrupt函数 happen before这个线程中的 检测中断代码。 线程中的所有函数都 happen before 这个线程的终止检测函数。

参考资料

17.4.5. Happens-before Order