12022/12/26两种制约关系两种制约关系两种制约关系两种制约关系直接相互制约关系(同步)直接相互制约关系(同步)间接相互制约关系(互斥)间接相互制约关系(互斥)产生的原因产生的原因进程合作进程合作资源共享资源共享 22022/12/26进程的同步(进程的同步(进程的同步(进程的同步(1 1)直接相互制约关系(同步)直接相互制约关系(同步)指系统中一些进程需要相互合作,共同完成一指系统中一些进程需要相互合作,共同完成一项任务项任务,这种协作进程之间相互等待对方消息或信这种协作进程之间相互等待对方消息或信号的协调关系称为号的协调关系称为进程同步进程同步.具体说,并发进程在具体说,并发进程在一些关键点上可能需要互相等待与互通消息,进程一些关键点上可能需要互相等待与互通消息,进程间的相互联系是间的相互联系是有意识有意识的安排的。的安排的。产生的原因产生的原因进程合作进程合作32022/12/26进程的同步(进程的同步(进程的同步(进程的同步(2 2)一般同步问题有两类一般同步问题有两类保证一组合作进程按逻辑需要的执行次序执行保证一组合作进程按逻辑需要的执行次序执行 【例例】司机司机 P1