评分及理由

（1）信号量定义部分得分及理由（满分2分）

学生定义了5个信号量AC、BC、CD、CE、EF，初值均为0，与标准答案一致。信号量作用描述基本正确。得2分。

（2）T1线程实现得分及理由（满分3分）

T1中执行A后V(AC)正确，执行E前P(CE)正确，执行E后V(EF)正确。但执行F前多了一个P(EF)，这会导致F无法执行，属于逻辑错误。扣1分。得2分。

（3）T2线程实现得分及理由（满分3分）

T2中执行B后V(BC)正确，但多了一个P(BC)，这会导致线程阻塞。执行C前P(AC)正确，执行C后V(CD)和V(CE)正确，执行D前P(CD)正确。由于多了一个P(BC)导致逻辑错误，扣1分。得2分。

题目总分：2+2+2=6分