多线程信号量的定义和作用