第三章进程的同步和通信.pptVIP

第三章进程的同步与通信 主要内容 基本概念 1.1 相交进程与无关进程 相交进程：指多个并发进程在逻辑上有某种联系 无关进程（不相交进程）：在逻辑上无任何联系的进程 1.2 直接作用和间接作用 直接作用：进程间的相互联系是有意识的安排的，直接作用只发生在相交进程间 间接作用：进程间要通过某种中介发生联系，是无意识安排的，可发生在相交进程之间，也可发生在无关进程之间 1.3 临界资源（critical resource） 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享变量。如磁带机，打印机等。 1.4 临界区(critical section) 一个程序片段的集合，我们把在每个进程中访问临界资源的那段代码称为临界区。 1.5进程的同步（直接作用） 指系统中一些进程需要相互合作，共同完成一项任务。具体说，一个进程运行到某一点时要求另一伙伴进程为它提供消息，在未获得消息之前，该进程处于等待状态，获得消息后被唤醒进入就绪态。 1.6 进程的互斥（间接作用） 由于各进程要求共享资源，而有些资源需要互斥使用，因此各进程间竞争使用这些资源，进程的这种关系为进程的互斥。 2.进程的互斥 2.1临界区的使用原则 1）空闲让进：当无进程在临界区时，任何有权使用临界区的进程可进入。 2）忙则等待：不允许两个以上的进程同时进入临界区。 3）有限等待：任何进入互斥区的要求应在有限的时间内得到满足，以免陷入“死等”。 4）让权等待：当进程不能进入自己的临界区时，应立即释放处理机，以免进入“忙等”。 2.2解决互斥问题的方法 有两个进程Pi, Pj，其中的Pi 缺点：强制轮流进入临界区，没有考虑进程的实际需要。容易造成资源利用不充分：在Pi出让临界区之后，Pj使用临界区之前，Pi不可能再次使用临界区； 算法2：双标志、先检查 设立一个标志数组flag[]：描述进程是否在临界区，初值均为FALSE。 先检查，后修改：在进入区检查另一个进程是否在临界区，不在时修改本进程在临界区的标志； 在退出区修改本进程在临界区的标志； 优点：不用交替进入，可连续使用； 缺点：Pi 和 Pj可能同时进入临界区。在Pi 和 Pj都不在临界区时，假设按下面序列执行时，会同时进入：“Pia; Pja ; Pib; Pjb”。即在检查对方flag之后和切换自己 flag 之前有一段时间，结果都检查通过。这里的问题出在检查和修改操作不能连续进行。 算法3：双标志、后检查 类似于算法2，与互斥算法2的区别在于先修改后检查。可防止两个进程同时进入临界区。 缺点：Pi和Pj可能都进入不了临界区。在Pi和Pj都不在临界区时，假设按下面序列执行时，会都进不了临界区：Pia Pja Pib Pjb。即在切换自己flag之后和检查对方flag之前有一段时间，结果都切换flag，都检查不通过。 算法4 (Peterson’s Algorithm)： 先修改、后检查、后修改者等待 结合算法1和算法3，是正确的算法 turn=j;描述可进入的进程（同时修改标志时） 在进入区先修改后检查，并检查并发修改的先后： 检查对方flag，如果不在临界区则自己进入－－空闲则入 否则再检查turn：保存的是较晚的一次赋值，则较晚的进程等待，较早的进程进入－－先到先入，后到等待 硬件方法 完全利用软件方法，有很大局限性（如不适于多进程），现在已很少采用。 可以利用某些硬件指令－－其读写操作由一条指令完成，因而保证读操作与写操作不被打断； 互斥算法（TS指令） 利用TS实现进程互斥：每个临界资源设置一个公共布尔变量lock，初值为FALSE 在进入区利用TS进行检查：有进程在临界区时，重复检查；直到其它进程退出时，检查通过； Swap指令（或Exchange指令） 互斥算法（Swap指令） 利用Swap实现进程互斥：每个临界资源设置一个公共布尔变量lock，初值为FALSE。每个进程设置一个私有布尔变量key 互斥算法（开关中断”指令） 硬件方法的优点[WS] 适用于任意数目的进程，在单处理器或多处理器上（除中断方法） 简单，容易验证其正确性 可以支持进程内存在多个临界区，只需为每个临界区设立一个布尔变量 硬件方法的缺点[WS] 等待要耗费CPU时间，不能实现让权等待 可能“饥饿”（不公平）：从等待进程中随机选择一个进入临界区，有的进程可能一直选不上 可能死锁：进程P1执行TS或Exchange指令并进入临界区，然后P1被P2中断并把CPU给具有更高优先级的P2, 若P2试图使用与P1相同的资源，由于互斥机制，它被拒绝访问，因此进入忙等待循环，又因P2优先级高于P1，所以P1总得不到调度执行。 3.信号量机制 3.1信号量简介 1965年，由荷兰