Question

进程同步的进程间制约关系

Answer 1

在多道程序环境下，系统中各进程以不可预测的速度向前推进，进程的异步性会给系统造成混乱，造成了结果的不可再现性。为防止这种现象，异步的进程间推进受到二种限制：
（1）资源共享关系
多进程共享资源，例如各进程争用一台计算机，这时各进程使用这台打印机时有一定的限制。如各进程随意使用打印机，会造成打印机结果交织在一起难以区分。所以必须由系统统一分配，每次只允许一个进程使用一段时间打印机，等该进程使用完毕后再将打印机分配给其它进程。这种使用原则称为互斥使用。
（2）相互合作关系
在某些进程之间还存在合作关系，例如图2-2程序并发执行图中一个程序的输入、计算、打印三个程序段作为三个进程并发执行，由于这三个进程间存在着相互合作的关系，即先输入再计算、最后再打印的关系，所以这三个进程在并发执行时推进序列受到限制，要保证其合作关系正确，进程间这种关系称为同步关系。