每执行一次V原语，信号量的数值S加1。如果()，Q进程继续执行;如果S<=0，则从对应的()队列中移出一个进程R，该进程状态变为()