评分及理由

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

得分：4分

理由：学生正确定义了两个信号量，mutex用于门的互斥控制（初值1），empty用于馆内容纳人数控制（初值500），信号量含义说明清晰，初值正确。

（2）对mutex的P、V操作（满分2分）

得分：2分

理由：学生在进门和出门操作前后都正确使用了mutex的P、V操作，实现了出入口的互斥访问，操作顺序正确。

（3）对empty的P、V操作（满分1分）

得分：1分

理由：学生在进门前正确使用P(empty)控制人数，在出门后正确使用V(empty)释放人数，操作位置正确。

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