__进程同步通信(第三版).pptVIP

第二章 进程管理② --进程的同步与通信 ;主要内容;并发; 例子：谁买面包？ 妈妈;进程同步的概念;进程A;进程同步概念;进程同步概念; 临界资源; 临界区;临界区;同步机制应遵循的原则（实现互斥）; 进程同步问题描述;用硬件方法解决进程互斥问题;while TS(lock) do no_op;;　Swap指令;利用Swap指令实现进程互斥;练习： 我们为某临界区设置一把锁W，当W=1时，表示关锁；W=0时，表示锁已打开。写出开锁原语和关锁原语，并利用它们去实现互斥。;下面是两个进程P0、P1互斥使用临界区的解决办法，能否达到目的？说明原因。 设变量是flag[0]=flag[1]=0 进程Pi： … flag[i]=1; while (flag[(i+1)%2]==1); Pi的临界区代码； flag[i]=0;;整型信号量机制;记录型信号量;入口(S);记录型信号量物理意义;信号量的应用--利用信号量实现互斥;利用信号量实现互斥;思考: 1.lock的值是否可为2?或0? 2.不要V(lock)行吗?;【例】多个进程对信号量S进行了5次 P操作，2次V操作后，现在信号量的值是 -3，与信号量S相关的处于阻塞状态的进程有几个？信号量的初值是多少？ ;信号量的应用--利用信号量描述前趋关系;【练习】;信号量集机制;基本思想：将进程所需要的资源一次性地分配。若有一个资源未得到，进程仍需等待。;信号量集;经典进程同步问题 ;生产者－消费者问题 ;问题分析： 同步关系表现为：当所有缓冲区均装满产品时，生 产者必须等待消费者提供空缓冲区；当所有缓冲区 全为空时，消费者必须等待生产者提供满缓冲区。 互斥关系表现为：由于缓冲池是临界资源，所以任 何进程在对缓冲区进行存取操作时都必须和其他进 程互斥进行。 ;var mutex,empty,full:semaphore :=1,n,0; buffer:array[0…n-1] of item; in,out:integer:=0,0;;consumer: begin repeat 　 wait(full); 　 //阻塞消费进程 wait(mutex); 取出产品 out:=(out+1) mod n; signal(mutex); signal(empty); //唤醒生产进程 消费产品 until false; end;; 如果缺少了signal(full)，则消费者进程在wait(full）处阻 塞，并一直处于阻塞状态；如果??了signal(empty)，则生 产者进程在产生n个数据后，即缓冲区满时，产生阻塞， 无法生产数据。;【注意】;读者－写者问题 ;writer: begin repeat wait(wmutex); 写 signal(wmutex); until false; end;;用信号量集机制解决读写者问题 ;哲学家进餐问题 ;var chopstick:array[0,…,4] of semaphore:=(1,1,1,1,1); 哲学家i: repeat wait(chopstick[i]); wait(chopstick[(i+1) mod 5]; … eat; signal(chopstick[i]); signal(chopstick[(i+1) mod 5]; … think; until false;;②： var chopstick : array[0,…4] of semaphore :=(1,1,1,1,1); process i: repeat think; Swait(chopstick[(i+1) mod 5],chopstick[i]); eat; Ssignal(chopstick[(i+1) mod 5],chopstick[i]); until false;;0; 【练习】;【例1】：公共汽车上，司机和售票员各行其职，司机负