ConcurrentSkipListMap 的无锁并发寻址依赖跳表结构特性:节点 level 固定、各层链表独立,使 CAS 仅需操作单指针且冲突率低;查找天然无锁,插入删除通过标记+CAS 分步完成,避免旋转带来的多指针同步难题。

ConcurrentSkipListMap 的无锁并发寻址,核心不在“无锁”本身,而在于跳表(SkipList)的结构特性天然支持局部修改、不需全局重排——这为 CAS(Compare-And-Swap)操作提供了安全边界。
跳表结构决定了“改局部、不影响全局”
跳表是多层有序链表,每层是下层的稀疏子集。查找时从顶层开始逐层下降,插入/删除只影响当前节点及其在各层的前后指针。关键点在于:
- 每个节点的 level 是固定不变的(插入时随机生成,之后不调整),所以增删不会引发整层重构或数据迁移;
- 每一层都是独立的单向链表,修改某一层的指针,只影响该层相邻节点的可达性,上层或下层链表逻辑不受干扰;
- ConcurrentSkipListMap 利用这点,对每个待修改的指针(如 node.next[level])用 CAS 原子更新,失败就重试——因为没有其他线程会去动“同一位置的同一层指针”,冲突概率低、重试开销小。
查找过程天然无锁,且可与修改并发执行
查找不改任何指针,只读遍历。由于跳表的层级结构和前驱-后继关系由指针明确维护,即使某层正在被其他线程用 CAS 修改 next 指针,查找线程看到的也只是某个中间态(比如跳过一个刚插入还没完全链接好的节点),但这个中间态仍保持链表逻辑一致:要么跳过,要么命中,不会出现空指针或无限循环。这是因为:
- 所有节点插入都遵循“先连后继、再连前驱”的顺序(或相反,但严格约定),保证任意时刻每层链表仍是合法链表;
- 查找路径从 head 开始,每一步都基于当前可见的指针走,无需加锁等待“完整状态”。
插入/删除靠“标记+CAS”实现逻辑删除与原子链接
ConcurrentSkipListMap 不直接删除节点,而是先将节点的 value 设为 null,并用 CAS 将其 next 指针标记为特殊值(如 HEADER),表示“已逻辑删除”。后续查找会跳过它;真正的物理清理由后续遍历顺便完成。插入则分两步:
- 先用 CAS 在对应层级插入新节点(设置前驱的 next 指针指向它);
- 再用 CAS 设置新节点自己的各层 next 指针(连向原前驱的 next)。
- 两步都可能失败重试,但因每层独立、节点 level 固定,不会出现 ABA 或跨层不一致问题。
为什么不用红黑树?——结构可分割性是关键
红黑树旋转需要同时修改父子兄弟多个节点的引用,一次调整涉及 3–5 个指针,很难用单个 CAS 保护;而跳表每次仅操作一个指针(如 prev.next[level]),配合节点 level 不变、插入路径唯一,使得“单指针 CAS + 重试”策略切实可行。这不是“省略了锁”,而是结构设计让锁变得不必要。

















