同步与互斥.PPTVIP

第3章 并发控制 ——互斥与同步 多进程的系统中避免不了进程间的相互关系。 本讲将介绍进程间的两种主要关系——同步与互斥，然后着重讲解解决进程同步的几种机制。 3.1 前趋图(Precedence Graph) 前趋图(Precedence Graph)是一个有向无循环图，记为DAG(Directed Acyclic Graph)，用于描述进程之间执行的前后关系。图中的每个结点可用于描述一个程序段或进程，乃至一条语句；结点间的有向边则用于表示两个结点之间存在的偏序(Partial Order)或前趋关系  3.2 进程的同步与互斥进程互斥定义: ????所谓进程互斥是指当有若干进程都要使用某一共享资源时，最多允许一个进程使用，而其他要使用该资源的进程必须等待，直到占用该资源的进程释放了该资源为止。 进程互斥是进程之间发生的一种间接性作用，一般是程序不希望的。 两个进程不能同时进入临界区，否则就会导致数据的不一致，产生与时间有关的错误。 3.2 进程的同步与互斥 临界资源定义: 　　操作系统中将一次仅允许一个进程访问的资源称为临界资源 临界区定义: 　　操作系统中把每个进程中访问临界资源的那段代码段称为临界区。 显然，若能保证每个进程互斥地进入自己的临界区，便可实现诸进程对临界资源的互斥访问 3.2 进程同步与互斥 解决互斥问题应该满足互斥和公平两个原则，即任意时刻只能允许一个进程处于同一共享变量的临界区，而且不能让任一进程无限期地等待。 互斥问题可以用硬件方法解决，我们不作展开；也可以用软件方法，这将会在本章详细介绍。 进程同步机制的准则: 　①空闲让进：当无进程处于临界区时，必须让一个要求进入它的临界区的进程立即进入，以提高临界资源的利用率。②忙则等待：当已有进程处于临界区时，其他试图进入自己临界区的进程必须等待，以保证它们互斥地进入临界区。③让权等待：对于等待进入临界区的进程而言，它必须立即释放处理机，以避免进程忙等而降低CPU的效率。④有限等待：对要求进入临界区的进程，应在有限时间内进入，以免陷入死等。 3.2 进程的同步与互斥（续） 进程同步概念: 一般来说，一个进程对于其它的进程运行速度是不确定的。但是相互合作的几个进程需要在某些确定点上协调它们的工作。所谓进程同步，是指多个相互合作的进程，在一些关键点上可能需要互相等待或互相交换信息，这种相互制约的关系称为进程同步。 进程同步是进程之间直接的相互作用，是合作进程间有意识的行为。 3.2 进程同步与互斥 进程同步实例1：典型的同步例子是公共汽车上司机与售票员的合作：?? ? 只有当售票员关门之后司机才能启动车辆，只有司机停车之后售票员才能开车门。 司机和售票员的行动需要一定的协调。同样地，两个进程之间有时也有这样的依赖关系，因此我们也要有一定的同步机制保证它们的执行次序。 进程同步实例2： 系统中有两个合作的进程，他们共用一个单缓冲区。这两个进程一个是计算进程，负责对数据进行计算；另一个为打印进程，负责对计算结果进行打印。 当计算进程没有计算完毕，计算结果没有送到缓冲区的时候，打印进程就不能打印。 一旦计算进程把计算结果送入缓冲区，就应该给打印进程发送一个信号，打印进程收到信号后就可以从缓冲区中取出计算结果进行打印。 在打印进程尚未把缓冲区中的计算结果取出打印之前，计算进程也不能把下一次的计算结果送入缓冲区。 只有在打印进程取出缓冲区中的内容，给计算进程发一个信号后，计算进程才能将下一次的计算结果送入缓冲区。计算进程和打印进程就是通过这种互相发信号的方式实现同步的。 3.3 信号量和管程 本章主要介绍以下两种同步和互斥机制： 信号量 管程 3.3 信号量和管程 ——3.3.1 信号量 1.信号量及P、V操作 信号量是一种最早出现的用来解决进程同步与互斥问题的机制。 信号量是一个确定的两元组（S，Q），其中S是一个具有非负初值的整型变量，Q是一个初始状态为空的队列。整型变量S表示系统中某类资源的数目，当其值大于0时，表示系统中当前可用资源的数目；当其值小于0时，其绝对值表示系统中因请求该类资源而被阻塞的进程数目。 除信号量的初值外，信号量的值仅能由P操作（又叫Wait操作）和V操作（又称Signal操作）来改变。 3.3 信号量和管程 ——3.3.1 信号量 一个信号量的建立必须经过说明，即应该准确说明S的意义和初值（注意这个初值不是一个负值）。每个信号量都有一个相应的队列，在建立信号量时，队列为空。 P、V操作以原语方式实现，信号量的值仅能由这两条原语加以改变。P、V操作的定义为： 3.3 信号量和管程 ——3.3.1 信号量 （1）P操作。