上篇梳理了happens-before的规则，它的核心定义，说起来并不复杂，却道尽了并发可见性的本质。其一，若操作A happens-before操作B，那么A的执行结果必然对B可见，而且从逻辑顺序上，A会排在B之前——这里要特别注意，这种“顺序”只是逻辑上的约定，并不要求A在物理层面实际先于B执行。就像两个匠人协作做一件家具，约定好“先打磨再上漆”，哪怕打磨的匠人中途稍作停顿，上漆的匠人也会等打磨完成再动手，这便是逻辑顺序的约束，而非实际执行的绝对先后。
其二，也是它最珍贵的价值——简化内存可见性判断。在没有happens-before规则之前，我们判断两个操作的可见性，必须吃透处理器重排序的所有细节、分清不同处理器的内存模型差异，还要梳理清楚内存屏障的使用场景，稍有不慎就会出错。而有了这个规则，我们无需再关注底层的重排序和屏障细节，只需判断两个操作之间是否存在happens-before关系，就能确定数据是否可见，极大地降低了并发程序开发和调试的难度。这就像老木匠不用再逐一检查每一道榫卯的契合度，只需遵循“先凿眼后插榫”的约定，就能保证家具的稳固，省时又省力。
吃透了happens-before的核心定义，更要牢记它的四条关键规则——这四条规则，是我们在实际开发中判断可见性、规避并发Bug的“指南针”，每一条都藏着我多年摸爬滚打的经验，看似简单，却字字千金。
一、程序顺序规则
第一条是程序顺序规则：同一线程中，前面的操作happens-before后续操作。这是最基础、也最容易理解的一条规则，就像我们走路，必须一步一步向前，不能倒着走、跳着走。在单线程环境中，哪怕处理器会对指令进行重排序，JMM也会保证，从线程自身的视角来看，指令的执行顺序和我们写的代码顺序是一致的。我刚开始写单线程程序时，总觉得这条规则多余，直到后来才懂，它是单线程程序逻辑正确的“基石”——正是有了这个约定，我们才能放心地按顺序写代码，不用操心底层处理器的重排序，因为JMM会帮我们“兜底”，确保线程内的逻辑不会乱。
二、监视器锁规则
第二条是监视器锁规则：解锁操作happens-before后续对同一锁的加锁操作。监视器锁，说白了就是我们常说的synchronized锁，这条规则，是多线程同步的核心。就像我们进出一扇门，必须先有人开门（解锁），后面的人才能进门（加锁），不能有人还在门里（持有锁），其他人就强行破门而入。当年我开发多线程同步程序时，曾因没理清解锁和加锁的顺序，导致线程死锁、数据错乱，排查了整整一周才发现，是违背了这条规则——解锁操作还没完成，后续的加锁操作就已经执行，导致锁的同步作用失效。从那以后，我每次写synchronized代码，都会牢记这条规则，确保解锁在前、加锁在后，这也是多线程程序稳定运行的关键。
三、volatile变量规则
第三条是volatile变量规则：对volatile域的写操作happens-before后续读操作。volatile变量，是我们开发中常用的轻量级同步方式，它不像synchronized锁那样开销大，却能保证可见性，而这条规则，就是它保证可见性的核心原因。就像我们传递消息，必须先有人发送消息（写操作），后面的人才能收到消息（读操作），不能还没发送，就有人收到了消息。我曾用volatile变量做线程间的状态标识，一开始没注意这条规则，写操作和读操作的顺序混乱，导致线程无法正确感知状态变化，出现了无限循环的Bug。后来加上volatile修饰，并遵循“写在前、读在后”的约定，Bug瞬间就解决了。这条规则告诉我们，volatile变量的读写的顺序，直接决定了它的同步效果，容不得丝毫马虎。
四、传递性
第四条是传递性：若A happens-before B且B happens-before C，则A happens-before C。这条规则，就像多米诺骨牌，第一张牌倒下（A），会带动第二张牌倒下（B），第二张牌倒下，又会带动第三张牌倒下（C），最终，第一张牌的倒下，会间接导致第三张牌倒下。在复杂的多线程程序中，我们往往无法直接判断A和C的happens-before关系，但通过这条传递性规则，我们可以找到中间的“桥梁”B，从而间接判断A和C的可见性。这一点，在调试复杂并发Bug时尤为重要——很多时候，我们找不到直接的逻辑错误，却能通过传递性，梳理出操作之间的可见性关系，找到Bug的根源。
最后小结
这四条关键规则，不是孤立存在的，它们相互配合，构成了happens-before规则体系，也构成了我们判断多线程可见性的核心方法论。岁月流转，从最初对这些底层机制的懵懂无知，到如今能熟练运用它们解决并发问题，我走过无数弯路，也积累了无数经验。处理器重排序，是硬件对效率的追求；内存屏障，是软件对秩序的坚守；而happens-before规则，就是连接硬件效率与软件正确性的“桥梁”——它们看似对立，实则相辅相成。
