信号量的类型