评分及理由

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

学生正确定义了S_AC和S_CE两个信号量，初值均为0，与标准答案一致。信号量作用描述清晰，完全正确。

得分：2分

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

学生实现：操作A完成后V(S_AC)，操作E前P(S_CE)，操作F直接执行。这里存在逻辑错误：

• F操作应该在E完成后执行，但学生代码中F直接跟在E后，没有检查E是否完成的同步机制
• 缺少E→F的同步关系，可能导致F在E完成前就执行

扣1分

得分：2分

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

学生实现：操作B直接执行，操作C前P(S_AC)，操作D直接执行，最后V(S_CE)。这里存在逻辑错误：

• C操作需要等待A和B都完成，但学生只等待了A完成（P(S_AC)），没有等待B完成的同步机制
• D操作应该在C完成后执行，但学生代码中D直接跟在C后，没有检查C是否完成的同步机制

扣2分

得分：1分

题目总分：2+2+1=5分