操作系统概念(中文版)第七版课后习题答案word1——12章(7)

7.6

假设系统中有四个相同类型的资源被三个进程共享。每个进程最多需要两个资源。证明这个系统不会死锁。

假设该系统陷入死锁。这意味着，每一个进程持有一个资源，并且正等待另一个资源。因为有三个进程和四个资源，一个进程就必须获取两个资源。这一进程并不需要更多的资源，因此当其完成时会返回其资源。

7.7假设一个系统有m个资源被n个进程共享，进程每次只请求和释放一个资源。证明只要系统符合下面两个条件，就不会发生死锁： a.每个进程需要资源的最大值在1到m之间 b.所有进程需要资源的最大值的和小于m+n Answer:使用Section7.6.2的术语,可以有： a. _n i =1 Maxi < m + n b. Maxi ≥ 1 for all i Proof: Needi = Maxi ? Alloca tioni If there exists a deadlock state then: c. _n i =1 Alloca tioni = m Use a. to get:_ Needi + _ Alloca tioni = _ Maxi < m + n Use c. to get:_ Needi + m < m + n Rewrite to get:_n i =1 Needi < n //符号打不出来，大家自己看答案 这意味着存在一个Pi的进程，其Needi=0.如果Maxi>=1，那么Pi进程至少有一个资源可以释放。从而系统就不会进入死锁状态。

7.8假设哲学家进餐问题中，筷子被摆放在桌子的中央，它们中的任何一双都可以被哲学家

使用。假如每次只能请求一根筷子，试描述一种在没有引起死锁的情况下，一个特殊的请求请求能否被满足的简单的规则，将筷子分配给哲学家。

Answer:以下规则避免了死锁：当一个哲学家发出一个需要第一根筷子的请求时，如果没有别的哲学家有两根筷子或者只留有一根筷子时，这个请求就不被允许。

7.9与上一题目中所给的环境相同。假如现在每个哲学家请求三根筷子来吃饭，而且这种资源请求仍旧是分开发生的。试描述一种类似的在没有引起死锁的情况下，一个特殊的请求请求能否被满足的简单的规则，将筷子分配给哲学家。

Answer: 当一个哲学家发出一个需要第一根筷子的请求时，满足其情况，如果1）那个哲学家已经有2根筷子，并且还有2根筷子剩余，2) 那个哲学家已经有1根筷子，并且还有2根筷子剩余，3）最少有1根筷子剩余，并且最少有一个哲学家拥有3根筷子，4）那个哲学家没有筷子，但有2根筷子剩余，并且最少存在另外一个拥有2根筷子的哲学家放下他的筷子。 7.10我们可以通过把数组的维度减少到1，而从一般的银行家算法中得到一个单一资源类型的银行家算法。试通过一个例子说明对于每个资源类型，多资源类型的银行家方案不能通过单一资源类型方案的单独运用来实现。

Answer:假设一个系统有资源A,B,C和进程P0, P1, P2, P3, P4，并按照下图来分配

ALLOCATION A 0 3 3 2 0 B 1 0 0 1 0 C 0 2 2 1 2 P0, P1, P2 P3 P4 还需要下列资源的数量 Need A B C P0 P1 P2 P3 P4 7 0 6 0 4 4 2 0 1 3 3 0 0 1 1 如果可利用的资源是（2 3 0），我们可以看到，进程P0请求（0，2，0）是不能被满足的，因为它比Availiable少（2 1 0），从而导致没有一个进程可以被完成。

然而，如果我们把三种资源看做是三个独立资源类型的银行家算法，可以得到以下各表： 对于资源A

Allocated 0 3 3 2 0 Need 7 0 6 0 4 P0, P1 P2 P3 P4 在次序P1, P3, P4，P2, P0下，各进程可以被满足。 对于资源B

Allocated 3 0 0 1 Need 2 2 0 1 P0, P1 P2 P3 P4 0 3 在次序P2, P3, P1 , P0，P4下，各进程可以被满足。 对于资源C

Allocated 0 2 2 1 2 Need 3 0 0 1 1 P0, P1 P2 P3 P4 在次序P1, P2, P0,P3, P4下，各进程可以被满足。

我们可以看出，如果我们使用多重资源类型的银行家算法，对于进程P0的请求（0 2 0）是无法满足的，因为它使系统处于一个不安全的状态，然而，如果我们使用单一资源类型的银行家算法，把它们看做是三个分开的资源，这个请求是允许的。同时，如果我们有多重资源类型，我们则必须使用多重资源类型的银行家算法。 7.11考虑下面的一个系统在某一时刻的状态：

Allocation Max Available A B C D A B C D A B C D

P0 0 0 1 2 0 0 1 2 1 5 2 0 P1 1 0 0 0 1 7 5 0 P2 1 3 5 4 2 3 5 6

P3 0 6 3 2 0 6 5 2 P4 0 0 1 4 0 6 5 6 使用银行家算法回答下面问题： a.Need矩阵的内容是怎样的？ b.系统是否处于安全状态？

c.如果从进程P1发出一个请求（0 4 2 0），这个请求能否被满足？

Answer：a.Need矩阵的内容是P0（0 0 0 0） P1（0 7 5 0） P2（1 0 0 2） P3（0 0 2 0）

P4（0 6 4 0）。

b. .系统处于安全状态，因为Available矩阵等于（1 5 2 0），进程P0和P3都可以运行，当进程P3运行完时，它释放它的资源，而允许其它进程运行。

c.可以被满足，满足以后，Available矩阵等于（1 1 0 0），当以次序P0，P2, P3, P1 ,P4运行时候，可以完成运行。

7.12在死锁检测算法中，乐观假设是什么？这种假设怎样可以被违反？

Answer：乐观假设是在资源分配方面和进程请求资源的过程中，不存在任何形式的循环等待。如果在实际过程中，一个循环等待确实发生，这种假设可以被违反。 8.1解释内部碎片和外部碎片的区别？

Answer：内部碎片是某一区域或某一页中，未被占据其位置的作业所使用的区域。直到作业完成，释放页或区域，这个空间才能被系统所利用。

8.2考虑下面产生二进制的过程。编译器是用来为每个独立单元产生目标代码，连接编辑器是用来联合各个部分的目标单元组成一个单一的程序二进制。连接编辑器是怎样对内存地址改变指令和数据的捆绑？从编译器到连接编辑器，什么信息需要被通过，而使内存绑定连接编辑器作业比较容易？

Answer：连接编辑器不得不将分解的符号地址替换为在最终的程序二进制中，与变量相联系的实际地址。为了完成这个，单元必须追踪那些查阅到的未分解的符号指令。在连接期间，全部程序二进制中的每个单元会被分配到一序列的地址空间，当它完成时，对于未分解的符号关系，可以通过这个二进制输出，当每个另外单元包含一系列需要修复的指令时，这个二进制可以在另外单元被修复。

8.3按顺序给出5个部分的内存，分别是100KB,500KB,200KB,300KB和600KB，用

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说综合文库操作系统概念(中文版)第七版课后习题答案word1——12章(7)在线全文阅读。