synchronized通过互斥执行与内存屏障协同实现逻辑原子性和可见性：靠锁机制确保同一时刻仅一个线程执行临界区，靠StoreLoad等屏障强制刷新和重读共享变量。

synchronized 不直接提供底层指令级的原子操作，而是通过互斥执行 + 内存屏障，在逻辑层面保证一段代码的“原子性”效果。

它靠串行化临界区来实现逻辑原子性

多个线程无法同时进入同一个 synchronized 块（或同步方法），因为 JVM 要求线程必须先成功获取对象关联的 Monitor 锁。未获得锁的线程会被阻塞，直到锁被释放。这使得被同一把锁保护的多条语句（比如读-改-写）对外表现为一个不可分割的整体。

• i++ 看似简单，实际包含读取、加 1、写回三步——synchronized 把这三步包进一个同步块，就避免了其他线程在中间插队
• 原子性只在锁的作用范围内成立：用 this 锁保护 a 和 b 的赋值是原子的；但如果 a 用 this 锁、b 用 new Object() 锁，二者更新就无法保证整体原子
• 锁对象必须一致：所有访问共享变量的读写操作，都要用同一个锁对象（如 private final Object lock = new Object()）

它依赖内存屏障保障可见性与有序性

仅靠互斥还不够。JVM 在 monitorenter 和 monitorexit 指令处插入内存屏障，确保变量修改对其他线程及时可见，并禁止重排序破坏逻辑。

JavaStoryDevelop

你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在

下载

• 进入同步块前插入 LoadLoad / LoadStore 屏障：防止后续读/写被重排到锁获取之前
• 退出同步块前插入 StoreStore 屏障：确保所有写操作完成后再释放锁
• 退出同步块后插入 StoreLoad 屏障：强制将工作内存中修改的变量刷回主内存，且让其他线程下次进入时重新读取最新值

它天然支持可重入，避免自锁死循环

同一个线程可以多次获取自己已持有的锁，JVM 会维护锁计数器（Entry Count）。每次进入加 1，每次退出减 1，归零才真正释放。

立即学习“Java免费学习笔记（深入）”；

• 同步方法内部调用另一个同步方法（相同锁对象）不会阻塞，递归或委托调用更安全
• 这和手动实现的不可重入锁不同，synchronized 的可重入性是 JVM 层面保障的，无需开发者干预

它和真正的原子类有本质区别

synchronized 是粗粒度的代码块级同步，适合保护含 IO、条件判断、多个变量更新的复杂逻辑；而 AtomicInteger 等是细粒度的变量级原子操作，基于 CPU 的 CAS 指令实现无锁更新。

• CAS 是硬件级原子，适用于简单状态变更（如计数器增减）
• synchronized 更通用，但开销略高；JDK 6+ 后已优化（偏向锁 → 轻量锁 → 重量锁）
• 不要用 volatile 替代 synchronized 来保护复合操作——volatile 不能保证 i++ 的原子性