评分及理由

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

得分：2分

理由：学生定义了所有必要的信号量，包括mutex_A、mutex_B、empty_A、empty_B、full_A、full_B，且初值设置正确（mutex_A=1、mutex_B=1、empty_A=M-x、empty_B=N-y、full_A=x、full_B=y）。虽然信号量名称中使用了连字符（如mutex-A），但根据禁止扣分规则第1条，判断为识别误写，不扣分。

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

得分：3.5分

理由：A进程的同步互斥操作完全正确。在取邮件时先P(full_A)再P(mutex_A)，操作后V(mutex_A)再V(empty_A)；在放邮件时先P(empty_B)再P(mutex_B)，操作后V(mutex_B)再V(full_B)。所有P、V操作顺序正确，符合同步互斥要求。

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

得分：3.5分

理由：B进程的同步互斥操作完全正确。在取邮件时先P(full_B)再P(mutex_B)，操作后V(mutex_B)再V(empty_B)；在放邮件时先P(empty_A)再P(mutex_A)，操作后V(mutex_A)再V(full_A)。所有P、V操作顺序正确，与A进程对称且符合要求。

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