二值信号量与计数型信号量