记录型信号量是由于它采用了记录型的数据结构而得名的