|
|
EDA365欢迎您登录!
您需要 登录 才可以下载或查看,没有帐号?注册
x
进程管理是操作系统重点、难点问题,也是贯穿Linux学习的知识点。那么什么是进程?- 为什么引入进程的概念?+ I% p8 P; b) B
从理论角度看,是对正在运行的程序过程的抽象;2 m6 c2 C% Y! E i5 B
从实现角度看,是一种数据结构,目的在于清晰地刻画动态系统的内在规律,有效管理和调度进入计算机系统主存储器运行的程序。
0 c' i8 O& d6 o( B( O6 I - 什么是进程?
& D$ _6 T$ w1 X. g4 A9 z 狭义定义:进程就是一段程序的执行过程。& O' _$ f! o3 F$ q
广义定义:进程是一个具有一定独立功能的程序关于某个数据集合的一次运行活动。它是操作系统动态执行的基本单元,在传统的操作系统中,进程既是基本的分配单元,也是基本的执行单元。
1 W; q3 T6 x: b - 进程有怎么样的特征?% h1 r7 n. L% S. A
动态性:进程的实质是程序在多道程序系统中的一次执行过程,进程是动态产生,动态消亡的。' f3 A' S: \1 `# Q$ i
并发性:任何进程都可以同其他进程一起并发执行- s' ~/ h0 S0 r5 m
独立性:进程是一个能独立运行的基本单位,同时也是系统分配资源和调度的独立单位;, q: b3 |, |4 A! P! g
异步性:由于进程间的相互制约,使进程具有执行的间断性,即进程按各自独立的、不可预知的速度向前推 进
( C: P9 X3 U7 \% o, Y3 _: Z结构特征:进程由程序、数据和进程控制块三部分组成;
& u* b) l: I0 g" V- t多个不同的进程可以包含相同的程序:一个程序在不同的数据集里就构成不同的进程,能得到不同的结果; 但是执行过程中,程序不能发生改变。* Z9 C' T8 R' y0 V
- Linux进程结构?( V6 {! `4 q& ]7 l1 Z/ n
Linux进程结构:可由三部分组成:代码段、数据段、堆栈段。也就是程序、数据、进程控制块PCB(Process Control Block)组成。进程控制块是进程存在的惟一标识,系统通过PCB的存在而感知进程的存在。
- Z. ]+ g* V6 b4 [. k% D e 系统通过PCB对进程进行管理和调度。PCB包括创建进程、执行程序、退出进程以及改变进程的优先级等。而进程中的PCB用一个名为task_struct的结构体来表示,定义在include/linux/sched.h中,每当创建一新进程时,便在内存中申请一个空的task_struct结构,填入所需信息,同时,指向该结构的指针也被加入到task数组中,所有进程控制块都存储在task[]数组中。
& V1 N( c5 l! @ b7 E, D# Y - 进程的三种基本状态?
" d% R7 ?0 X1 U8 K, P a> 就绪状态:进程已获得除处理器外的所需资源,等待分配处理器资源;只要分配了处理器进程就可执行。就绪进程可以按多个优先级来划分队列。例如,当一个进程由于时间片用完而进入就绪状态时,排入低优先级队列;当进程由I/O操作完成而进入就绪状态时,排入高优先级队列。2 e. k) L* T, L! R3 b4 S4 u: @
b> 运行状态:进程占用处理器资源;处于此状态的进程的数目小于等于处理器的数目。在没有其他进程可以 执行时(如所有进程都在阻塞状态),通常会自动执行系统的空闲进程。
7 q+ ^- E7 s" g0 l$ z c> 阻塞状态:由于进程等待某种条件(如I/O操作或进程同步),在条件满足之前无法继续执行。该事件发生 前即使把处理机分配给该进程,也无法运行。
- }1 A3 j( \) Q - 进程和程序的区别?
& ] ?4 ]: w% _4 I+ z a> 程序是指令和数据的有序集合,是一个静态的概念。而进程是程序在处理机上的一次执行过程,它是一个 动态的概念。# {$ A* K3 q0 A% ~6 z
b> 程序可以作为一种软件资料长期存在,而进程是有一定生命期的。程序是永久的,进程是暂时的。 z6 X' B4 U& K1 M- b3 B
c> 进程是由进程控制块、程序段、数据段三部分组成;
3 {* d" Z% s" s1 A d> 进程具有创建其他进程的功能,而程序没有。
9 A* @' B O2 F+ t e> 同一程序同时运行于若干个数据集合上,它将属于若干个不同的进程,也就是说同一程序可以对应多个进 程。
! ]( h# S5 g' M* G f> 在传统的操作系统中,程序并不能独立运行,作为资源分配和独立运行的基本单元都是进程。/ g2 N) s- O1 F6 V! E
- 进程控制?7 b" U& n W& n/ E* R1 S6 D4 w
创建进程
3 [( y* s; @* o引起创建进程的事件:" m d! f3 w. M
1) 用户登录' r/ ~; X( M/ `$ }2 O- J
2) 作业调度: J4 J+ ]. R" p I
3) 提供服务1 j" t1 F8 m! y* p3 v2 W
4) 应用请求
1 L1 j7 p0 n. n8 n3 V% c/ S进程的创建过程
6 ~/ @/ j/ k+ A- n/ b1 g, v一旦操作系统发现了要求创建新进程的事件后,便调用进程创建原语Creat()按下述步骤创建一个新 进程。
- b! }! n0 j+ U% B4 g1) 申请空白PCB。为新进程申请获得唯一的数字标识符,并从PCB集合中索取一个空白PCB。
2 u9 B9 X# P; x- B* l& e! k& J- w8 g+ a2) 为新进程分配资源。2 H& G6 J( u3 Z% ?2 ~4 q& F9 z! [% Z
3) 初始化进程控制块。PCB的初始化包括:/ q. k: n$ w; f# Z) @* N; ?0 [
①初始化标识信息,将系统分配的标识符和父进程标识符,填入新的PCB中。9 {1 }2 I. v9 i% Y# i6 W7 Z
②初始化处理机状态信息,使程序计数器指向程序的入口地址,使栈指针指向栈顶。
% D& ~' B6 c& O% N9 O# }8 n+ x③初始化处理机控制信息,将进程的状态设置为就绪状态或静止就绪状态,对于优先级,通常 是将它设置为最低优先级,除非用户以显式的方式提出高优先级要求。- ^9 T/ B- Y0 U
4) 将新进程插入就绪队列,如果进程就绪队列能够接纳新进程,便将新进程插入到就绪队列中
7 y. S* ~. y& v3 I进程终止
8 a! O1 r8 _ b. d( l! `, @4 |引起进程终止的事件
$ o, P7 d! k1 `% G+ a+ |1)正常结束: j3 `# h8 v7 Q" s
2)异常结束- M8 D% Y6 V3 q" ]3 k0 L
3)外界干预0 _5 L; q4 \- P; _$ E r u+ X
进程的终止过程
& z7 h$ m- J5 f, f' P如果系统发生了上述要求终止进程的某事件后,OS便调用进程终止原语,按下述过程去终止指定的进 程。
+ J& y+ h5 `8 i9 G; Y1)根据被终止进程的标识符,从PCB集合中检索出该进程的PCB,从中读出该进程状态。6 y/ e2 N/ j; z& F
2)若被终止进程正处于执行状态,应立即终止该进程的执行,并置调度标志为真。用于指示该进程 被终止后应重新进行调度。 k( o6 S6 O( r) u. h& O' L
3)若该进程还有子孙进程,还应将其所有子孙进程予以终止,以防他们成为不可控的进程。. x) S1 k: |" _1 n& D
4)将被终止的进程所拥有的全部资源,或者归还给其父进程,或者归还给系统。
6 e. r( N* V1 l! E4 t3 y8 e* y4 j6 A4 w5)将被终止进程(它的PCB)从所在队列(或链表)中移出,等待其它程序来搜集信息。 W; n9 D8 b, l! q* D* H6 |
阻塞唤醒
8 e5 f$ z& ^1 x2 J; g* l1.引起进程阻塞和唤醒的事件
# a# d: ]5 c3 Z2 q @1)请求系统服务' A6 U [9 ?. l3 q, Z5 G; `# x
2)启动某种操作
4 D2 d. z" K! x+ y3)新数据尚未到达5 g$ i, _ P( ? s9 c* c8 E
4)无新工作可做% g: Z0 c, Z/ O/ j" }) i
2.进程阻塞过程$ ]- @+ @5 u4 F2 k8 N9 k3 B6 W
正在执行的进程,当发现上述某事件后,由于无法继续执行,于是进程便通过调用阻塞原语block把自 己阻塞。可见,进程的阻塞是进程自身的一种主动行为。进入block过程后,由于此时该进程还处于执 行状态,所以应先立即停止执行,把进程控制块中的现行状态由执行改为阻塞,并将PCB插入阻塞队 列。如果系统中设置了因不同事件而阻塞的多个阻塞队列,则应将本进程插入到具有相同事件的阻塞 (等待)队列。最后,转调度程序进行重新调度,将处理机分配给另一就绪进程,并进行切换,亦即, 保留被阻塞进程的处理机状态(在PCB中),再按新进程的PCB中的处理机状态设置CPU环境。
1 t% O0 L( w& `7 o* E0 X3.进程唤醒过程
1 g3 O: }6 h8 g8 V. z- x% `* W当被阻塞的进程所期待的事件出现时,如I/O完成或者其所期待的数据已经到达,则由有关进程(比如, 用完并释放了该I/O设备的进程)调用唤醒原语wakeup(),将等待该事件的进程唤醒。唤醒原语执行 的过程是:首先把被阻塞的进程从等待该事件的阻塞队列中移出,将其PCB中的现行状态由阻塞改为就 绪,然后再将该PCB插入到就绪队列中。
/ c0 ~0 Q5 F% O( {3 p6 c7 I% y 4 k i0 x3 d/ Y1 Q7 K
|
|