c++ lock-free跳表 c++如何实现一个无锁的skiplist

风晨君_7162

风晨君_7162

2026-03-24

207人浏览

原创

绝大多数场景下应优先使用 std::map 或 absl::flat_hash_map,而非手写 lock-free skiplist;仅当高频混杂操作、零锁竞争刚需且性能瓶颈确凿时才考虑,因其涉及原子顺序、内存回收、ABA 防御、层级生成等多重高危难点。

c++ lock-free跳表 c++如何实现一个无锁的skiplist

为什么别急着手写 lock-free skiplist

绝大多数场景下,std::map 或 absl::flat_hash_map 比自己搞 lock-free skiplist 更快、更稳、更省心。真正需要它的,通常是高频插入/查找/删除混杂 + 无法接受锁竞争(比如内核旁路网络栈、超低延迟交易中间件),且 profiler 明确指出红黑树或哈希表成了瓶颈。

手写 lock-free skiplist 不是“加个 std::atomic 就完事”,它要同时处理:多层指针的原子更新顺序、内存回收(ABA 问题)、节点生命周期管理、层级随机生成的公平性。一个没压住,就出现静默数据错乱或无限循环。

  • 常见错误现象:find() 返回已删除节点、insert() 卡死在 compare_exchange_weak 循环、delete() 后 find() 偶尔返回 nullptr 却又读到脏值
  • 关键难点不在“跳”,而在“删”——如何安全释放节点内存?用 hazard pointer 还是 epoch-based reclamation?选错直接导致 use-after-free
  • 层级生成不能用 rand():多线程下若共享 static seed,会坍缩成单链表;必须每个线程用独立 std::random_device + std::mt19937

skiplist 节点怎么定义才不踩 ABA 坑

核心是把“逻辑删除”和“物理删除”彻底分开。节点里不能只存 next 指针,得拆成两层标记:

  • next 字段必须是 std::atomic,且所有修改都走 compare_exchange_weak
  • 加一个 marked 标志位(可复用指针最低位,或单独 std::atomic),表示该节点已被逻辑删除(即后续 insert 遇到它要跳过)
  • 绝对不要在 delete 时直接 delete node —— 必须等所有线程确认不再引用它,再进内存回收队列

示例片段(简化):

struct Node {
    int key;
    std::atomic<node> next[LEVEL_MAX];
    std::atomic<bool> marked{false};
};</bool></node>

注意:marked 和 next[i] 的更新顺序必须严格:先置 marked = true,再 CAS 断开前驱的 next[i],否则其他线程可能在 marked 还没设时就跳过该节点,导致漏删。

insert / delete 的 CAS 循环怎么写才不活锁

lock-free 算法本质是“乐观重试”,但 naive 的 while 循环容易让线程饿死。关键在两点:定位路径缓存 + 退避策略。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
  • 每次 insert 或 delete 前,必须从 head 开始完整遍历并记录“搜索路径”(每层最后未越界的节点指针),不能边走边改——否则路径中途被其他线程改掉,CAS 就失效
  • CAS 失败后不能立即重试:加 std::this_thread::yield() 或短延时(std::chrono::nanoseconds(1)),避免 CPU 空转抢资源
  • 层级更新必须自上而下:先确保第 level-1 层连上,再改第 level-2 层,否则低层已连但高层断开,会导致查找失败

典型错误:insert() 中对某层 pred->next[i] CAS 失败后,没重走整个搜索路径,而是直接用旧 pred 继续试下一层——pred 可能早已被删,next[i] 是悬垂指针。

用现成库比手写靠谱得多

如果你不是在写论文或打磨底层基础设施,直接用 libcds 的 cds::container::SkipListMap 或 Folly 的 folly::Synchronized + 读写锁版 skiplist。它们经过多年生产验证,覆盖了 x86/ARM 内存序、TSO/RCpc 语义、各种编译器优化陷阱。

自己实现时最容易被忽略的,是编译器重排——哪怕用了 std::memory_order_acq_rel,GCC/Clang 仍可能把非原子变量访问挪到原子操作之前。必须用 std::atomic_thread_fence 显式约束,且 fence 类型要和你的 CAS 顺序匹配。

真要动手,先跑通 libcds 的单元测试,再逐行对照它的 SkipListMap 实现。别信网上那些“100 行搞定 lock-free skiplist”的博客——它们要么删了内存回收,要么只支持单线程删除,要么根本没测过 4 线程以上压测。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关专题

更多
什么是中间件
什么是中间件

中间件是一种软件组件,充当不兼容组件之间的桥梁,提供额外服务,例如集成异构系统、提供常用服务、提高应用程序性能,以及简化应用程序开发。想了解更多中间件的相关内容,可以阅读本专题下面的文章。

2024.05.11

709

5

Golang 中间件开发与微服务架构
Golang 中间件开发与微服务架构

本专题系统讲解 Golang 在微服务架构中的中间件开发,包括日志处理、限流与熔断、认证与授权、服务监控、API 网关设计等常见中间件功能的实现。通过实战项目,帮助开发者理解如何使用 Go 编写高效、可扩展的中间件组件,并在微服务环境中进行灵活部署与管理。

2025.12.18

644

18

ThinkPHP中间件机制与请求拦截处理实践
ThinkPHP中间件机制与请求拦截处理实践

本专题围绕 ThinkPHP 中间件体系展开,深入讲解中间件的定义、注册与执行流程。内容包括全局中间件与路由中间件的区别、请求前后处理逻辑、自定义中间件开发以及权限验证与日志处理应用。通过实际案例,帮助开发者掌握中间件在项目中的核心作用与最佳实践。

2026.03.31

458

17

while的用法
while的用法

while的用法是“while 条件: 代码块”,条件是一个表达式,当条件为真时,执行代码块,然后再次判断条件是否为真,如果为真则继续执行代码块,直到条件为假为止。本专题为大家提供while相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.25

354

5

while的用法
while的用法

while的用法是“while 条件: 代码块”,条件是一个表达式,当条件为真时,执行代码块,然后再次判断条件是否为真,如果为真则继续执行代码块,直到条件为假为止。本专题为大家提供while相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.25

354

5

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

2026.04.23

379

31

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

2023.07.18

6547

5

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

2023.08.10

2728

6

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

2023.08.10

4618

6

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习