C++如何实现基于原子变量的高性能、低开销信号量(Semaphore)-C++-PHP中文网

std::atomic本身不提供阻塞等待语义，仅保证原子读写；实现信号量需结合futex（linux）或waitonaddress（windows）等系统原语，否则轮询会耗尽cpu，且必须严格遵循检查-休眠-再检查模式并配对memory_order_acquire/release以避免唤醒丢失。

c++如何实现基于原子变量的高性能、低开销信号量(semaphore)

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

因为 std::atomic 本身不提供“等待直到值大于 0”这种阻塞语义——它只保证读写原子性，不带同步原语（如 futex 或条件等待）。直接轮询 load() 会吃满 CPU，而手写自旋+yield 又难兼顾公平性和唤醒及时性。

真正低开销的实现必须结合操作系统支持：Linux 下靠 futex 系统调用，Windows 下靠 WaitOnAddress 或 SlimReaderWriterLock 模拟。标准库没封装这个，得自己桥接。

Linux 上用 `futex` 实现零分配、无锁路径的信号量

核心思路是：用 std::atomic<int></int> 存计数器，正常情况下的 acquire() 和 release() 完全无系统调用；仅当计数器为 0 且需等待时，才陷入内核触发 futex_wait。

futex 地址必须是对齐的 int*，且生命周期需覆盖整个信号量对象（不能指向栈变量或临时对象）
调用 futex_wait 前必须先 load() 确认值仍为 0，否则可能错过唤醒（lost wakeup）
唤醒方调用 futex_wake 时，传入的地址和等待方一致，且无需加锁——futex 内部通过地址哈希做等待队列管理

示例关键片段：

int counter_;
// ... 初始化为初始值
int acquire() {
    while (true) {
        int v = counter_.load(std::memory_order_acquire);
        if (v > 0 && counter_.compare_exchange_weak(v, v - 1,
                std::memory_order_acq_rel)) {
            return 0;
        }
        if (v == 0) {
            syscall(SYS_futex, &counter_, FUTEX_WAIT_PRIVATE, 0, nullptr, nullptr, 0);
        }
    }
}