4P小组的OS关于pintosTHREAD和alarmclock方面实验报告,会有帮助的