操作系统精髓与设计原理第6章 并发性死锁与饥饿.docx
- 文档编号:25193052
- 上传时间:2023-06-06
- 格式:DOCX
- 页数:17
- 大小:88.78KB
操作系统精髓与设计原理第6章 并发性死锁与饥饿.docx
《操作系统精髓与设计原理第6章 并发性死锁与饥饿.docx》由会员分享,可在线阅读,更多相关《操作系统精髓与设计原理第6章 并发性死锁与饥饿.docx(17页珍藏版)》请在冰豆网上搜索。
操作系统精髓与设计原理第6章并发性死锁与饥饿
第六章习题翻译
第一部分 复习题
6.1给出可重用资源和可消费资源的例子。
答:
可重用资源:
处理器,I/O通道,主存和辅存,设备以及诸如文件,数据库和信号量之类的数据结构。
可消费资源:
中断,信号,消息和I/O缓冲区中的信息。
6.2可能发生死锁所必须的三个条件是什么?
答:
互斥,占有且等待,非抢占。
6.3产生死锁的第4个条件是什么?
答:
循环等待。
6.4如何防止占有且等待的条件?
答:
可以要求进程一次性地请求所有需要的资源,并且阻塞这个资源直到所有请求都同时满足。
6.5给出防止无抢占条件的两种方法。
答:
第一种,如果占有某些资源的一个进程进行进一步资源请求被拒绝,则该进程必须释放它最初占用的资源,如果有必要,可再次请求这些资源和另外的资源。
第二种,如果一个进程请求当前被另一个进程占有的一个资源,则操作系统可以抢占另一个进程,要求它释放资源。
6.6如何防止循环等待条件?
答:
可以通过定义资源类型的线性顺序来预防。
如果一个进程已经分配到了R类型的资源,那么它接下来请求的资源只能是那些排在R类型之后的资源类型。
6.7死锁避免,检测和预防之间的区别是什么?
答:
死锁预防是通过间接地限制三种死锁必要条件的至少一个或是直接地限制循环等待的发生来避免死锁的出现。
死锁避免允许可能出现的必要条件发生,但是采取措施确保不会出现死锁的情况。
而死锁检测允许资源的自由分配,采取周期性的措施来发现并处理可能存在的死锁情况。
第二部分 习题
6.1写出图6.1(a)中死锁的四个条件。
解:
互斥:
同一时刻只有一辆车可以占有一个十字路口象限。
占有且等待:
没有车可以倒退;在十字路口的每辆车都要等待直到它前面的象限是空的。
非抢占:
没有汽车被允许挤开其他车辆。
循环等待:
每辆汽车都在等待一个此时已经被其他车占领的十字路口象限。
6.2按照6.1节中对图6.2中路径的描述,给出对图6.3中6种路径的简单描述。
解:
1.Q获得B和A,然后释放B和A.当P重新开始执行的时候,它将会能够获得两个资源。
2.Q获得B和A,P执行而且阻塞在对A的请求上.Q释放B和A。
当P重新开始执行的时候,它将会能够获得两个资源。
3.Q获得B,然后P获得和释放A.Q获得A然后释放
B和A.当P重新开始行的时候,它将会能够获得B。
4.P获得A然后Q获得B.P释放A.Q获得A然后释放
B.P获得B然后释放B。
5.P获得,然后释放A.P获得B.Q执行而且阻塞在对B的请求上。
P释放B。
当Q重新开始执行的时候,,它将会能够获得两个资源。
6.P获得A而且释放A然后获得并且释放B.当Q重新开始实行,它将会能够获得两个资源。
6.3图6.3反映的情况不会发生死锁,请证明。
证明:
如果Q获得B和A(在P之前请求A),那么Q能使用这些两类资源然后释放他们,允许A进行。
如果P在Q之前请求A获得A,然后Q最多能执行到请求A然后被阻塞。
然而,一旦P释放A,Q能进行。
一旦Q释放B,A能进行。
6.4考虑下面的一个系统,当前不存在未满足的请求。
可用
r1r2r3r4
2
1
0
0
当前分配最大需求仍然需求
r1
r2
r3
r4
r1
r2
r3
r4
r1
r2
r3
r4
0
0
1
2
0
0
1
2
2
0
0
0
2
7
5
0
0
0
3
4
6
6
5
6
2
3
5
4
4
3
5
6
0
3
3
2
0
6
5
2
a计算每个进程仍然可能需要的资源,并填入标为“仍然需要”的列中。
b系统当前是处于安全状态还是不安全状态,为什么。
c系统当前是否死锁?
为什么?
d哪个进程(如果存在)是死锁的或可能变成死锁的?
e如果P3的请求(0,1,0,0)到达,是否可以立即安全地同意该请求?
在什么状态(死锁,安全,不安全)下可以立即同意系统剩下的全部请求?
如果立即同意全部请求,哪个进程(如果有)是死锁的或可能变成死锁的?
解:
a.0000
0750
6622
2002
0320
b.系统当前处于安全状态,因为至少有一个进程执行序列,不会导致死锁,运行顺序是p1,p4,p5,p2,p3.
c.系统当前并没有死锁,因为P1进程当前分配与最大需求正好相等,P1进程可以运行直至结束,接下来运行其他进程
d.P2,P3,P4,P5可能死锁
e.不可以,当进程P1,P4,P5执行完可用资源为(4,6,9,8),P2,P3将死锁,所以不安全,完全不可以立即同意系统剩下的全部请求。
6.5请把6.4中的死锁检测算法应用于下面的数据,并给出结果。
Available=(2100)
20010010
Request=1010Allocation=2001
21000120
解:
1.W=(2100)
2.MarkP3;W=(2100)+(0120)=(2220)
3.MarkP2;W=(2220)+(2001)=(4221)
4.MarkP1;nodeadlockdetected没有死锁
6.6一个假脱机系统包含一个输入进程I,用户进程进程P和一个输出进程O,它们之间用两个缓冲区连接。
进程以相等大小的块为单位交换数据,这些块利用输入缓冲区和输出缓冲区之间的移动边界缓存在磁盘上,并取决于进程的速度。
所使用的通信原语确保满足下面的资源约束:
i+o≤max
其中,max表示磁盘中的最大块数,i表示磁盘中的输入块数目,o表示磁盘中的输出块数目。
以下是关于进程的知识:
1.只要环境提供数据,进程I最终把它输入到磁盘上(只要磁盘空间可用)。
2.只要磁盘可以得到输入,进程P最终消耗掉它,并在磁盘上为每个输入块输出有限量的数据(只要磁盘空间可用)。
3.只要磁盘可以得到输出,进程O最终消耗掉它。
说明这个系统可能死锁。
解:
当I的速度远大于P的速度,有可能使磁盘上都是输入数据而此时P进程要处理输入数据,即要将处理数据放入输出数据区。
于是P进程等待磁盘空间输出,I进程等待磁盘空间输入,二者死锁。
6.7给出在习题6.6中预防死锁的附加资源约束,仍然通话输入和输出缓冲区之间的边界可以根据进程的要求变化。
解:
为输出缓冲区保留一个最小数目(称为reso)块,但是当磁盘空间足够大时允许输出块的数目超过这一个界限。
资源限制现在变成
I+O≤max
I≤max–reso
当0 如果程序P正在等候递送输出给磁盘,程序O最后处理所有的早先输出而且产生至少reso页,然后让P继续执行。 因此P不会因为O而延迟。 如果磁盘充满I/O,I能被延迟;但是迟早,所有的早先的 输入可以被P处理完,而且对应的输出将会被O处理, 因而可以让I继续执行。 6.8在THE多道程序设计系统中,一个磁鼓(磁盘的先驱,用做辅存)被划分为输入缓冲区,处理和输出缓冲区,它们的边界可以移动,这取决于所涉及的进程速度。 磁鼓的当前状态可以用以下参数描述: max表示磁鼓中的最大页数,i示磁鼓中的输入页数,p示磁鼓中的处理页数,o示磁鼓中的输出页数,reso出保留的最小页数,resp理保留的最小页数。 解: I+O+P≤max– I+O≤max–resp I+P≤max–reso I≤max–(reso+resp) 6.9在THE多道程序设计系统中,一页可以进行下列状态转换: 1.空→输入缓冲区(输入生产) 2.输入缓冲区→处理区域(输入消耗) 3.处理区域→输出缓冲区(输出生产) 4.输出缓冲区→空(输出生产) 5.空→处理区域(输出消耗) 6.处理区域→空(过程调用) a根据I,O和P的量定义这些转换的结果。 b如果维持习题6.6中关于输入进程,用户进程和输出进程的假设,它们中的任何一个转换是否会导致死锁。 解: 1.i←i+1 2.i←i–1;p←p+1 3.p←p–1;o←o+1 4.o←o–1 5.p←p+1 6.p←p–1 b.结合在对问题6.7的解决办法被列出的资源限制,我们 能总结下列各项: 6.过程返回能立刻发生因为他们只释放 资源。 5.程序调用可能用尽磁盘片(p=max–reso)导致死锁。 4.当有输出时输出消耗能立刻发生。 3.输出生产能暂时被延迟直到所有的早先输出被消耗而且为下一步的输出至少可以产生reso页。 2.只要有输入,输入消耗能立刻发生。 1.输入生产被延迟直到所有先前输入和对应的输出已经被消耗。 此时,当i=o=0,如果消费进程还没有占用完磁盘空间(p 结论: 分配给消费进程的不受控制的存储空间是 唯一可能引发死锁的因素。 6.10考虑一个共有150个存储器单元的系统,其单元如下分配三个进程: 进程最大占用 17045 26040 36015 使用银行家算法,以确定同意下面的任何一个请求是否安全。 如果安全,说明能保证的终止序列;如果不安全,给出结果分配简表。 a.第4个进程到达,最多需要60个存储单元,最初需要25个单元。 b第4个进程到达,最多需要60个存储单元,最初需要35个单元。 解: a.若同意第4个进程请求,则储存器单元共用去25+15+40+45=125个单元,还有25个存储单元,则可以安全执行全部进程。 安全顺序是1-2-3-4 b.若同意第4个进程请求,则还有15个资源可以用,此时处于不安全状态,结果分配见表 进程最大占有需要空闲 170452515 2604020 3601545 4603525 6.11评价独家算法在实际应用中是否有用。 解: 不切实际的: 不能总是预先知道最大要求,进程数目和资源数目可能随着时间改变。 大多数的操作系统忽视死锁。 6.12有一个已经实现了的管道算法,使得进程P0产生的T类型的数据元素经进程序列P1P2…Pn-1,并且按该顺序在元素上操作。 a.定义一个一般的消息缓冲区,包含所有部分消耗的数据元素,并按下面的格式为进程Pi(0≤i≤n-1)写一个算法。 Repeat 从前驱接收 消耗 给后续发送 Forever 假设P0收到Pn-1发送的空元素。 该算法能够使进程直接在缓冲区中保存的消息上操作,而无需复制。 b.说明关于普通的缓冲区进程不会死锁。 解: arbuffer: array0..max-1ofsharedT; available: sharedarray0..n-1of0..max; "Initialization" varK: 1..n-1; regionavailabledo begin available(0): =max; foreverykdoavailable(k): =0; end "Processi" varj: 0..max-1;succ: 0..n-1; begin j: =0;succ: =(i+1)modn; repeat regionavailabledo awaitavailable(i)>0; regionbuffer(j)doconsumeelement; regionavailabledo begin available(i): =available(i)–1; available(succ): =available(succ)+1; end j: =(j+1)modmax; forever end b.死锁可以被解决通过 P0waitsforPn-1AND P1waitsforP0AND ..... Pn-1waitsforPn-2 因为 (available(0)=0)AND (available (1)=0)AND ..... (available(n-1)=0) 但是如果max>0,这个条件不成立,因为临界域满足 claim (1)+claim (2)+…+claim(n) (1)+available (2)+…+available(n) =max 6.13 a.3个进程共享4个资源单元,一次只能保留或释放一个单元。 每个进程最大需要2个单元。 说明不会死锁。 b.N个进程共享M个资源单元,一次只能保留或释放一个单元。 每个进程最大需要单元数不超过M,并且所有最大需求的总和小于M+N。 说明不会发生死锁。 解: a.说明由于每个进程最多需要2个资源,最坏情况下,每个进程需要获得一个,系统还剩1个,这一个资源,无论分给谁都能完成。 完成进程释放资源后,使剩余进程也完成,故系统不会死锁。 b.假定每个进程最多申请X个资源,最坏情况下,每个进程都得到X-1个资源都在申请最后一个资源,这时系统剩余资源数量为M-N(X-1),只要系统还有一个剩余资源,就可以使其中的一个进程获得所需要的全部资源,该进程运行结束以后释放资源,就可以使其他进程得到全部资源的满足,因此,当M-N(X-1)》1时系统不会发生死锁,解这个不等式X《(M+N-1),系统不会发生死锁,因此,当所有进程的需求总和小于M+N时,系统是不会发生死锁的。 6.14考虑一个由四个进程和一个单独资源组成的系统,当前的声明和分配矩阵是 31 21 C=9A=3 72 对于安全状态,需要的最小资源数目是多少? 解: 最小资源数是3个,总共有10个资源。 P2获得一个资源,完成后释放两个资源,P1获得三个资源,完成后释放三个资源,接下来P4获得五个资源,释放完资源后,P3获得所需的6个资源后完成。 6.15考虑下列处理死锁的方法: 1银行家算法,2死锁检测并杀死线程,释放所有资源,3事先保留所有资源,4如果线程需要等待,5资源排序,6重新执行检测死锁并退回线程的动作。 评价解释死锁的不同方法使用的一个标准是,哪种方法允许最大的并发。 换言之,在没有死锁时,哪种方法允许最多数目的线程无需要等待继续前进? 对下面列出的6种处理死锁的方法,给出从1到6的一个排序(1表示最大程序的并发),并解释你的排序。 另一个标准是效率;哪种方法需要最小的处理器开销? 假设死锁很少发生,给出各种方法从1到6的一个排序(1表示最有效),并解释这样排序的原因。 如果死锁发生很频繁,你的顺序需要改变吗? 解: a从最多并发事件到最少,有一个大概的次序如下: 1.死锁检测并杀死线程,释放所有资源 发现死锁并退回线程的动作,如果线程需要等候那么重新开始线程而且释放所有的资源,在死锁发生之前,这些运算法则都不会限制并发,因为他们仰赖运行时间检查而并非静态的限制。 他们的效果在死锁被发现比较难以描述: 他们仍然允许许多并发(在一些情形,他们增加它),但是很难有准确的估计。 第三个运算法则是最奇怪的,因为如此后许多的它的并发将会是无用的重复;因为线程竞争执行时间,这一个运算法则也影响运行速度。 因此在两者的极端,它以这顺序被列出两次。 2.银行家的运算法则 资源排序 这些运算法则因为限制多种的可允许的计算,而相对早先两种法则会引起更多的不必要的等候。 银行家的运算法则避免不安全的配置和资源排序限制配置序列以便线程在他们是否一定等候的时候有较少的选择。 3.事先保留所有的资源 这一个运算法则相比前两个要允许更少的并发,但是比最坏的那一种有更少的缺点。 因为要预先保留所有的资源,线程必须等候比较长的而且当他们工作的时候更有可能阻塞其他的线程,因此系统上来说具有更多的线性。 4.如果线程需要等待,则重新启动线程并且释放所有的资源 如上所述,这一个运算法则在区别最多和最少并发上有疑问,这具体要看并发的定义。 b从最高效率到最低,有如下大概的一个顺序: 1.预先保留所有的资源 资源排序 因为他们没有包括运行时间经常开支,所以这些运算法则最有效率。 注意这是在相同的静态限制下的结果。 2.银行家的运算法则 发现死锁而且杀死线程,释放它的资源 这些运算法则在概略的配置上包括运行时间检查 ;银行家的运算法则运行搜寻查证复杂度在线程和配置的数字和死锁检测中是O(nm),死锁检测的复杂度是O(n)。 资源-从属链被线程数目,资源数目和分配数目限制。 3.发现死锁并退回线程的动作 这一个运算法则运行也需要运行上述的相同的时间检查。 在写内存上的复杂度为O(n)。 4.如果线程需要等待,则重新启动线程并释放所有的资源 这一个运算法则是非常无效率,有如下两个理由。 首先,因为线程有重新开始的危险,他们完成的可能性低。 其次,他们与其他重新开始线程竞争有限的执行时间,因此整个系统运行的速度很慢。 6.16评价下面给出的就餐问题的解决方案。 一位饥饿的哲学家首先拿起他左边的叉子,如果他右边的叉子也是可用的,则拿起右边的叉子开始吃饭,否则他放下左边的叉子,并重复这个循环。 解: 如果哲学家们步调完全一致地拿起左边叉子又放下的话,他们会重复这一过程,导致饥饿情况的出现。 6.17假设有两种类型的哲学家。 一类总是先拿起左边的叉子(左撇子),另一类总是先拿起右边的叉子(右撇子)。 左撇子的行为和图6.12中定义的一致。 右撇子的行为如下: begin repeat think; wait(fork[(i+1)mod5]); wait(fork[i]); eat; signal(fork[i]); signal(fork[(i+1)mod5]); forever; end; 证明: a如果至少有一个左撇子或右撇子,则他们的任何就座安排都可以避免死锁。 b如果至少有一个左撇子或右撇子,则他们的任何就座安排都可以防止饥饿。 解: a假设存在死锁情况,设有D个哲学家,他们每人都有一支叉子而且另一支叉子被邻居占有。 不失一般性,设Pj是一个左撇子。 Pj抓牢他的左边叉子而且没有他的右边叉子,他的右边邻居Pk没有完成就餐因此也是一个左撇子。 因此依次推理下去所有这D个哲学家都是左撇子。 这与既有左撇子又有右撇子的条件矛盾,假设不成立,不存在死锁。 b 假设左撇子Pj饥饿,也就是说,有一部分人在就餐而Pj从不吃。 假如Pj没有叉子。 这样Pj的左边邻居Pi一定持续地占有叉子而始终不吃完。 因此Pi是右撇子, 抓住他的右边叉子,但是从不得到他的左边叉子来完成就餐,也就是说Pi 也饥饿。 现在Pi左边邻居也一定是持续占有右边叉子的右撇子。 向左进行这样的推理,得出所有哲学家都是饥饿的右撇子,这同Pj是个左撇子矛盾。 因此Pj一直拥有左边子而且在等待他的右边叉子,Pj的右边邻居Pk一直举着他的左边叉子而且从不完成一餐,也就是,Pk是也饥饿的左撇子。 如果Pk不是一直拿着他的左边叉子,Pj就可以就餐;因此Pk拿着他的左边叉子。 向右推理可得所有哲学家都是饥饿的左撇子。 这与条件矛盾,因此假设不成立,没有人饥饿。 6.18图1.17显示了另外一个使用管程解决哲学家就餐问题的方法。 和图6.14比较并阐述你的结论。 解: 图6.14是等待可用的叉子,图6.17是等待邻居吃完,在本质上逻辑是一样的,后者显得更加紧凑。 6.19在表6.13中,Linux的一些原子操作不会涉及到对同一变量的两次访问。 比如atomic_read(atomic_t*v).简单的读操作在任何体系结构中都是原子的。 为什么该操作增加到了原子操作的指令表? 解: 原子操作是在原子数据类型上操作,原子数据类型有他们自己的内在的 格式。 因此,不能用简单的阅读操作,但是特别的阅读操作 对于原子数据类型来说是不可或缺的。 6.20考虑Linux系统中的如下代码片断: read_lock(&mr_rwlock); write_lock(&mr_rwlock); mr_rwlock是读者写者锁。 这段代码的作用是什么? 解: 因为写者锁将会自旋,所以这段代码会导致死锁,等待所有的 读者解锁,包括唤醒这个线程。 6.21两个变量a和b分别有初始值1和2,对于Linux系统有如下代码: 线程1 线程2 a=3; mb(); -- -- -- -- c=b; rmb(); d=a; 使用内在屏障是为了避免什么错误? 解: 没有使用内存屏障,在一些处理器上可能c接到b的新值,而d接到b的旧值。 举例来说,c可以等于4(我们期待的),然而d可能等于1.(不是我们期待的)。 使用mb()确保a和b按合适的次序被写,使用rmb()确保c和d按合适的次序被读。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 操作系统精髓与设计原理第6章 并发性死锁与饥饿 操作系统 精髓 设计 原理 并发 死锁 饥饿