评分及理由

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

学生定义了两个信号量：mutex（初值1，用于互斥使用出入口）和empty（初值500，表示可容纳人数）。这两个信号量的定义和含义与标准答案完全一致。得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分