第2章进程同步与通信-2分解.ppt

第二章　进 程 管 理 第二章　进 程 管 理 2.5 经典进程的同步问题 2.5.1 生产者一消费者问题 2.5.2 哲学家进餐问题 2.5.3 读者一写者问题 2.5.1 生产者一消费者问题 一组生产者进程生产产品给一组消费者进程消费。 为使他们并发执行，设一个有n个缓冲区的缓冲池，生产者一次向一个缓冲区中投入消息。消费者从一个缓冲区中取得消息。 生产者一消费者问题实际上是相互合作进程关系的一种抽象。 例如： 在输入时，输入进程是生产者，计算进程是消费者； 在输出时，计算进程是生产者，打印进程是消费者。 生产者-消费者问题 ●指有两组进程共享一个环形的缓冲池。一组进程被称为生产者，另一组进程被称为消费者。 ●缓冲池是由若干个大小相等的缓冲区组成的，每个缓冲区可以容纳一个产品。 ●生产者进程不断地将生产的产品放入缓冲池，消费者进程不断地将产品从缓冲池中取出。 制约关系 不允许消费者进程到一个空缓冲区中取产品 不允许生产者进程到一个已满且还没被取走的缓冲区中投放产品 1. 利用记录型信号量解决生产者—消费者问题 　　假定在生产者和消费者之间的公用缓冲池中，具有n个缓冲区，每个缓冲区存放一个消息，这时可利用互斥信号量mutex实现诸进程对缓冲池的互斥使用。 信号量empty：表示缓冲池中空缓冲区的数量； 信号量full： 表示缓冲池满缓冲区的数量。 假定这些生产者和消费者相互等效，只要缓冲池未满，生产者便可将消息送入缓冲池；只要缓冲池未空，消费者便可从缓冲池中取走一个消息。对生产者—消费者问题可描述如下: 用信号量解决“生产者-消费者”问题 void consumer()//消费者进程 {while (true) { wait(full); wait(mutex); nextc= buffer[out]; out= (out + 1) % n; signal(mutex); signal(empty); consume the item in nextc;} } semaphore mutex =1; semaphore empty = n;semaphore full = 0; int in,out;ITEM buffer[n];ITEM data_p, data_c; void producer() //生产者进程 {while (true) {produce an item nextp; wait(empty); wait(mutex); buffer[in] = nextp; in: = (in + 1) % n; signal(mutex); signal(full);} } 在生产者—消费者问题中应注意： (1)在每个程序中用于实现互斥的P(mutex)和V(mutex)必须成对地出现； (2)对资源信号量empty和full的P和V操作，同样需要成对地出现，但它们分别处于不同的程序中。例如，P(empty)在计算进程中，而V(empty)则在打印进程中，计算进程若因执行P(empty)而阻塞，则以后将由打印进程将它唤醒； (3)在每个程序中的多个wait操作顺序不能颠倒，应先执行对资源信号量的P操作，然后再执行对互斥信号量的P操作，否则可能引起进程死锁。 2.5.2 哲学家进餐问题 有五个哲学家，他们的生活方式是交替地进行思考和进餐。哲学家们共用一张圆桌，分别坐在周围的五张椅子上。在圆桌上有五个碗和五支筷子，平时一个哲学家进行思考，饥饿时便试图取用其左、右最靠近他的筷子，只有在他拿到两支筷子时才能进餐。进餐毕，放下筷子又继续思考。 分析 筷子是临界资源，在一段时间内只允许一个哲学家使用 用一个信号量表示一支筷子，由这五个信号量构成信号量组。 var chopstick: array[0…4]of semaphore 所有信号量被初始化为1 semaphore chopstick[5] ={1,1,1,1,1}; void philosopher (int i ) /*哲学家进程*/ {while (true) { P(chopstick[i]); P(chopstick[(i + 1) % 5]); eating; /* 进餐 */ V(chopstick[i]); V(chopstick[(i + 1) % 5]); thinking;