评分及理由

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

得分：4分

理由：学生定义了两个信号量，tickets初值为500，用于控制博物馆内人数，与标准答案empty作用相同；mutex初值为1，用于互斥控制出入口。信号量含义说明正确，初值正确。

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

得分：2分

理由：对mutex的P、V操作完全正确，在进门和出门操作前后都正确使用了P(mutex)和V(mutex)来保证出入口的互斥访问。

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

得分：1分

理由：对tickets（相当于empty）的P、V操作位置正确，在进门前P(tickets)控制人数，在出门后V(tickets)释放名额。

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