进程并发与互斥.pptVIP

3.5 进程并发与互斥;3.5.1 互斥算法;3.5.1.1 临界资源;共享变量的修改冲突;操作顺序冲突;有6种可能的操作顺序，只有一种结果是正确的。;互斥：指多个进程不能同时使用同一个资源;3.5.1.2 临界区的访问过程;临界区(critical section)：进程中访问临界资源的一段代码。 进入区(entry section)：在进入临界区之前，检查可否进入临界区的一段代码。如果可以进入临界区，通常设置相应“正在访问临界区”标志 退出区(exit section)：用于将“正在访问临界区”标志清除。 剩余区(remainder section)：代码中的其余部分。;。 两个进程不能同时进入访问同一临界资源的临界区，这称为进程互斥。;3.5.1.3 互斥机制应遵循的准则;1、进程互斥的软件方法;算法如下： Process P (1) Process P (2) Begin begin …… …… While (key［Ｓ］= 0) do skip; While (key［Ｓ］= 0) do skip; key［Ｓ］ = 0; key［Ｓ］ = 0; Critical section; Critical section; key［Ｓ］ = 1; key［Ｓ］ = 1; …… …… end. end. ;2、进程互斥的硬件方法;互斥算法（TS指令）;Swap指令（或Exchange指令）;互斥算法（Swap指令）;优点 适用于任意数目的进程，在单处理器或多处理器上更显其优越 简单，容易验证其正确性 可以支持进程内存在多个临界区，只需为每个临界区设立一个布尔变量 缺点 等待要耗费CPU时间，即“忙等”，不能实现“让权等待” 可能产生“饿死”现象：有的进程可能永远执行不了;试考虑以下进程PA和PB反复使用临界区的情况： PA A：lock(key［Ｓ］) 〈Ｓ〉 unlock(key［Ｓ］) Goto A PB B：lock(key ［Ｓ］) ＜Ｓ＞ unlock(key ［Ｓ］) Goto B ;3.5.2 信号量(semaphore);3.5.2.1 信号量和P、V原语;信号量只能通过初始化和两个标准的原语来访问——作为OS核心代码执行，不受进程调度的打断 初始化资源信号量为指定一个非负整数值，表示空闲资源总数——若为非负值表示当前的空闲资源数，若为负值其绝对值表示当前等待临界区的进程数;1．P操作原语 procedure P(var s:semaphore) begin s:=s-1; if s0 then W(s); end ;w(s)表示将调用P操作原语的进程置成等待信号量s的状态。 进程执行P操作时，首先将信号量s减1，其结果若s≥o，则该进程继续运行；若结果so则阻塞该进程，并把它插入到信号量s的等待队列中。; 2．V操作原语 Procedure V(var s:semaphore) begin s:=s+1; if s≤0 then R(s); end ;R(s)表示从信号量s的等待队列中释放一个进程。 进程执行V操作时，首先将信号量s加1，如果so，则该进程继续执行。如果s≤0则释放s信号量等待队列中队首的进程，解除其阻塞状态。调用V操作的当前进程继续执行。;P、V操作的物理意义： 执行P操作：;在此之后若又有进程请求该资源，在该进程调用P操作时，s减1后成为负值，则执行W(s)，该进程将转换为阻塞态并进入信号量s对应的等待队列中。 当信号量s为负值时，它的绝对值表示在该信号量等待队列中的进程数目。;执行V操作时： s:=s+1意味着调用V操作的进程释放了一个信号量s对应的资源。 s加一后，若s为负值，表明s对应的等待队列中仍有等待该资源的阻塞进程，则调用R(s)释放等待队列中的一个进程。;被释放的进程是在执行P操作时因资源不足而进入阻塞态的，由于V操作释放了它所需的资源，它就转换为就绪态可以继续执行。; 记录型信号量;1