评分及理由

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

得分：3分

理由：学生定义了三个信号量：mutex、full和empty。其中mutex和empty的定义和初值正确（mutex=1用于出入口互斥，empty=500表示剩余容量），各得1分。但full信号量定义错误（应为empty的补集，但题目不需要），扣1分。

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

得分：2分

理由：对mutex的P/V操作完全正确（进门和出门时正确实现互斥），得2分。

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

得分：1分

理由：对empty的P/V操作完全正确（在进门前P(empty)限制人数，出门后V(empty)释放名额），得1分。

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