评分及理由

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

得分：2分

理由：学生定义了5个信号量S_AC、S_BC、S_CD、S_CE、S_EF，初值均为0，与标准答案一致，完全正确。

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

得分：3分

理由：T1线程中A操作后signal(S_AC)，E操作前wait(S_CE)，E操作后signal(S_EF)，F操作前wait(S_EF)，这些同步操作与标准答案完全一致，逻辑正确。

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

得分：2.5分

理由：T2线程中B操作后signal(S_BC)，C操作前wait(S_AC)和wait(S_BC)，C操作后signal(S_CE)和signal(S_CD)，D操作前wait(S_CD)，这些同步操作基本正确。但标准答案中只需要跨线程同步，而学生答案包含了线程内部的同步关系（如S_BC、S_CD、S_EF），虽然多余但不影响正确性。考虑到题目要求描述T1和T2之间的同步关系，学生答案虽然包含了不必要的信号量，但核心逻辑正确，扣0.5分。

题目总分：2+3+2.5=7.5分