ch3-3.2临界区管理.pptVIP

3.2.1互斥与临界区(1) 并发进程中与共享变量有关的程序段叫“临界区”(Critical Section) ， 共享变量代表的资源叫“临界资源”(Critical Resource)。 与同一变量有关的临界区分散在各进程的程序段中，而各进程的执行速度不可预知。 如果保证进程在临界区执行时，不让另一个进程进入临界区，即各进程对共享变量的访问是互斥的，就不会造成与时间有关的错误。 互斥与临界区(2) 临界区的调度原则： 一次至多允许一个进程进入临界区内 一个进程不能无限地停留在临界区内 一个进程不能无限地等待进入临界区 即--有空让进、无空等待、 择一而入、算法可行。 临界区管理的尝试 (1) inside1,inside2:Boolean inside1 := false; /* P1不在其临界区内 */ inside2 := false; /* P2不在其临界区内 */ cobegin process P1 Begin while inside2 do begin end; inside1 := true; 临界区; inside1 := false; end; process P2 begin while inside1 do begin end; inside2 = true;