0Pricing
C++ Academy · 课时

危险指针与 ABA 问题

识别 ABA 问题，并使用危险指针或带标签的指针加以缓解

危险指针与 ABA 问题 是 CoddyKit 上的免费 C++ Academy 课时。 这是第 4 节课，共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 C++ Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 C++ Academy 课程共包含 4 节课。

ABA 问题

在使用指针的无锁代码中，一个值可能先是 A，变为 B，然后又变回 A。只比较值的 CAS 无法判断期间是否发生过变化。

经典 ABA 场景

线程 1 读取指针 A 并准备执行 CAS。与此同时，线程 2 删除 A，分配了一个恰好复用 A 地址的新节点，于是线程 1 的 CAS 错误地成功了。

带标签的指针

一种解决方案是将计数器与指针一起打包。组合后的值在每次操作时都会变化，因此可以检测到 ABA。

struct TaggedPtr {
    Node* ptr;
    uint64_t tag;
};
std::atomic<TaggedPtr> head;

标签的局限性

标签需要双宽原子操作（例如 x86 上的 CMPXCHG16B）。它们会占用更多空间，而且并非每个平台都支持。

内存回收的挑战

根本问题是：如何删除其他线程可能仍在访问的节点？无锁代码不能使用简单的 delete。

危险指针

每个线程都会将当前正在访问的指针发布到全局危险指针列表中。在回收内存之前，线程会扫描危险指针列表；如果有任何线程正在使用该指针，就推迟删除。

危险指针工作流程

对于每次访问：

  1. 以原子方式读取指针
  2. 将其发布为危险指针
  3. 重新读取以确认它没有变化（避免竞争）
  4. 使用它
  5. 清除危险指针

退役列表

节点不再可达时，将其添加到每线程的退役列表中。定期扫描所有危险指针；不在任何危险指针中的节点都可以安全删除。

基于纪元的回收

另一种方法是将时间划分为多个纪元。当所有线程都推进到该节点退役时所在的纪元之后时，该节点就可以删除。Crossbeam（Rust）和并发数据结构中都使用了这种方法。

每个节点的引用计数

读取时增加每个节点的计数器，使用完毕后递减。它很简单，但比危险指针更慢，因为每次操作都要进行原子递增和递减。

ABA 何时重要

只有在存在“空闲列表”或会复用内存地址时，ABA 才是问题。采用安全的内存回收方式（危险指针、纪元）后，这个问题通常就会消失。

实用建议

无锁数据结构处处暗藏陷阱。请使用 Folly、Boost 或 Crossbeam（Rust）提供的经过验证的实现。只有出于教学目的，或在仔细测量后确认某些路径对性能至关重要时，才自行实现。

工具

ThreadSanitizer 可以检测数据竞争，但无法发现所有无锁正确性问题。形式化验证工具（CDSChecker、Relacy）会系统地探索各种交错执行。

快速检查

无锁编程中的 ABA 问题指的是什么？

小结

ABA 问题会影响复用内存地址的无锁代码。带标签的指针、危险指针和基于纪元的回收是经典解决方案。无锁代码的正确性很难保证，因此应优先使用经过验证的库，而不是手写实现。

常见问题解答

「危险指针与 ABA 问题」课时是免费的吗？

是的 — 「危险指针与 ABA 问题」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 C++ Academy 课程的其余内容，请升级到 CoddyKit PRO。 C++ Academy 课程共包含 4 节课。

「危险指针与 ABA 问题」这节课中我会学到什么？

识别 ABA 问题，并使用危险指针或带标签的指针加以缓解 你通过在浏览器中直接运行的动手代码来练习 C++ Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 C++ Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 C++ Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。 这是第 4 节课，共 4 节。

「危险指针与 ABA 问题」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 C++ Academy 课中编写并运行代码吗？

能。每节 C++ Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

  1. std::atomic 与内存顺序
  2. 比较并交换：CAS 模式
  3. 无锁队列实现
  4. 危险指针与 ABA 问题
← 返回 C++ Academy