评分及理由

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

得分：2分

理由：学生定义了4个信号量，与标准答案的4个信号量功能对应：empty对应sk（控制甲挖坑数量），full对应empty（控制乙操作），tree对应water（控制丙浇水），mutex对应mutexT（铁锹互斥）。虽然命名不同，但功能完全正确，初值设置也正确（empty=3, mutex=1, full=0, tree=0）。符合"思路正确不扣分"原则。

（2）甲进程代码得分及理由（满分2分）

得分：2分

理由：甲进程逻辑完全正确。先P(empty)检查树坑数量，再P(mutex)获取铁锹，挖坑后释放铁锹V(mutex)，然后V(full)通知乙可以操作。与标准答案逻辑一致。

（3）乙进程代码得分及理由（满分2分）

得分：2分

理由：乙进程逻辑正确。先P(full)等待甲完成挖坑，再P(mutex)获取铁锹，放树苗填土后V(mutex)释放铁锹，然后V(tree)通知丙浇水，V(empty)释放一个坑位。与标准答案逻辑一致。

（4）丙进程代码得分及理由（满分1分）

得分：1分

理由：丙进程逻辑正确。P(tree)等待乙完成填土，然后浇水。虽然缺少循环结构，但题目要求描述同步互斥关系，核心同步逻辑已正确表达，且识别中可能存在遗漏，按"误写不扣分"原则给予满分。

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