评分及理由

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

得分：2分

理由：学生定义了6个信号量，名称与标准答案略有不同（empty1对应Empty_A，full1对应Full_A，empty2对应Empty_B，full2对应Full_B，mutex1对应mutex_A，mutex2对应mutex_B），但含义和初值完全正确。虽然变量命名不同，但逻辑等价，符合"思路正确不扣分"原则。

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

得分：3.5分

理由：A进程的同步互斥操作完全正确。P(full1)和P(mutex1)的顺序正确，V(mutex1)和V(empty1)的顺序正确，P(empty2)和P(mutex2)的顺序正确，V(mutex2)和V(full2)的顺序正确。所有P、V操作的位置和使用都符合要求。

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

得分：3.5分

理由：B进程的同步互斥操作完全正确。P(full2)和P(mutex2)的顺序正确，V(mutex2)和V(empty2)的顺序正确，P(empty1)和P(mutex1)的顺序正确，V(mutex1)和V(full1)的顺序正确。所有P、V操作的位置和使用都符合要求。

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