Java内存模型（JMM）与Happens-Before规则_请解释java内存模型(jmm)以及happens-before原则-优快云博客

本文链接：https://blog.youkuaiyun.com/qq_25216471/article/details/145897157

深入解析Java内存模型（JMM）与Happens-Before规则

Java内存模型（Java Memory Model, JMM）是Java多线程编程的核心概念之一。它定义了线程如何与内存交互，以及如何保证多线程环境下的可见性、有序性和原子性。理解JMM和Happens-Before规则对于编写高效、线程安全的Java程序至关重要。

1. Java内存模型（JMM）概述

Java内存模型的主要目标是解决多线程环境下的内存可见性问题。在多线程编程中，每个线程都有自己的工作内存（本地内存），而所有线程共享主内存。线程对变量的操作首先发生在工作内存中，然后再同步到主内存。这种设计虽然提高了性能，但也带来了内存可见性问题。

JMM通过定义一系列规则来确保线程之间的内存可见性，其中最核心的就是Happens-Before规则。

2. Happens-Before规则

Happens-Before规则是JMM的核心概念之一，它定义了多线程环境下操作的可见性顺序。如果一个操作A Happens-Before 操作B，那么操作A的结果对操作B是可见的。

Happens-Before规则包括以下几种情况：

程序顺序规则：在同一个线程中，按照代码的顺序，前面的操作Happens-Before后面的操作。
锁规则：一个解锁操作Happens-Before后续对同一个锁的加锁操作。
volatile变量规则：对一个volatile变量的写操作Happens-Before后续对这个变量的读操作。
线程启动规则：线程的start()方法Happens-Before该线程的任何操作。
线程终止规则：线程中的所有操作Happens-Before其他线程检测到该线程已经终止。
中断规则：一个线程调用另一个线程的interrupt()方法Happens-Before被中断线程检测到中断事件。
对象终结规则：一个对象的构造函数执行结束Happens-Before该对象的finalize()方法的开始。

3. 代码实战：Happens-Before规则的应用

让我们通过一个简单的代码示例来理解Happens-Before规则的作用。

public class HappensBeforeExample {
    private int x = 0;
    private volatile boolean flag = false;

    public void writer() {
        x = 42;  // 操作1
        flag = true;  // 操作2
    }

    public void reader() {
        if (flag) {  // 操作3
            System.out.println(x);  // 操作4
        }
    }

    public static void main(String[] args) {
        HappensBeforeExample example = new HappensBeforeExample();

        Thread writerThread = new Thread(() -> {
            example.writer();
        });

        Thread readerThread = new Thread(() -> {
            example.reader();
        });

        writerThread.start();
        readerThread.start();
    }
}

在这个例子中，writer()方法首先将x赋值为42，然后将flag设置为true。reader()方法在读取flag的值后，如果flag为true，则打印x的值。

根据Happens-Before规则：