记录型信号量