评分及理由

（1）信号量定义及含义说明（满分4分）

得分：4分

理由：学生正确定义了两个信号量empty和mutex，并给出了正确的初值（empty=500，mutex=1），同时说明了它们的含义（empty表示可容纳人数，mutex表示互斥出入口）。这与标准答案完全一致。

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

得分：2分

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

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

得分：1分

理由：学生在进门前使用P(empty)检查是否有空闲位置，在出门后使用V(empty)释放位置，这与标准答案完全一致。

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