atomicreference的compareandset不能直接当锁用,因它仅保证单次cas原子性、不阻塞线程、失败需手动重试;若无while自旋,一次失败即退出,无法锁住临界区。

AtomicReference 的 compareAndSet 为什么不能直接当锁用
它只保证一次 CAS 操作的原子性,不阻塞线程,失败后得自己重试。拿 compareAndSet 写“自旋锁”时,若没加循环逻辑,一次失败就退出,根本锁不住临界区。
典型错误是写成这样:
if (lock.compareAndSet(null, currentThread)) {
// 执行临界区
}
这最多算个“尝试获取”,不是锁。真要模拟锁,必须配合 while 自旋,且得处理中断、公平性、ABA 等问题——但 Java 标准库早有 ReentrantLock,别硬造。
-
compareAndSet返回boolean,只告诉你“这次成没成”,不提供等待机制 - 自旋会空耗 CPU,尤其在锁竞争高或临界区长时,
Thread.onSpinWait()(Java 9+)可稍作提示,但不解决本质问题 - 没有所有权记录,无法实现可重入,
currentThread判断只能防重入,不能支持同线程多次进入
用 AtomicReference 实现带所有权的简单自旋锁
如果只是教学或极简嵌入场景(比如无锁队列内部状态标记),可以用 AtomicReference 模拟一个不可重入、不响应中断的自旋锁。关键是把线程标识存进去,并持续自旋直到成功。
立即学习“Java免费学习笔记(深入)”;
示例代码核心逻辑:
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.currentThread()做标识,不能用new Object()或计数器,否则无法校验释放者 -
unlock()里必须检查是否为当前持有者,否则可能误释放他人锁 - 没有 try-finally 包裹时,临界区抛异常会导致锁永远不释放——这点比
synchronized脆弱得多
AtomicReference 更新对象引用时的 ABA 问题怎么破
当一个引用被改回原值(A → B → A),compareAndSet 会误判为“没变过”,从而成功更新。这对某些逻辑是致命的,比如栈顶节点复用导致丢失中间修改。
解决方式不是不用 AtomicReference,而是换用 AtomicStampedReference 或 AtomicMarkableReference:
-
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/notify,AtomicReference提供不了唤醒机制 - 调试困难:自旋锁失败不会留下线程 dump 中的 “BLOCKED” 状态,容易误判为死循环或 CPU 占满
AtomicReference 是工具,不是锁的替代品。它适合无锁数据结构的内部状态协调,不适合对外暴露的同步契约。真要锁,就用标准方案——省下的那点可控性,远不如稳定性和可维护性重要。










