评分及理由

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

得分：4分

理由：学生准确定义了两个信号量：mutex（初值1）用于出入口互斥控制，empty（初值500）用于控制博物馆容量。信号量含义说明清晰，初值正确。

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

得分：2分

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

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

得分：1分

理由：学生对empty信号量的使用完全正确，在进门前使用P(empty)检查是否有空间，在出门后使用V(empty)释放空间，正确控制了博物馆内人数。

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