评分及理由

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

学生定义了5个信号量a_AC、a_BC、a_CD、a_CE、a_EF，初值均为0，与标准答案一致。虽然学生使用了"互斥量"这一不准确表述，但根据上下文可判断为信号量，属于表述问题不扣分。得2分。

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

学生将操作A、E、F分别写成独立函数，但题目要求描述T1和T2两个线程。在T1中应包含A、E、F三个操作，学生虽然函数分开写，但逻辑顺序正确：A执行后signal(a_AC)，E执行前wait(a_CE)，E执行后signal(a_EF)，F执行前wait(a_EF)。核心同步逻辑正确，只是组织形式与题目要求略有差异。得3分。

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

学生将操作B、C、D分别写成独立函数，但题目要求描述T2线程。在T2中应包含B、C、D三个操作，学生逻辑正确：B执行后signal(a_BC)，C执行前wait(a_AC)和wait(a_BC)，C执行后signal(a_CD)和signal(a_CE)，D执行前wait(a_CD)。核心同步逻辑完全正确。得3分。

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