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