操作系统 第2章 进程管理.pptVIP

第2章 进程管理 为了描述程序在并发执行时对系统资源的共享，我们需要一个描述程序执行时动态特征的概念，这就是进程或线程。在本章中，我们将讨论进程的概念和进程间的关系。 2.1 程序的执行特点 程序的执行有两种方式：顺序执行和并发执行。 顺序执行是单道批处理系统的执行方式。 顺序执行的特征： 顺序性：按照程序结构所指定的次序（可能有分支或循环） 封闭性：独占全部资源，计算机的状态只由该程序的控制逻辑所决定,结果不受外界因素的影响 可再现性：初始条件相同则结果相同。如：可通过空指令控制时间关系。 并发执行 现在的操作系统多为并发执行，具有许多新的特征。引入并发执行的目的是为了提高资源利用率。 并发执行的特征： 间断性：表现为“走走停停”，一个程序可能走到中途停下来，失去原有的时序关系； 失去封闭性：共享资源，受其他程序的控制逻辑的影响。如：一个程序写到存储器中的数据可能被另一个程序修改，失去原有的不变特征。 失去可再现性：失去封闭性 －失去可再现性；外界环境在程序的两次执行期间发生变化，失去原有的可重复特征。 程序并发执行的条件 并发执行的条件：达到封闭性和可再现性（正确性的要求）。 并发执行失去封闭性的原因是共享资源的影响，去掉这种影响就行了。 2.2 进程的描述 进程的定义与特征 进程的基本状态 进程的挂起状态 进程控制块(PCB, process control block) 进程上下文 进程的定义与特征 进程的定义 一个具有一定独立功能的程序在一个数据集合上的一次动态执行过程。它对应虚拟处理机、虚拟存储器和虚拟外设等资源的分配和回收。 引入多进程，提高了对硬件资源的利用率，但又带来额外的空间和时间开销，增加了OS 的复杂性 进程的特征 （1）动态性： v??创建产生，调度执行，受制于资源，撤销消亡。 v???进程具有动态的地址空间（数量和内容），地址空间上包括： 代码（指令执行和CPU状态的改变） 数据（变量的生成和赋值） 系统控制信息（进程控制块的生成和删除） （2）并发性： 多个进程同时存在于内存，宏观上同时运行。 （3）独立性：资源分配的单位。 各进程的地址空间相互独立，除非采用进程间通信手段。 （4）异步性：异步方式运行。（由独立性所决定） （5）结构化：代码段，数据段和进程控制块组成。 进程控制块包含在核心段（在地址空间中）。 程序文件中通常也划分为代码段和数据段，而核心段通常就是OS核心（由各个进程共享，包括各进程的PCB）。 代码段，数据段和进程控制块一起组成进程映像。 进程与程序的区别 1)???进程是动态的，程序是静态的：程序是有序代码的集合；进程是程序的执行。 2)???进程是暂时的，程序的永久的：进程是一个状态变化的过程，程序可长久保存。 3)???进程与程序的组成不同：进程的组成包括程序、数据和进程控制块（即进程状态信息）。 4)???进程与程序的对应关系：通过多次执行，一个程序可对应多个进程；通过调用关系，一个进程可包括多个程序。 进程的基本状态 进程的基本状态 进程的基本状态 3、引入挂起状态 一个挂起进程等同于不在主存的进程，它将不参与进程调度直到它们被对换进主存。它具有如下特征： 该进程不能立即被执行 挂起进程可能会等待一个事件，但所等待的事件是独立于挂起条件的，事件结束并不能导致进程具备执行条件 进程进入挂起状态是由于操作系统、父进程或进程本身阻止它的运行 结束进程挂起状态的命令只能通过操作系统或父进程发出 引起进程挂起的原因有： 操作系统中的进程均处于等待状态，处理器空闲，此时需要把一些进程对换出去，以腾出足够的内存装入就绪进程运行 进程竞争资源，导致系统资源不足，负荷过重，此时需要挂起部分进程以调整系统负荷 把一些定期执行的进程(如审计程序、监控程序、记账程序)对换出去，以减轻系统负荷 用户要求挂起自己的进程，以根据中间执行情况和中间结果进行某些调试、检查和改正 父进程要求挂起自己的后代进程，以进行某些检查和改正 当系统出现故障或某些功能受到破坏时，需要挂起某些进程以排除故障 进程控制块 (PCB, process control block) 进程控制块的作用 记录用于描述进程情况及控制进程运行的全部信息。通常常驻于由OS维护的用来记录进程相关信息的一块内存。 每个进程在OS中的登记表项（可能有总数目限制），OS据此对进程进行控制和管理（PCB中的内容会动态改变），不同OS则不同。 处于核心段，通常不能由应用程序自身的代码来直接访问，而要通过系统调用，或通过UNIX中的进程文件系统(/proc)直接访问进程映象(image)。文件名为进程标识（如：00316），权限为创建者可读写。 进程控制块中的信息 进程调度信息：