Chap3.3 信号量和PV操作_2013.ppt

3.3 信号量与PV操作;Edsger W. Dijkstra (1930–2002) 1972年图灵奖;;并发理论;;3.3.1 同步和同步机制;生产者--消费者问题表述;生产者-消费者问题算法描述(1);生产者-消费者问题算法描述(2);生产者-消费者问题算法描述(3);生产者-消费者问题的算法描述(4);Race Condition;3.3.2信号量与PV操作(1);信号量与PV操作(2);信号量与PV操作(3);信号量分类;一般信号量(1);2.3.2 进程的状态和转换进程三态模型及其状态转换;P(s) 操作;一般信号量(2);一般信号量(3);二元信号量(1);二元信号量(2);Semaphore as General Synchronization Tool;3.3.3信号量实现互斥;;;信号量解决五个哲学家吃通心面问题(1); ;semaphore fork[5]; for (int i=0;i5;i++) fork[i]=1; cobegin process philosopher_i( ) { //i= 0,1,2,3,4 while(true) { think( ); P(fork[i]); //先取右手的叉子 P(fork[(i+1)%5]); //再取左手的叉子 eat( ); V(fork[i]); V(fork[(i+1)%5]); } } coend; semaphore fork[5]; for (int i=0;i5;i++) fork[i]= 1; cobegin process philosopher_i( ){/*i=0,1,2,3 */ while(true) { think( ); P(fork[i];//先取右手的叉子 /*i=4,P(fork[0])*/ P(fork[(i+1)%5] ) ; //再取左手的叉子 /*i=4,P(fork[4])*/ eat( ); V(fork[i]); V(fork([i+ 1] % 5); } } coend;有若干种办法可避免这类死锁; semaphore fork[5]; for (int i=0;i5;i++) fork[i]= 1; semaphore room=4; //增加一个侍者 cobegin process philosopher_i( ){/*i=0,1,2,3 */ while(true) { think( ); P(room); //控制最多允许4为哲学家取叉子 P(fork[i]; P(fork[(i+1)%5] ) ; eat( ); V(fork[i]); V(fork([i+ 1] % 5); V(room); } } coend;;*;3.3.5信号量解决生产者消费者问题;一个生产者、一个消费者共享一个缓冲区的解;多个生产者/消费者、共享多个缓冲区的解;3.3.6 信号量解决读者-写者问题(1);信号量解决读者写者问题(2);信号量解决读者写者问题(3);;信号量解决读者写者问题(3);信号量解决读者写者问题(3);3.3.7信号量解决理发师问题(1);信号量解决理发师问题(2);;信号量解决理发师问题(3);信号量解决理发师问题(3);信号量解决理发师问题(3);信号量 – 前驱关系;信号量 – 前驱关系;信号量 – 前驱关系;信号量 – 前驱关系;苹果桔子问题;;农夫猎人问题; ;独木桥问题;var wait,mutex1,mutex2:semaphore; mutex1:=mutex2:=1;wait:=1; counter1,counter2:integer; ;独木桥问题(变体);独木桥问题(变体);售票问题;售票问题;银行业务问题;银行业务问题;吸烟者问题;吸烟者问题;缓冲区管理;缓冲区管理;中文排版之父 王选对 近代计算机之神-Dijkstra 的缅词