当信号量S的值为0时，表示资源已经用完，进程执行P操作后需要进入等待队列，直到资源被释放。