信号量与原子整数的区别：从操作系统层面而非C++接口角度

从操作系统内核视角出发，二者的核心差异并非表面的"带计数"，而是设计目标、核心能力和底层实现的本质区别：

1. 核心定位与设计目标 #

• 原子整数：本质是支持原子操作的内存单元，核心目标是解决多线程/进程对单个内存值的竞态条件问题，保证读、写、增减、CAS（比较交换）等操作的不可分割性。它本身只是一个"安全的数值容器"，不具备同步调度能力。
• 信号量：是内核级同步原语，核心目标是协调多线程/进程的执行顺序与资源分配。它不仅包含一个原子计数，还内置了内核维护的阻塞队列，专门用于管理等待资源的线程。

2. 核心能力差异 #

• 原子整数：仅能完成原子化的数值操作，操作完成后线程立即继续执行，不会触发阻塞或唤醒。如果要实现同步逻辑，需要用户自行基于原子操作实现自旋（比如自旋锁），但这会持续占用CPU资源。
• 信号量：自带内核级的阻塞/唤醒机制。当信号量计数为0时，调用wait（P操作）的线程会被内核挂起，进入休眠状态（不占用CPU）；直到其他线程调用post（V操作）增加计数后，内核才会唤醒等待队列中的线程。

3. 使用场景的本质区别 #

• 原子整数：适合简单共享数据的安全更新，比如统计在线用户数、累计操作次数，或者作为基础组件实现用户态同步工具（如自旋锁、无锁数据结构）。
• 信号量：适合资源访问控制与线程调度，比如限制同时访问某资源的线程数（计数信号量）、实现生产者-消费者模型，或者作为二元信号量（互斥锁的一种实现）保证临界区的互斥访问。

4. 底层实现与开销 #

• 原子整数：现代CPU通过硬件指令直接支持（如x86的lock前缀、ARM的ldrex/strex指令），完全在用户态执行，无需内核介入，开销极低。
• 信号量：涉及内核态与用户态的上下文切换，需要内核维护阻塞队列、调度线程，开销远大于原子操作。

5. 计数的语义差异 #

• 原子整数：计数无固定语义，用户可任意定义其用途（比如作为标记、计数器、状态值）。
• 信号量：计数代表可用资源的数量，wait操作消耗资源（计数-1），post操作释放资源（计数+1），内核会严格遵循这个语义管理线程。

内容的提问来源于stack exchange，提问作者Dzmitry Kulik