【Java面试笔记：进阶】29.Java内存模型中的happen-before是什么？

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

1.目的

• JMM旨在解决多线程程序的正确性和可移植性问题，确保Java程序在不同硬件平台和编译器上的行为一致。

2.背景

• Java是最早引入内存模型的语言之一，早期C、C++等语言没有内存模型，行为依赖于处理器的内存一致性模型，导致程序在不同处理器上的表现不一致。

2.Happen-before

1.定义

• Happen-before关系是JMM中保证多线程操作可见性的机制。
• 它不仅保证了操作的执行顺序，还保证了内存读写操作的顺序。

2.核心作用

1. 禁止指令重排序：编译器/处理器优化必须遵守happens-before规则，不能破坏程序的逻辑顺序。
2. 保证内存可见性：若操作A happens-before操作B，则A对共享变量的修改对B可见。

3.具体表现形式

1.线程内操作的顺序保证

定义：线程内执行的每个操作都保证happen-before后续的操作。

示例：在单线程中，代码的书写顺序（程序顺序）决定了操作的执行顺序。

int x = 1;  // 操作A
int y = 2;  // 操作B

2.volatile变量的读写操作顺序保证

定义：对volatile变量的写操作happen-before后续对该变量的读操作。

示例：

volatile boolean flag = false;
// 线程A
flag = true;     // 写操作
// 线程B