操作系统第二章进程同步与通信(第二部分).pptVIP

本章讨论的主要问题 1、如何控制和协调并发进程异步执行 的时序？ 进程的同步机制 2、进程之间如何互相联系，传递信息？ 进程的通信 §2.4 进程同步的概念（一） 并发执行的进程之间，通常有两种关系： ? 互斥关系 进程之间彼此无关，但是由于竞争使用同一共享资源而产生了相互约束的关系。这种因共享资源而产生的制约关系称为进程的互斥。— 间接相互制约关系 ? 同步关系 多个并发执行的进程，在共同协作完成一项任务的过程中，相互约束，如一个进程在没有获得合作进程提供的必要信息之前，不能超越某个执行点。进程之间通过在执行时序上的某种限制而达到相互合作的这种约束关系称为进程的同步 — 直接相互制约关系 §2.4 进程同步的概念（二） ? 同步问题 §2.4 进程同步的概念（三） 每个进程 互斥访问临界资源的那段代码称为临界区。代码构成如下： repeat entry section 进入区 —申请进入临界区 critical section 临界区 —访问临界资源 exit section 退出区 —退出对临界资源的访问 remainder section 剩留区 — 进程的其他代码 until false §2.4 进程同步的概念（四） 空闲让进 无进程处于临界区内时，可让一个申请进入 该临界区的进程进入。 忙则等待 临界区内有进程时，申请进入临界区的进程 必须等待。 有限等待 进程进入临界区的请求，必须在有限的时间 内满足。 让权等待 等待进入临界区的进程，必须立即释放CPU。 §2.4进程同步的概念（五） TS指令执行过程不可分割。 为临界资源设置一个布尔量 LOCK： §2.4 进程同步的概念（六） 以两进程P1、P2并发执行为例，如果P1先执行： §2.4 进程同步的概念（七） 如果P2先执行：若P2先进入临界区，则P1循环执行TS指令，直到P2退出临界区。 §2.5 信号量机制及P、V操作(一） 其中： 信 号 量 值 —表示某种资源的数量。 等待队列指针—当信号量值为负时，表示该类资源已分配完，等待该类资源的进程排在等待队列中。L为指向该信号量等待队列的指针。 §2.5 信号量机制及P、V操作 (二） ① S.value ：= S.Value + 1； ② 若 S.Value 0 进程继续执行。 若 S.Value ≤ 0 则释放S等待队列中的一个进程 ， 使之转为就绪状态。 §2.5 信号量机制及P、V操作 (三） P 操作 Procedure P（s）； Var s：semaphore； begin s.value：= s.value-1 if s.value ? 0 then block（s.L） end； V操作 Procedure V（s）； Var s：semaphore； begin s.value：= s.value+1 if s.value ≤ 0 then wakeup（s.L） end； §2.5 信号量机制及P、V操作 (四） 说明： ① S.Value 0 时，其值表示某类资源可用数量。 S.Value ≤ 0 时，其绝对值表示在信号量队列中等待 该资源的进程数。 ② P、V操作有严格的不可分割性；执行过程不允许中断； ③ P、V操作成对出现。 （根据同步机制的原则，分析P、V操作的特点，） §2.5 信号量机制及P、V操作 (五） 设 mutex —公共互斥信号量 初值：mutex.Value = 1 利用P、V操作实现互斥的模型 §2.5 信号量机制及P、V操作 (六） 设 mutex —公共互斥信号量 利用P、V操作实现互斥的模型 §2.5 信号量机制及P、V操作 (七） 值0 ③ P、V操作实现进程同步机制 1。实现进程互斥 定义公共的互斥信号量：mutex 初值： mutex.Value = 1 执行过程中mutex.Value 的值，在 1，0，-1 之间变化。 §2.5 信号量机制及P、V操作 (