Java中CAS实现无锁队列本质是靠硬件原子指令避免指针“踩踏”，核心是通过AtomicReference.compareAndSet保证head/tail更新原子性，配合版本号防ABA、缓存行隔离防伪共享、哨兵节点处理空队列边界。
Java 中用 CAS 实现无锁队列，本质是靠硬件级原子指令避免指针被多线程“踩踏”，而不是靠锁排队。关键不在于完全消除冲突，而在于让冲突可检测、可重试、不破坏结构一致性。
用 CAS 原子更新头尾指针
链式队列有两个核心指针：head（队首）和 tail（队尾）。多个线程同时入队或出队时，不能直接赋值，必须用 AtomicReference.compareAndSet() 保证更新的原子性。
- 入队时，先读取当前 tail，再尝试用 CAS 把 tail 的 next 指向新节点；若失败（说明其他线程已抢先更新），就重新读 tail，继续重试
- 出队时，先读 head 和 head.next，再用 CAS 尝试把 head 指向 head.next；失败则重读、重试
- 每次 CAS 都带“预期旧值”——只有旧值没被改过，才允许写入新值，否则立刻返回 false，不阻塞也不报错
处理 ABA 问题：加版本号或标记位
单纯比较指针值会出错：比如 tail 指向节点 A，线程1读到 A 后被挂起；线程2把 A 出队、新节点 B 入队、又把 B 出队、再把 A 入队——此时 tail 又指向 A，但已是“另一个 A”。线程1 CAS 会误认为没变，导致逻辑错误。
- Java 中常用
AtomicStampedReference，把指针和一个整型 stamp（版本号）打包存储 - 每次修改指针时，stamp 自增；CAS 要求指针值和 stamp 同时匹配，才能成功
- 也可用
AtomicMarkableReference，用布尔标记代替版本号，适合简单场景（如标记节点是否已逻辑删除）
分离 head/tail 更新逻辑，避免伪共享与竞争热点
如果 head 和 tail 存在同一个缓存行里，一个线程改 tail 会导致另一个线程读 head 时触发缓存失效（false sharing），拖慢性能。
立即学习“Java免费学习笔记（深入）”；
- 用
@Contended注解（JDK8+）隔离 head 和 tail 字段，强制它们落在不同缓存行 - 或者手动填充字段（如插入7个 long 字段），凑够64字节对齐
- tail 指针尽量只由入队线程更新，head 只由出队线程更新，减少跨操作干扰
空队列与懒初始化的边界处理
初始状态 head 和 tail 都指向同一个哨兵节点（dummy node），这时入队/出队容易因指针未同步产生竞态。
- 入队前检查 tail.next 是否为 null；若为 null，说明 tail 可能滞后，需先用 CAS 推进 tail 到实际末尾
- 出队时若 head == tail，要额外判断队列是否真为空（比如检查 tail.next 是否为 null），防止误删
- 所有节点的 next 字段必须用
AtomicReference包装，确保多线程读写可见且原子
