文章目录
2.2.1 进程的定义和特征
1. 进程的定义
在多道程序的环境下,程序的执行属于并发执行,此时它们将失去其封闭性,并具有间断性,以及其运行结果不可再现性的特征。由此决定了通常的程序是不能参与并发执行的,否则,程序的运行也就失去了意义。为了能使程序并发执行,并且可以对并发执行的程序加以描述和控制,人们引入了“进程”的概念。
对于进程的定义,从不同角度可以有不同的定义,其中较典型的定义有:
- 进程是程序的一次执行。
- 进程是一个程序及其数据在处理机上顺序执行时所发生的活动。
- 进程是具有独立功能的程序在一个数据集合上运行的过程,它是系统进行资源分配和调度的一个独立单位。
2. 进程的特征
与程序的概念对比来看:
特征 | 进程 | 程序 |
---|---|---|
动态性 | 进程的实质是进程实体的执行过程。它的动态性还表现在“它由创建而产生,由调度而执行,由撤销而消亡。”可见,进程实体有一定的生命周期。 | 程序只是一组有序指令的集合,并存放于某种介质上,其本身并不具有活动的含义,因而是静态的。 |
并发性 | 是指多个进程实体同存于内存中,且能在一段时间内同时运行。引入进程的目的也正是为了使其进程实体能和其他进程实体并发执行。并发性也是OS的重要特征。 | 程序没有建立进程控制块(PCB)是不能参与并发执行的。 |
独立性 | 在传统OS中,独立性是指进程实体是一个能独立运行、独立获得资源和独立接受调度的基本单位。 | 凡未建立PCB的程序都不能作为一个独立的单位参与运行。 |
异步性 | 是指进程是按异步方式运行的,即按各自独立、不可预知的速度向前推进。为了使进程在并发运行时虽具有异步性,但仍然能保证进程并发执行的结果是可再现的,在OS中引进了进程的概念,并且配置相应的进程同步机制。 | 由于异步性,传统意义上的程序若参与并发执行,会产生其结果的不可再现性。 |
2.2.2 进程的基本状态及转换
1. 进程的三种基本状态
由于多个进程在并发执行时共享系统资源,致使它们在运行过程中呈现间断性的运行规律,所以进程在其生命周期内可能具有多种状态。一般而言,每一个进程至少应处于以下三种基本状态之一:
-
就绪(Ready)状态
这是指进程已处于准备好的运行状态,即进程已分配到除CPU以外的所有必要资源后,只要再获得CPU,便可立即执行。
如果系统中有许多处于就绪状态的进程,通常将它们按一定的策略(如优先级策略)排成一个队列,称该队列为就绪队列。
-
执行(Running)状态
这是指进程已获得CPU,其程序正在执行的状态。
对任何一个时刻而言,在单处理机系统中,只有一个进程处于执行状态,而在多处理机系统中,则有多个进程处于执行状态。
-
阻塞(Block)状态
是指正在执行的进程由于发生某事件(如I/O请求、申请缓冲区失败等)暂时无法继续执行时的状态,亦即进程的执行受到阻塞。此时引起进程调度,OS把处理机分配给另一个就绪程序,而让受阻进程处于暂停状态。
通常系统将处于阻塞状态的进程也排成一个队列,称该队列为阻塞队列。实际上,在较大的系统中,为了减少队列操作的开销,提高系统效率,根据阻塞原因的不同,会设置多个阻塞队列。
2. 三种基本状态的转换
进程在运行过程中会经常发生状态的转换。例如,处于就绪状态的进程,在调度程序为之分配了处理机之后便可执行,相应地,其状态就由就绪状态转变为执行态;正在执行的进程(当前进程)如果因分配给它的时间片已完而被剥夺处理机暂停执行时,其状态便由执行转为就绪;如果因发生某事件,致使当前进程的执行受阻(例如进程访问某临界资源,而该资源正被其他进程访问时),使之无法继续执行,则该进程状态将由执行转变为阻塞。
下图表示出了进程的三种基本状态,以及各状态之间的转换关系。
3. 创建状态和终止状态
<1>创建状态
进程由创建而产生。创建进程是个很复杂的过程,一般要通过多个步骤才能完成,例如:
- 由进程申请一个空白PCB,并向PCB中填写用于控制和管理进程的信息;
- 为该进程分配运行时所必须的资源;
- 把该进程转入就绪状态并插入就绪队列之中。
但如果进程所需的资源尚不能得到满足,比如系统尚无足够的内存使进程无法装入其中,此时创建工作尚未完成,进程不能被调度运行,于是把此时进程所处的状态称为创建状态。
<2>终止状态
进程的终止需要两个步骤:
- 等待操作系统进行善后处理;
- 系统将该进程的PCB清零,并将PCB空间返还系统。
当一个进程达到了自然结束点,或是出现了无法克服的错误,或是被操作系统所终结,或是被其他有终止权的进程所终结,它将进入终止状态。
进入终止态的进程以后不能再执行,但在操作系统中依然保留一个记录,其中保存状态码和一些计时统计数据,供其他进程收集。一旦其他进程完成了对其信息的提取之后,操作系统将删除该进程,即将其PCB清零,并将该空白PCB返还系统。
下图为增加了创建状态和终止状态后进程的五种状态及转换关系图。
2.2.3 挂起操作和进程状态的转换
1. 挂起操作的引入
引入挂起操作的原因,是基于系统和用户的如下需要:
-
终端用户的需要
当终端用户在自己的程序运行期间发现有可疑问题,希望暂停自己的程序的运行,使之停下来,以便用户研究其执行情况或对程序进行修改。
-
父进程请求
有时父进程希望挂起自己的某个子进程,以便考查和修改子进程,或者协调各类子进程间的活动。
-
负荷调节的需要
当实时系统中的工作负荷较重,已可能影响到对实时任务的控制时,可由系统把一些不重要的进程挂起,已保证系统能正常运行。
-
操作系统的需要
操作系统有时希望挂起某些进程,以便检查运行中的资源使用情况或进行登记。
2. 引入挂起原语操作后三个进程状态的转换
在引入挂起原语Suspend
和激活原语Active
后,在它们的作用下,进程将可能发生以下几种状态的转换:
-
活动就绪→静止就绪
当进程处于未被挂起的就绪状态时,称此为活动的就绪状态(Readya),此时进程可以接受调度。当用挂起原语Suspend将该进程挂起后,该进程便转为静止就绪状态(Readys),处于Readys状态的进程不再被调度执行。
-
活动阻塞→静止阻塞
当进程处于未被挂起的阻塞状态时,称此为活动的阻塞状态(Blockeda)。当用挂起原语Suspend将它挂起后,该进程便转为静止阻塞状态(Blockeds)。处于该状态的进程在其所期待的事件出现后,它将从静止阻塞变为静止就绪Readys状态。
-
静止就绪→活动就绪
处于Readys状态的进程若用激活原语Active激活后,该进程将转变为Readya状态。
-
静止阻塞→活动阻塞
处于Blockeds状态的进程若用激活原语Active激活后,该进程将转变为Blockeda状态。
下图所示为具有挂起状态的进程状态图。
3. 引入挂起操作后五个进程状态的转换
引进挂起状态后,在进程状态转换时,要增加考虑下面这几种情况:
-
NULL→创建
一个新进程产生时,该进程处于创建状态。
-
创建→活动就绪
在当前系统的性能和内存的容量均允许的情况下,完成对进程创建的必要操作之后,相应的系统进程将进程的状态转换为活动的就绪状态。
-
创建→静止就绪
考虑到系统当前资源状况和性能的要求,不分配给新建进程所需资源,只要是主存,相应的系统将进程状态转为静止就绪状态,被安置在外存,不参与调度,此时进程的创建工作尚未完成。
-
执行→终止
当一个进程已经完成任务时,或是出现了无法克服的错误,或是被OS或是被其他进程所终结,此时将进程的状态转换为终止状态。
2.2.4 进程管理中的数据结构
1. 操作系统中用于管理控制的数据结构
在计算机系统中,对于每个资源和每个进程都设置了一个数据结构,用于表征其实体,我们称之为资源信息表或进程信息表,其中包含了资源或进程的标识、描述、状态等信息以及一批指针。通过这些指针,可以将同类资源或进程的信息表,或者同一进程所占用的资源信息表分类链接成不同的队列,便于操作系统进行查找。
如下图所示,OS管理的这些数据结构一般分为以下四类:内存表、设备表、文件表和用于进程管理的进程表,通 常进程表又被称为进程控制块PCB。
2. 进程控制块PCB的作用
-
作为独立运行基本单位的标志。
当一个程序(含数据)配置了PCB后,就表示它已是一个能在多道程序环境下独立运行的、合法的基本单位,也就具有取得OS服务的权利, 如打开文件系统中的文件,请求获得系统中的I/O设备,以及与其它相关进程进行通信等。因此,当系统创建一个新进程时,就为它建立了一个PCB。进程结束时又回收其PCB,进程于是也随之消亡。系统是通过PCB感知进程的存在的。事实上PCB己成为进程存在于系统中的唯一标志。
-
能实现间断性运行方式。
在多道程序环境下,程序是采用停停走走间断性的运行方式运行的。当进程因阻塞而暂停运行时,它必须保留自己运行时的CPU现场信息,再次被调度运行时,还需要恢复其CPU现场信息。在有了PCB后,系统就可将CPU现场信息保存在被中断进程的PCB中,供该进程再次被调度执行时恢复CPU现场时使用。
-
提供进程管理所需要的信息 。
当调度程序调度到某进程运行时,只能根据该进程PCB中记录的程序和数据在内存或外存中的始址指针,找到相应的程序和数据;在进程运行过程中,当需要访问文件系统中的文件或I/0设备时,也都需要借助于PCB中的信息。 另外,还可根据PCB中的资源清单了解到该进程所需的全部资源等。可见,在进程的整个生命期中,操作系统总是根据PCB实施对进程的控制和管理。
-
提供进程调度所需要的信息。
只有处于就绪状态的进程才能被调度执行,而在PCB中就提供了进程处于何种状态的信息。如果进程处于就绪状态,系统便将它插入到进程就绪队列中,等待着调度程序的调度;另外在进行调度时往往还需要了解进程的其他信息。如在优先级调度算法中,就需要知道进程的优先级。在有些较为公平的调度算法中,还需要知道进程的等待时间和己执行的时间等。
-
实现与其它进程的同步与通信。
进程同步机制是用于实现诸进程的协调运行的,在采用信号量机制时,它要求在每个进程中都设置有相应的用于同步的信号量。在PCB中还具有用于实现进程通信的区域或通信队列指针等。
3. 进程控制块中的信息
在进程控制块中,主要包括下述四个方面的信息。
-
进程标识符
进程标识符用于唯一地标识一个进程。一个进程通常有两种标识符。
-
外部标识符。
为了方便用户(进程)对进程的访问,须为每一个进程设置一个外部标识符。它是由创建者提供的,通常由字母、数字组成。为了描述进程的家族关系,还应设置父进程标识及子进程标识。此外,还可设置用户标识,以指示拥有该进程的用户。
-
内部标识符。
为了方便系统对进程的使用,在OS中又为进程设置了内部标识符, 即赋予每一个进程一个唯一的数字标识符,它通常是一个进程的序号。
-
-
处理机状态
处理机状态信息也称为处理机的上下文,主要是由处理机的各种寄存器中的内容组成的。
-
进程调度信息
在OS进行调度时,必须了解进程的状态及有关进程调度的信息,这些信息包括:
- 进程状态,指明进程的当前状态,它是作为进程调度和对换时的依据。
- 进程优先级,是用于描述进程使用处理机的优先级别的一个整数,优先级高的进程应优先获得处理机。
- 进 程调度所需的其它信息,它们与所采用的进程调度算法有关,比如,进程己等待CPU的时间总和、进程己执行的时间总和等。
- 事件,是指进程由执行状态转变为阻塞状态所等待发生的事件,即阻塞原因。
-
进程控制信息
是指用于进程控制所必须的信息,它包括:
- 程序和数据的地址,进程实体中的程序 和数据的内存或外存地(首)址,以便再调度到该进程执行时,能从PCB中找到其程序和数据。
- 进程同步和通信机制,这是实现进程同步和进程通信时必需的机制,如消息队列指针、信号量等,它们可能全部或部分地放在PCB中。
- 资源清单,在该清单中列出了进 程在运行期间所需的全部资源(除CPU以外),另外还有一张己分配到该进程的资源的清单。
- 链接指针,它给出了本进程(PCB)所在队列中的下一个进程的PCB的首地址。
4.进程控制块的组织方式
在一个系统中,通常可拥有数十个、数百个乃至数千个PCB。为了能对它们加以有效的管理,应该用适当的方式将这些PCB组织起来。目前常用的组织方式有以下三种:
-
线性方式,即将系统中所有的PCB都组织在一张线性表中,将该表的首址存放在内存的一个专用区域中。该方式实现简单、开销小,但每次查找时都需要扫描整张表,因此适合进程数目不多的系统。
下图示出了线性表的PCB组织方式。
-
链接方式,即把具有相同状态进程的PCB分别通过 PCB中的链接字链接成一个队列。这样,可以形成就绪队列、 若干个阻塞队列和空白队列等。对就绪队列而言,往往按进程的优先级将PCB从高到低进行排列,将优先级高的进程PCB排在队列的前面。同样,也可把处于阻塞状态进程的PCB根据其阻塞原因的不同,排成多个阻塞队列,如等待I/0 操作完成的队列和等待分配内存的队列等。
下图示出了一 种链接队列的组织方式。
-
索引方式,即系统根据所有进程状态的不同,建立几张索引表,例如,就绪索引表、阻塞索引表等,并把各索引表在内存的首地址记录在内存的一些专用单元中。在每个索引表的表目中,记录具有相应状态的某个PCB在PCB表中的地址。
下图示出了索引方式的PCB组织。
参考资料:《计算机操作系统(第四版)》—— 汤小丹等。