评分及理由

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

学生定义了四个信号量SA、SB、SC、SD，初值均为0，与标准答案中的S_AC、S_BC、S_CE、S_DE对应，虽然命名不同但含义一致，初值设置正确。但在第二次识别中，SD的注释写成了"BE之间同步"，这明显是识别错误（应为DE之间同步），根据禁止扣分规则第1条和第4条，这种识别错误不扣分。因此本部分得2分。

（2）进程A、B、D的实现（满分2分）

进程A、B、D的实现完全正确：A在执行后V(SA)，B在执行后V(SB)，D在执行后V(SD)，与标准答案逻辑一致。得2分。

（3）进程C的实现（满分1.5分）

进程C的实现完全正确：先P(SA)和P(SB)等待A和B完成，然后执行C，最后V(SC)通知E。与标准答案逻辑一致。得1.5分。

（4）进程E的实现（满分1.5分）

进程E的实现完全正确：先P(SC)和P(SD)等待C和D完成，然后执行E。与标准答案逻辑一致。得1.5分。

题目总分：2+2+1.5+1.5=7分