评分及理由

（1）信号量定义及初值（满分3分）

得分：1分

理由：学生定义了6个信号量，结构正确。但初值存在多处错误：

• empty1应为M-x，但学生写成了m（未使用初始值x）
• full1应为x，但学生写成了0（第一次识别）和5（第二次识别）
• empty2应为N-y，但学生写成了n（未使用初始值y）
• full2应为y，但学生写成了g（第一次识别）和3（第二次识别）

由于信号量结构正确但初值大部分错误，给1分。

（2）互斥信号量的P、V操作使用（满分2分）

得分：2分

理由：mutex1和mutex2的使用完全正确，在访问各自信箱时都正确使用了P、V操作保护临界区。

（3）同步信号量的P、V操作使用（满分4分）

得分：4分

理由：同步逻辑完全正确：

• 取邮件前P(full)、V(empty)
• 放邮件前P(empty)、V(full)
• P、V操作顺序正确，没有死锁风险

虽然信号量初值有误，但同步逻辑结构完全正确，因此给满分。

题目总分：1+2+4=7分