while是对数阶(log2n),for是线性阶(n),嵌套就相乘,并列就取大的
信号量分为2类
信号量S大于等于0表示某资源的可用数,小于0其绝对值表示阻塞队列中等待该资源的进程数
p和v是低级通信原语,p表示申请一个资源,v表示释放一个资源