评分及理由

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

学生定义了两个信号量A和C，初值均为0。标准答案中需要至少两个信号量（S_AC和S_CE）来控制跨线程的同步关系。学生定义的信号量数量不足，且命名不规范（应体现控制的同步关系）。但考虑到信号量初值设置正确，给1分。

（2）线程T1执行逻辑得分及理由（满分3分）

学生T1中：wait(A)后立即signal(A)逻辑错误，这会导致信号量立即释放，失去同步作用；wait(C)位置基本正确（对应E需要等待C完成）；但缺少操作A的执行和对应的signal操作。E和F的执行顺序依赖关系未正确处理（F应该在E完成后执行，但这里没有体现）。由于存在严重逻辑错误，给1分。

（3）线程T2执行逻辑得分及理由（满分3分）

学生T2中：执行B正确；wait(A)应该对应等待A完成，但位置不当；执行C后signal(C)基本正确；执行D正确。但缺少对B完成的通知机制，且C的执行缺少对A和B两者的等待。由于同步关系不完整，给1分。

题目总分：1+1+1=3分