Happens-before原则的理解

Java 的 Happens-Before 原则 定义了一些规则，用于确保线程之间的数据一致性和代码执行顺序

Happens-Before 的 8 条原则如下：

1. 程序次序规则（Program Order Rule）

描述：在一个线程中，代码的执行顺序按照程序中书写的顺序执行。（考虑if-else这种的话，实际上指的是控制流顺序）

解释：在一个线程内，代码会按照程序的书写顺序依次执行，因此前一个操作总是先于后一个操作完成。例如，在 Thread A 中，语句 int a = 1; happens-before a = 2;。

2. 锁定规则（Monitor Lock Rule）

描述：一个 unlock 操作 先行发生于后面对同一锁的 lock 操作。

解释：如果线程 A 先释放一个锁，线程 B 之后获得这个锁，那么线程 A 在释放锁前对共享变量的所有修改对线程 B 可见。这一规则确保了锁释放之前的操作能够在锁的下次获取时被其他线程看到。

3. volatile 变量规则（Volatile Variable