评分及理由

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

学生回答正确，指出C1是临界区，理由充分（要求B为空时才能执行C1，不能同时执行）。得2分。

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

学生使用了empty和full两个信号量进行同步，思路正确。但存在以下问题：

• 第一次识别中P2的wait(φ(full))存在明显语法错误，扣1分
• 第二次识别中信号量定义不完整（mutex和empty未赋初值），且P2中使用了V(empty)但P1中未对应P(empty)操作，逻辑不完整，扣1分
• 缺少对缓冲区的互斥保护，标准答案中使用了mutex确保对缓冲区的互斥访问

综合扣2分，得1分。

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

学生正确使用了mutex信号量实现互斥，代码逻辑正确。但存在以下问题：

• 第一次识别中信号量定义不完整（未赋初值），扣0.5分
• 第二次识别中信号量定义正确，但代码中缺少对"B非空时才能执行C3"的检查，题目要求B非空时才能执行C3，学生答案未体现这一同步条件

综合扣1分，得2分。

题目总分：2+1+2=5分