Java进阶-第三十一篇：Java内存模型 - happens-before原则 - 规则详解（上）

Java进阶-第三十一篇：Java内存模型 - happens-before原则 - 规则详解（上）

Java 内存模型（JMM）中的 happens-before 原则是理解多线程程序中操作顺序和内存可见性的重要概念。它定义了一系列规则来保证不同线程之间的操作具有一定的顺序性。下面将详细介绍 happens-before 原则中的程序顺序规则和监视器锁规则。

1. 程序顺序规则

规则定义

程序顺序规则指的是在一个线程内，按照程序代码的顺序，前面的操作 happens-before 于后续的操作。也就是说，在单线程环境下，程序代码的执行顺序决定了操作之间的先后关系。

例如，有如下代码：

public class ProgramOrderExample {
   
    public