评分及理由

（1）信号量定义得分及理由（满分4分）

得分：3分

理由：学生定义了两个信号量，empty初值500正确，含义正确（1分）；mutex初值应为1但写成了0，这是一个逻辑错误（扣1分），但含义说明基本正确。考虑到可能是识别错误（0和1相似），但初值错误会影响后续操作，因此适当扣分。

（2）mutex的P、V操作得分及理由（满分2分）

得分：2分

理由：学生对mutex的P、V操作位置完全正确，在进门和出门操作前后都正确使用了P、V操作实现互斥，尽管mutex初值有误，但操作逻辑正确。

（3）empty的P、V操作得分及理由（满分1分）

得分：1分

理由：学生对empty的P、V操作位置完全正确，在进门前P(empty)检查空位，在出门后V(empty)释放空位，符合同步要求。

题目总分：3+2+1=6分