评分及理由

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

学生定义了S_AC和S_CE两个信号量，初值均为0，与标准答案一致。这两个信号量分别控制A→C和C→E的同步关系，覆盖了所有跨线程的同步约束。得2分。

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

T1中：A操作后signal(S_AC)正确；E操作前wait(S_CE)正确；F操作直接执行（因为F在E后执行且都在T1内，无需额外同步）。但代码中使用了while(TRUE)循环，题目没有要求循环执行，这是多余的但不算错误。整体同步逻辑正确。得3分。

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

T2中：B操作后无同步操作（因为B无前置，且与C的同步通过S_AC已覆盖）；C操作前wait(S_AC)正确；C操作后signal(S_CE)正确；D操作直接执行（因为D在C后执行且在T2内，无需额外同步）。同步逻辑正确。得3分。

题目总分：2+3+3=8分