1. Java多线程同步机制概述在Java多线程编程中synchronized和volatile是两个最基础也最容易混淆的同步关键字。记得我刚入行时在一次线上事故排查中发现由于对这两个关键字的理解不到位导致系统出现了严重的线程安全问题。那次教训让我深刻认识到正确理解它们的区别和使用场景是每个Java开发者必须掌握的基本功。synchronized是Java中最重量级的线程同步机制它通过内置锁Monitor实现线程互斥保证同一时刻只有一个线程能执行被保护的代码块或方法。而volatile则是轻量级的同步机制主要解决内存可见性问题确保所有线程都能看到变量的最新值。这两个关键字虽然都能实现线程安全但适用场景和实现原理却大不相同。2. synchronized关键字深度解析2.1 基本语法与使用方式synchronized有三种基本使用形式// 1. 实例方法同步 public synchronized void method() { // 同步代码 } // 2. 静态方法同步 public static synchronized void staticMethod() { // 同步代码 } // 3. 同步代码块 public void blockMethod() { synchronized(this) { // 或任意对象作为锁 // 同步代码 } }我在实际项目中最常用的是第三种方式因为它提供了更细粒度的控制。比如在电商系统中处理库存扣减时public class InventoryService { private MapString, Integer stock new HashMap(); public void deductStock(String itemId, int quantity) { synchronized(stock) { // 以stock对象作为锁 int current stock.getOrDefault(itemId, 0); if(current quantity) { stock.put(itemId, current - quantity); } else { throw new RuntimeException(库存不足); } } } }2.2 锁升级机制与实现原理Java 6之后synchronized引入了锁升级机制大大提升了性能。这个机制包括四个状态无锁状态对象刚创建时的初始状态偏向锁通过CAS操作设置线程ID适用于单线程访问场景轻量级锁通过自旋尝试获取锁适用于短时间锁竞争重量级锁真正的互斥锁线程会进入阻塞状态我曾经用JOL工具分析过锁状态变化Object obj new Object(); System.out.println(ClassLayout.parseInstance(obj).toPrintable()); // 无锁 synchronized(obj) { System.out.println(ClassLayout.parseInstance(obj).toPrintable()); // 偏向锁/轻量级锁 }2.3 使用注意事项与最佳实践锁对象选择建议使用专门的对象作为锁而不是业务对象或this。我曾经见过有人用String常量作为锁这在类加载机制下可能导致意外死锁。锁粒度控制过粗的锁粒度会降低并发性能。在金融系统中我们优化过一个账户锁为分片锁TPS提升了5倍。避免死锁遵循固定的锁获取顺序。我曾经遇到过两个方法分别以A-B和B-A顺序获取锁导致的死锁问题。性能考量在JDK1.6后synchronized性能已经大幅提升但在超高并发场景下ReentrantLock可能更合适。3. volatile关键字深度解析3.1 内存可见性原理volatile的核心作用是保证内存可见性和禁止指令重排序。它的实现基于JMMJava内存模型的happens-before原则。我通过一个简单的例子演示其作用class VisibilityDemo { // 去掉volatile观察不同效果 volatile boolean running true; void start() { new Thread(() - { while(running) {} // 循环检查 System.out.println(线程结束); }).start(); } void stop() { running false; } }没有volatile修饰时即使主线程调用了stop()工作线程可能永远看不到running的变化导致无限循环。3.2 指令重排序与内存屏障volatile通过插入内存屏障Memory Barrier来禁止指令重排序。以单例模式的双重检查锁为例class Singleton { private static volatile Singleton instance; public static Singleton getInstance() { if(instance null) { synchronized(Singleton.class) { if(instance null) { instance new Singleton(); // 非原子操作 } } } return instance; } }如果没有volatile其他线程可能看到未初始化完成的对象。这是因为对象创建包含1)分配内存 2)初始化 3)赋值引用步骤2和3可能被重排序。3.3 适用场景与限制volatile最适合的状态标志场景多线程共享的boolean状态标志一次性安全发布如单例模式独立观察定期更新的值但它不能保证复合操作的原子性。比如count这样的操作实际包含读取-修改-写入三个步骤需要用synchronized或Atomic类。4. 对比分析与实战应用4.1 核心区别对比特性synchronizedvolatile原子性保证不保证可见性保证保证有序性保证部分保证禁止重排线程阻塞会不会使用复杂度高低性能开销大小4.2 复合操作解决方案对于需要原子性可见性的场景有几种解决方案synchronized方案public class Counter { private int count; public synchronized void increment() { count; } }Atomic类方案public class Counter { private AtomicInteger count new AtomicInteger(); public void increment() { count.incrementAndGet(); } }Lock方案public class Counter { private int count; private Lock lock new ReentrantLock(); public void increment() { lock.lock(); try { count; } finally { lock.unlock(); } } }在百万级并发的交易系统中我们测试发现AtomicLong比synchronized快3倍左右但最终选择了LongAdder它在高并发下性能更好。4.3 常见误区与陷阱误用volatile以为volatile能替代synchronized。曾经有同事用volatile修饰Map以为能保证线程安全结果导致ConcurrentModificationException。过度同步在不必要的地方使用synchronized。我见过有人在只读方法上加synchronized严重影响了性能。隐藏的共享变量比如在Spring的Controller中使用实例变量多个请求共享导致线程安全问题。5. JVM底层实现原理5.1 synchronized的JVM实现synchronized在字节码层面通过monitorenter和monitorexit指令实现。我反编译过以下代码public void test() { synchronized(obj) { System.out.println(hello); } }对应的字节码monitorenter getstatic #2 java/lang/System.out ldc #3 hello invokevirtual #4 java/io/PrintStream.println monitorexit5.2 volatile的JVM实现volatile在汇编层面会生成lock前缀指令。通过-XX:UnlockDiagnosticVMOptions -XX:PrintAssembly可以看到0x0000000112f689a9: lock addl $0x0,(%rsp) ;*putfield running这个lock指令会将当前处理器缓存行写回内存使其他CPU的缓存失效相当于内存屏障5.3 内存模型与happens-beforeJMM定义了8个happens-before规则其中与这两个关键字相关的监视器锁规则解锁操作happens-before后续加锁操作volatile变量规则写操作happens-before后续读操作理解这些规则对排查线程安全问题很有帮助。我曾经用这些规则分析过一个订单状态更新不及时的问题。6. 性能优化与监控6.1 锁性能优化建议减小同步范围只在必要部分加锁降低锁粒度使用ConcurrentHashMap代替同步的HashMap避免锁嵌套容易导致死锁使用读写锁适合读多写少场景考虑无锁算法如CAS操作6.2 监控工具使用jstack查看线程堆栈和锁状态jstack -l pidJConsole可视化监控死锁Arthas阿里巴巴开源的Java诊断工具watch com.example.Test testMethod {params,returnObj,throwExp} -n 5 -x 36.3 压测与调优案例在最近的一个支付系统中我们通过以下优化将TPS从800提升到3000将全局锁改为账户分段锁用AtomicReference替代部分synchronized块对账务流水采用CopyOnWriteArrayList使用Contended注解避免伪共享关键是要通过JMH进行基准测试而不是凭感觉优化。我曾经见过一个优化反而使性能下降10倍的情况。7. 常见面试问题解析7.1 synchronized相关问题锁升级过程从偏向锁到重量级锁的转换条件锁消除与锁粗化JIT编译器的优化手段与ReentrantLock区别功能对比与选型建议7.2 volatile相关问题DCL单例模式为什么要用volatile内存屏障类型LoadLoad、StoreStore等与final的内存语义安全发布的两种方式7.3 综合应用问题ConcurrentHashMap实现分段锁与CAS的结合AQS实现原理volatile state与CLH队列ThreadLocal内存泄漏弱引用与清理机制在准备面试时建议不仅要记住答案更要理解背后的原理。我曾经在面试中让候选人手写一个简单的锁发现很多人对锁的实现原理理解很模糊。