n := 0; parbegin
producer; consumer parend end.
5.14考虑图5.13.如果发生下面的交换，程序的意义是否会发生改变？
a.semWait(e);semWait(s) b.semSignal(s);semSignal(n) c.semWait(n);semWait(s) d.semSignal(s);semSignal(e)
答：只要交换顺序都会导致程序错误。信号量s控制进入临界区，你只想让临界区区域包括附加或采取功能。
5.15在讨论有限缓冲区（见图5.12）生产者/消费者问题时，注意我们的定义允许缓冲区中最多有n-1个入口？ a.这是为什么？
b.请修改程序，以不久这种低调？
答：如果缓冲区可以容纳n个入口，问题在于如何从一个满的缓冲区中区分出一个空的缓冲区，考虑一个有六个位置的缓冲区，且仅有一个入口，如下： A Out in
然后，当一个元素被移出，out=in。现在假设缓冲区仅有一个位置为空： D E A B C In out
36
这样，out=in+1.但是，当一个元素被添加，in被加1后，out=in，当缓冲区为空时同理。
b．你可以使用一个可以随意增加和减少的辅助的变量，count。
5.16这个习题说明了使用信号量协调三类进程。圣诞老人在他北极的商店中睡眠，他只能被一下两种情况之一唤醒：（1）所有九头驯鹿都从南太平洋的假期回来了，或者（2）某些小孩在制作玩具时遇到了困难。为了让圣诞老人多睡会，这些孩子只有在是那个人都遇到困难时才唤醒他。当三个孩子的问题得到解决时，其他想访问圣诞老人的孩子必须等到那些孩子返回。如果圣诞老人醒来后发现在三个孩子在他的店门口等待，并且最后一头驯鹿已经从热带回来。则圣诞老人决定让孩子门等到圣诞节之后，因为准备最后一天哦iuxunlu必须与其他unlu在暖棚中等待并且还没有套上缰绳做成雪橇前回来。请用信号量解决这个问题。
答：santa:圣诞老人reindeer:驯鹿elf:小孩子sleigh:雪橇toys:玩具
37
5.17通过一下步骤说明消息传递和信号量具有同等的功能：
a.用信号量实现消息传递。提示：利用一个共享缓冲区保存信箱，每个信箱由一个消息槽数组成的。
b.用消息传递实现信号量。提示：引入一个独立的同步进程。
答：b.这个方法来自于[TANE97].同步进程维护了一个计数器和一个等待进程的清单。进程调用相关用于向同步进程发送消息的生产者，wait或signal，来实
38
现WAITHUO SIGNAL.然后生产者执行RECEIVE来接受来自于同步进程的回复。 当消息到达时，同步进程检查计数器看需要的操作是否已经足够，SIGNALs总是可以完成，但是假如信号值为0时，WAITs将会被阻塞。假如操作被允许，同步进程就发回一个空消息，因此解除调用者的阻塞。假如操作是WAIT并且信号量的值为0时，同步进程进入调用队列，并且不发送回复。结果是执行WAIT的进程被阻塞。当SIGNAL被执行，同步进程选择一个进程在信号量上阻塞，要不就以先进先出顺序，要不以其他顺序，并且发送一个回复。跑步条件被允许因为同步进程一次只需要一个。
第6章 并发性：死锁和饥饿
６.１写出图６.１（a）中死锁的四个条件。
解：互斥：同一时刻只有一辆车可以占有一个十字路口象限。占有且等待：没有车可以倒退；在十字路口的每辆车都要等待直到它前面的象限是空的。非抢占: 没有汽车被允许挤开其他车辆。 循环等待: 每辆汽车都在等待一个此时已经被其他车占领的十字路口象限。
６.２按照６.１节中对图６.２中路径的描述，给出对图６.３中６种路径的简单描述。
解：１.Q 获得 B 和Ａ, 然后释放 B 和 A. 当 P 重新开始执行的时候, 它将会能够获得两个资源。
2. Q 获得 B和Ａ， P 执行而且阻塞在对 A的请求上. Q释放 B 和Ａ。当 P 重新开始执行的时候，它将会能够获得两个资源。
3. Q 获得 B ，然后 P 获得和释放 A. Q 获得Ａ然后释放
39
B 和 A. 当 P 重新开始行的时候，它将会能够获得 B。 4. P 获得Ａ然后 Q 获得 B. P 释放 A. Q 获得Ａ然后释放 B. P 获得 B 然后释放 B。
5. P 获得，然后释放 A. P 获得 B. Q 执行而且阻塞在对Ｂ的请求上。Ｐ释放Ｂ。当 Q 重新开始执行的时候，, 它将会能够获得两个资源。
6. P 获得Ａ而且释放Ａ然后获得并且释放 B. 当 Q 重新开始实行, 它将会能够获得两个资源。
６.３图６.３反映的情况不会发生死锁，请证明。
证明：如果 Q 获得 B 和Ａ（在 P之前请求Ａ）, 那么 Q 能使用这些两类资源然后释放他们, 允许Ａ进行。 如果 P在 Q之前请求Ａ获得Ａ, 然后Q 最多能执行到请求Ａ然后被阻塞。 然而,一旦 P 释放 A ， Q 能进行。 一旦 Q 释放 B, Ａ能进行。
６.４考虑下面的一个系统，当前不存在未满足的请求。
可用
r1 r2 r3 r4 2 1 0
0 40