评分及理由

（1）信号量定义部分（满分4分）

得分：3分

理由：学生定义了三个信号量：

• mutex = 1（正确，用于出入口互斥）
• empty = 500（正确，用于控制博物馆容量）
• full = 1（多余且错误，题目不需要此信号量）

扣分说明：多定义了一个不必要的信号量full，且其初值1和含义"满缓冲区"都不符合题目要求。但由于mutex和empty的定义和初值都正确，扣1分。

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

得分：2分

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

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

得分：1分

理由：学生对empty的P、V操作完全正确，在进门前P(empty)检查容量，在出门后V(empty)释放容量，逻辑正确。

题目总分：3+2+1=6分