评分及理由

（1）信号量定义得分及理由（满分2分）

得分：2分

理由：信号量定义完整且初值正确。empty=1000表示缓冲区空位，full=0表示产品数量，mutex1=1用于缓冲区互斥，mutex2=1用于消费者互斥，含义和初值都正确。

（2）生产者进程得分及理由（满分1分）

得分：1分

理由：生产者进程实现正确，先P(empty)判断空位，再P(mutex1)互斥访问缓冲区，然后放入产品，最后V(mutex1)和V(full)，符合生产者-消费者模型。

（3）消费者进程得分及理由（满分5分）

得分：4分

理由：消费者进程基本正确实现了连续取10件的需求，使用mutex2控制一个消费者连续取10件，for循环结构正确。扣1分是因为在for循环内部，P(full)和P(mutex1)的顺序可能引起死锁，应该先P(full)再P(mutex2)更安全，但考虑到题目要求严格程度，这里只扣1分。

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