评分及理由

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

得分：0分

理由：学生只定义了一个mutex_y信号量，而标准答案需要两个mutex_y1和mutex_y2来分别处理thread1与thread3、thread2与thread3对y的互斥访问。缺少一个必要的信号量定义。

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

得分：1分

理由：正确定义了mutex_z信号量用于互斥访问z变量，与标准答案一致。

（3）得分及理由（满分5分）

得分：3分

理由：
1. thread1的实现正确（1分）
2. thread2的实现存在逻辑错误：未正确处理thread2与thread3对y的互斥访问（应使用mutex_y2而非mutex_y），扣1分
3. thread3的实现存在逻辑错误：未正确处理thread1与thread3对y的互斥访问（应使用mutex_y1而非mutex_y），扣1分
4. 整体上保持了最大程度的并发执行（1分）

题目总分：0+1+3=4分