评分及理由

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

得分：2分

理由：学生定义了所有必要的信号量（mutexA、mutexB、emptyA、fullA、emptyB、fullB），且初值设置正确（mutexA=1、mutexB=1、emptyA=M-x、fullA=x、emptyB=N-y、fullB=y），与标准答案完全一致。

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

得分：3.5分

理由：A进程的同步与互斥操作正确。首先P(fullA)检查A信箱是否有邮件，再P(mutexA)互斥访问A信箱，取出邮件后V(mutexA)释放互斥锁，V(emptyA)增加空闲位置；然后生成新邮件后P(emptyB)检查B信箱是否有空间，P(mutexB)互斥访问B信箱，放入邮件后V(mutexB)释放互斥锁，V(fullB)增加B信箱邮件计数。逻辑与标准答案一致，但学生作答中在“回答问题并提出一个新问题”后多了一个分号（识别错误），根据规则不扣分。

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

得分：3.5分

理由：B进程的同步与互斥操作正确。首先P(fullB)检查B信箱是否有邮件，再P(mutexB)互斥访问B信箱，取出邮件后V(mutexB)释放互斥锁，V(emptyB)增加空闲位置；然后生成新邮件后P(emptyA)检查A信箱是否有空间，P(mutexA)互斥访问A信箱，放入邮件后V(mutexA)释放互斥锁，V(fullA)增加A信箱邮件计数。逻辑与标准答案一致，但学生作答中在“回答问题并提出一个新问题”后多了一个分号（识别错误），根据规则不扣分。

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