操作系统第2章 进程的描述与控制.pptVIP

按索引方式组织PCB1PCB90PCB89PCB77PCB6PCB58PCB40PCB33PCB24PCB1执行指针就绪表指针阻塞表指针就绪索引表阻塞索引表进程同步是指对多个相关进程在执行次序上进行协调，它的目的是使系统中诸进程之间能有效地共享资源和相互合作，从而使程序的执行具有可再现性；或系统中诸进程之间在逻辑上的相互制约的关系（直接的-同步；间接的—互斥）。用来实现同步的机制称为同步机制。如：信号量机制；管程机制。2.3进程同步进程同步的基本概念两种形式的制约关系临界资源、临界区同步机制应遵循的规则信号量机制整型信号量记录型信号量AND型信号量集、一般信号量集信号量的应用信号量实现进程互斥信号量描述进程间的前趋关系返回目录2.3进程同步一、进程同步的基本概念1、两种形式的制约关系直接制约关系（进程同步）：即为完成同一个任务的诸进程间，因需要协调它们的工作而相互等待、相互交换信息所产生的制约关系。间接制约关系（进程互斥）：是进程共享独占型资源而必须互斥执行的制约关系。一、进程同步的基本概念1、两种形式的制约关系同步互斥进程-进程进程-资源-进程时间次序上受到某种限制竞争到某一物理资源时不允许其它进程工作相互清楚对方的存在及作用，交换信息不一定清楚其它进程情况往往指几个进程共同完成一个任务往往指多个任务多个进程间制约例：生产与消费之间，发送与接收之间，写进程与读进程之间例：争用打印机，交通十字路口2、临界资源、临界区一次只允许一个进程使用的资源称为临界资源，诸进程间采取互斥方式实现对这种资源的共享，实现并行程序的封闭性。2、临界资源、临界区例：有两个进程A和B，它们共享一个变量x，且两个进程按以下方式对变量X进行访问和修改:其中R1和R2为处理机中的两个寄存器。A与B均对X+1，即X+2。若按另一顺序对变量进行修改：结果x只加了1.A:R1=X;B:R2=X;A:R1=R1+1;X=R1;B:R2=R2+1;X=R2;A:R1=X;R1=R1+1;X=R1;B:R2=X;R2=R2+1;X=R2;（1）变量X必需按临界资源处理。（2）每个进程中访问临界资源的那段代码称为临界区2、临界资源、临界区为了保证临界资源的正确使用，可以把临界资源的访问过程分成几部分：进入区临界区退出区剩余区进入区——加在临界区前面的一段代码，用于检查要访问的临界资源此刻是否被访问。退出区——加在临界区后面的一段代码，用于将临界资源的访问标志恢复为未被访问标志。剩余区——进程中除了进入区、临界区及退出区之外的其余代码。2、临界资源、临界区要进入临界区的若干进程必须满足：1）一次只允许一个进程进入临界区。2）任何时候，处于临界区的进程不得多于一个。3）进入临界区的进程要在有限的时间内退出。4）如果不能进入自己的临界区，则应让出处理机资源。进入区临界区退出区剩余区2、临界资源、临界区解决临界区（互斥）问题的几类方法：（1）软件方法（2）硬件方法（3）信号量机制进入区临界区退出区剩余区同步机制3、同步机制应遵循的规则(1)有空让进(空闲让进）:当无进程处于临界区时，表明临界资源处于空闲状态，应允许一个请求进入临界区的进程立即进入自己的临界区，以有效地利用临界资源。(2)互斥（忙则等待）:当已有进程进入临界区时，表明临界资源正在被访问，因而其他试图进入临界区的进程必须等待，以保证对临界资源的互斥访问3、同步机制应遵循的规则(3)有限等待:对要求访问临界资源的进程，应保证在有限时间内能进入自己的临界区，以免陷入“死等”状态.(4)让权等待:当进程不能进入自己的临界区时，应立即释放处理机，以免进程陷入“忙等”。返回

解决临界区（互斥）问题的方法有效解决同步问题的方法——信号量机制为临界资源加锁的方法二、信号量机制信号量机制是荷兰科学家E.W.Dijkstra在1965年提出的一种同步机制，也称为P、V操作。由最初的整型信号量发展为记录型信号量，进而发展为信号量集。整型信号量记录型信号量信号量集（AND信号量集、一般信号量集）1、整型信号量整型信号量——非负整数，除了初始化外，只能通过两个原子操作wait和signal来访问。wait和signal操作的含义：wait(S)：whi