PV操作、互斥与同步次序

考点目标

本课深挖“PV操作、互斥与同步次序”。要求你能从真实参数建模、完成逐步计算，并用边界或反例检查答案；只背结论、不写过程不算掌握。

一、严格定义与机制

信号量P操作申请资源并可能阻塞，V操作释放或通知；互斥信号量保护临界区，同步信号量表达事件先后。P、V必须成对围绕正确对象，顺序不当会死锁或破坏同步。

做题先标对象、单位、位宽和状态。组成原理中同一比特串在有符号、无符号和浮点解释下数值不同；操作系统中同一事件在用户态、内核态和硬件层承担的责任也不同。

二、计算或推演规则

先写进程间的先后约束图，再为每条跨进程边建立初值0的同步信号量；共享数据另用初值1的互斥量。检查任何路径是否持有互斥量时等待另一事件。

草稿必须保留中间量。地址题写位段，性能题写路径概率，调度题画时间线或状态表，存储题区分数据块和管理开销。若题目改变前提，应从公式来源重新判断，而不是机械替换数字。

三、带参数例题

生产者消费者中empty和full表达缓冲区数量同步，mutex保护缓冲区结构。生产者应先P(empty)，再P(mutex)写入，随后V(mutex)、V(full)。

计算后至少做一种复核：数量级、范围、单位、极端输入或反向代入。若结果违反位宽、地址边界、资源守恒或时间下界，应回到建模步骤查错。

四、高频陷阱

用一个二值信号量同时承担容量计数与互斥，或持有mutex时等待永不可能发生的条件。

纠错时写出最小反例，并指出错误发生在定义、条件、运算还是结论。这样面对变式题，才能保持同一推理链。

五、在线验收

本课下方有单选、多选以及数值计算或应用问答。单选检验概念边界，多选检验完整步骤，定量题使用题面真实参数并由后端判分；应用题要求明确同步对象或机制，不接受只写名词。