【字节一面】解释下什么是 happens-before？

博主介绍： ✌博主从事应用安全和大数据领域，有8年研发经验，5年面试官经验，Java技术专家，WEB架构师，阿里云专家博主，华为云云享专家✌

Java知识图谱点击链接：体系化学习Java（Java面试专题）

💕💕 感兴趣的同学可以收藏关注下 ，不然下次找不到哟💕💕

1、什么是 happens-before

==happens-before（先行发生）是Java中一个重要的多线程概念，用于描述不同线程之间操作的执行顺序。它是Java内存模型（Java Memory Model）中的一部分。 ==

在Java中，如果一个操作happens-before另一个操作，那么第一个操作的结果将对第二个操作可见，即第二个操作可以看到第一个操作的影响。

happens-before关系可以通过以下几种方式建立：

1. 程序顺序规则（Program Order Rule）：在单个线程中，按照程序的顺序执行的操作具有happens-before关系。
2. volatile变量规则（Volatile Variable Rule）：对volatile变量的写操作happens-before于后续对该变量的读操作。
3. 锁定规则（Lock Rule）：一个unlock操作happens-before于后续的lock操作。
4. 传递性（Transitivity）：如果操作A happens-before操作B，操作B happens-before操作C，那么操作A happens-before操作C。

happens-before关系的理解对于正确理解和编写多线程程序非常重要。它可以用于避免数据竞争和保证线程安全性。

happens-before关系只能保证可见性和顺序性，不能保证原子性。如果需要保证原子性，还需要使用同步机制（如synchronized关键字或Lock接口）来确保操作的原子性。

2、happens-before 的应用场景

happens-before 的应用场景主要是在多线程编程中，用于确保线程之间的操作顺序和可见性。以下是一些常见的应用场景：

1. 线程同步：happens-before 可以用于保证线程之间的同步操作的正确性。例如，在使用 synchronized 或 Lock 机制进行线程同步时，happens-before 可以确保一个线程的解锁操作 happens-before 后续线程的加锁操作，从而保证线程之间的同步性。

2. volatile 变量：happens-before 可以用于保证对 volatile 变量的写操作对后续线程的读操作可见。因为 volatile 变量具有可见性，所以对一个 volatile 变量的写操作 happens-before 后续线程对该变量的读操作，确保了变量的可见性。

3. 线程间通信：happens-before 可以用于确保线程间通信的正确性。例如，使用 wait/notify 或 await/signal 机制进行线程间的等待和唤醒操作时，happens-before 可以确保等待线程在接收到通知之前必须看到发送通知的线程对共享数据的修改。

4. 线程安全性：happens-before 可以用于保证线程安全性。例如，在使用 synchronized 或 Lock 机制保护共享资源时，happens-before 可以确保一个线程的写操作 happens-before 后续线程的读操作，从而保证线程安全。

5. 线程的启动和终止：happens-before 可以用于确保线程的启动操作 happens-before 后续线程的操作，以及线程的终止操作 happens-before 其他线程对该线程的操作。

4、程序顺序规则

程序顺序规则（Program Order Rule）是Java内存模型中的一条规则，它定义了在单个线程中，按照程序的顺序执行的操作之间的happens-before关系。

根据程序顺序规则，如果在单个线程中，操作A出现在操作B之前，那么操作A happens-before操作B。这意味着操作A的结果对操作B是可见的，操作B可以看到操作A的影响。

程序顺序规则确保了单个线程中的操作顺序的一致性，使得程序的执行结果符合预期。它是多线程编程中的一个重要概念，用于避免数据竞争和保证线程安全性。

需要注意的是，程序顺序规则仅适用于单个线程内的操作顺序，不涉及不同线程之间的操作顺序。在多线程环境下，如果需要保证不同线程之间的操作顺序，还需要使用其他的happens-before规则，如volatile变量规则、锁定规则等。

5、volatile变量规则

volatile变量规则是Java内存模型中的一条规则，它定义了对于volatile变量的读写操作之间的happens-before关系。

根据volatile变量规则，对一个volatile变量的写操作 happens-before 后续对该变量的读操作。这意味着对于一个volatile变量的写操作的结果对后续对该变量的读操作是可见的，读操作可以看到写操作的影响。

volatile变量规则保证了volatile变量的可见性和有序性。当一个线程对volatile变量进行写操作后，其他线程对该变量的读操作可以立即看到最新的值，而不会使用过期的缓存值。

需要注意的是，volatile变量规则仅适用于对volatile变量的读写操作，不适用于对volatile变量上的复合操作。如果需要保证一系列操作的原子性和可见性，可以使用其他的同步机制，如synchronized关键字或Lock锁。

6、锁定规则（Lock Rule）

锁定规则（Lock Rule）是Java内存模型中的一条规则，它定义了对锁定的释放和获取操作之间的happens-before关系。

根据锁定规则，如果线程A在释放锁之前对某个变量进行了修改，而线程B在获取同一个锁之后对该变量进行了读取，那么线程B可以看到线程A修改后的值。这意味着锁的释放 happens-before 锁的获取，确保了线程之间的操作顺序的一致性。

锁定规则保证了线程之间的同步和协调。当一个线程释放锁时，它所做的修改对于后续获取同一个锁的线程是可见的，确保了数据的一致性和线程安全性。

需要注意的是，锁定规则仅适用于使用同一个锁的线程之间的操作顺序，不涉及不同锁之间的操作顺序。在多线程环境下，如果需要保证不同锁之间的操作顺序，可以使用更强的同步机制，如使用同一个锁来保护多个共享变量。

7、传递性（Transitivity）

传递性（Transitivity）是Java内存模型中的一条规则，它定义了happens-before关系的传递性。

==根据happens-before 传递性规则，如果操作A happens-before操作B，操作B happens-before操作C，那么可以推断出操作A happens-before操作C。这意味着如果存在一条happens-before关系的链条，那么链条上的操作之间也存在happens-before关系。 ==

happens-before 传递性规则确保了操作之间的顺序的传递性，使得程序的执行结果符合预期。它是多线程编程中的一个重要概念，用于解决线程之间的竞争和保证线程安全性。

需要注意的是，happens-before 传递性规则仅适用于具有happens-before关系的操作之间，不适用于没有happens-before关系的操作。在多线程环境下，如果需要保证不同线程之间的操作顺序，还需要使用其他的happens-before规则，如volatile变量规则、锁定规则等。

💕💕 本文由激流原创，原创不易，感谢支持
💕💕喜欢的话记得点赞收藏啊