很多人一聊到 JVM 锁,第一反应就是背面试题:偏向锁、轻量级锁、重量级锁,外加一个自旋锁。说实话,这些概念单拎出来都不难懂,但真正难的是把它们串成一条线,搞清楚 JVM 到底在什么场景下选择哪种锁,以及这背后的底层逻辑到底是什么。尤其是当你遇到线上 CPU 飙高、线程大面积 BLOCKED、或者明明加了锁却没起到作用的时候,光会背概念完全不够用。
这篇就围绕 JVM 锁展开,从设计思路到对象头里的具体实现,再到用代码实测锁升级的完整链路,最后整理一份可以拿去排查线上问题的实战手册。不管你是刚接触并发编程的 Java 开发,还是准备面试想彻底吃透锁机制,或者正在为一次诡异的性能抖动头疼,这篇都会给你一个能直接落地的参考。内容偏底层但不会堆术语,我会尽量把每个细节都说明白。
1. 为什么说 JVM 锁是一套"自适应"的并发防线
JVM 锁不是一个孤立的语法特性,它本质上是在帮你解决多线程访问共享资源时的三大问题:原子性、可见性和有序性。你在代码里写一个 synchronized 或者加一个 ReentrantLock,就是在告诉 JVM:这块临界区同一时刻只能有一个线程进来,并且进出临界区时要保证共享变量的状态对其他线程可见,同时禁止编译器或 CPU 对指令进行可能破坏语义的重排序。
1.1 锁在并发编程里的位置,以及它管不住什么
我们先理清一个边界:JVM 锁管的是单个 JVM 进程内部的线程互斥。你部署了十个服务实例,每个实例都有自己的 JVM,那 synchronized 和 ReentrantLock 只能保证某一个实例内部的线程安全,跨实例的共享资源它管不了。这也是为什么后来有了分布式锁,比如基于 Redis 的实现,本质上是用一个外部协调者来让多个进程之间的线程排队。
很多人在这一步就混淆了,面试时也经常被问到"synchronized 能解决分布式并发问题吗",答案是显然不能。所以你在设计一个高并发系统的时候,第一步就要想清楚:锁的边界到底在哪里?是单机进程内,还是跨进程?这个判断直接决定了你后续用 JVM 锁还是引入分布式锁,也决定了系统的复杂度。
1.2 JVM 锁为什么要"分级",而不是一把锁走天下
如果你看过早期 JDK 的实现就会发现,synchronized 在 JDK 1.6 之前是一个不折不扣的重量级操作。它底层依赖操作系统的 Mutex Lock,线程一旦拿不到锁就会进入阻塞状态,然后被挂起,等锁释放后再被唤醒。这个阻塞和唤醒的过程涉及用户态和内核态的切换,开销非常大。在锁竞争不激烈的场景下,这种设计显得很笨重。
所以 HotSpot 团队做了一个很聪明的决定:按照锁竞争的激烈程度,把 synchronized 的实现拆成了几个级别。就像你平时出门,如果只是下楼取个快递,没必要开卡车;但如果要搬家,就得叫货车。JVM 也是同理,没有竞争的时候我就用最轻量的方式,有竞争了再逐步升级到更重的实现。这条链路就是:偏向锁 → 轻量级锁 → 重量级锁,此外还有一个很重要的自旋机制,在轻量级锁阶段配合使用。
这个设计思想值得你记住,因为它直接体现了 JVM 的核心调优思路:自适应,而不是一刀切。后面所有的参数调整、问题排查,都是在顺应这个设计的基础上做的。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 锁升级实战:从偏向锁到重量级锁的完整链路
要真正理解 JVM 锁,光知道有哪几种锁是不够的,你得知道锁状态是怎么存在对象里的,又是怎么一个状态一个状态切换过去的。这一节我们深入到对象头和 Mark Word,再把整条升级链路走一遍。
2.1 对象头里的秘密:Mark Word 如何记录锁状态
HotSpot 虚拟机中,每个 Java 对象在内存里都有一块对象头(Object Header),它由两部分组成:Mark Word 和 Klass Pointer。对于普通对象来说,Mark Word 占用 8 个字节(64 位 JVM 下),里面存储的信息非常丰富,包括对象的哈希码(hashCode)、分代年龄(age)、锁状态标志位,以及持有锁的线程 ID 等等。
关键点在于:Mark Word 是一块动态复用的内存区域。它会根据对象当前的锁状态,重新解释这 8 个字节的含义。比如无锁状态下,Mark Word 里存的是哈希码和分代年龄;一旦进入偏向锁模式,同一个位置的 bit 就会被重写成线程 ID 和偏向时间戳。这也是为什么 HashCode 和偏向锁不能共存,一个对象如果已经计算过 identityHashCode,它就没法再进入偏向锁状态,因为马克字里没有多余的空间同时存下这两样东西。
不同锁状态下的 Mark Word 布局大致是这样(这里以 64 位 JVM 为例):
| 锁状态 | Mark Word 关键位 | 锁标志位 |
|---|---|---|
| 无锁 | hashCode、分代年龄 | 01 |
| 偏向锁 | 线程ID、epoch、分代年龄 | 01(且偏向位为1) |
| 轻量级锁 | 指向栈中锁记录的指针 | 00 |
| 重量级锁 | 指向管程 Monitor 的指针 | 10 |
你可以看到,无锁和偏向锁的标志位都是 01,区别在于偏向锁里多了一个偏向位(biased_lock)。JVM 在读 Mark Word 的时候,会先看偏向位是否为 1,再判断具体是无锁还是偏向锁。这个细节我见过不少文章写错,这里单独拿出来提醒一下。
2.2 一步步拆解 synchronized 的升级过程
第一阶段:偏向锁
当一个线程第一次访问某个同步块时,如果 JVM 开启了偏向锁(默认开启,但有延迟),并且这个对象还没有被任何线程偏向,那么 JVM 会通过一次 CAS 操作,把当前线程的 ID 写入 Mark Word 的偏向线程 ID 字段。这个操作几乎没有任何开销,因为它只是修改线程私有的对象头,不涉及操作系统级的锁操作。
在偏向锁生效期间,这个线程每次进入同步块,只需要判断一下 Mark Word 里的偏向线程 ID 是不是自己就可以了,不需要任何 CAS。如果同一个线程反复进入同一个同步块,效率会非常高。这也是偏向锁设计的初衷:大多数情况下,一个锁往往只被同一个线程多次获取。
但偏离锁也有一个明显的问题:一旦有第二个线程来竞争,事情就变得麻烦了。第二个线程尝试获取偏向锁时,发现偏向线程 ID 不是自己,就会触发撤销偏向(revoke bias)。如果偏向锁已经超过了批量重偏定的阈值,JVM 甚至可能直接批量撤销一批偏向锁。撤销操作需要等待全局安全点(SafePoint),这个过程如果频繁发生,性能反而会下降。所以在高竞争场景下,偏向锁不仅没有帮助,还会拖后腿,这就是为什么后来的 JDK 版本逐渐废弃了偏向锁,默认不再启用。
第二阶段:轻量级锁
当第二个线程真正参与竞争时,轻量级锁就登场了。此时线程会在自己的栈帧中分配一块锁记录(Lock Record)空间,然后尝试通过 CAS 把对象头中的 Mark Word 复制到锁记录里,并把自己的指针更新到 Mark Word 中。这一步操作的目的,是把原本存在对象头里的"无锁状态",临时改写成"指向当前线程栈中锁记录"的形式。
如果 CAS 成功,说明当前线程拿到了锁,此时即使有两个线程在逻辑上竞争,只要它们能"错开"进入临界区,就不会触发锁膨胀,也不会进入内核态。如果 CAS 失败,说明锁已经被占用了,线程不会立即阻塞,而是进入自旋状态,反复尝试获取锁。这个自旋过程是在用户态完成的,避免了线程切换的系统调用开销。
第三阶段:重量级锁
自旋虽然省掉了线程切换的开销,但也有一个致命缺点:如果锁被持有时间很长,其他线程就会一直空转消耗 CPU。所以 JVM 不能无限自旋,它需要设定一个自旋次数上限。当自旋达到一定次数仍然拿不到锁,或者同时有大量线程在竞争时,轻量级锁就会升级为重量级锁。
重量级锁依赖操作系统的管程(Monitor)机制。线程获取不到锁时会进入一个阻塞队列,状态变成 BLOCKED,等待锁被释放后由操作系统唤醒。这个过程涉及用户态到内核态的切换,开销最大,但好处是线程不再无谓地消耗 CPU。可以说,重量级锁是 JVM 在"CPU 空转"和"线程切换"之间做的一个妥协:当竞争真的到了白热化程度,干脆让线程老实睡觉,把 CPU 让给其他任务。
锁升级的路径是单向的:偏向锁 → 轻量级锁 → 重量级锁,但不能从重量级锁降级回轻量级锁或偏向锁。这也意味着,一旦某个锁曾经经历过严重的竞争,之后即使竞争消失了,它也会一直停留在重量级锁状态。这一点在面试里经常被问到,也在实际调优中很容易被忽略。
3. 动手实测:用代码和工具观察对象头里的状态流转
很多文章讲到这里就停了,但光看理论你感受不到 JVM 锁到底"重"在哪里。这一节我会带你用 JOL(Java Object Layout)工具和几个核心参数,把锁的底层状态变化实际打印出来。建议你打开 IDE 跟着跑一遍,这样对锁升级的全过程会有非常直观的体感。
3.1 用 JOL 查看对象头和锁状态
JOL 是 OpenJDK 提供的一个小工具,专门用来分析 Java 对象在内存中的布局。在 Maven 项目里加一个依赖就能用,非常简单。这里我特意先关掉偏向锁延迟,让它从 JVM 启动一开始就能正常使用,方便观察偏向锁的状态。
xml复制<dependency>
<groupId>org.openjdk.jol</groupId>
<artifactId>jol-core</artifactId>
<version>0.17</version>
</dependency>
java复制import org.openjdk.jol.info.ClassLayout;
public class LockDemo {
static class Demo {
private boolean flag = true;
}
public static void main(String[] args) throws Exception {
Demo demo = new Demo();
System.out.println("无锁状态:");
System.out.println(ClassLayout.parseInstance(demo).toPrintable());
}
}
运行这段代码之前,需要加上一个 JVM 参数:
bash复制-XX:BiasedLockingStartupDelay=0
默认情况下,JVM 启动后有一个约 4 秒的偏向锁延迟时间,就是为了让 JVM 在启动初期规避偏向锁的撤销开销。如果你不关掉这个延迟,刚启动的前几秒内创建的对象全部是无锁状态。运行后输出的对象头信息里,你会看到 Mark Word 那 8 个字节的内容,以及最后的锁标志位。你可以在不同阶段打印,对比观察状态变化。
3.2 代码实测:一把锁从偏向到膨胀
接下来我们写一段程序,完整走一遍偏向锁、轻量级锁、重量级锁的切换过程。这里我使用 CountDownLatch 控制多个线程同时启动,模拟真实竞争。
java复制import org.openjdk.jol.info.ClassLayout;
public class LockUpgradeDemo {
static class LockObject {
}
public static void main(String[] args) throws Exception {
LockObject obj = new LockObject();
// 打印无锁状态
System.out.println("初始无锁:");
System.out.println(ClassLayout.parseInstance(obj).toPrintable());
// 第一个线程占用锁,模拟偏向锁
Thread t1 = new Thread(() -> {
synchronized (obj) {
System.out.println("线程1持有锁,偏向锁状态:");
System.out.println(ClassLayout.parseInstance(obj).toPrintable());
}
});
t1.start();
t1.join();
// 第二个线程竞争,模拟轻量级锁
Thread t2 = new Thread(() -> {
synchronized (obj) {
System.out.println("线程2持有锁,轻量级锁状态:");
System.out.println(ClassLayout.parseInstance(obj).toPrintable());
}
});
t2.start();
t2.join();
// 多个线程同时竞争,模拟重量级锁
Thread t3 = new Thread(() -> {
synchronized (obj) {
System.out.println("线程3持有锁,重量级锁状态:");
System.out.println(ClassLayout.parseInstance(obj).toPrintable());
try {
Thread.sleep(5000);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
});
t3.start();
Thread t4 = new Thread(() -> {
synchronized (obj) {
System.out.println("线程4持有锁,此时应该已经是重量级:");
System.out.println(ClassLayout.parseInstance(obj).toPrintable());
}
});
t4.start();
t3.join();
t4.join();
}
}
第一次执行时,线程1在同步块里看到的是偏向锁状态,Mark Word 的锁标志位是 01 且偏向位为 1。等你给对象添加了真正的竞争线程(线程2)之后,偏向锁会被撤销并膨胀为轻量级锁,锁标志位变成 00。最后当多个线程交错竞争,某个线程自旋失败,就会膨胀成重量级锁,标志位变成 10。
这里有一个非常容易踩的坑:同一个对象如果在被多个线程竞争之前,已经调用了 hashCode() 方法(identityHashCode),那它永远不会走偏向锁,而是直接进入轻量级锁或重量级锁状态。原因就是我前面说的,Mark Word 的空间被哈希码占据了,没有额外位置来记录偏向线程 ID。你在做实验或者看别人演示偏向锁失败时,优先检查是不是有地方不自觉地调用了 System.identityHashCode()。
3.3 偏向锁延迟、撤销与批量重偏向的实际影响
很多线上问题排查到一半,会看到一个奇怪的现象:明明 JDK 版本不高,但偏向锁好像完全没起到作用,或者在某些时刻 CPU 突然飙升。这往往跟两个参数有关:BiasedLockingStartupDelay 和批量重偏向阈值。
偏向锁撤销是需要等到安全点的,JVM 要暂停所有业务线程才能安全地修改对象头。如果应用里大量锁对象都在短时间内被多个线程竞争,偏向锁会反复经历"偏向 → 撤销 → 重偏向"的循环,每一次撤销都意味着一次全局安全点停顿。这时候你不但没享受到偏向锁的好处,反而被它的副作用拖累。
所以当你在 JVM 参数里看到有人加上 -XX:-UseBiasedLocking,不要觉得奇怪。在 JDK 15 之前,这行参数常用于高并发、高竞争的微服务场景,目的就是干脆跳过偏向锁,直接走轻量级锁。JDK 15 之后偏向锁被默认关闭并且逐步废弃,原因也是这个:偏向锁在如今的高竞争业务场景里,收益远低于它带来的安全点停顿成本。
4. 锁相关的典型问题排查手册:从死锁到性能抖动
理论看再多,最后终究要落到排查问题。这一节我整理了一份实战经验小册子。这里面有我在线上遇到过的真实问题类型,也有平时代码评审时常给团队强调的几个"坑",希望能帮你在遇到类似问题时少走弯路。
4.1 死锁排查:别慌,一分钟定位
死锁的本质是两个或多个线程各自持有一把锁,同时又在等待对方释放锁,形成循环等待。Java 层面最常见的死锁就是嵌套 synchronized 或者嵌套 ReentrantLock。比如线程 A 持有锁 L1 后去等 L2,而线程 B 持有锁 L2 后去等 L1,两个线程谁也不让谁。
定位死锁最快的方式是用 JDK 自带的 jstack。先把正在运行的 Java 进程号找到,然后执行:
bash复制jstack <pid>
在输出内容里搜索 "Found one Java-level deadlock",jstack 会直接告诉你哪两个线程、各自持有哪把锁、又阻塞在哪个行号。具体到代码,修复思路通常有两种:第一种是调整锁的获取顺序,让所有线程都先拿 L1 再拿 L2;第二种是使用 ReentrantLock 的 tryLock 加超时机制,获取不到就直接放弃而不是无限等待。
我自己在线下复现这个问题时,还常用一段简单的死锁代码配合验证:
java复制public class DeadLockDemo {
private static final Object A = new Object();
private static final Object B = new Object();
public static void main(String[] args) {
new Thread(() -> {
synchronized (A) {
try { Thread.sleep(100); } catch (InterruptedException e) {}
synchronized (B) {
System.out.println("线程1拿到了锁B");
}
}
}, "t1").start();
new Thread(() -> {
synchronized (B) {
try { Thread.sleep(100); } catch (InterruptedException e) {}
synchronized (A) {
System.out.println("线程2拿到了锁A");
}
}
}, "t2").start();
}
}
跑起来以后再用 jstack 看,输出里会清楚地标记出线程的栈帧位置。如果是复杂项目,锁对象可能不是代码里直接定义的 Object,而是框架内部的锁,这种时候 jstack 输出的类名和方法名反而更重要,优先看阻塞栈帧的整体调用链。
4.2 锁竞争过于激烈导致的 CPU 飙升
另一个高频线上问题:应用没有死锁,但 CPU 使用率长期高居不下,线程 dump 里能看到大量线程处于 RUNNABLE 状态,但业务吞吐量却很低。这种场景十有八九是锁竞争太激烈,加上自旋机制在疯狂消耗 CPU。
关于自旋,JDK 在 -XX:+UseSpinning 之后引入了自适应自旋。也就是说,JVM 会根据历史竞争情况动态调整自旋时间,不会傻傻地固定自旋次数。但即使这样,如果你的临界区代码太长,比如在锁里面做了耗时很长的 IO 操作或远程调用,其他线程就会反复自旋等待,CPU 消耗自然下不来。
排查这种问题,我的建议分三步走:
- 先通过
jstack观察线程栈,看看哪些线程大面积阻塞在同一个同步块上。 - 用 Java Flight Recorder(JFR)录制一段时间的锁竞争数据,JFR 里面有专门的 Lock Instances 和 Thread Lock 相关事件,可以直接看到有多少时间去等待某把锁。
- 回到代码层面,缩小临界区范围,把耗时操作挪出锁块。如果确实无法避免竞争,再考虑改用读写锁、StampedLock、LongAdder 等更细粒度的并发工具。
还有一个比较隐蔽的坑:有人喜欢在 synchronized 里用 System.out.println 来打日志。System.out 的底层本身就是一把锁,当多个线程同时打日志时,它们不止在争你的业务锁,还在争标准输出流的内部锁。线上压测的时候你会发现,并发越高,println 越会成为性能瓶颈。换成成熟的日志框架异步输出后,性能会有立竿见影的改善。
4.3 面试高频考点:synchronized 与 ReentrantLock 怎么选
聊锁机制绕不开面试考点,这里我也顺手把高频对比做成一张速查表。很多开发者在项目里会纠结用哪个,其实判断标准很清晰。
| 对比维度 | synchronized | ReentrantLock |
|---|---|---|
| 加锁方式 | 隐式,进入同步代码块自动加锁 | 显式,手动 lock() / unlock() |
| 解锁保障 | JVM 自动保证异常时释放锁 | 必须配合 finally 手动释放 |
| 锁类型 | 可重入,但不支持中断 | 可重入,也支持中断响应 |
| 公平性 | 非公平,无法实现公平 | 可以配置公平锁或非公平锁 |
| 获取锁超时 | 不支持 | 支持 tryLock(timeout) |
| 底层实现 | 对象头 Mark Word + Monitor | AQS + CLH 等待队列 |
| 适用场景 | 简单互斥、性能要求不极端 | 复杂并发控制、超时、中断需求 |
核心区分原则是:如果只是简单的方法级互斥,优先用 synchronized,代码最少、语义清晰,也不容易写错。如果需要灵活的加锁超时、可中断获取锁、或者必须保证公平调度,再考虑 ReentrantLock。另外,在 JDK 版本的迭代中,synchronized 的性能已经和 ReentrantLock 不相上下,因为它经过锁升级的多级优化,不要再用老观念觉得 synchronized 一定就是重量级。
4.4 锁用错了对象的坑
最后聊一个代码评审里经常看到的错误:锁对象选择不当。这个问题非常隐蔽,一旦踩中,轻则锁不住共享数据,重则直接把整个 JVM 拖垮。
第一类坑是把字符串常量作为锁对象:
java复制synchronized ("lock") {
// ...
}
字符串常量在 JVM 里是同一个对象,所以两个毫无业务关系的代码片段,只要用了相同的字符串字面量,就会莫名其妙地被同一把锁阻塞。更严重的是,如果不同模块或者不同应用都用了同样的字符串常量来加锁,相当于把本来互不相关的业务从锁层面耦合在了一起。正确的做法永远是为锁单独创建一个 private static final Object LOCK = new Object(); 这样的专用锁对象。
第二类坑是锁了 Integer 或 Long 的包装类。Integer 在 -128 到 127 之间有缓存对象,两处 synchronized 如果用同一个数值的 Integer 来加锁,用的其实是缓存里的同一个对象,也会出现跨业务互斥的问题。我见过一个支付相关的项目,因为有人用 synchronized (count) 做计数器的并发控制,结果两个不同账户的请求被同一把锁串行化,直接把系统吞吐量打到脚踝。
第三类坑是锁对象被替换。比如你用 private Object lock = new Object();,然后某个方法里执行了 lock = new Object();。一旦锁对象被重新赋值,之前持有旧锁的线程和新线程持有的就不是同一把锁了,互斥立刻失效。这种问题没有明显的报错,只有在并发量大了之后才会暴露出数据不一致,排查起来非常恶心。要避免这种情况,锁对象声明为 final 是最稳妥的。
5. 调优视角:如何判断当前锁是不是性能瓶颈
很多同学在做 JVM 调优的时候,习惯性地把启动参数堆内存一顿调,却忽视了锁竞争对整体性能的影响。其实锁竞争同样会导致线程阻塞、CPU 空转和响应时间飙升。区别在于,锁竞争问题靠调大堆内存是解决不了的,它需要你从并发设计层面去优化。
判断锁是否是性能瓶颈,最直观的方法是看线程状态统计。你可以用 jstack 连续抓几次线程快照,统计 BLOCKED 和 WAITING 的线程数量占比。如果明显偏高,尤其是集中在某个业务线程池里,说明锁竞争已经吃掉了大量线程资源。另外,JFR 的 synchronized 相关事件和 Lock Instances 采样也是定位锁冲突非常精准的手段,它能告诉你具体是哪把锁、哪些线程在争,以及平均等待时间是多少。
还有一种值得注意的情况:用虚拟线程(Virtual Threads)的时候,锁的使用要格外小心。因为虚拟线程是 JVM 调度和挂起的,如果它在 synchronized 块中发生阻塞并被 pin 住,底层载体线程可能被占住不放。虽然 JDK 后续版本在处理 synchronized 时做了一些改进,但原则上虚拟线程中也不建议写会长时间持锁等待的操作,否则不仅没有发挥虚拟线程的轻量优势,还会造成载体线程耗尽。如果你正在试用虚拟线程,遇到性能异常,可以先检查是不是锁使用方式太粗暴了。
优化锁性能的套路总结下来应该这么排优先级:
- 优先减少锁持有的时间,把耗时操作移出临界区,甚至直接用数据库乐观锁、原子变量等无锁方案替代。
- 其次降低锁粒度,比如用分段锁、读写锁替代大而全的互斥锁。
- 再考虑用 JUC 包里的并发容器,比如
ConcurrentHashMap、CopyOnWriteArrayList,这些组件内部已经做了精妙的锁优化,比你手写 synchronized 可靠得多。 - 只有在以上手段都试过且确实不够时,才考虑调整 JVM 底层的锁参数,比如关闭偏向锁、调节自旋次数等。
在实际项目中,我见过大量抓错方向的调优案例。有人在 JVM 参数上下足了功夫,结果问题根源就是一个大 synchronized 方法里嵌套了远程 HTTP 调用。锁一握就是几百毫秒,并发一上来线程池立刻被打满,再怎么调堆内存和 GC 都无济于事。记住一个朴素的道理:锁的性能瓶颈,大概率不在锁本身,而在锁里面包了太多不该干的事。
6. 从锁机制看 JVM 并发设计的底层思路
最后再聊一点更深层的体会。JVM 的锁设计,尤其是 synchronized 的演进历史,本质上是在解决两个核心矛盾:锁竞争带来的线程上下文切换开销,和无锁操作可能带来的数据不一致风险。偏向锁、轻量级锁、重量级锁这三板斧,分别对应了"乐观地认为没竞争"、"轻度竞争时用 CAS 抢一抢"、"重度竞争时干脆排队阻塞"三种截然不同的假设。
这种分层设计在计算机系统里其实随处可见。CPU 缓存从 L1 到 L3 再到主内存,是速度与容量的折中;数据库的索引从聚簇索引到二级索引,是查询效率与存储空间的折中。JVM 锁的分级也一样——它不是把一个功能做得很复杂,而是把一条路径拆成多个档位,让系统在绝大多数场景下都能以最合适的成本运转。
理解了这一点,你会发现 JVM 调优里很多看似玄学的参数其实都有迹可循。比如为什么某些高并发场景建议关掉偏向锁?因为该场景下锁竞争必然发生,偏向锁反而是负担。为什么轻量级锁失败后会自旋一会儿再膨胀?因为 JVM 期望锁持有时间很短,自旋等待的收益大于线程切换的收益。这些细节背后,都是同一个"自适应"的思想。
在实际开发中,我对锁的使用总结了三个原则。第一,锁的粒度尽量小,能锁一个变量就不要锁一整段方法。第二,锁的持有时间尽量短,任何 IO、网络、睡眠操作都不要放在锁里面。第三,优先使用经过充分测试的并发工具类,比如 ConcurrentHashMap、Semaphore、CountDownLatch,而不是自己用 synchronized 拼凑复杂的同步逻辑。
如果你能顺着这条思路去分析问题,而不是每次遇到并发异常就盲目加锁,那么大部分并发相关的性能问题,你都能在几分钟内找到关键线索,而不是在 JVM 参数和 GC 日志里空转。这恰恰是我认为 JVM 锁这个主题最值得深入理解的地方。
