第3章 进程同步.pptVIP

第三章 进程同步 在以多道程序设计技术为基础的现代操作系统中，多个进程由于同时存在于内存中，竞争使用处理机等资源，因此它们之间必定会存在一定的相互依赖、相互制约性，进而产生了同步、互斥等关系； 为此，操作系统在实现处理机管理时，必须设计一个专门的机制，来保证进程之间正确的同步与互斥。 进程同步机制是操作系统中一个非常重要的内容。本章将结合一些经典的进程同步问题，重点讲述进程的同步、互斥关系，以及其在操作系统中的设计与实现方法。 第三章 进程同步 3.1 进程同步的基本概念 3.2 实现进程互斥的基本方法 3.3 信号量机制 3.4 典型进程同步机制问题 3.1 进程同步的基本概念 3.1.1 进程之间的关系 3.1.2 临界资源与临界区 3.1.3 进程同步机制的准则 3.1 进程同步的基本概念 3.1.1 进程之间的关系 直接与间接 直接作用：进程间的相互联系是有意识的安排的，直接作用只发生在相关进程间 间接作用：进程间要通过某种中介发生联系，是无意识安排的，可发生在相关进程之间，也可发生在无关进程之间 从另一个角度来看进程间的相互关系，可以将进程之间的关系提炼为同步（synchronism）和互斥（mutex）两种。 3.1.1 进程之间的关系 同步（synchronism）与互斥（mutex） 同步是一种直接作用。是指系统中的多个进程之间存在某种时序关系，需要相互协作，才能共同完成一项任务。 互斥是一种间接作用。当有若干进程都要使用某一共享资源时，最多允许一个进程使用，而其它要使用该资源的进程必须阻塞，直到占用该资源的进程释放了该资源为止。 为此，操作系统必须提供一个机制，来管理进程之间的这两种相互作用；这一管理机制就是进程同步机制。它包括两个方面： 一是进程之间同步关系的管理，另一是进程之间互斥关系的管理。 换句话说，进程的同步与互斥都被统一纳入到进程同步机制的管理之下；这时，进程同步就是进程间的协作型同步，进程互斥就是进程间的互斥型同步。 3.1.2 临界资源与临界区 临界资源（critical resource） 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享变量 P1:R1 = count; R1 = R1 + 1; count = R1; P2:R2 = count; R2 = R2 + 1; count = R2; P1和P2都各自对count做一次加1操作。其中，count是P1、P2的共享变量，R1、R2都是寄存器。 3.1.2 临界资源与临界区 并发进程的程序结构 3.1.3 进程同步机制的准则 （一）使用互斥区的原则-“空进忙等，不忙等不死等” 空闲让进：当无进程处于临界区时，相应的临界资源处于空闲状态。这时，如果有一个进程申请使用该临界资源，则允许该进程进入自己的临界区、使用该临界资源。 忙则等待：当已有进程处于临界区时，说明该进程正使用着相应的临界资源。这时，如果有其它进程试图进入自己的临界区，则它必须等待（阻塞），以保证临界资源的互斥使用。 让权等待：对于等待进入临界区的进程而言，既然它目前不能进入自己的临界区，它必须立即释放处理机，以避免进程“忙等”（即占有处理机等待）而降低处理机的利用率。 有限等待：对要求进入临界区的进程，应能让它在有限时间内进入，以免陷入死等（即等待时间过长）。 3.1.3 进程同步机制的准则 （二）进程同步管理的准则 为实现进程之间正确的协作型同步，要求系统保证相互协作的进程在执行次序上的正确性。也就是说，如果进程P1在条件C下，其执行必须先于进程P2；则为防止出现错误的执行次序，必须在系统中设置专门的管理机制来协调进程P1、P2之间正确的执行次序。这一管理机制应遵循下面的准则： （1）条件C不满足时，无需考虑P1、P2之间执行次序的协调； （2）条件C成立时，必须保证进程P1一定先于进程P2执行。 3.2 实现进程互斥的基本方法 boolean turn; //进入临界区的进程标志 //TRUE：P进入临界区 //FALSE：Q进入临界区 ? P： …… while ( !turn ); 临界区； turn = FALSE; …… Q: …… while ( turn ); 临界区; turn = TRUE; …… 基本思想：强制地让P和Q两个进程轮流进入各自的临界区，这样就完全可以保证进程在有限的时间内进入自己的临界区。为此，在算法中设置了一个变量turn。 缺点：这样强制轮转很容易造成资源利用不充分。例如，P进程退出临界区之后，如果又需要进入，但此时轮到Q访问临界区；这时，如果Q一直不想访问临界区，算法也不能将资源让给P，而必须等到Ｑ需要进入临界区后再