评分及理由

（1）得分及理由（满分8分）

学生答案使用了5个信号量（AC、BC、CD、CE、EF）并正确设置了初值为0，这与标准答案的第一种方案完全一致。每个信号量的作用描述清晰：AC控制A→C，BC控制B→C，CD控制C→D，CE控制C→E，EF控制E→F。所有wait()和signal()操作的位置和顺序都正确，完整实现了题目要求的同步约束关系。

虽然学生将操作拆分为独立函数而非直接写入线程T1和T2，但这种表述方式在逻辑上与标准答案等价，不影响同步关系的正确性。因此不扣分。

得分：8分

题目总分：8分