操作系统4.2临界区管理.pptVIP

3.2 临界区管理 3.2 临界区管理 回顾订票问题和主存管理问题 订票问题:多个售票进程交叉访问了共享变量Aj 主存管理问题:borrow和returrn共享了表示主存物理资源的变量x 临界区的基本概念 临界区(Critical Section) ：并发进程中与共享变量有关的程序段 临界资源(Critical Resource) ：共享变量代表的资源，如独占型硬件，被共享的数据结构和文件 临界区管理的问题 主要问题：与同一变量有关的临界区分散在各进程的程序段中，而各进程的执行速度不可预知。 必须加以管理和限制：保证进程在临界区执行时，不让另一个进程进入临界区，就不会造成与时间有关的错误。（实现对共享变量的互斥访问） 临界区调度的原则 （1）一次至多有一个进程 进入临界区执行； （2）如果已经有进程在临界区中，试图进入此临界区的其他进程应等待 （3）进入临界区内的进程应在有限时间内退出，以便让等待队列中的一个进程进入 3.2 临界区管理 临界区管理的尝试 引入进程标志，分别指示进程进入临界区的情况 第一种尝试，先测试，后置位 不能保证同一时间只有一个进程进入临界区 第二种尝试，先置位，后测试 会出现死循环的情况，永远等待 临界区管理的尝试一 inside1,inside2:Boolean inside1 := false; /* P1不在其临界区内 */ inside2 := false; /* P2不在其临界区内 */ cobegin process P1 Begin ①while inside2 do begin end; ②inside1 := true; ③临界区; ④inside1 := false; end; process P2 Begin ①while inside1 do begin end; ②inside2 = true; ③临界区; ④inside2 := false; end; coend inside1,inside2:Boolean inside1 := false; /* P1不在其临界区内 */ inside2 := false; /* P2不在其临界区内 */ cobegin process P1 Begin ①inside1 := true; ②while inside2 do begin end; ③临界区; ④inside1 := false; end; process P2 Begin ①inside2 = true; ②while inside1 do begin end; ③临界区; ④inside2 := false; end; coend 3.2 临界区管理 实现临界区管理的软件算法 （1）Dekker算法 算法复杂难以理解 （2）Peterson算法： Peterson算法的具体实现 // 变量定义及初始化 bool inside[2] inside[0]=false;inside[1]=false; enum{0,1} turn; cobegin 基本思想： 用对turn的置值和while语句来限制每次只有一个进程进入临界区； 进程执行完临界区程序后，修改insidei状态使等待进入临界区的进程可在有限时间内进入。 算法满足临界区管理的三个条件。 软件解法的缺点 1. 忙等待（busy waiting） 2. 实现过于复杂，需要高的编程技巧 回顾: 顺序程序设计有哪些特征? 什么是并发程序设计? 进程之间有哪些关系?什么是同步与互斥? 有关的进程如果不加控制,会出现哪些错误? 什么是临界区和临界资源? 临界区管理有哪些原则? 3.2 临界区管理 临界区管理的前两个尝试之所以不能正确管理临界区，问题在于： 测试和上锁这两个动作分开了,因为执行过程中可能被中断 硬件方法 1. 关中断 2. 测试并建立指令 3. 对换指令 1. 关中断 基本方法: 在进程进入临界区时关中断,进程退出临界区时开中断(阻止进程交替执行) 特点： 简单，有效； 不通用，关中断时间过长会影响系统性能； 不适用于多处理器； 2. 测试并建立指令 基本方法:借助于机器指令TS，TS指令能使测试和上琐不分离 3. 对换指令 基本方法 ：借助于对换指令SWAP 总结 众多进程对于临界资源的访问必须互斥进行 软件方法和硬件方法的共同缺点: “忙等待”，不能实现“让权