java中join方法通过jmm的happens-before规则和底层wait/notify机制确保可见性：线程a调用线程b的join()后，b的所有操作happens-before a中join返回后的操作，且wait返回前jvm强制刷新本地内存，保证a能看到b对共享变量的写入。
Java 中 join 方法通过 JMM（Java 内存模型）的 happens-before 规则和底层 wait/notify 机制共同确保线程执行结果的可见性。
join 建立 happens-before 关系
根据 Java 内存模型规范，如果线程 A 执行了线程 B 的 join()，那么线程 B 中的所有操作都 **happens-before** 线程 A 中 join 调用返回之后的任意操作。这意味着：
- B 线程对共享变量的写入，在 A 线程 join 返回后一定能被 A 看到；
- 无需额外加 volatile 或 synchronized，JMM 保证该可见性语义；
- 这是语言层面的内存屏障保障，不是靠程序员手动刷新缓存。
底层基于对象监视器的 wait/notify
join() 是 synchronized 实例方法，它内部调用 wait(0) 等待目标线程终止：
- 当前线程（比如主线程）获取目标线程对象的锁，然后进入 wait 状态；
- 目标线程运行结束时，JVM 自动在其对象上调用
notifyAll()； - wait 返回前，JVM 会强制刷新该线程本地内存，从主内存重新读取共享变量 —— 这是可见性的关键动作。
与单纯 sleep 或 yield 的本质区别
仅用 Thread.sleep(100) 无法保证可见性，因为：
- sleep 不涉及锁和 wait，不触发内存同步；
- 即使子线程已执行完，主线程仍可能读到旧值（如未刷新的 CPU 缓存副本）；
- 而 join 不仅等待完成，还借助同步块 + wait 机制，强制建立内存可见链路。
一个典型可见性验证场景
例如：
static int x = 0;Thread t = new Thread(() -> { x = 42; });
t.start();
t.join(); // 此处建立 happens-before
System.out.println(x); // 必然输出 42，不会是 0
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
