评分及理由

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

学生明确定义了两个信号量：empty=500（用于控制博物馆容纳人数）和mutex=1（用于互斥控制出入口），信号量含义和初值完全正确。得4分。

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

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

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

学生在进门前执行P(empty)和在出门后执行V(empty)，正确控制了博物馆内人数。得1分。

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