并发研究

p(s)原语
1,s值减一
2，若相减结果大于或等于0，则进程继续执行
3，若相减结果小于零，该进程被封锁，进入等待队列

v(s)原语
1,s值+1
2，若相加结果大于0，进程继续执行
2，若相加结果小于或等于0，则从该信号灯的等待队列中移出一个进程。解除它的等待状态，然后返回本进程继续执行。