评分及理由

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

得分：1分

理由：学生定义了6个信号量，其中mutexA、mutexB、fullA、fullB的初值正确。但emptyA和emptyB的初值错误，emptyA应为M-x（学生写为N-x），emptyB应为N-y（学生写为N-y，这里y误写为x）。由于emptyA初值错误，扣1分。

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

得分：3.5分

理由：A进程的同步互斥操作完全正确。取邮件时先P(fullA)再P(mutexA)，放邮件时先P(emptyB)再P(mutexB)，且V操作顺序正确，符合标准答案要求。

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

得分：3.5分

理由：B进程的同步互斥操作完全正确。取邮件时先P(fullB)再P(mutexB)，放邮件时先P(emptyA)再P(mutexA)，且V操作顺序正确，符合标准答案要求。

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