操作系统-倪福川-第二章 进程管理.pptVIP

(2) 从进程集合中找到一个能满足下述条件的进程： ① Finish［i］=false; ② Need［i,j］≤Work［j］； 若找到， 执行步骤(3)， 否则，执行步骤(4)。 (3) 当进程Pi获得资源后，可顺利执行，直至完成，并释放出分配给它的资源，故应执行： Work［j］∶=Work［i］+Allocation［i,j］; Finish［i］∶=true; go to step 2; (4) 如果所有进程的Finish［i］=true都满足， 则表示系统处于安全状态；否则，系统处于不安全状态。 银行家算法之例 假定系统中有五个进程｛P0, P1, P2, P3, P4｝和三类资源｛A, B, C｝，各种资源的数量分别为10、5、7，在T0时刻的资源分配情况如下图 所示。 T0时刻的资源分配表 (1) T0时刻的安全性： T0时刻的安全序列 2.6.5 互斥和同步的解决方法之三：信号量方法 信号量实现互斥的基本原理： 两个或多个进程可以通过传递信号进行合作，可以迫使进程在某个位置暂时停止执行（阻塞等待），直到它收到一个可以“向前推进”的信号（被唤醒）。 实现信号灯变量称为信号量(s)。 对信号量的两个原子操作：wait(s)和signal(s) 早期这两个原语被称为P (s)和V (s)。 通用信号量及原语定义： int s; void P(int s){ s= s-1; if(s0){ 进程阻塞（并进程进入阻塞队列）； } } void V(int s){ s= s+1; if(s=0){ 唤醒队首进程（并将进程从阻塞队列中移出）； } } 信号量使用示例： int s=1; /* 定义信号量s */ void P(int i){ … wait(s); 临界区 signal(s); … } void main(void){ P(1); /*第1个进程*/ … P(n); /*第n个进程*/ } 2.6.6 经典进程互斥和同步解决之一：生产者/消费 者问题 模型的抽象化与进程分析： 生产者 进程 临界资源 消费者 进程 信号量的设置 s=1 临界资源 Empty=n 空缓冲区的个数 Full=0 满缓冲区的个数 void producer( )/*生产者进程*/ { while(1) { 生产一个产品product; p(empty); p(s); buffer[i++]=product; i=i%N; v(s); v(full); } } consumer( ) /* 消费者进程 */ { while(1) { p(full); p(s); product=buffer[j++]; j=j%N; v(s); v(empty); 消费一个产品product; } } 生产者/消费者算法 利用信号量实现生产者/消费者同步和互斥 int full=0,empty=N; semaphore s; /* 定义信号量s， s.count初始化为1 */ int i=0,j=0; struct item buffer[N],product; void main( ) { producer( ); /*生产进程*/ consumer( ); /*消费进程*/ } 2.6.7 经典进程互斥和同步解决之二：读者/写者 问题 模型的抽象化与进程分析 文件 写者 进程 读者 进程 读者 进程 . . . 写者 进程 临界资源： 读者计数器readcounter 文件 信号量的设置 mutex=1 临界资源：读者计数器 wrt=1 临界资源：文件 int mutex=1,wrt=1; int readcounter=0; void main( ) { reader( ); writer( ); } writer( ) {