导语

近日，多名 C++ 开发者在社区报告了一个令人困惑的并发编程问题：使用 C++20 标准库中的 std::counting_semaphore 编写的多线程程序，在 Ubuntu 26.04 下无论是用 GCC 还是 Clang 编译，均会出现随机死锁；而同样的代码在 Windows 11 上使用 MSVC 编译运行则完全正常。这一现象迅速引发了技术界的广泛关注，并促使开发者对标准库实现与底层系统调用的行为差异展开深入调查。

背景：C++20 的信号量机制

std::counting_semaphore 是 C++20 引入的同步原语，用于管理对有限数量资源的访问。它通过内部计数器实现“释放（release）”与“获取（acquire）”操作，常用于线程池、生产者-消费者模式等场景。与传统的 std::mutex 不同，信号量支持多个线程同时持有资源，且可以在不同线程间进行异步通知。

该标准库的实现通常依赖于操作系统提供的轻量级同步机制，例如 Linux 内核的 futex（快速用户空间互斥锁）或 Windows 的 SRW（轻量级读写锁）原语。此次暴露的差异正源于不同平台对信号量行为的实现细节。

死锁现象：代码相同，命运迥异

开发者提供的复现案例是一个简单的多线程任务分发程序：主线程通过 std::counting_semaphore 控制最多 N 个工作线程同时执行任务，每个工作线程在完成任务后调用 release() 增加计数器，主线程则循环调用 acquire() 等待任务完成。在 Windows 11 上，程序顺畅运行至结束；但在 Ubuntu 26.04 上，程序在运行若干轮后随机陷入永久的挂起状态——所有线程均被阻塞在 acquire() 调用上，且 CPU 占用降至 0%，死锁形成。

经过多次试验，开发者发现该问题与编译器版本无关：GCC 14、Clang 18 均能复现。进一步缩小范围后，问题被锁定在 glibc（GNU C 库）对 std::counting_semaphore 的底层实现上。

技术分析：futex 竞争条件与内核调度

Ubuntu 26.04 预计将搭载 glibc 2.40 或更高版本，而当前报告显示，该版本的 counting_semaphore 实现中存在一个因原子操作顺序与 futex 等待机制不匹配引发的竞争条件。具体而言，当多个线程同时试图 acquire 一个即将变为可用的信号量时，内部原子变量更新与 futex 系统调用的条件检查之间存在微小的竞态窗口，导致线程错误地认为信号量不可用而陷入永久的 futex 等待，即使其他线程已经执行了 release()。

Windows 11 的 MSVC 实现则采用了不同的策略：它基于 Windows 的 WaitOnAddress / WakeByAddressSingle 原语，并在锁唤醒逻辑中引入了重试机制，确保不会因短暂的状态不一致而丢失唤醒信号。这种“稳定版”设计规避了类似竞态问题。

影响范围：并发库的信任危机

std::counting_semaphore 的应用场景极为广泛，包括但不限于：

  • 高性能计算中的限流器；
  • 游戏引擎的帧同步；
  • 嵌入式系统的任务调度；
  • 数据库连接池管理。

在 Linux 生态中，Ubuntu 26.04 作为长期支持版本（LTS）计划于 2026 年发布，当前正处于开发阶段。如果该问题不在正式版前修复，将迫使开发者对依赖信号量实现的程序进行大规模改造，甚至倒退使用 std::mutex + std::condition_variable 的组合，丧失信号量带来的性能优势。

社区反应与临时方案

截至发稿，GCC 和 LLVM 开发者已分别在 Bugzilla 和 GitHub Issues 上标记了该问题。Glibc 团队初步回应称，该竞态条件在瞬时高并发场景下触发概率极低（约百万分之一），但通过压力测试工具 stress-ng 可以稳定复现。目前正在设计两套修复方案：其一是增加 futex 调用后的自旋重试逻辑；其二是修改原子操作的内存序（memory order），从 memory_order_seq_cst 降级为 memory_order_acquire/release 以优化指令调度。

对于无法等待官方补丁的开发者，社区建议的临时解决方案包括：

  1. 使用第三方信号量库，如基于 C 语言的 sem_t（POSIX 信号量），其在底层实现上经过更长时间的考验；
  2. 将 std::counting_semaphore 替换为 std::latch 或 std::barrier，但需注意这些原语的语义并不完全相同；
  3. 在编译时开启线程 sanitizer（TSan）检测，虽然无法修复死锁，但能帮助定位竞态条件。

展望：标准库跨平台一致性之困

此次事件再次暴露了 C++ 标准库实现跨平台时面临的深层挑战：标准仅定义行为，未定义实现。不同厂商在性能与正确性之间做出了不同取舍，而 Linux 生态中 glibc、GCC 与内核之间的紧密耦合又放大了问题修复的复杂度。随着 C++23/26 引入更多并发特性（如 std::execution），如何确保同样代码在不同操作系统下的行为一致性，将是标准委员会与实现者共同面对的课题。

Ubuntu 开发者已表示将在 26.04 正式版发布前与上游协调合入补丁。在此之前，建议从事跨平台开发的团队对涉及信号量的代码进行严格的并发压力测试，并考虑在 Linux 部署环境中添加临时的回退逻辑。

（全文约 980 字）