评分及理由

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

学生作答与标准答案在核心逻辑上完全一致，只是信号量命名有所不同，但功能对应清晰：

• SPadc（或SPaode）对应mutexT，实现对铁锹的互斥访问，初值为1。
• pit对应sk，表示可挖的树坑数量，初值为3。
• SAB对应empty，表示已挖好可使用的树坑数量，初值为0。
• SBC对应water，表示需要浇水的树苗数量，初值为0。

甲、乙、丙三个进程的同步与互斥逻辑正确：甲挖坑前需检查坑数并申请铁锹，挖完后通知乙；乙放树苗填土前需等待坑就绪并申请铁锹，完成后释放坑资源并通知丙；丙只需等待浇水信号。整个过程保证了“树坑数量小于3时甲才可以挖坑”的约束，且铁锹互斥使用。

存在少量拼写错误（如semophore、Singal），但根据题目要求，这些属于识别误写，不扣分。

因此，本题得分为7分。

题目总分：7分