操作系统第3章-2 进程同步和互斥.pptVIP

第3章 进程管理;两种制约关系;进程的同步（1）;进程的同步（2）;进程的互斥;临界资源;临界资源实例;临界区;具有临界资源的进程结构;访问临界区应遵循的原则;临界区互斥解决方法;信号量机制;P、V操作;整型信号量;利用整型信号量实现进程互斥;记录型信号量;struct semaphore { int value; int *L; } void P(struct semaphore S); { S.value = S.value – 1; /* 把信号量减去1 */ if S.value 0 then block(S.L); /* 若信号量小于0，则调用P(S)的进 程被置成等待信号量S的状态 */ } 物理意义：申请一个资源，如果申请成功，则返回；如果申请不成功，则挂在该资源的等待队列上。 void V(struct semaphore S); { S.value = S.value + 1; /* 把信号量加1 */ if S.value = 0 then wakeup(S.L); /* 若信号量小于等于0，则释放一个等待信号量s的进程 */ } 物理意义：归还一个资源，如果没有进程等待该资源，则返回；如果有进程在等待，把等待的进程从L上移到就绪队列。;利用记录型信号量实现进程互斥;信号量及P、V操作讨论(1);P、V操作讨论(2);用P、V操作实现互斥;利用P、V操作实现两个进程互斥的模板如下： struct semaphore mutex; mutex.value=1; mutex.L=nil; { cobegin Process P1:Begin M P(mutex); 临界区1 V(mutex); M End Process P2:Begin M P(mutex); 临界区2 V(mutex); M End coend } ;使用PV操作实现互斥应注意;思考题;用P、V操作实现进程的同步;利用信号量实现进程同步的实例;使用PV操作实现同步应注意;信号量及P、V操作讨论(3);PV操作实现互斥与同步的模板;经典的进程同步问题;生产者/消费者问题;生产者/消费者问题(描述);生产者/消??者问题(图示);生产者/消费者问题(分析);生产者/消费者问题(解决);生产者/消费者问题(思考);思考题;读者/写者问题;读者/写者问题;读者写者问题的解法;哲学家就餐问题;哲学家就餐问题解;思考题;思考题; struct semaphone s=1, so=0, sa=0; { cobegin father ( ); mother( ); son ( ); daughter ( ); coend father ( ) p(s); 将水果放入盘中； v(sa); mother ( ) p(s); 将水果放入盘中； v