同步、互斥与 PV

同步、互斥与 PV：考点结论

1. 完成单选，并解释三个错误项具体违反了什么条件。
2. 完成多选；漏选与多选都按错误处理。
3. 独立完成计算或应用题，保留中间过程。
4. 24 小时后不看正文重新作答一次。

主题专属推导

本课对应 408 考纲中的 同步、互斥与 PV。目标不是记一句定义，而是能在选择题中辨析条件，在综合题中写出推导。

推导“同步、互斥与 PV”时，把定义或初态写在第一行；每一步标明使用的定理、状态转移或数据路径。若条件改变，重新从定义计算，不能只替换最终数字。

参数例题与核对

P/V 顺序不当可能死锁；用 if 代替 while 检查条件可能经不起唤醒后竞争。

本课闭卷任务：不看正文，写出“同步、互斥与 PV”最关键的定义、公式或状态不变量。

核对依据：信号量 P 申请、V 释放；互斥解决临界区排他，同步约束事件先后。

失效边界

生产者写缓冲区前执行 P(empty)、P(mutex)，写后 V(mutex)、V(full)。

在线练习接口

• choice：关于“同步、互斥与 PV”，下列说法正确的是哪一项？
• multiple_choice：关于“同步、互斥与 PV”，选择所有正确说法。漏选或多选均不得分。
• numeric：容量为 8 的有界缓冲区初始为空，empty 信号量初值应为多少？ 请填写数值。

完成标准不是“看过”，而是能独立给出“同步、互斥与 PV”的关键中间式、最终结论及一个失败条件。