评分及理由

（1）信号量设置及初值（满分2分）

得分：0分

理由：学生使用了三个互斥信号量(mutex1、mutex2、mutex3)，初值都设为1。但题目要求的是同步关系而非互斥关系，且信号量的命名和初值设置都不符合同步要求。标准答案中需要的是控制执行顺序的同步信号量，初值应为0。

（2）线程T1的同步实现（满分3分）

得分：0分

理由：T1中的同步逻辑完全错误。A操作后没有正确的signal操作来通知C可以执行；E操作前缺少wait操作来等待C完成；F操作前缺少wait操作来等待E完成。整个执行顺序控制完全不符合题目要求的约束条件。

（3）线程T2的同步实现（满分3分）

得分：0分

理由：T2中的同步逻辑同样完全错误。B操作后没有正确的signal操作来通知C可以执行；C操作前缺少wait操作来等待A和B完成；D操作前缺少wait操作来等待C完成。信号量的使用方式和执行顺序控制都不正确。

题目总分：0+0+0=0分