清华大学操作系统OS学习（十二）——信号量与管程