评分及理由

（1）得分及理由（满分2分）

学生回答正确，指出C1需要互斥执行，理由充分。得2分。

（2）得分及理由（满分3分）

学生答案存在逻辑错误：

• 信号量B_isempty初值应为1（因为初始时B为空，应允许P1立即执行C1），但学生设为0会导致P1无法执行
• 缺少对缓冲区的互斥保护，P1执行C1和P2执行C2可能同时访问缓冲区
• 同步逻辑不完整，没有确保"B为空时才能执行C1"的条件

由于存在多个逻辑错误，扣2分，得1分。

（3）得分及理由（满分3分）

学生答案基本正确：

• 使用了正确的互斥信号量mutex_B
• 初值设为1正确
• P1和P2都正确使用了wait/signal操作保护临界区
• 虽然C5可能是识别错误（应为C3），但不影响核心逻辑

得3分。

题目总分：2+1+3=6分