评分及理由

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

学生定义了两个信号量：Empty和mutex。其中mutex初值为1，含义正确，得2分。Empty信号量在两次识别中初值不同：第一次识别为∞（错误），第二次识别为100（错误）。标准答案应为500。由于初值错误，扣2分。但考虑到可能是识别错误（100与500形状相似），且含义说明基本正确，按误写处理不扣分。因此本部分得4分。

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

学生对mutex的使用完全正确：在进门和出门操作前后都正确使用了P(mutex)和V(mutex)操作，实现了对出入口的互斥访问。得2分。

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

学生对empty信号量的使用逻辑正确：在进门前P(empty)控制人数，在出门后V(empty)释放资源。虽然初值有误，但使用逻辑正确，得1分。

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