CAS不保证有序插入，仅原子更新指针；优先级由堆或跳表等结构维护，CAS只确保写入位置安全，堆化等排序操作必须串行化。
Java 中 CAS 机制本身不直接保证“有序插入”，它只提供原子的指针更新能力；真正的优先级顺序由队列结构（如堆）维护，CAS 的作用是在线程竞争下安全地修改堆结构的关键字段（如数组索引、头尾指针或节点链接），避免结构撕裂和数据丢失。
优先级队列不能靠 CAS 实现排序逻辑
CAS 不参与比较或重排——它不决定哪个元素该在前，只确保“把新节点放到它该在的位置”这一步不被其他线程干扰。例如：
- 在基于数组的无锁堆中，插入需计算目标下标（如 i = size.getAndIncrement()），再用 CAS 尝试将元素写入 array[i]；但堆化（sift-up）必须在写入后由单一线程完成，不能并发执行
- 在链式优先级队列中（极少见），插入需遍历找到插入点，而遍历过程无法原子化，因此纯链表 + CAS 很难兼顾性能与正确性，工业级实现基本回避此路径
实际可行路径：CAS 配合惰性堆调整
真正落地的无锁优先级队列极少，ConcurrentSkipListMap 或带优先级语义的无锁工作窃取队列（如 ForkJoinPool 内部）更常见。若硬要构建，关键策略是：
- 分离逻辑与物理操作：offer() 只负责将元素原子地追加到一个无序缓冲区（如 MPMC ring buffer），用 CAS 递增 tail 索引；排序和出队由独立的、单线程驱动的“调度器”批量处理
- 用 CAS 保护堆元信息：比如用 AtomicInteger size 记录当前元素数，用 AtomicReference<Object[]> 管理堆数组引用；扩容时用 CAS 替换整个数组，旧数组上未完成的插入可回退或重试
- 避免并发 sift-up：所有堆化操作必须串行化——可通过 CAS 设置一个 volatile 标志位（如 isRebalancing），仅当标志为 false 时才允许触发调整，失败则让调用方稍后重试
为什么 PriorityBlockingQueue 不是无锁的
Java 标准库中的 PriorityBlockingQueue 是基于可重入锁（ReentrantLock）实现的，offer() 和 poll() 都会加锁。它之所以“看起来能并发”，是因为：
立即学习“Java免费学习笔记（深入）”；
- 插入不立即重排，所以多个线程可以快速写入数组不同位置（但写操作本身仍被锁保护）
- 锁粒度是整个队列，不是节点级，因此不是无锁
- 它的线程安全来自锁，而非 CAS 协调；CAS 在这里没出场
若坚持用 CAS 构建，必须绕开经典堆结构
一种更现实的做法是放弃二叉堆，改用 跳表（SkipList） 或 分段有序链表：
- ConcurrentSkipListMap 底层使用 CAS 更新各层级 forward 指针，并配合标记位（mark bit）防 ABA，天然支持按 key 排序插入，且完全无锁
- 可将其 value 设为任务对象，key 设为优先级（或时间戳+序列号组合），就构成了一个线程安全、有序、无锁的优先级容器
- 插入时对每一层的 forward 引用都用 AtomicReference.compareAndSet，失败即重试；节点本身用 final 字段 + volatile 标记保证可见性
