C++如何实现基于原子变量的轻量级信号量机制 (Semaphore)-C++-PHP中文网

std::atomic 无法直接模拟信号量，因其缺乏阻塞等待语义和休眠/唤醒机制；正确实现需保证 release 中先 fetch_add 再 notify_one 以避免唤醒丢失；低争用时可用带退避的自旋优化性能。

c++如何实现基于原子变量的轻量级信号量机制 (semaphore)

为什么不能直接用 `std::atomic` 模拟信号量？

因为 std::atomic 本身不提供“等待直到值大于 0”这种阻塞语义——它只支持无锁读写和 CAS，没有内置的休眠/唤醒机制。硬用 while (count.load() 就是忙等，CPU 白耗，还可能被编译器优化掉（尤其没加 <code>memory_order_relaxed 或 memory_order_acquire 时）。

真正轻量级的实现必须结合系统原语（如 futex）或标准库同步设施（如 std::condition_variable），但又要避免 mutex 的重量开销。关键取舍点在于：是否允许短暂忙等 + 退避后交由内核调度。

用 `std::atomic` + `std::condition_variable` 实现最小可行信号量

这是最实用、跨平台、且不依赖 Linux futex 的方案。核心是用原子变量做快速路径（多数情况下无需锁），仅在资源不足时才进入条件变量等待。

count_ 是 std::atomic<int></int>，初始值为最大许可数（如 1）
mutex_ 只保护等待队列逻辑，不是每次 acquire() 都要 lock —— 先 CAS 尝试扣减，失败再进锁
cv_ 用于唤醒等待者，注意 notify_one() 足够，因为每次只放行一个

示例关键片段：

void acquire() {
    int expected = count_.load();
    while (expected > 0) {
        if (count_.compare_exchange_weak(expected, expected - 1)) {
            return; // 成功获取
        }
        // CAS 失败：值被改了，重试
    }
    // 到这里说明 count  lk(mutex_);
    cv_.wait(lk, [this] { return count_.load() > 0; });
    count_.fetch_sub(1, std::memory_order_acq_rel);
}

`release()` 为什么必须区分 notify 和 atomic 操作顺序？

释放操作看似简单，但顺序错误会导致唤醒丢失：如果先 notify_one() 再 fetch_add()，而此时没有线程在 wait 中，通知就丢掉了；反之，如果先增加计数再 notify，但其他线程刚在 CAS 循环里读到旧值，就会错过这次 release。

C++14

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

下载

正确做法是：

先 count_.fetch_add(1, std::memory_order_release)
再 cv_.notify_one()
确保 notify 发生在计数值已更新之后，且对等待线程可见（memory_order_release 与 wait() 内部的 acquire 构成同步）

注意：std::condition_variable::wait 内部自动使用 memory_order_acquire，所以无需额外 fence。