评分及理由

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

得分：1分

理由：学生定义了6个信号量，命名与标准答案不同但含义正确（SA对应Full_A，TA对应Empty_A，SB对应Full_B，TB对应Empty_B，mutex_A和mutex_B含义相同）。初值设置基本正确，但存在以下问题：

• TA初值写为"8-x"明显是识别错误（应为M-x），但根据上下文可判断为误写，不扣分
• TB初值写为"8-y"同样为识别错误（应为N-y），判断为误写，不扣分
• 注释中多次出现"肉邮件"等明显识别错误，不影响逻辑判断
• 扣1分是因为信号量命名不规范，但功能正确

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

得分：3.5分

理由：A进程的同步互斥操作完全正确：

• 取邮件前正确使用P(SA)和P(mutex_A)
• 取邮件后正确使用V(mutex_A)和V(TA)
• 放邮件前正确使用P(TB)和P(mutex_B)
• 放邮件后正确使用V(SB)和V(mutex_B)
• 同步信号量和互斥信号量的P、V操作顺序正确

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

得分：3.5分

理由：B进程的同步互斥操作完全正确：

• 取邮件前正确使用P(SB)和P(mutex_B)
• 取邮件后正确使用V(mutex_B)和V(TB)
• 放邮件前正确使用P(TA)和P(mutex_A)
• 放邮件后正确使用V(SA)和V(mutex_A)
• 同步信号量和互斥信号量的P、V操作顺序正确

题目总分：1+3.5+3.5=8分