评分及理由

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

学生定义了两个信号量：mutex（初值为1）和empty（初值为500），并正确说明了它们的含义（mutex用于互斥进入出入口，empty表示博物馆剩余容量）。这与标准答案完全一致。因此得4分。

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

学生在进门和出门操作前后正确使用了P(mutex)和V(mutex)来实现互斥，确保一次仅允许一个人通过出入口。操作顺序和位置与标准答案一致。因此得2分。

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

学生在进门前使用P(empty)来减少剩余容量，在出门后使用V(empty)来增加剩余容量，正确实现了同步控制。操作顺序和位置与标准答案一致。因此得1分。

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