评分及理由

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

得分：2分

理由：学生答案中定义了6个信号量，名称和初值完全正确：emptyA = M-x, emptyB = N-y, fullA = x, fullB = y, mutexA = 1, mutexB = 1。与标准答案一致。

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

得分：3.5分

理由：A进程的操作顺序完全正确：先P(fullA)检查是否有邮件，再P(mutexA)获取信箱互斥锁，取出邮件后V(mutexA)释放锁，V(emptyA)增加空位；然后P(emptyB)检查B信箱是否有空位，P(mutexB)获取B信箱互斥锁，放入邮件后V(mutexB)释放锁，V(fullB)增加B信箱邮件计数。所有P、V操作的使用顺序和位置都与标准答案一致。

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

得分：3.5分

理由：B进程的操作顺序也完全正确：先P(fullB)检查是否有邮件，再P(mutexB)获取信箱互斥锁，取出邮件后V(mutexB)释放锁，V(emptyB)增加空位；然后P(emptyA)检查A信箱是否有空位，P(mutexA)获取A信箱互斥锁，放入邮件后V(mutexA)释放锁，V(fullA)增加A信箱邮件计数。所有P、V操作的使用顺序和位置都与标准答案一致。

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