信号量的定义和作用