第2章2进程同步与通信.pptVIP

多进程共享资源，例如各个进程争用一台打印机，这时各进程使用这台打印机就有一定的限制。每次只允许一个进程使用一段时间，等该进程用完后再将打印机分配给其它进程。这种使用原则称为互斥使用。互斥使用资源的进程之间存在着互斥关系。 进程之间竞争资源将会面临三个控制问题： 互斥（mutual exclusion）指多个进程不能同时使用一个资源； 死锁（deadlock）指多个进程互不相让，结果都得不到足够的资源 饥饿（starvation）指一个进程一直得不到资源而其他进程可能轮流占用资源。 （2）相互合作关系（直接相互制约关系） 在某些进程之间还存在合作关系，例如一个程序的输入、计算、打印三个程序段作为三个进程并发执行，由于这三个进程间存在着相互合作的关系，即先输入再计算、最后打印的关系，所以这三个进程在并发执行的时候推进系列受到限制，以保证其合作关系正确。进程间的这种关系叫做同步关系。 3.临界区(critical sections) 多个进程共享临界资源时必须互斥使用，例如A和B两个进程都需要使用打印机，它们必须互斥使用。为了保证结果的正确性而规定进程A执行好完后再执行进程B，这样的限制就显得过死,因为它已不能保证进程A、B能并发执行，所以必须把限制减少到最少，以尽可能支持并发执行。 解决办法是:将各进程的代码分段，把访问临界资源的那段代码（称为临界区）与其它段代码分割开来，如果可以保证各进程互斥的进入自己的临界区，便可以实现它们对临界资源的互斥访问。请看下面的例题： A:began input data1 from i/o1; compute; print results 1 by printer; — A 临界区 End B:began input data2 from i/o2; compute; print results 2 by printer; — B临界区 End 每个进程在进入临界区之前应先对欲访问的临界资源进行检查，看它是否正在被访问，如果该资源未被访问，该进程就可以进入自己的临界区，对该资源进行访问，并设置资源正被访问的标志。所以，在临界区之前加上一段用于上述检查的代码，这段代码就叫做进入区。 引入临界区后，便可以将进程的代码划分未以下几个区域： begin remainder section 1；剩余区1 entry section（进入区） critical section ；临界区 exit section（退出区） remainder section 2 ；剩余区2 end 同时在临界区后加上退出区，它负责释放临界源以便其它等待该临界资源的进程使用。 4.进程同步机制-Requirements for Mutual Exclusion 进程在并发执行时为了保证结果的可再现性，各进程执行序列必须加以限制以保证互斥地使用临界资源，相互合作完成任务。 多个相关进程在执行次序上的协调称为进程同步。用于保证多个进程在执行次序上的协调关系的相应规定称为进程同步机制。 所有的进程同步机制应遵循下述四条准则： 空闲让进。 当无进程进入临界区时，相应的临界资源处于空闲状态，因而允许一个请求进入临界区的进程立即进入自己的临界区。 忙则等待。 当已有进程进入自己的临界区时，即相应的临界资源正被访问，因而其它试图进入临界区的进程必须等待，以保证进程互斥地访问临界资源。 有限等待。 对要求访问临界资源的进程，应保证进程能在有限时间进入临界区，以免陷入“饥饿”状态。 让权等待。 当进程不能进入自己的临界区时，应立即释放处理机，以免进程陷入忙等。 补充：利用软件方法解决进程互斥问题（小屋协议法） 算法1：该算法设置了一个公用整型变量turn，用于指示被允许进入临界区的进程编号，既若turn=i，表示允许Pi进程进入临界区。该算法可确保每次只允许一个进入临界区。如下代码所示： 存在的问题： 进程0退出后将turn设置未1，但这个时候进程1有可能并不想进入临界区，结果就违背了“空闲让进”的原则。 如果进程 0或者 1意外死亡（在临界区内或者是临界区外），结果造成另一个进程永久等待。违背了“有限等待”的原则。 更多的软件解决方法参见其它书籍。 1965年，荷兰学者Dijkstra提出的信号量机制是一种卓有成效的进程同步工具，现在信号量机制