评分及理由

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

得分：2分

理由：学生正确定义了semaphore A_C=0和semaphore C_E=0，与标准答案的简化版本一致，初值设置正确。

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

得分：3分

理由：T1中A执行后signal(A_C)，E执行前wait(C_E)，F直接执行，完全符合简化版本的同步要求。虽然多了while(1)循环，但这不影响同步逻辑的正确性。

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

得分：3分

理由：T2中B直接执行，C执行前wait(A_C)，C执行后signal(C_E)，D直接执行，完全符合简化版本的同步要求。注释说明"B、C之间同步关系和C、D之间同步关系可由线程执行顺序自动约束"体现了对同步关系的正确理解。

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