19.6 信号量函数