7.3.1 信号量的用法