1. 引言
在Java多线程编程中,synchronized
关键字是一个重要的同步工具,用于确保同一时间只有一个线程可以访问某个资源或代码块。当synchronized
修饰方法时,它实际上是为该方法所在的对象或类的Class对象加上了一把锁。本文将对synchronized
修饰方法的原理、源码以及实战应用进行深入解析。
2. synchronized修饰方法的原理
- 互斥性:当一个线程访问某个对象的
synchronized
方法时,其他线程必须等待该线程执行完该方法后才能访问,即保证了同一时间只有一个线程能执行该方法。 - 可见性:在释放锁之前,线程必须将共享变量的最新值刷新到主存中,从而保证了其他线程读取到的变量值是最新的。
- 可重入性:同一个线程可以多次获取同一个对象的锁,这是因为JVM会维护一个线程持有锁的计数器,当计数器大于0时,线程可以继续获取锁。
3. synchronized修饰方法的源码分析
在JVM中,synchronized
修饰的方法在字节码层面会被特别标记(ACC_SYNCHRONIZED)。当一个线程调用synchronized
方法时,JVM会检查该方法的ACC_SYNCHRONIZED标志位,如果存在,则执行以下步骤:
- 获取锁:JVM会尝试获取该方法的锁(对于实例方法,锁是当前对象;对于静态方法,锁是Class对象)。如果锁已经被其他线程持有,则当前线程会被阻塞,直到锁被释放。
- 执行方法体:一旦获取到锁,线程就可以安全地执行方法体中的代码。
- 释放锁:当方法执行完毕后(无论是正常返回还是抛出异常),JVM会自动释放锁,以便其他线程可以获取该锁并执行该方法。
具体到JVM内部实现,synchronized
方法的锁是通过Monitor对象来实现的。Monitor是JVM内部用于实现线程同步的一个数据结构&#