down

#（操作系统-）down-（操作系统-）P-（操作系统-）wait

梗概

检查数值、改变数值以及可能发生的睡眠等操作合起来作为单一的、不可分的原子操作(atomic action)

down(s):
		s=s-1;
		if(s<0)  #该进程阻塞在s上；