synchronized通过强制线程进出同步块时清空工作内存并重读主内存、刷新修改回主内存来保证可见性，其本质是基于monitorenter/acquire与monitorexit/release内存屏障的happens-before关系。
synchronized 保证内存可见性，不是靠“通知”或“推送”，而是靠强制线程每次进出同步块时，重置本地缓存与主内存的同步关系。核心在于：进入时清空工作内存、从主内存重读；退出时把修改刷回主内存。
进入同步块时：清空+重载
线程执行 monitorenter（即获得锁）的瞬间，JMM 要求它执行 acquire 语义：
- 将当前线程工作内存中所有共享变量的副本标记为无效
- 后续对这些变量的读取，必须从主内存重新加载最新值（相当于一次 volatile 读）
- 同时禁止该操作之后的普通读写，与前面的指令发生重排序
退出同步块时：刷新+写入
线程执行 monitorexit（即释放锁）前，必须完成 release 语义：
- 把工作内存中所有被修改过的共享变量，强制写回主内存（store + write）
- 确保其他线程之后获取同一把锁时，能读到这些更新
- 同时禁止该操作之前的普通读写，与后面的指令重排序
和 volatile 的关键区别
volatile 也能做到“读即重载、写即刷新”，但它只作用于单个变量，且不提供互斥——多个线程仍可同时执行逻辑，导致 i++ 这类复合操作出错。
- synchronized 的可见性是“附带效果”，根植于锁的 acquire/release 全局协议
- 它的作用范围是整个同步块，天然覆盖块内所有共享变量
- 正因为有锁的排他性，才让“先刷出、再读入”的顺序对所有线程可靠成立
为什么这能解决“读到旧值”问题
比如 flag 变量被线程 A 改成 true，但线程 B 一直读到 false——本质是 B 一直在用自己本地缓存的旧副本。
- 如果 B 进入 synchronized 块读 flag，就必须丢掉旧副本，去主内存拿最新值
- 如果 A 在 synchronized 块里改 flag，退出时会强制把 true 刷进主内存
- 两者的动作通过锁建立 happens-before 关系，B 的读一定看到 A 的写
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
