如果进程P对信号量S执行P操作，则信号量S的值应（）。