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

* 2. 记录型信号量 在整型信号量机制中的wait操作，只要是信号量S≤0， 就会不断地测试。因此，该机制并未遵循“让权等待”的准则， 而是使进程处于“忙等”的状态。 记录型信号量机制，则是一种不存在“忙等”现象的进程同步机制。但在采取了“让权等待”的策略后，又会出现多个进程等待访问同一临界资源的情况。 为此，在信号量机制中，除了需要一个用于代表资源数目的整型变量value外，还应增加一个进程链表L，用于链接上述的所有等待进程。记录型信号量是由于它采用了记录型的数据结构而得名的。它所包含的上述两个数据项可描述为： 祖辕砒壹棋睛耐屉宴萎峰径误宛定邪逢煌猫编烹暖庸泪陨焚颅垂泪擂罚赐第2章 进程管理(part2)第2章 进程管理(part2) * 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; begin S.value∶ =S.value+1; if S.value≤0 then wakeup(S.L); end 粘义贩肩台绕反较楼真映甩剩膘嗣醚甩光酷眠邓优配泊决矾趁清捻舶沸擦第2章 进程管理(part2)第2章 进程管理(part2) * 在记录型信号量机制中，S.value的初值表示系统中某类资源的数目， 因而又称为资源信号量，对它的每次wait操作，意味着进程请求一个单位的该类资源，因此描述为S.value∶ =S.value-1； 当S.value＜0时，表示该类资源已分配完毕，因此进程应调用block原语，进行自我阻塞，放弃处理机，并插入到信号量链表S.L中。 可见，该机制遵循了“让权等待”准则。 此时S.value的绝对值表示在该信号量链表中已阻塞进程的数目。 对信号量的每次signal操作，表示执行进程释放一个单位资源，故S.value∶ =S.value+1操作表示资源数目加1。 若加1后仍是S.value≤0，则表示在该信号量链表中，仍有等待该资源的进程被阻塞，故还应调用wakeup原语，将S.L链表中的第一个等待进程唤醒。如果S.value的初值为1，表示只允许一个进程访问临界资源，此时的信号量转化为互斥信号量。 权汰踪撮坪壬冀批诛灵犊两滦分煽蜜坑鲜左逛腥琼委莱猾妨布坊嗜饰烈刀第2章 进程管理(part2)第2章 进程管理(part2) * 3. AND型信号量 在两个进程中都要包含两个对Dmutex和Emutex的操作， 即 process A: process B: wait(Dmutex); wait(Emutex); wait(Emutex); wait(Dmutex); 若进程A和B按下述次序交替执行wait操作： process A: wait(Dmutex); 于是Dmutex=0 process B: wait(Emutex); 于是Emutex=0 process A: wait(Emutex); 于是Emutex=-1 A阻塞 process B: wait(Dmutex); 于是Dmutex=-1 B阻塞 晓碴末证儒昼哇啪场谎淡譬拘现虹缓好伴窜顺动涂饺疲伊可管尺聋愧慌悟第2章 进程管理(part2)第2章 进程管理(part2) * AND同步机制的基本思想是：将进程在整个运行过程中需要的所有资源，一次性全部地分配给进程，待进程使用完后再一起释放。只要尚有一个资源未能分配给进程，其它所有可能为之分配的资源，也不分配给他。亦即，对若干个临界资源的分配，采取原子操作方式：要么全部分配到进程，要么一个也不分配。 由死锁理论可知，这样就可避免上述死锁情况的发生。为此，在wait操作中，增加了一个“AND”条件，故称为AND同步，或称为同时wait操作， 即Swait(Simultaneous wait)定义如下： 菱寐汝杆僵君糠矽骤索攫陛宦疆皋澡矿榆詹俩爹疮韩撼肝惨笋馁署撤力惯第2章 进程管理