happens-before的核心是可见性判断而非死记八条规则，重点掌握程序顺序、锁、volatile、线程启动四条高频规则，其余四条仅用于原理题或极端场景。
直接抓住“可见性判断”这个核心，happens-before 不是考背诵八条规则，而是考你能不能用它快速判断两个操作之间有没有内存可见保障。
重点盯住四条高频规则的实际表现
程序顺序、锁、volatile、线程启动这四条覆盖了 90% 的面试和实际问题。其余四条（终止、中断、终结、传递性）基本只在原理题或极端场景中出现。
- 程序顺序规则：单线程内代码写在前面，就对后面的操作 happens-before；但注意——它不跨线程，哪怕变量是共享的，也不自动保证其他线程能看到
- 锁规则：关键看“同一个锁”。A 线程 unlock 后，B 线程 lock 同一把锁，B 就能看见 A 在临界区内所有修改；换把锁或没加锁，这条就断了
- volatile 规则：只管“写 → 读”这一对动作，且必须是同一变量。flag = true; 和 while(!flag) 构成完整链；但 flag = true; 和 System.out.println(x) 没关系，除非 x 的读也受 volatile 或锁保护
- 线程启动规则：t.start() 之前主线程做的所有事，对 t.run() 第一行代码可见；这是唯一不用加关键字就能建立跨线程可见性的标准方式
画图比背口诀更有效
遇到代码题，立刻在草稿纸上画两列：左边线程 A，右边线程 B，标出关键操作（赋值、读取、加锁、解锁、volatile 写/读），再用箭头连起满足 happens-before 的操作对。只要存在一条从 A 的写到 B 的读的完整箭头链（可经由锁、volatile、传递性等中转），B 就一定看到新值。
比如：int x = 1; volatile boolean ready = false; —— A 线程先设 x=1，再设 ready=true；B 线程循环读 ready，为 true 后读 x。ready 的 volatile 写 → B 的 volatile 读构成第一段链，而 A 对 x 的写在 ready 写之前（程序顺序），B 读 x 在 ready 读之后（程序顺序），再叠加传递性，x 的写就 happens-before B 的读。
立即学习“Java免费学习笔记（深入）”；
警惕三大高频陷阱
- 把时间先后当 happens-before：物理上 A 先执行、B 后执行，不代表 A happens-before B；没有规则支撑，B 仍可能读到旧值
- 误用 volatile 保原子性：volatile flag = true; 是安全的；但 volatile int counter; counter++ 不是，因为 ++ 包含读-改-写三步，中间可能被穿插
- 忽略隐式 happens-before 断裂：synchronized 块外的代码，即使紧挨着块，也不自动获得块内的可见性；必须确保读写都在有规则保障的路径上
结合典型代码反复练判断
不必死记八条原文，但要熟练识别这些结构：
- synchronized(lock) { x = 1; } → 另一个 synchronized(lock) { r = x; }
- volatile boolean done; … done = true; → while(!done) {}
- Thread t = new Thread(() -> { System.out.println(x); }); x = 42; t.start();
- Object obj = new SomeObj(); obj.field = 42; sharedRef = obj; → 另一线程读 sharedRef.field（注意 final 字段发布与安全初始化）
每种都动手画一次链，确认哪一步靠哪条规则，哪一步缺保障。练熟五组，考场见类似题基本秒判。
