进程互斥.pptVIP

第三章 进程互斥与同步 主要内容 进程的同步和互斥机制的主要任务：控制并发执行的诸进程之间能有效地共享和相互协作，同时使并发执行的程序仍具有可再现性。 进程互斥 进程同步 利用信号量机制解决具体问题 进程间的关系 并发系统中诸进程由于资源共享、进程合作，而产生进程之间的相互制约；又因共享资源的方式不同，而导致两种不同的制约关系： 1 间接制约关系（进程互斥） 由于共享资源而引起的临界区内不允许并发进程交叉执行的现象。由共享公有资源而造成的对并发进程执行速度的间接制约 2 直接制约关系（进程同步） 由于并发进程互相共享对方的私有资源所引起的直接制约。 临界资源 象打印机这类资源一次只允许一个进程使用的资源称为临界资源。属于临界资源有硬件打印机、磁带机等，软件有消息缓冲队列、变量、数组、缓冲区等。当然还有一类象磁盘等资源，它允许进程间共享，即可交替使用，所以它称为共享资源，而临界资源又称独享资源。 举例:临界资源 临界区Critical sections 多个进程共享临界资源时必须互斥使用，例如A和B两个进程都需要使用打印机，它们必须互斥使用。如果为了保证结果的正确性限制A、B二进程推进序列，规定进程A执行好再执行进程B，这样的限制就显得过死，因为它已不能保证进程A、B能并发执行，所以必须把限制减少到最少，以尽可能支持并发执行。为此把各进程分解，把访问临界资源的那段代码（称为临界区）与其它段代码分割开来，只对各种进程进入自己的临界区加以限制，即各进程互斥地进入自己的临界区。 举例:临界区 While ( 1 ) { …… entry_section; //申请进入 critical_section; //临界区 exit_section; //声明退出 ……… } 进程同步机制 进程在并发执行时为了保证结果的可再现性，各进程执行序列必须加以限制以保证互斥地使用临界资源，相互合作完成任务。 多个相关进程在执行次序上的协调称为进程同步。用于保证多个进程在执行次序上的协调关系的相应机制称为进程同步机制。 准则 空闲让进 忙则等待 阻塞等待 有限等待 一个由临界区和剩余区1和剩余区2程序段组成的进程采用进程同步机制后的描述如下： { remainder section 1； 剩余区1 进入区; critical section ； 临界区 退出区; remainder section 2 ； 剩余区2 } 进程同步机制在临界区前加上进入区，它负责对欲访问的临界资源状态进行检查，以决定是允许该进程进入临界区还是等待。同时在临界区后加上退出区，它负责释放临界资源以便其它等待该临界资源的进程使用。 实现进程互斥和同步的信号量机制有软件方法、硬件指令方法、信号量机制和管程等。 互斥-软件的忙等待方法-1 算法1 int flag[2]={ 0, 0 } Cobegin void P0(void) { while( 1 ) { while ( flag[1] == 1) ; flag[0] = 1; ……; //P0的临界区代码 flag[0] = 0; …….; // P0的非临界区代码 } } void P1(void) { while( 1 ) { while ( flag[0] == 1) ; flag[1] = 1; ……; // P1的临界区代码 flag[1] = 0; …….; // P1的非临界区代码 } } Coend 互斥-软件的忙等待方法-2 算法2 int turn = 0; Cobegin void P0(void) { while( 1 ) { while ( turn != 0 ) ; ……; //P0的临界区代码 turn = 1; …….; // P0的非临界区代码 } } void P1(void) { while( 1 ) { while ( turn != 1 ) ; ……; // P1的临界区代码 turn = 0; …….; // P1的非临界区代码 } } Coend 互斥-软件的忙等待方法-3 Peterson 1981 为了防止二进程为进入临界区而无限期等待，又设置变量turn，表示不允许进入临界区的编号，每个进程在先设置自己标志后再设