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 指令处插入内存屏障，确保变量修改对其他线程及时可见，并禁止重排序破坏逻辑。
- 进入同步块前插入 LoadLoad / LoadStore 屏障：防止后续读/写被重排到锁获取之前
- 退出同步块前插入 StoreStore 屏障：确保所有写操作完成后再释放锁
- 退出同步块后插入 StoreLoad 屏障：强制将工作内存中修改的变量刷回主内存，且让其他线程下次进入时重新读取最新值
它天然支持可重入，避免自锁死循环
同一个线程可以多次获取自己已持有的锁，JVM 会维护锁计数器（Entry Count）。每次进入加 1，每次退出减 1，归零才真正释放。
- 同步方法内部调用另一个同步方法（相同锁对象）不会阻塞，递归或委托调用更安全
- 这和手动实现的不可重入锁不同，synchronized 的可重入性是 JVM 层面保障的，无需开发者干预
它和真正的原子类有本质区别
synchronized 是粗粒度的代码块级同步，适合保护含 IO、条件判断、多个变量更新的复杂逻辑；而 AtomicInteger 等是细粒度的变量级原子操作，基于 CPU 的 CAS 指令实现无锁更新。
- CAS 是硬件级原子，适用于简单状态变更（如计数器增减）
- synchronized 更通用，但开销略高；JDK 6+ 后已优化（偏向锁 → 轻量锁 → 重量锁）
- 不要用 volatile 替代 synchronized 来保护复合操作——volatile 不能保证 i++ 的原子性
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
