评分及理由

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

得分：2分

理由：学生定义了4个同步信号量（empty_A, empty_B, full_A, full_B）和2个互斥信号量（mutex_A, mutex_B），初值设置完全正确，与标准答案一致。

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

得分：3.5分

理由：A进程的代码逻辑完全正确。取邮件时先P(full_A)再P(mutex_A)，放邮件时先P(empty_B)再P(mutex_B)，同步和互斥的顺序都正确。信号量的PV操作配对完整且位置准确。

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

得分：3.5分

理由：B进程的代码逻辑完全正确。取邮件时先P(full_B)再P(mutex_B)，放邮件时先P(empty_A)再P(mutex_A)，同步和互斥的顺序都正确。信号量的PV操作配对完整且位置准确。

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