信号量的实现方式