评分及理由

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

学生定义了AC和CE两个信号量，初值均为0，与标准答案的简化版本一致，完全正确。得2分。

（2）线程T1的同步操作（满分3分）

T1中：执行A后signal(AC)正确；执行E前wait(CE)正确；执行F前没有wait操作，但根据约束条件F只需在E完成后执行，而E和F在同一线程内，不需要额外同步，所以执行F直接执行是正确的。整体逻辑正确。得3分。

（3）线程T2的同步操作（满分3分）

T2中：执行B后不需要同步操作，正确；执行C前wait(AC)正确；执行C后signal(CE)正确；执行D前不需要同步操作，正确。整体逻辑正确。得3分。

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