评分及理由

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

得分：1分

理由：学生定义了mailA、mailB、mutexA、mutexB四个信号量，但命名和含义不够清晰。mailAtoB和mailBtoA的初值设置错误（应为N-y和M-x的反向含义）。缺少Empty_A和Empty_B的明确对应信号量。由于部分信号量定义存在逻辑错误，扣1分。

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

得分：1.5分

理由：A进程中使用了wait(mailA)和wait(mailBtoA)来获取邮件，但mailBtoA的含义不明确。取出邮件后signal操作不完整（识别结果显示signal(不完整）。放入B信箱时缺少P操作，只有V操作。互斥操作使用不当，扣1.5分；同步逻辑存在错误，扣0.5分。

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

得分：1.5分

理由：B进程中使用了wait(mailB)和wait(mailAtoB)，但mailAtoB含义不明确。取出邮件后缺少V操作，放入A信箱时缺少P操作。互斥操作使用不当，扣1.5分；同步逻辑存在错误，扣0.5分。

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