6.5.2 信号量相关函数