没有Happens-Before？你的多线程代码就是‘一锅粥’！

内存模型与happens-before：开发者与硬件的和平条约

在前文中，提到处理器通过一些特殊指令（如 LOCK、CMPXCHG、内存屏障等）来保障多线程环境下程序的正确性。然而，这种做法仍然存在几个显著问题。
1）底层指令实现复杂且晦涩：处理器指令的细节往往难以理解，开发者需要付出大量的时间和精力来掌握这些低级实现。
2）不同平台间的兼容性问题：不同硬件架构和操作系统对这些指令的支持和实现方式各不相同，这要求程序在设计时考虑到跨平台的兼容性和一致性。
3）多线程数据操作的复杂性：随着程序业务逻辑的多变，处理器与线程之间的内存访问依赖关系变得更加复杂，从而增加了程序出错的风险。
为了简化并发编程，解决这些问题，现代编程语言通常提供了抽象的内存模型，用以规范多线程环境下的内存访问行为。这种抽象使开发者无需关注底层硬件与操作系统实现细节，即可编写高效且可移植的并发程序。
以 Java 为例，Java语言采用了Java 内存模型（Java Memory Model，JMM）来提供这种抽象。 Java 内存模型的核心目的是通过支持诸如 volatile、synchronized、final 等同步原语，来确保在多线程环境下程序的原子性、可见性和有序性。这些原语确保了不同线程间的操作能够按照特定的规则正确协作。
此外，JMM 还引入了一个重要概念：happens-before 关系，旨在描述并发编程中操作之间的偏序关系。具体来说，偏序关系主要用于确保线程间操作的顺序性，避免因执行顺序不明确而导致的并发问题。
偏序关系在并发编程中的应用主要体现在以下两种情况。
1）程序顺序（Program Order）：指单线程中，由程序控制流决定的操作顺序。例如，如果操作 A 在操作 B 之前执行，那么我们可以认为 A  {        int i = 0;        // 存在数据依赖关系，无法重排序下面代码        // 强制从主内存中读取变量x的最新值        y = x;        // 基于volatile变量规则        // 编译器插入storeload内存屏障指令        // 1）禁止代码和指令重排序        // 2）强制刷新变量y的最新值到内存        // 3）y = x；可能会被编译优化去除        y = 3;        // 编译器插入storeload内存屏障指令        // 1）禁止代码和指令重排序        // 2）强制刷新变量y的最新值到内存    });            Thread c = new Thread(() -> {        // 基于程序顺序规则        // 没有数据依赖关系，可以重排序下面代码        int i = 0;        // 基于volatile变量规则        // 强制从主内存中读取变量x和y的最新值        z = x * y;        // 编译器插入storeload内存屏障指令        // 1）禁止代码和指令重排序        // 2）强制刷新变量z的最新值到内存    });            // ...start启动线程，join等待线程    assert z == 6;    // 可以看到a线程对变量x变更，b线程对变量y变更，最终对线程c可见    // 即满足传递性规则}[/code]

1. // Thread1内, A happens-before B，B happens-before C。
2. // 这意味着A一定会在B之前完成，B一定会在C之前完成。因此，可以确信y包含x+5的结果。
3. Thread1 {
4.     x = 10;    // A
5.     y = x + 5; // B
6.     print(y);  // C
7. }

复制代码

总结：在混沌与秩序间搭建桥梁
Java内存模型是并发编程中连接开发者与硬件系统的关键桥梁。它依托可见性、有序性和原子性这三大核心原则，将复杂的并发问题转化为清晰的编程规范。当多个线程操作共享变量时，Java内存模型利用volatile、synchronized等机制，有效抑制了处理器优化带来的不确定性，同时兼顾了性能优化需求。其定义的happens-before关系，如同线程间的通信准则，以顺序性规则替代了对缓存刷新、指令重排等底层操作的直接操控。这种设计让开发者能够专注于业务逻辑，仅凭有限的同步手段就能构建出稳健的多线程程序。
Java内存模型的价值在于达成了三个重要平衡：它确保程序正确性不依赖于硬件实现细节；维持同步规则的简洁性以控制复杂度；让开发者能以较低的认知成本构建并发系统。这无疑是工程解耦的典范：用简洁的抽象来掌控复杂的世界。
很高兴与你相遇！
如果你喜欢本文内容，记得关注哦！！！

来源：程序园用户自行投稿发布，如果侵权，请联系站长删除
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！