synchronized通过jmm锁语义天然保障可见性和有序性：进入同步块时清空工作内存并重读主内存，退出时强制刷新修改至主内存；且unlock happens-before 后续lock，结合单线程执行语义确保有序性。

synchronized 通过 Java 内存模型（JMM）规定的锁语义，天然保障可见性和有序性，不需要额外声明或配置。

可见性：加锁读、解锁写，强制主内存同步

多线程下变量“看不见更新”，本质是各线程把共享变量缓存在自己的工作内存中，修改后未及时刷回主内存。synchronized 解决这个问题靠两步关键动作：

• 进入 synchronized 块前：清空当前线程工作内存中该对象相关变量的副本，强制从主内存重新加载最新值；
• 退出 synchronized 块时：将工作内存中所有被修改的共享变量，全部刷新回主内存。

这就形成一个“读-改-写”的闭环。比如线程 A 修改了 flag = false 并释放锁，线程 B 下次进入同一把锁的临界区时，一定会看到这个新值——不是靠轮询或延迟，而是由 JVM 在锁操作边界插入内存屏障（Memory Barrier）来保证。

有序性：happens-before 规则 + 单线程执行语义

synchronized 不靠禁止所有指令重排来实现有序性，而是借助 JMM 的 happens-before 原则：

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

• 对同一个锁，一个线程 unlock 操作 happens-before 另一个线程后续对该锁的 lock 操作；
• 这意味着 unlock 之前的所有写操作，对 lock 之后的读操作一定可见且顺序确定；
• 同时，被 synchronized 包裹的代码块，在任意时刻最多只有一个线程执行，等效于单线程语义——而单线程下 as-if-serial 语义保证重排不会改变结果，因此执行顺序与代码顺序一致。

所以即使编译器或 CPU 优化了内部指令顺序，只要不破坏锁边界内的逻辑依赖，对外表现仍是严格按源码顺序执行。

和 volatile 的关键区别

volatile 也能提供可见性和有序性，但它只作用于单个变量的读写，不带互斥；而 synchronized 是以“临界区”为单位生效：

• volatile 不能防止多个线程同时进入一段逻辑（比如 i++），因此无法保证复合操作的原子性；
• synchronized 锁住的是整个代码块或方法，既阻塞并发访问，又确保该范围内所有变量的读写都遵循统一的内存同步协议。

换句话说：volatile 让“变量更新看得见”，synchronized 让“一段逻辑执行得干净又透明”。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南