操作系统-第2章-进程描述与控制(下).pptVIP

第二章 进程的描述与控制 前趋图和程序执行 进程的描述 进程控制 3 3 进程同步 4 4 经典进程的同步问题 3 5 2017-6-28 1 进程通信 4 4 线程(Threads)的基本概念 3 5 线程的实现 4 4 安侄内津绪壳纠镜煤活汽稍氨奏杭劲意背雅僻戎七氦恋退鼎磕薛湃噶熔茄操作系统-第2章-进程描述与控制(下)操作系统-第2章-进程描述与控制(下) 2017-6-28 2 2.5　经典进程的同步问题 2.5.1　生产者—消费者问题 　　1．利用记录型信号量解决生产者—消费者问题 　　假定在生产者和消费者之间的公用缓冲池中，具有n个缓冲区，这时可利用互斥信号量mutex实现诸进程对缓冲池的互斥使用。利用信号量empty和full分别表示缓冲池中空缓冲区和满缓冲区的数量。又假定这些生产者和消费者相互等效，只要缓冲池未满，生产者便可将消息送入缓冲池；只要缓冲池未空，消费者便可从缓冲池中取走一个消息。对生产者—消费者问题可描述如下: P60 泼胚话咯檀羹傈稽完猪到晌尹是兜慢芝歹描灾钵桨娥芍蹈秋书靖苔锌凝孕操作系统-第2章-进程描述与控制(下)操作系统-第2章-进程描述与控制(下) 2017-6-28 3 味奥遗摸移围滞肌建击熔匠蜀妒肇博娥砾屑嚏腺指敖桓挽吧烃迎宇恕袱被操作系统-第2章-进程描述与控制(下)操作系统-第2章-进程描述与控制(下) 2017-6-28 4 producer an item nextp； 　　　　　　　　　……　　 　　　　　　　　　wait(empty)； wait(mutex)； 　　　　　　　　　buffer[in]=nextp； 　　　　　　　　　in=(in+1) % n； 　　　　　　　　　signal(mutex)； 　　　　　　　　　signal(full)； 　　　　　　　　　until false； 　　　　　　　end 　　　 竭垣才筏恳耽施睹器汰芹堪只猖肉沛漆月啦妨塞脖羊蚂士两仅虽绘甸匠拎操作系统-第2章-进程描述与控制(下)操作系统-第2章-进程描述与控制(下) 2017-6-28 5 consumer: { 　　　　　　　　　　wait(full)； 　　　　　　　　　　wait(mutex)； 　　　　　　　　　　nextc:=buffer(out)； out=(out+1) % n； 　　　　　　　　　　signal(mutex)； 　　　　　　　　　　signal(empty)； 　　　　　　　　　　consumer the item in nextc； } 　　　　　　　　　　 扒曼讽帜兔嫩拼吉懈交憾擂撞厕比叭拍妒老蕊晶汽喀锭隶蜘爷篱阻铸徒浇操作系统-第2章-进程描述与控制(下)操作系统-第2章-进程描述与控制(下) 2017-6-28 6 在生产者—消费者问题中应注意： 首先，在每个程序中用于实现互斥的wait(mutex)和signal(mutex)必须成对地出现； 其次，对资源信号量empty和full的wait和signal操作，同样需要成对地出现，但它们分别处于不同的程序中。例如，wait(empty)在计算进程中，而signal(empty)则在消费进程中，计算进程若因执行wait(empty)而阻塞，则以后将由消费进程将它唤醒； 最后，在每个程序中的多个wait操作顺序不能颠倒，应先执行对资源信号量的wait操作，然后再执行对互斥信号量的wait操作，否则可能引起进程死锁。 惊巢斌司上员仕葫炳过瞒泼制临跑偿凸羌蛀闭拒旅垢丛扭甄沉咽佩馆俩晓操作系统-第2章-进程描述与控制(下)操作系统-第2章-进程描述与控制(下) 2017-6-28 7 　　2．利用AND信号量解决生产者—消费者问题 　 对于生产者—消费者问题，也可利用AND信号量来解决，即用Swait(empty，mutex)来代替wait(empty)和wait(mutex)；用Ssignal(mutex，full)来代替signal(mutex)和signal(full)；用Swait(full，mutex)来代替wait(full)和wait(mutex)，以及用Ssignal(mutex，empty)代替Signal(mutex)和Signal(empty)。利用AND信号量来解决生产者—消费者问题的算法描述如下： 莉疗腰支粥娠鲁点霍蚕肆峙怜头推垂烟帜袖讨搀掀獭桌茄驹奔鸡应肘瑰街操作系统-第2章-进程描述与控制(下)操作系统-第2章-进程描述与控制(下) 2017-6-28 8 泼住圭灾肺另浦嗜镀傻敝拐钓苗巍嚼诺崖褒答入驹倚每吭棚超凝瞪铱喊斜操作系统-第2章-进程描述与控制(下)操作系统-第2章-进程描述与控制(下) 20