洪逸笔记上的定义是这样写的
value=0 代表counting sem.的号志值
S1=1 ; S2=0
wait(c):
wait(S1);
value

被卡住的时候还没执行wait signal一次救一个wait应该说是卡在while循环更正

OK了!一时忘记wait内的过程顺序 囧