评分及理由

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

得分：2分

理由：学生定义了6个信号量，含义和初值正确：

• mutex1=1（A信箱互斥）
• mutex2=1（B信箱互斥）
• Abox=M-x（A信箱空位）
• Bbox=N-y（B信箱空位）
• Amile=x（A信箱邮件数）
• Bmile=y（B信箱邮件数）

虽然信号量命名与标准答案不同，但含义和初值完全正确，符合题意。

（2）A进程同步控制（满分3.5分）

得分：3.5分

理由：A进程的同步控制完全正确：

• 取邮件前P(Amile)和P(mutex1)顺序正确
• 取邮件后V(Abox)和V(mutex1)顺序正确
• 放邮件前P(Bbox)和P(mutex2)顺序正确
• 放邮件后V(Bmile)和V(mutex2)顺序正确

所有同步和互斥操作逻辑正确，没有错误。

（3）B进程同步控制（满分3.5分）

得分：3.5分

理由：B进程的同步控制完全正确：

• 取邮件前P(Bmile)和P(mutex2)顺序正确
• 取邮件后V(Bbox)和V(mutex2)顺序正确
• 放邮件前P(Abox)和P(mutex1)顺序正确
• 放邮件后V(Amile)和V(mutex1)顺序正确

所有同步和互斥操作逻辑正确，与A进程对称且正确。

题目总分：2+3.5+3.5=9分