进程同步---信号量机制
一种非常有效的进程同步机制。
1.整型信号量
整型信号量定义为一个用于表示资源数目的整型量S,它与一般整形量不同,除初始化外,仅能通过两个标准的原子操作wait(S)和signal(S)来访问,分别被称为P、V操作。
可描述为:
wait(S): while S<=0 do no=op; //如果S<=0,就一直循环,不断地进行测试
S:=S-1;
signal(S): S:=S+1;
wait(S)和signal(S)是两个原子操作,因此,它们在执行时是不可中断的。整型信号量机制并未遵循让权等待准则,一直循环不会释放处