评分及理由

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

学生答案中定义了多个信号量，但未明确说明信号量的具体名称和初值。从代码中可以看出使用了CountAC和CountCB两个信号量，但未给出初值。标准答案需要明确信号量初值（通常为0），这里缺少初值说明。扣1分。

得分：1分

（2）线程T1同步逻辑（满分3分）

学生答案中T1执行A、B操作，但题目要求T1执行A、E、F操作，这里存在逻辑错误。T1中出现了B操作，且同步关系混乱。E和F操作完全缺失，C和D的同步关系也未正确处理。扣3分。

得分：0分

（3）线程T2同步逻辑（满分3分）

学生答案中T2执行B、C、D操作，符合题目要求。但同步逻辑存在问题：T2中B操作后直接P(CountAC)，而T1中A操作后V(CountAC)，这个同步关系基本正确。但缺少对E和F的同步控制，且信号量CountCB的使用逻辑不清晰。扣2分。

得分：1分

题目总分：1+0+1=2分