经典进程同步问题

2.15 经典进程的同步问题

PV操作的解题思路

1. 关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。
2. 整理思路。根据各进程的操作流程确定P、V操作的大致顺序。
3. 设置信号量。设置需要的信号量，并根据题目条件确定信号量初值。（互斥信号量初值一般为 1，同步信号量的初始值要看对应资源的初始值是多少）

一、生产者消费者问题

1. 生产者消费者

问题描述

示例1：

系统中有一组生产者进程和一组消费者进程，生产者进程每次生产一个产品放入缓冲区，消费者进程每次从缓冲区中取出一个产品并使用。（注：这里的“产品”理解为某种数据）

生产者、消费者共享一个初始为空、大小为n的缓冲区。

只有缓冲区没满时，生产者才能把产品放入缓冲区，否则必须等待。 缓冲区没满 -> 生产者生产

只有缓冲区不空时，消费者才能从中取出产品，否则必须等待。 缓冲区没空 -> 消费者消费

缓冲区是临界资源，各进程必须互斥地访问。 互斥关系

问题分析

PV操作题目分析步骤：

1. 关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。
2. 整理思路。根据各进程的操作流程确定P、V操作的大致顺序。
3. 设置信号量。并根据题目条件确定信号量初值。（互斥信号量初值一般为1，同步信号量的初始值要看对应资源的初始值是多少）

实现

• 注意：

  • 实现互斥的P操作一定要在实现同步的P操作之后，否则会出现“死锁”

  • 两个V操作顺序可以交换

2. 多生产者-多消费者

问题描述

示例2：（生产和消费的不是同一个类别）

桌子上有一只盘子，每次只能向其中放入一个水果。爸爸专向盘子中放苹果，妈妈专向盘子中放 橘子，儿子专等着吃盘子中的橘子，女儿专等着吃盘子中的苹果。只有盘子空时，爸爸或妈妈才 可向盘子中放一个水果。仅当盘子中有自己需要的水果时，儿子或女儿可以从盘子中取出水果。

用PV操作实现上述过程。

问题分析

互斥关系：（mutex=1）

对缓冲区（盘子）的访问要互斥地进行

同步关系（一前一后）：

1. 父亲将苹果放入盘子后，女儿才能取苹果
2. 母亲将橘子放入盘子后，儿子才能取橘子
3. 只有盘子为空时，父亲或母亲才能放入水果

实现

总结：在生产者-消费者问题中，如果缓冲区大小为1，那么有可能不需要设置互斥信号量就可以实现 互斥访问缓冲区的功能。当然，这不是绝对的，要具体问题具体分析。

二、吸烟者问题

问题描述

假设一个系统有三个抽烟者进程和一个供应者进程。每个抽烟者不停地卷烟并抽掉它，但是要卷 起并抽掉一支烟，抽烟者需要有三种材料：烟草、纸和胶水。三个抽烟者中，第一个拥有烟草、 第二个拥有纸、第三个拥有胶水。供应者进程无限地ᨀ供三种材料，供应者每次将两种材料放桌 子上，拥有剩下那种材料的抽烟者卷一根烟并抽掉它，并给供应者进程一个信号告诉完成了，供 应者就会放另外两种材料再桌上，这个过程一直重复（让三个抽烟者轮流地抽烟）

问题分析

实现

（缓冲区大小为1，同一时 刻，四个同步信号量中 至多有一个的值为1）

三、读者-写者问题

问题描述

有读者和写者两组并发进程，共享一个文件，当两个或两个以上的读进程同时访问共享数据时不会 产生副作用，但若某个写进程和其他进程（读进程或写进程）同时访问共享数据时则可能导致数据 不一致的错误。因此要求：①允许多个读者可以同时对文件执行读操作；②只允许一个写者往文件中写信息；③任一写者在完成写操作之前不允许其他读者或写者工作；④写者执行写操作前，应让 已有的读者和写者全部退出

问题分析

两类进程：写进程、读进程

互斥关系：写进程—写进程、写进程—读进程。读进程与读进程不存在互斥问题

实现

• 方法一：

思考：若两个读进程并发执行，则 count=0 时两个进程也许都能满足 if 条件，都会执行 P(rw)，从而使第二个读进程阻塞的情况。

如何解决：出现上述问题的原因在于对 count 变量的检查和赋值无法一气呵成，因此可以设置另一个互斥信号量来保证各读进程对count的访问是互斥的

潜在的问题：只要有读进程还在读，写进程就要一直阻塞等待，可能“饿死”。这种算法中，读进程是优先的。

• 方法二：

（写者不会饥饿，但也并不是真正的“写优先”，而是相对公平的先 来先服务原则）

四、哲学家进餐问题

问题描述

一张圆桌上坐着5名哲学家，每两个哲学家之间的桌上摆一根筷子，桌子的中间是一碗米饭。哲学 家们倾注毕生的精力用于思考和进餐，哲学家在思考时，并不影响他人。只有当哲学家饥饿时， 才试图拿起左、右两根筷子（一根一根地拿起）。如果筷子已在他人手上，则需等待。饥饿的哲 学家只有同时拿起两根筷子才可以开始进餐，当进餐完毕后，放下筷子继续思考。

问题分析

1. 关系分析。系统中有5个哲学家进程，5位哲学 家与左右邻居对其中间筷子的访问是互斥关系。
2. 整理思路。这个问题中只有互斥关系，每个哲学家进程需要同时持有两个临界资源才能开始吃饭。因此要考虑如何避免临界资源分配不当造成的死锁现象。
3. 信号量设置。定义互斥信号量数组 chopstick[5]={1,1,1,1,1} 用于实现对5个筷子的互 斥访问。并对哲学家按0~4编号，哲学家 i 左边 的筷子编号为 i，右边的筷子编号为 (i+1)%5。

实现

主要在于避免死锁

• 方法一

对哲学家进程施加一些限制条件，比如最多允许四个哲学家同时进餐。这样可以保证至少有一个哲学家是可以拿到左右两只筷子的（设置一个初始值为4的同步信号量）

• 方法二

要求奇数号哲学家先拿左边的筷子，然后再拿右边的 筷子，而偶数号哲学家刚好相反。用这种方法可以保证 如果相邻的两个奇偶号哲学家都想吃饭，那么只会有其 中一个可以拿起第一只筷子，另一个会直接阻塞。这就避免了占有一支后再等待另一只的情况。（设置判断语句，判断序号的奇偶再进行操作）

• 方法三

仅当一个哲学家左右两支筷子都可用时才允许他抓起筷子（各哲学家拿筷子这件事必须互斥的执行。这就保证了即使一个哲学家在拿筷子拿到一半时被阻塞，也不会有别的哲学家会继续尝试拿筷子。这样的话， 当前正在吃饭的哲学家放下筷子后，被阻塞的哲学家就可以获得等待的筷子了。）