评分及理由

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

得分：1分

理由：学生定义了full_A、full_B、mutex_A、mutex_B四个信号量，初值设置正确。但缺少Empty_A和Empty_B这两个同步信号量，扣1分。

（2）A进程同步互斥操作（满分3.5分）

得分：2分

理由：

• 从A信箱取邮件的操作正确：P(full_A)→P(mutex_A)→取邮件→V(mutex_A)，得1.5分
• 向B信箱放邮件的操作有严重错误：使用while循环和if判断代替了信号量机制，没有使用P(Empty_B)操作，扣1.5分
• 虽然最后有V(full_B)，但由于缺少对应的P操作，同步逻辑不完整

（3）B进程同步互斥操作（满分3.5分）

得分：2分

理由：

• 从B信箱取邮件的操作正确：P(full_B)→P(mutex_B)→取邮件→V(mutex_B)，得1.5分
• 向A信箱放邮件的操作有严重错误：使用while循环和if判断代替了信号量机制，没有使用P(Empty_A)操作，扣1.5分
• 虽然最后有V(full_A)，但由于缺少对应的P操作，同步逻辑不完整

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