评分及理由

（1）信号量定义（满分2分）

得分：2分

理由：学生正确定义了ac和cE两个信号量，初值均为0，与标准答案中的S_AC和S_CE对应，满足跨线程同步需求。

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

得分：3分

理由：T1中A执行后V(ac)正确释放信号，E执行前P(cE)正确等待，F直接执行符合逻辑，执行顺序A→E→F正确。

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

得分：3分

理由：T2中B直接执行正确，C执行前P(ac)正确等待A完成，C执行后V(cE)正确通知E可执行，D直接执行符合逻辑。

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