整型信号量

注意到在实现 P 操作时，借用了 while 无限循环，故而不符合忙则等待。为了解决这个问题，就有了记录型信号量。