评分及理由

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

得分：1分

理由：学生定义了mutex、tree、pit、full四个信号量，基本覆盖了同步需求。其中：

• mutex=1正确（铁锹互斥）
• tree=0正确（表示需要浇水的树苗）
• pit=0正确（表示可用的树坑）
• full=3正确（表示可挖坑的数量限制）

扣1分：信号量命名不够清晰，标准答案中sk明确表示可挖坑数量，empty表示可用树坑，water表示需要浇水，学生的命名虽然功能正确但不够直观。

（2）甲的操作得分及理由（满分2分）

得分：2分

理由：甲的操作逻辑完全正确。先wait(full)检查是否可挖坑，再wait(mutex)获取铁锹，挖坑后释放铁锹，signal(pit)通知乙有可用树坑。与标准答案逻辑一致。

（3）乙的操作得分及理由（满分2分）

得分：1分

理由：乙的操作基本正确但有逻辑错误：

• wait(pit)和wait(mutex)顺序正确
• 放树苗操作正确
• signal(full)位置正确（填土后释放一个挖坑名额）
• signal(tree)正确（通知丙浇水）
• 扣1分：signal(mutex)应该在填土操作后立即释放，而不是在最后，这样会延长铁锹占用时间，影响效率。

（4）丙的操作得分及理由（满分1分）

得分：1分

理由：丙的操作完全正确。wait(tree)等待有树苗需要浇水，然后执行浇水操作。逻辑简洁正确。

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