信号量的实现和应用