评分及理由

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

得分：4分

理由：学生定义了door和full两个信号量，door用于互斥控制出入口（相当于标准答案的mutex），full用于控制馆内空闲位置（相当于标准答案的empty）。信号量含义说明清晰，初值设置正确（door=1，full=500）。虽然信号量命名与标准答案不同，但功能完全一致，符合"思路正确不扣分"的原则。

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

得分：2分

理由：学生对door信号量（相当于mutex）的P、V操作完全正确。在进门和出门操作前后都正确使用了P(door)和V(door)来保证出入口的互斥访问。

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

得分：1分

理由：学生对full信号量（相当于empty）的P、V操作完全正确。在进门前P(full)检查是否有空位，在出门后V(full)释放空位，逻辑正确。

题目总分：4+2+1=7分