登录
首页 >  文章 >  java教程

AtomicReference原子更新与自旋锁原理解析

时间:2026-03-24 08:31:32 289浏览 收藏

AtomicReference 的 compareAndSet 仅提供单次原子的 CAS 操作,不具备阻塞、等待、可重入、中断响应或条件唤醒等锁的核心能力,若不配合 while 自旋和严谨的状态校验,根本无法可靠保护临界区;虽可借助 Thread.currentThread() 和 AtomicStampedReference 等技巧实现极简自旋锁或规避 ABA 问题,但其脆弱性(如异常导致死锁、CPU 空转、调试困难)和功能缺失使其远不如 synchronized 或 ReentrantLock 稳定高效——它本质是构建无锁数据结构的底层基石,而非面向业务逻辑的同步替代方案。

如何在Java中使用AtomicReference_对象引用的原子更新与自旋锁简单实现

AtomicReference 的 compareAndSet 为什么不能直接当锁用

它只保证一次 CAS 操作的原子性,不阻塞线程,失败后得自己重试。拿 compareAndSet 写“自旋锁”时,若没加循环逻辑,一次失败就退出,根本锁不住临界区。

典型错误是写成这样:

if (lock.compareAndSet(null, currentThread)) {
    // 执行临界区
}

这最多算个“尝试获取”,不是锁。真要模拟锁,必须配合 while 自旋,且得处理中断、公平性、ABA 等问题——但 Java 标准库早有 ReentrantLock,别硬造。

  • compareAndSet 返回 boolean,只告诉你“这次成没成”,不提供等待机制
  • 自旋会空耗 CPU,尤其在锁竞争高或临界区长时,Thread.onSpinWait()(Java 9+)可稍作提示,但不解决本质问题
  • 没有所有权记录,无法实现可重入,currentThread 判断只能防重入,不能支持同线程多次进入

用 AtomicReference 实现带所有权的简单自旋锁

如果只是教学或极简嵌入场景(比如无锁队列内部状态标记),可以用 AtomicReference 模拟一个不可重入、不响应中断的自旋锁。关键是把线程标识存进去,并持续自旋直到成功。

示例代码核心逻辑:

private final AtomicReference<thread> owner = new AtomicReference();
public void lock() {
    Thread t = Thread.currentThread();
    while (!owner.compareAndSet(null, t)) {
        Thread.onSpinWait();
    }
}
public void unlock() {
    Thread t = Thread.currentThread();
    if (!owner.compareAndSet(t, null)) {
        throw new IllegalMonitorStateException("not owner");
    }
}</thread>
  • 必须用 Thread.currentThread() 做标识,不能用 new Object() 或计数器,否则无法校验释放者
  • unlock() 里必须检查是否为当前持有者,否则可能误释放他人锁
  • 没有 try-finally 包裹时,临界区抛异常会导致锁永远不释放——这点比 synchronized 脆弱得多

AtomicReference 更新对象引用时的 ABA 问题怎么破

当一个引用被改回原值(A → B → A),compareAndSet 会误判为“没变过”,从而成功更新。这对某些逻辑是致命的,比如栈顶节点复用导致丢失中间修改。

解决方式不是不用 AtomicReference,而是换用 AtomicStampedReferenceAtomicMarkableReference

  • AtomicStampedReference 给每次修改加版本号,compareAndSet(V expectedRef, V newRef, int expectedStamp, int newStamp) 四参数才能通过
  • 版本号一般由调用方维护,常见做法是每次 CAS 成功后 stamp + 1,不能靠时间戳或随机数——它们不保证单调
  • 如果业务本身不关心中间状态(比如只是开关标志位),ABA 其实无害,不必强行上 stamp

什么时候该放弃 AtomicReference 改用 synchronized 或 Lock

当你开始给自旋锁加超时、中断响应、条件队列、可重入、公平策略,或者发现 CPU 使用率因自旋明显升高——说明已经踩进并发原语的深水区,AtomicReference 不是为此设计的。

  • 临界区执行时间超过几十微秒,自旋性价比急剧下降;synchronized 在 Java 6+ 后有偏向锁、轻量级锁优化,实际开销常低于手写自旋
  • 需要等待某个条件(如队列非空),必须用 Lock.newCondition()wait/notifyAtomicReference 提供不了唤醒机制
  • 调试困难:自旋锁失败不会留下线程 dump 中的 “BLOCKED” 状态,容易误判为死循环或 CPU 占满

AtomicReference 是工具,不是锁的替代品。它适合无锁数据结构的内部状态协调,不适合对外暴露的同步契约。真要锁,就用标准方案——省下的那点可控性,远不如稳定性和可维护性重要。

终于介绍完啦!小伙伴们,这篇关于《AtomicReference原子更新与自旋锁原理解析》的介绍应该让你收获多多了吧!欢迎大家收藏或分享给更多需要学习的朋友吧~golang学习网公众号也会发布文章相关知识,快来关注吧!

资料下载
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>