多进程的系统中避免不了进程间的相互关系进程互斥是进程之间发生的一种间接性作用,一般是程序不希望的。通常的情况是两个或两个以上的进程需要同时访问某个共享变量。我们一般将发生能够问共享变量的程序段称为临界区。两个进程不能同时进入临界区,否则就会导致数据的不一致,产生与时间有关的错误。解决互斥问题应该满足互斥和公平两个原则,即任意时刻只能允许一个进程处于同一共享变量的临界区,而且不能让任一进程无限期地等待。互斥问题可以用硬件方法解决,我们不作展开;也可以用软件方法,这将会在本讲详细介绍。 进程同步是进程之间直接的相互作用,是合作进程间有意识的行为,典型的例子是公共汽车上司机与售票员的合作。只有当售票员关门之后司机才能启动车辆,只有司机停车之后售票员才能开车门。司机和售票员的行动需要一定的协调。同样地,两个进程之间有时也有这样的依赖关系,因此我们也要有一定的同步机制保证它们的执行次序。
1.信号源
1、用于进程间传递信号的一个整数值。在信号量上只有三种操作可以进行:初始化,P操作和V涠础险渥操作,这三种操作都是原子操作。P操作(递减操作)可以用于阻塞一个进程,V操辑湃形傥作(增加操作)可以用于解除阻塞一个进程。 基本原理是两个或多个进程可以通过简单的信号进行合作,一个进程可以被迫在某一位置停止,直到它接收到一个特定的信号。该信号即为信号量s。 为通过信号量s传送信号,进程可执行原语semSignal(s);为通过信号量s接收信号,进程可执行原语semWait(s);如果相应的信号仍然没有发送,则进程被阻塞,直到发送完为止。 可把信号量视为一个具有整数值的变量,在它之上定义三个操作:一个信号量可以初始化为非负数semWait操作使信号量s减1.若值为负数,则执行semWait的进程被阻塞。否则进程继续执行。semSignal操作使信号量加1,若值大于或等于零,则被semWait操作阻塞的进程被解除阻塞。
2.管程
1、管程是由一个或多个过程、一个初始化序列和局部数据组成的软件模块,其主要特点如下:局部数据变量只能被管程的过程访问,任何外部过程都不能访问。一个进程通过调用管程的一个过程进入管程。在任何时候,只能有一个进程在管程中执行,调用管程的任何其他进程都被阻塞,以等待管程可用。 管程通过使用条件变量提供对同步的支持,这些条件变量包含在管程中,并且只有在管程中才能被访问。有两个函数可以操作条件变量:cwait(c):调用进程的执行在条件c上阻塞,管程现在可被另一个进程使用。csignal(c):恢复执行在cwait之后因为某些条件而阻塞的进程。如果有多个这样的进程,选择其中一个;如果没有这样的进程,什么以不做。
3.消息传递
1、 消息传递的实际功能以一对原语的形式提供:send(destination,message)receive(source,message) 这是进程间进程消息传递所需要的最小操作集。 一个进程以消息的形式给另一个指定的目标进程发送消息; 进程通过执行receive原语接收消息,receive原语中指明发送消息的源进程和消息。