每执行一次 P 原语，信号量的数值 S 减 1。如果 S>=0，该进程 ①________ ；若 S<0， 则 ②________ 该进程，并把它插入该 ③________ 对应的 ④________ 队列中。

每执行一次 P 原语，信号量的数值 S 减 1。如果 S>=0，该进程 ①________ ；若 S<0， 则 ②________ 该进程，并把它插入该 ③________ 对应的 ④________ 队列中。

①继续执行，②阻塞（等待），③信号量，④阻塞（等待）
【解析】从物理概念上讲，S>0 时的数值表示某类资源可用的数量。执行一次 P 原语， 意味着请求分配一个单位的资源，因此描述为 S=S－1。当 S<0 时，表示已无资源，这时请求资源的进程将被阻塞，把它排在信号量 S 的等待队列中。此时，S 的绝对值等于信号量队列上的阻塞的进程数目。