评分及理由

（1）得分及理由（满分8分）

学生答案与标准答案基本一致，正确实现了同步与互斥机制：

• 正确设置了四个信号量：SAB（初值m）、SBA（初值n）、S（初值0）、mutex（初值1），功能与标准答案完全一致。
• 生产者A和B的流程正确：先通过P(SAB)/P(SBA)实现生产数量限制，生产后通过V(SBA)/V(SAB)更新计数器，再通过mutex互斥入库，最后V(S)增加库存。
• 销售者C的流程正确：先P(S)检查库存，再P(mutex)互斥取货，最后V(mutex)释放仓库并销售。
• 第二次识别中销售者C的V(mutex)正确（第一次识别中的"U(mutex)"可判定为识别错误，不扣分）。

因此给予满分8分。

题目总分：8分