评分及理由

（1）得分及理由（满分4分）

得分：4分

理由：学生正确定义了信号量mutex和empty，并给出了正确的初值和含义。信号量mutex用于出入口资源的控制，初值为1；信号量empty表示博物馆可以容纳的最多人数，初值为500。完全符合标准答案要求。

（2）得分及理由（满分2分）

得分：2分

理由：学生对mutex的P、V操作完全正确，包括进门和出门时的互斥控制，与标准答案一致。

（3）得分及理由（满分1分）

得分：1分

理由：学生对empty的P、V操作完全正确，确保了博物馆人数不超过500人，与标准答案一致。

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