评分及理由

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

学生定义了三个信号量：full=0（表示馆内人数）、empty=500（表示空位数）、mutex=1（互斥使用出入口）。标准答案只需要empty和mutex两个信号量，但学生额外定义了full。由于full的定义是多余的（empty已经可以控制人数），但含义说明正确，且empty和mutex的初值和含义与标准答案一致，因此不扣分。得4分。

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

学生在进门和出门操作前后正确使用了mutex的P、V操作，实现了出入口的互斥访问。与标准答案一致。得2分。

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

学生在进门前使用P(empty)控制人数，在出门后使用V(empty)释放人数。虽然学生额外使用了full信号量进行同步，但empty的P、V操作位置正确，功能上与标准答案等效。因此不扣分。得1分。

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