评分及理由

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

得分：1分

理由：学生定义了4个信号量，但存在以下问题：

• 第一次识别中empty-A初值应为M-x，但写成了m-x（m应为M），但根据误写不扣分原则，不扣分
• 第二次识别中empty-A初值错误写为M（应为M-x），这是逻辑错误，扣1分
• 缺少互斥信号量mutex_A和mutex_B的定义，扣分
• 信号量命名中使用"-"而不是下划线，但这是格式问题，不扣分

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

得分：1.5分

理由：

• 同步操作顺序错误：取邮件时应先P(full_A)后V(empty_A)，学生顺序正确，得1分
• 缺少互斥操作：取邮件和放邮件时没有使用互斥信号量保护临界区，扣1分
• 放邮件时的同步操作顺序正确：先P(empty_B)后V(full_B)，得0.5分
• 操作顺序有误：取邮件操作应该在P操作之后，学生将取邮件操作放在了P操作之前，这是逻辑错误，扣1分

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

得分：1.5分

理由：

• 同步操作顺序错误：取邮件时应先P(full_B)后V(empty_B)，学生顺序正确，得1分
• 缺少互斥操作：取邮件和放邮件时没有使用互斥信号量保护临界区，扣1分
• 放邮件时的同步操作顺序正确：先P(empty_A)后V(full_A)，得0.5分
• 操作顺序有误：取邮件操作应该在P操作之后，学生将取邮件操作放在了P操作之前，这是逻辑错误，扣1分

题目总分：1+1.5+1.5=4分