进程管理-Read.PPT

第二章 进程管理 在多道程序批处理系统和分时系统中，程序并不能独立运行。作为资源分配和独立运行的基本单位是进程。操作系统所具有的四大特征也都是基于进程而形成的，并可从进程的观点来研究操作系统而形成所谓的进程观点。显然，在操作系统中，进程是一个极其重要的概念。 2.1进程的基本概念2.1.1程序的顺序执行及其特征 1、程序的顺序执行 程序在执行时，必须按照某种先后次序逐个执行，仅当前一操作执行完后，才能执行后继操作。 例：I1 C1 P1 I2 C2 P2 其中：I代表输入操作，C代表计算操作，P代表打印操作 2、程序顺序执行时的特征 1、顺序性 2、封闭性独占资源，执行过程中不受外界影响 3、可再现性程序运行结果与程序执行速度无关，只要初始状态相同，结果应相同 2.1.2前趋图 前趋图（Procedence Graph）是一个有向无循环图。用于描述进程之间执行的前后关系。结点：表示一条语句、一个程序段或进程；边( － ):表示在两结点之间存在的偏序或前趋关系。 －={（Pi,Pj）| Pi must complete before Pj may start}，如果(Pi,Pj) ∈ －可写成 Pi － Pj，称Pi是Pj的直接前趋， Pj 是Pi的直接后继。 2.1.3程序的并发执行及其特征 某些程序段的执行在时间上是重叠的 2.1.4进程的特征与状态 1、进程的特征和定义 程序的执行属于并发执行，此时它们将失去其封闭性，并具有间断性及不可再现性的特征。为了使程序能并发执行，且为了对并发执行的程序加以描述和控制，引入了“进程”概念 特征 1）结构特征从结构上看，进程是由程序段、数据段及进程控制块三部分组成。 2）动态性动态性是进程最基本的特征。由创建而产生，由调度而执行，由撤销而消亡 3）并发性这是指多个进程实体，同存于内存中，能在一段时间内同时运行。并发性是进程的重要特征，同时也成为OS的重要特征。引入进程的目的也是为了使该进程的程序能和其它进程的程序并发执行 特征 独立性进程实体是一个能独立运行的基本单位，同时也是系统中独立获得资源和独立调度的基本单位。没有建立进程的程序，不能作为一个独立的单位参加运行。 异步性进程按各自独立的、不可预知的速度向前推进 进程的定义 进程是程序的一次执行 进程是一个程序及其数据在处理机上顺序执行时所发生的活动 进程是程序在一个数据集合上的运行过程，是系统进行资源分配和调度的一个独立单位 进程是进程实体的运行过程，是系统进行资源分配和调度的一个独立单位 2、进程的三种基本状态 1）就绪状态 当进程已经分配到除CPU以外的所有必要的资源后，只要能再获得处理机，就可以立即执行。这时的进程的状态称为就绪状态。多个就绪状态的进程排成就绪序列 2）执行状态 指进程已获得处理机，其程序正在执行。在单处理机系统中，只能有一个进程处于执行状态。（在多处理机中，可能有多个进程处于执行状态） 3）阻塞状态 进程因为发生某个事件而暂停执行时的状态（如：请求I/O、申请缓冲空间等），也就是说，进程受到阻塞，所以称这种暂停状态为阻塞状态，有时也称“等待”状态或“睡眠”状态。 进程状态间的变迁 ①就绪→执行：调度 ②执行→等待：等待某个事件发生而睡眠（请求I/O） ③等待→就绪：因等待的事件发生而唤醒（I/O完成） ④执行→就绪：时间片用完 挂起状态 引入原因 （1）终端用户的请求 （2）父进程请求 （3）负荷调节的需要 （4）操作系统的需要 进程状态的转换 在引入挂起状态后，又将增加从挂起状态（又称静止状态）到非挂起状态（又称活动状态）的转换。或者相反，可以有以下几种情况： 1．活动就绪－ 静止就绪 当进程处于未被挂起的就绪状态时，称此为活动就绪状态，表示为Readya。当用挂起原语Suspend将该进程挂起后，该进程便转变为静止就绪状态。表示为Readys（处在Readys状态的进程，不再被调度执行） 2．活动阻塞－静止阻塞 当进程处于未被挂起的阻塞状态时，称为它处在活动阻塞状态（表示为Blockeda）。当Suspend原语将它挂起后，进程便转变为静止阻塞状态（表示为Blockeds）。处于该状态的进程，在其所期待的事件出现以后，他将从静止阻塞变为静止就绪。 3．静止就绪－活动就绪 处于Readys状态的进程，若用激活原语Active激活后，该进程将转变为Readya状态。 4．静止阻塞－活动阻塞 处于Blockeds状态的进程，若用激活原语Active激活后，进程将转变为Blockeda状态。 2.1.5进程控制块 1、进程