若信号量S的初值为2 当前值为-1 则表示有几个进程等待()。