第五章互斥与同步.pptVIP

第五章 并行性：互斥与同步 5.1 概论 5.2 临界段 5.3 互斥 5.4 信号量 5.5 进程间的通信 5.6 案例：UNIX的进程同步与通信 5.1 概述 系统中诸进程之间的关系 进程间互相协作的关系 进程间的共享关系（软资源：文件和数据） 进程间的互斥关系（临界资源） 5.2 临界区 例：假设两个进程P1，P2分别在C1和C2两个处理机上运行，异步地对公共变量X进行加1操作。假设两个进程的推进顺序如下： （1）P1：…，R1=X；R1=R1+1；X=R1；… P2：…. R2=X；R2=R2+1；X=R2；… （2） P1：…，R1=X；R1=R1+1；X=R1；… P2：…， R2=X；R2=R2+1；X=R2；… 问：设X的初值为V，求以上两种情况下，X的最后值分别是多少？ 5.2 临界区 1.基本概念 进程同步的主要任务就是保证多个并发执行的进程之间能互相合作,有效地共享系统资源，使程序的执行具有可再现性。 (1)临界资源 临界资源是指在一段时间内只允许一个进程访问的资源。它可是某个变量或某种硬件资源（如：打印机，公共变量等。） 5.2 临界区 （2）临界区（critical section，也称临界段) 临界区：是指进程地址空间中访问临界资源的那段代码。 进入区：是指临界区之前，检查临界资源闲忙标志的那段代码。 退出区：在临界区后面，将临界资源释放的那段代码。 5.2 临界区 如：while true { … 进入区 临界区 （如例中P1，P2对X的访问的：R=X；R=R+1；X=R；） 退出区 … } 5.2 临界区 2.进程同步遵循的原则 空闲让进：任何时候临界区内只能有一个进程。 忙则等待。 有限等待：等待有限时间，避免“死等”发生。 让权等待：当正在执行的进程自己不能进入临界区时，应立即释放CPU。 系统中的进程之间的关系可概括为：同步与互斥。同步是指异步事件能按照要求的时序进行，以使各合作进程协调一致地工作。互斥实际上也是一种同步。 1.互斥的软件解决方法 (1) 用标志位flag[i]来标识进程Pi是否在临界区中执行。 Pi: while(true) {… while(flag[j]);/*执行空语句等待*/ flag[i]=true; 执行csi /* 进程Pi的临界区*/ flag[i]=false;/*释放临界资源*/ …} 5.3 互斥 (2)用一个turn来指示哪个进程应该进入临界区，turn=i表示pi可以进入临界区。 Pi: While(true) {… while(turn!=i); /*执行空语句等待*/ 执行csi; /*临界区*/ turn=j; /* (j!=i) 释放临界资源*/ … } (3)Dekker的软件解决方法（一种正确的方法） 初始化：flag[0]=flag[1]=false;turn可以为0或1； Pi: while(true) {flag[i]=true;/*标识想进入临界区的进程*/ while(flag[j]) {if(turn==j) { flag[i]=false; while(turn==j); flag[i]=true; }} 执行csi /*执行临界区代码*/ turn=j;flag[i]=false; …… } 2.互斥的硬件解决方法 (1)中断屏蔽方法（为什么？） 当一个进程正在执行临界区代码时，屏蔽中断，当前进程离开临界区后，再开中断。 优点：简单有效 缺点： 限制了处理器交叉执行指令的能力 只适应单处理机系统，why? 2.互斥的硬件解决方法 (2)硬件指令的方法 TS（Test-and Set）指令 bool founction TS (bool flag) { TS =flag; flag=true;/*关闭临界区*/ } 2.互斥的硬件解决方法 例：用TS硬件指令方法实现互斥 while(true) {while(TS(lock)); 执行csi lock=false; ……} 2.互斥的硬件解决方法 Swap指令 V