关于信号量wait、signal操作原子性含义及执行规则的疑问

你给出的是忙等待（自旋）型信号量的示例实现，针对你的两个疑问解答如下：

问题一：while(S<=0)和S--之间是否允许插入其他指令？ #

首先明确书中原子性描述的核心约束：所有对信号量值的修改操作（即S--、S++本身）必须原子执行，不能被其他进程的同信号量修改操作打断。
但仅保证修改操作本身的原子性不足以让wait逻辑正确，你还需要保证「读取S的值判断是否大于0」和「执行S--」这两个操作是不可分割的原子序列：如果两个进程同时读到S=1，都判断符合进入条件，哪怕各自的S--是原子的，最终也会出现S被减两次变为-1的错误，违背信号量的设计逻辑。
所以实际生产级的信号量实现中，会通过关中断、CPU原子指令（如CAS、XCHG）等手段，保证整个“判断-修改”序列的原子性，不允许中间插入其他进程修改该信号量的操作。

问题二：信号量值的修改何时完成？ #

信号量值的修改确实是在S--（wait操作）或者S++（signal操作）执行完毕的时刻完成的。
原子修改的核心特性就是增减操作不存在中间状态：一旦操作执行完成，所有后续访问该信号量的进程读到的都是更新后的最新值，不会出现半修改的异常值。

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