第3章 进程同与通信1.pptVIP

第3章 进程同步与通信 在多道程序系统中，进程之间的相互制约关系体现在如下两个方面： 直接制约关系：合作进程之间产生的制约关系。 间接制约关系：共享资源产生的制约关系。 3.1 同步与互斥的概念 3.1.1 临界资源与临界区 临界资源：一段时间内仅允许一个进程使用的资源称为临界资源。 如：打印机、共享变量。 临界区：进程中访问临界资源的那段代码称为临界区，又称临界段。 同类临界区：所有与同一临界资源相关联的临界区。 共享变量例 A： B： R1=x； R2=x； R1=R1+1； R2=R2+1； x=R1； x=R2； 如果先执行A再执行B，则x值增加2。 若按顺序R1=x；R2=x；R1=R1+1；x=R1；R2=R2+1；x=R2；则x值增加1。这种错误称为“与时间有关的错误”，产生的原因是没有互斥使用共享变量。 临界资源访问过程 进入区 临界区 退出区 剩余区 访问临界资源应遵循的原则 空闲让进：若无进程处于临界区时，应允许一个进程进入临界区。 忙则等待：当已有进程进入临界区，其他进程必须等待。 有限等待：应保证要求进入临界区的进程在有限时间内进入临界区。 让权等待：当进程不能进入自己的临界区时，应释放处理机。 3.1.2 同步与互斥 同步：多个相互合作的进程在一些关键点上可能需要互相等待或互相交换信息，这种相互制约关系称为进程同步。 同步例：计算进程与打印进程共享一个单缓冲区。 互斥 当一个进程正在使用某资源时，其他希望使用该资源的进程必须等待，当该进程用完资源并释放后，才允许其他进程去访问此资源，我们称进程之间的这种相互制约关系为互斥。 3.2 互斥的实现方法 互斥的实现既有硬件方法也有软件方法，下面将对进程互斥的一些实现方法进行介绍。 3.2.1 互斥算法 有两个进程P0和P1互斥地共享某个临界资源。 P0和P1是循环进程，它们执行一个无限循环程序，每次使用该资源一个有限的时间间隔。 算法1的思想 设置一个公用整型变量turn，用来指示允许进入临界区的进程标识。 若turn为0，则允许进程P0进入临界区；否则循环检查该变量，直到turn变为本进程标识； 在退出区，修改允许进入进程的标识为1。进程P1的算法与此类似。 算法1的描述 int turn＝0； P0：{ do { while （turn!=0）； 进程P0的临界区代码CS0 ； turn＝1 ； 进程P0的其他代码； } while (true) } 算法1的描述（续） P1：{ do { while （turn!=1）； 进程P1的临界区代码CS1 ； turn＝0 ； 进程P1的其他代码； } while (true) } 算法1存在的问题 此算法可以保证互斥访问临界资源，但两个进程必须以交替次序进入临界区。 此算法不能保证实现空闲让进准则。 算法2的思想 设置标志数组flag[ ]表示进程是否在临界区中执行，初值均为假。 在每个进程访问临界资源之前，先检查另一个进程是否在临界区中，若不在则修改本进程的临界区标志为真并进入临界区， 在退出临界区时修改本进程临界区标志为假。 算法2的描述 enum boolean {false，true}； boolean flag［2］＝{false，false}； P0：{ do { while （flag[1]）； flag[0]＝true； 进程P0的临界区代码CS0 ； flag[0]＝false ； 进程P0的其他代码；} while(true) } 算法2的描述（续） P1：{ do { while （ flag[0]）； flag[1]＝true； 进程P1的临界区代码CS1 ；