第三章进程管理2(同步与互斥1).pptVIP

3.3 进程的同步与互斥;并发系统中诸进程由于资源共享、进程合作，而产生进程之间的相互制约；又因共享资源的方式不同，而导致两种不同的制约关系： 1 间接制约关系（进程互斥） 由于共享资源而引起的暂临界区内不允许并发进程交叉执行的现象。由共享公有资源而造成的对并发进程执行速度的间接制约 2 直接制约关系（进程同步） 由于并发进程互相共享对方的私有资源所引起的直接制约。;一、进程互斥; 临界区的管理 计算机专家Dijkstra 1965年提出临界区设计原则，即一组并发进程互斥执行时必须满足： ①每次至多有一个进程处于临界区 ②当若干进程同时要求进入它们的临界区时，应在有限时间内使一进程进入临界区，而不应相互堵塞而致使彼此不能进入临界区 ③进程仅在临界区内逗留有限的时间。 简言之，同步机制的准则有： 1 空闲让进；2 忙则等待； 3 让权等待；4 有限等待； ; 一种可能的办法是对临界区加锁以实现互斥。 设临界区的类名为Ｓ，为了保证每一次临界区中只能有一个程序段被执行，又设锁定位Key[S]，Key[S]表示锁定位属于类名为Ｓ的临界区。加锁后的临界区程序描述如下： lock ( key[S] ) 临界区 unlock( key[S] );