轻量级锁的CAS自旋机制旨在推迟挂起,减少线程状态切换开销;通过对象头检查、栈帧锁记录、CAS替换与自旋等待实现用户态抢锁,配合自适应自旋、合理阈值及代码优化维持轻量状态。
轻量级锁的CAS自旋机制,核心目标不是完全避免挂起,而是
把“挂起”推迟到真正必要时才发生
——尤其在锁持有时间极短、竞争不激烈但频率较高的场景下,显著减少无谓的线程状态切换开销。
下面从原理和实操两个层面说明怎么做:
轻量级锁如何靠CAS自旋避开挂起
当线程尝试进入
同步块时,JVM 先检查对象头是否处于“无锁”状态(标志位为
);
若是,就在当前线程栈帧中创建一个「锁记录」,用 CAS 尝试将对象头的 Mark Word 替换为指向该锁记录的指针;
成功 → 直接获得轻量级锁,不挂起、不进队列、不切内核态;
失败 → 说明已有其他线程持有该锁,此时不立即阻塞,而是进入自旋等待
:反复用 CAS 检查锁是否释放(即对象头是否恢复为原值或变为无锁状态),直到成功或达到阈值。
这个过程全程在用户态运行,避免了线程从「运行态 → 阻塞态 → 唤醒 → 运行态」的昂贵切换(每次切换耗时通常在数百纳秒到微秒级,且涉及寄存器保存、TLB刷新、调度器介入等)。
实现高效自旋的关键控制点
自适应自旋(JDK 1.6+ 默认启用)
:JVM 不固定自旋次数,而是根据前一次在同一锁上的自旋是否成功、持有锁线程是否仍在运行来动态调整。例如:上一轮自旋成功 + 持有者还在运行 → 本轮更大概率继续自旋;反之则快速退避。
避免过度自旋
:可通过
(旧版)或依赖 JVM 自适应逻辑来限制,防止 CPU 占用率飙升。一般建议单次自旋不超过 10–100 次循环,具体取决于临界区平均执行时间(如 < 100ns 的操作适合多旋,> 1μs 的更适合早退)。
锁升级要可控
:一旦自旋失败(比如连续几次都抢不到),轻量级锁会膨胀为重量级锁,线程被挂起并进入
。这意味着:
锁竞争持续时间越短,越不容易升级;
临界区代码越简洁(无 I/O、无 sleep、无长循环),越利于维持轻量级状态。
开发侧可配合的优化手段
缩小同步范围:只包裹真正共享变量读写的最小代码段,缩短锁持有时间;
减少锁粒度:比如用
替代
,或对数组分段加锁(如
);
避免锁嵌套和长事务:轻量级锁对嵌套深度和持有时长敏感,嵌套过深或持有太久会加速升级;
留意逃逸分析:若同步对象仅在方法内使用且未逃逸(如局部
),JIT 可能直接锁消除,比轻量级锁还轻。
本质上,轻量级锁 + CAS 自旋是一种「以少量 CPU 时间换上下文切换成本」的权衡策略。它不适用于所有高并发场景(比如锁争抢激烈或临界区本身就很慢),但在大量短临界区、低到中等竞争的业务逻辑中(如计数器更新、状态标记、缓存写入),效果非常明确。
synchronized01-XX:PreBlockSpin=xx_WaitSetConcurrentHashMapHashtableReentrantLock[] locks = new ReentrantLock[8]StringBuilder