评分及理由

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

得分：4分

理由：学生定义了两个信号量，people对应标准答案中的empty，初值500正确；mutex初值1正确。虽然信号量命名与标准答案不同，但含义相同（people表示博物馆可容纳人数，mutex用于出入口互斥），符合题目要求，不扣分。

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

得分：2分

理由：学生在进门和出门操作前后正确使用了P(mutex)和V(mutex)操作，确保了出入口的互斥访问，与标准答案完全一致。

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

得分：1分

理由：学生在进门前使用P(people)控制人数，在出门后使用V(people)释放人数，逻辑正确，与标准答案中的empty操作完全对应。

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