评分及理由

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

得分：3分

理由：学生定义了两个信号量，mutex1初值500用于控制博物馆容纳人数（正确），mutex2初值1用于出入口互斥（正确）。但信号量命名不规范，mutex1实际应命名为empty更符合语义，不过这只是命名问题不影响功能，因此扣1分。

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

得分：2分

理由：对mutex2（出入口互斥信号量）的P、V操作完全正确，在进门和出门操作前后都正确使用了P、V操作来保证互斥。

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

得分：1分

理由：对mutex1（实际是empty信号量）的P、V操作位置正确，在进门前P操作，在出门后V操作，完全符合要求。

题目总分：3+2+1=6分