评分及理由

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

得分：2分

理由：学生定义了所有必要的信号量（mutexA、mutexB、emptyA、emptyB、fullA、fullB），并正确设置了初值（mutexA=1、mutexB=1、emptyA=M-x、emptyB=N-y、fullA=x、fullB=y）。信号量含义说明正确（互斥和同步）。

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

得分：3.5分

理由：A进程的代码中，P(fullA)和P(mutexA)的顺序正确（先同步后互斥），V(mutexA)和V(emptyA)的顺序正确，P(emptyB)和P(mutexB)的顺序正确（先同步后互斥），V(mutexB)和V(fullB)的顺序正确。所有同步和互斥操作均正确，无逻辑错误。

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

得分：3.5分

理由：B进程的代码中，P(fullB)和P(mutexB)的顺序正确（先同步后互斥），V(mutexB)和V(emptyB)的顺序正确，P(emptyA)和P(mutexA)的顺序正确（先同步后互斥），V(mutexA)和V(fullA)的顺序正确。所有同步和互斥操作均正确，无逻辑错误。

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