netty recycler 使用 atomicreferencefieldupdater 而非 atomicreference,是为了避免为每个 stack 实例额外创建 atomicreference 对象,从而节省内存(每对象约24字节)并降低 gc 压力;updater 以静态单例方式直接对 volatile 字段 head 执行 cas 操作,实现无锁、低开销的线程安全栈。

AtomicReferenceFieldUpdater 在 Netty Recycler 中用于实现线程安全的无锁栈(Lock-Free Stack),核心是避免 synchronized 或 ReentrantLock,靠 CAS 原子操作维护栈顶指针。
为什么 Recycler 用 AtomicReferenceFieldUpdater 而不是 AtomicReference?
Recycler 的每个线程持有独立的 Stack 实例,而 Stack 内部的 head 字段是普通 volatile 字段(非 static final 引用)。AtomicReference 适合包装一个独立对象,但 Recycler 需要直接更新某个对象实例的字段(比如 stack.head),且不希望为每个 Stack 都额外持有一个 AtomicReference 对象——这会增加内存开销和 GC 压力。AtomicReferenceFieldUpdater 允许以静态方式“绑定”到某个类的某个字段,在不改变原有类结构的前提下,对指定字段执行 CAS 操作。
它本质是反射 + Unsafe 的封装,需满足三个条件才能创建成功:
- 目标字段必须是
volatile - 字段不能是
static - 字段类型必须与 updater 声明的泛型一致(如
AtomicReferenceFieldUpdater<stack defaulthandle></stack>)
无锁栈的 push 和 pop 如何用 updater 实现?
Recycler.Stack 的 head 是一个单向链表节点(DefaultHandle),栈操作围绕 head 字段展开:
-
push:构造新节点
newHead,将其next指向当前 head;再用 updater.compareAndSet(stack, oldHead, newHead) 尝试原子更新 head。失败则重试(自旋) - pop:读取当前 head;若非空,用 updater.compareAndSet(stack, head, head.next) 尝试将 head 替换为 next;成功则返回原 head,失败则重试
整个过程无锁、无阻塞,依赖 CPU 自旋和硬件 CAS 指令保证一致性。由于每个线程只操作自己的 Stack,竞争极小,性能远高于加锁方案。
Updater 在 Recycler 中的实际初始化方式
Netty 使用静态块 + try-catch 初始化 updater,兼容不同 JDK 版本(尤其处理旧版 JDK 可能因 SecurityManager 拒绝反射访问的问题):
private static final AtomicReferenceFieldUpdater<stack>, DefaultHandle> HEAD_UPDATER =
AtomicReferenceFieldUpdater.newUpdater(Stack.class, DefaultHandle.class, "head");</stack>
注意字段名 "head" 是字符串字面量,编译期不校验,运行时出错会抛 RuntimeException。Netty 通过 try-catch 捕获并降级为 synchronized 方案(极少触发)。
使用 updater 的注意事项
虽然高效,但容易误用:
- 不能跨类更新字段(updater 绑定的是具体类和字段名)
- 字段必须声明为 volatile,否则 CAS 可能看不到最新值或导致语义错误
- 不支持 primitive 字段(如 int、long),需用 AtomicIntegerFieldUpdater 等替代
- 在 heavily contended 场景下,自旋可能浪费 CPU,但 Recycler 中 thread-local 栈天然低竞争,几乎不构成问题
Recycler 正是利用了线程局部性 + CAS + updater 的轻量组合,在高性能网络编程中实现了近乎零开销的对象复用。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











