第二章 进程管理..ppt

4．创建状态和终止状态 　　1) 创建状态 创建一个进程两步骤：为一个新进程创建PCB，并填写必要的管理信息；其次，把该进程转入就绪状态并插入就绪队列之中。 刚创建进程 还未进入主存，即创建工作尚未完成，进程还不能被调度运行，其所处的状态就是创建状态。 2) 终止状态 　　 进程自然结束点、出现了无法克服的错误、或是被操作系统所终结、或是被其他有终止权的进程所终结，它将进入终止状态。 进程的终止也要通过两个步骤：首先等待操作系统进行善后处理 ，然后将其PCB清零，并将PCB空间返还系统。 复习 程序顺序执行时的特征 程序并发执行时的特征 进程的特征和定义 进程与程序的区别 进程的三种基本状态及转换图 什么是进程控制块?它的作用? OS何时会发生进程切换？ 2.3 进 程 同 步 2.3.1　进程同步的基本概念 　　1．两种形式的制约关系 　　在多道程序环境下，当程序并发执行时，由于资源共享和进程合作，使同处于一个系统中的诸进程之间可能存在着以下两种形式的制约关系。 　　(1) 间接相互制约关系。同处于一个系统中的进程，通常都共享着某种系统资源。 (2)直接相互制约关系。这种制约主要源于进程间的合作。 进程在活动中会相互制约 所有进程都是相互独立的 进程以异步方式并发执行 3.临界资源 一次仅允许一个进程使用的共享资源 如：打印机、内存单元、表格 诸进程间应采取互斥访问方式 4.临界区 在每个进程中访问临界资源的那段程序 保证诸进程互斥地进入自己的临界区，便可实现诸进程对临界资源的互斥访问。 为此，每个进程在进入临界区之前，应先对欲访问的临界资源进行检查，看它是否正被访问。如果此刻该临界资源未被访问，进程便可进入临界区对该资源进行访问，并设置它正被访问的标志；如果此刻该临界资源正被某进程访问，则本进程不能进入临界区 因此，必须在临界区前面增加一段用于进行上述检查的代码，把这段代码称为进入区(entry section)。相应地，在临界区后面也要加上一段称为退出区(exit section)的代码，用于将临界区正被访问的标志恢复为未被访问的标志。 　　repeat 　　　　entry section //进入区 　　　　critical section； //临界区 　　　　exit section //退出区 　　　　remainder section；//剩余代码 　　until false； 4．同步机制应遵循的规则 (1) 空闲让进。当无进程处于临界区时，应允许一个请求进入临界区的进程立即进入自己的临界区。 (2) 忙则等待。当已有进程进入临界区时，其它试图进入临界区的进程必须等待，以保证对临界资源的互斥访问。 (3) 有限等待。对要求访问临界资源的进程，应保证在有限时间内能进入自己的临界区，以免陷入“死等”状态。 (4) 让权等待。当进程不能进入自己的临界区时，应立即释放处理机，以免进程陷入“忙等”状态。 2.3.2 信号量(semaphore)机制 一般说来，信号量s的值与相应资源的使用情况有关 信号量的值仅由P、V操作改变 记录型信号量定义 type semaphore=record 　　　　value: integer； 　　　　L: list of process； end 代表资源数目的整型变量value ，还应增加一个进程链表指针L，用于链接上述的所有等待进程 P（wait)、V(signal)操作都是原语 P操作 V操作 一、用P、V原语实现互斥 信号量及P、V操作讨论 对于两个并发进程争用同一个临界资源，互斥信号量的值仅取1、0和-1三个值 若ＭUTEX＝1表示没有进程进入临界区 若ＭUTEX＝0表示有一个进程进入临界区 若ＭUTEX＝-1表示一个进程进入临界区，另一个进程等待进入。 思考 对于N个并发进程争用同一个临界资源，互斥信号量的取值范围是什么，有什么含义。 某车站售票厅，任何时刻最多可容纳20名购票者进入，当售票厅中少于20名购票者时，则厅外的购票者可立即进入，否则需在外面等待。若把一个购票者看作一个进程，请回答下列问题： 二、用P、V原语实现简单同步 信号量及P、V操作讨论（续1） 1) 信号量的物理含义： S0表示有S个资源可用 S=0表示无资源可用 S0则| S |表示S等待队列中的进程个数 P(S)：表示