.第二章进程的描述与控制.pptVIP

第二章 进程的描述与控制 2.5 经典进程的同步问题 生产者-消费者问题 又称为有界缓冲区问题 问题描述： ? 一个或多个生产者生产某种类型的数 据放置在缓冲区中 有消费者从缓冲区中取数据，每次取一项 只能有一个生产者或消费者对缓冲区进行操作 要解决的问题： 确保当缓冲区已满时，生产者不会继续向其中添加数据；当缓冲区为空时，消费者不会从中移走数据 生产者 消费者 问题分析： 生产者—消费者之间的同步关系表现为： 一旦缓冲池中所有缓冲区均装满产品时，生产者必须等待消费者提供空缓冲区；一旦缓冲池中所有缓冲区全为空时，消费者必须等待生产者提供满缓冲区。 生产者—消费者之间还有互斥关系： 由于缓冲池是临界资源，所以任何进程在对缓冲区进行存取操作时都必须和其他进程互斥进行。 生成者进程A 消费者进程B void producer(void){ do{ item=produce_item(); … wait(empty); wait(mutex); buffer[in]=item; in=(in+1)mod n; signal(mutex) signal(full); }while(TRUE); } void consumer(void){ { wait(full); wait(mutex); nextc=buffer[out]; out=(out+1)mod n; signal(mutex); signa(empty); … } while(TRUE); } int in=out=0; item buffer[n]; semaphore mutex=1,empty=n,full=0; 2.5.2 哲学家进餐问题 有五个哲学家围坐在一圆桌旁，桌中央有一盘面条，每人面前有一只空盘子，每两人之间放一根筷子。每个哲学家思考、饥饿、然后吃面条。为了吃面，每个哲学家必须获得两根筷子，且每人只能直接从自己左边或右边去取筷子 semaphore chopstick [5] ={1,1,1,1,1}; do{ wait(chopstick[i]); wait(chopstick[(i+1)mod 5]); … eat … signal(chopstick[i]); signal(chopstick[(i+1)mod 5]); … think; }while(TRUE); 死锁问题：上述解法可能出现永远等待，有若干种办法可避免死锁： ?至多允许四个哲学家同时吃； ?奇数号先取左手边的筷子，偶数号先取右手边的筷子； ?每个哲学家取到手边的两根筷子才吃，否则一根筷子也不取。 semaphore chopstick [5] ={1,1,1,1,1}; do{ think; Sswait(chopstick[(i+1)mod 5],chopstick[i]); eat Ssignal(chopstick[(i+1)mod 5],chopstick[i]); }while(TRUE); 2.5.3 读者-写者问题 问题描述： 多个进程共享一个数据区，这些进程分为两组： 读者进程：只读数据区中的数据 写者进程：只往数据区写数据 要求满足条件： 允许多个读者同时执行读操作 不允许多个写者同时操作 不允许读者、写者同时操作 第一类：读者优先 如果读者到： 无读者、写者，新读者可以读 有写者等，但有其它读者正在读，则新读者也可以读 有写者写，新读者等 如果写者到： 无读者，新写者可以写 有读者，新写者等待 有其它写者，新写者等待 第一步： 设置互斥信号量Wmutex表示写者间、读者和写者间互斥，读者和写者主要程序如下： Reader： Writer： 第一个读者到时Wait(wmutex) Wait(wmutex) Read text Write text 最后一个读者离开时Signal(wmutex) Signal(wmutex) 第二步： 用readcount变量来纪录读者数，读者程序为： If readcount = 0 then Wait（wmutex）； readcount = readcount +1; Read text readcount = readcount -1; If readcount = 0 then Signal(wmutex); 第三步： 由于readcount是读者之间共享变量，属于临界资源，它也需互斥，为此又增设互斥信号量rmutex。 综上所述，我们定义两个互斥信号量和一个公共变量；wmutex用于“读-写”和“写-写”互斥；rmutex用于