经典进程同步题问小结.pptVIP

1 生产者－消费者问题 2 哲学家就餐问题 3 读者-写者问题 4 睡眠理发师问题;1 经典问题：生产者－消费者问题;生产者－消费者问题分析; 1. 利用记录型信号量解决生产者—消费者问题 假定在生产者和消费者之间的公用缓冲池中，具有n个缓冲区，这时可利用互斥信号量mutex实现诸进程对缓冲池的互斥使用；利用信号量empty和full分别表示缓冲池中空缓冲区和满缓冲区的数量。又假定这些生产者和消费者相互等效，只要缓冲池未满，生产者便可将消息送入缓冲池；只要缓冲池未空，消费者便可从缓冲池中取走一个消息。对生产者—消费者问题可描述如下： ;Var mutex, empty, full:semaphore∶=1,n,0; buffer:array［0, …, n-1］ of item; in, out: integer∶=0, 0; begin parbegin proceducer:begin repeat … producer an item nextp; … wait(empty); wait(mutex); buffer(in)∶=nextp; in∶=(in+1) mod n; signal(mutex); signal(full); until false; end ;consumer:begin repeat wait(full); wait(mutex); nextc∶ =buffer(out); out∶ =(out+1) mod n; signal(mutex); signal(empty); consumer the item in nextc; until false; end parend end ;2. 利用AND信号量解决生产者—消费者问题 ;consumer:begin repeat Swait(full, mutex); nextc∶ =buffer(out); out∶ =(out+1) mod n; Ssignal(mutex, empty); consumer the item in nextc; until false; end parend end ;2 经典问题：哲学家就餐问题;哲学家就餐问题的信号量解法;利用AND信号量机制解决哲学家进餐问题 在哲学家进餐问题中，要求每个哲学家先获得两个临界资源(筷子)后方能进餐，这在本质上就是前面所介绍的AND同步问题，故用AND信号量机制可获得最简洁的解法。 Var chopstick array ［0, …, 4］ of semaphore∶ =(1,1,1,1,1); processi repeat think; Swait(chopstick［(i+1) mod 5］, chopstick ［i］); eat; Ssignal(chopstick ［(i+1) mod 5］, chopstick ［i］); until false; ;3 经典问题：读者-写者问题;利用记录型信号量解决读者-写者问题 利用信号量集机制解决读者-写者问题 ;4 经典问题：睡眠理发师问题;睡眠理发师问题的信号量解法