第2章进程管理(part2).pptVIP

* 2. 记录型信号量 在整型信号量机制中的wait操作，只要是信号量S≤0， 就会不断地测试。因此，该机制并未遵循“让权等待”的准则， 而是使进程处于“忙等”的状态。 记录型信号量机制，则是一种不存在“忙等”现象的进程同步机制。但在采取了“让权等待”的策略后，又会出现多个进程等待访问同一临界资源的情况。 为此，在信号量机制中，除了需要一个用于代表资源数目的整型变量value外，还应增加一个进程链表L，用于链接上述的所有等待进程。记录型信号量是由于它采用了记录型的数据结构而得名的。它所包含的上述两个数据项可描述为： * type semaphore=record value:integer; L:list of process; end 相应地，wait(S)和signal(S)操作可描述为：  procedure wait(S) var S: semaphore; begin S.value∶ =S.value-1; if S.value＜0 then block(S.L) end procedure signal(S) var S: semaphore