在并发编程领域，无锁数据结构一直是研究者与工程师关注的焦点。Chase-Lev 双端队列（deque）作为工作窃取调度算法的核心组件，因其高效的无锁特性被广泛应用于并行计算框架中。然而，近日在 C11 标准的内存模型讨论中，一个看似细微的问题引发了广泛争议：在 top 指针的读取操作中使用 acquire load 是否真的必要？
Chase-Lev Deque 原理解析
Chase-Lev 双端队列由 David Chase 和 Yossi Lev 于 2005 年提出，专为工作窃取场景设计。队列两端均可操作：本地线程从一端（bottom）压入和弹出任务，而其他线程从另一端（top）窃取任务。其无锁性质依赖于对共享变量 top 和 bottom 的原子操作。典型实现中，top 使用 acquire 语义加载，以确保窃取线程能够看到其他线程对 bottom 的最新写入。
问题缘起：C11 内存序的微妙之处
C11 标准引入了六种内存序，从 relaxed 到 sequentially consistent。其中 acquire 语义要求：线程执行 acquire load 后，后续的读操作不能重排到该 load 之前，并且能观察到此 load 之前其他线程的 release store 写入的值。在 Chase-Lev 实现中，窃取线程读取 top 时往往采用 memory_order_acquire，以同步与本地线程的 bottom 写入。
然而，有研究者指出：在某些实现中，top 的 acquire load 可能是冗余的。理由如下： - 窃取操作的核心逻辑是：首先读取 bottom 和 top，然后判断队列是否为空。如果仅使用 relaxed load 读取 top，由于 bottom 的更新可能通过其他同步机制（如 CAS 操作中的后续 acquire load）得以可见，那么 top 的 acquire 语义可以被优化掉。 - 部分实现中，底部线程在推送任务时使用 memory_order_release 写入 bottom，而窃取线程在后续操作（如比较交换）中已经包含了必要的排序保证，因此 top 的单独 acquire 加载显得多余。
专家观点与实验验证
这一讨论并非纸上谈兵。著名并发编程专家 Paul E. McKenney 在其博客中曾分析类似问题，他指出：内存序的过度使用可能导致不必要的性能开销，特别是在 x86 架构上，acquire 语义虽然默认映射为 x86 的 TSO 模型，但在 ARM/POWER 等弱一致性架构上，多余的 acquire 会强制插入内存屏障，降低性能。
另一方面，有工程师通过实际代码验证：移除 top 的 acquire load 后，在 x86 平台上未发现可见性错误，但理论上在弱一致性模型上可能引入细微的竞态条件——例如窃取线程可能观察到陈旧 top 值，从而错误判断队列为空。由于工作窃取算法中空队列的判断直接影响调度正确性，这一优化风险较高。
社区讨论与标准演变
相关讨论在 LLVM 社区和并发编程邮件列表引发热议。一部分坚持“保守主义”——既然标准实现要求 acquire，就应当保留，以免扰动已广泛使用的代码。另一部分主张利用 C11 内存模型的细化工具（如 memory_order_consume 或自定义 fence）来消除冗余开销。值得注意的是，C17 标准中并未对 Chase-Lev 做特殊规定，该实现仍被视为“常见模式”而非“标准库内容”。
实践建议与未来展望
对于大多数开发者而言，直接使用经过充分验证的库（如 libcds、boost.lockfree）是最安全的选择。若自行实现，建议遵循原始论文中的内存顺序，除非在弱一致性平台上经过严格的模型检查。实际上，即使 top 的 acquire load 在 x86 上无性能损失，但在 ARM 上，一条 dmb 指令可能耗费数十个周期，因此优化值得考虑。
正如一位贡献者所总结：“Chase-Lev 设计精巧，其内存序要求并非随意。我们应首先理解每个原子操作的作用，而非盲目删减。”这场关于 acquire load 必要性的讨论，本质上是并发正确性与性能取舍的永恒主题。随着 C11 内存模型工具的成熟，未来可能出现更简洁、高效的标准实现，但目前，谨慎仍是第一原则。
（全文约 950 字）