信号量机制（整形信号量/记录型信号量）