对于记录型信号量，在执行一次V操作时，信号量的值应当