第4章 进程同步与通信1.pptVIP

第4章 进程同步与通信 进程同步的主要任务是使并发执行的进程之间能有效地共享资源和相互合作，从而使程序的执行具有可再现性。 4.1 互斥与同步的基本概念 互斥：当一个进程正在访问某共享资源时，就不允许其他进程对其访问，这种相互制约关系称为互斥。 临界资源：一段时间内仅允许一个进程使用的资源称为临界资源。 应互斥使用的资源有：打印机、输入机、磁带机；共享变量、共享数据结构等。 共享变量例 P1： P2： R1=C； R2=C； R1=R1+1； R2=R2+1； C=R1； C=R2； 如果先执行P1再执行P2，则C值增加2。 若按顺序R1=C；R2=C；R1=R1+1；C=R1；R2=R2+1；C=R2；则C值增加1。这种错误称为“与时间有关的错误”，产生的原因是没有互斥使用共享变量。 临界区 临界区：进程中访问临界资源的那段代码称为临界区，又称临界段。 同类临界区：所有与同一临界资源相关联的临界区。 同步 同步：多个相关进程在执行次序上的协调。 同步例：计算进程与打印进程共享一个单缓冲区。 4.2 解互斥问题的算法 互斥问题的软件解法就是让多个进程互斥地进入各自的同类临界区。 解互斥问题应遵循的原则 空闲让进：若无进程处于临界区时，应允许一个进程进入临界区。 忙则等待：当已有进程进入临界区，其他进程必须等待。 有限等待：应保证要求进入临界区的进程在有限时间内进入临界区。 让权等待：当进程不能进入自己的临界区时，应释放处理机。 驻留有限：进程驻留在临界区中的时间有限。 用软件方法实现互斥 假设互斥在两个进程间进行，两进程的并发执行表示如下： void main（） { 公共变量说明； cobegin p0（）； p1（）； coend } 访问临界资源的进程描述 void p（int i） { while（true） { 进入代码； 临界区； 退出代码； 非临界区； } } 算法1的思想 设置一个公用整型变量turn，用来指示允许进入临界区的进程标识。若turn为0，则允许进程p0进入临界区；否则循环检查该变量，直到turn变为本进程标识；在退出区，修改允许进入进程的标识为1。进程p1的算法与此类似。两个进程的程序结构如下： 算法1的描述 int turn＝0； p0： while （true） { while （turn！＝0）； 进程p0的临界区代码cs0 ； turn＝1 ； 进程p0的其他代码； } 算法1的描述（续） p1： while （true） { while （turn！＝1）； 进程p1的临界区代码cs1； turn＝0 ； 进程p1的其他代码； } 算法1存在的问题 此算法可以保证互斥访问临界资源，但两个进程必须以交替次序进入临界区。 此算法不能保证实现空闲让进准则。 算法2的思想 设置标志数组flag[ ]表示进程是否在临界区中执行，初值均为假。在每个进程访问临界资源之前，先检查另一个进程是否在临界区中，若不在则修改本进程的临界区标志为真并进入临界区，在退出临界区时修改本进程临界区标志为假。 算法2的描述 enum boolean {false，true}； boolean flag［2］＝{false，false}； p0： while （true） { while （flag[1]）； flag[0]＝true； 进程p0的临界区代码cs0 ； flag[0]＝false ； 进程p0的其他代码； } 算法2的描述（续） p1： while （true） {