问题
允许并发是不是说多道程序可随便交替执行?
操作系统怎么管理多道并发的程序
操作系统怎么知道有几个进程可运行?又怎么知道哪个程序运行不下去需要换人了?操作系统怎么知道要运行的程序在哪里?
第2章 进程管理
2.1 进程的基本概念
要点
1.分析程序执行顺序、以及并发的特征
2.进程的概念、特征与状态
3.进程控制块及其组织
*课本每章、节的序言都是理解知识点的提领 *
1.关于程序执行顺序
1)引入前趋图
描述进程执行前后关系的图
有向无循环图(DAG)
Pi结点:描述一个程序段、进程、或一条语句。
有向边“—>”:结点之间的偏序或前序关系
PiPk,则Pi是Pk的直接前趋,Pk是Pi的直接后继。
ps:前趋图关注的是前趋关系,不能有循环
2)程序顺序执行时的特征
(1) 顺序性
处理机的操作严格按程序规定顺序执行
(2) 封闭性
程序一旦开始执行,其计算结果不受外界因素影响。
(3) 可再现性
程序执行只要初始条件一样,不论如何停顿,重复执行多少次结果都一样。
3)程序的并发执行分析
若有N个类似前页的程序并发执行:
要符合前趋关系:
Ii->Ci; Ci->Pi;
Ii->Ii+1;Ci->Ci+1;
Pi->Pi+1;
并发不是随意的
如C1,C2无法交替执行,只能顺序执行;但C2和P1则没有严格时间关系
又如:四个程序段
S1: a:=x+2
S2: b:=y+4
S3: c:=a+b
S4: d:=c+b
S1、S2间没有严格的顺序关系,CPU先调度哪个没有影响。
但是,若对有严格顺序关系的程序调度错误,如s1、s3,执行与结果必然会产生问题。
多个程序如果无序并发,得到的只能是混乱的执行结果,
多道程序运行,走走停停的可能顺序有很多种,符合前趋图的关系才是合理并发。
*错误并发
例:两个各自独立的程序A、B,正好使用了同一内存变量空间:
程序A:每执行一次都做a+1;
程序B:每隔一定时间Print b,b=0。
设两者都要循环10次,则:
A的角度看,执行10次,结果应为10
B的角度看,执行10次,结果都应为0
并发交替执行可能的结果:
– 如果执行2次时被B操作了N,那么结果为8;
– 如果执行7次后才被B影响了N,结果为3;
没有任何干预下,会出现结果不可再现的并发,即错误的并发。
结论:
两程序对N的使用是互相影响的,没有封闭性。
执行中对N的修改都会影响对方结果,结果不可再现。
4)并发程序执行时的特征
间断性(运行表现)
多道 -> 程序并发执行-> 要共享系统的资源 -> 形成相互制约的关系
-> 相互制约导致并发程序具有“执行——暂停——执行”这种间断性的活动规律。
不可再现结果的并发无意义
失去封闭性
共享资源,资源状态由多道程序改变,程序运行失去封闭性。即程序运行受其他程序的影响。
结果不可再现性
结果不确定,程序执行将没有任何意义。
- 进程
OS利用“进程实体”控制程序执行就产生了“进程”。
进程就是用于描述、控制程序在内存中并发运行的一个东东。
定义?
1)进程的定义
进程是进程实体的运行过程,是系统进行资源分配和调度的一个独立单位。
*可并发执行的程序在一个数据集合上的一次执行过程。
*程序的一次执行
*是一个程序与其数据一道通过处理机的执行所发生的活动。
2)进程的特征
a.结构性特征,进程的根本——PCB
b.动态性
进程实质上是进程实体的一次有生命期的执行过程。程序只是静态的一组有序指令。
进程最基本特征
c.并发性
多个进程实体同存于内存中,在一段时间内同时运行。
有PCB的程序才能并发。
d.独立性
e.异步性
区别进程与程序
动与静:
进程是动态的,程序是静态的:程序是有序代码的集合;进程是程序的执行。
永久与暂时:
进程是暂时的,程序是永久的:进程是一个状态变化的过程,程序可长久保存。
结构:
进程的组成包括程序、数据和进程控制块(进程各种控制信息)。
进程与程序的对应关系:
都可1对n。通过多次执行,一个程序可对应多个进程;通过调用关系,一个进程可包括多个程序。
3)进程的基本状态
进程执行时的间断性,决定了其具有多种状态。把握各进程所属的状态对进程控制至关重要。与进程执行相关的各种共享资源有:
CPU
存储器
I/O设备
时间片
注意体会这些资源在进程状态变化中对进程运行的影响。
进程的三种基本状态
(1)就绪状态(Ready)
进程获得除CPU之外的所有必需资源,一旦得到CPU控制权,可立即运行。
(2)运行状态(Running)
进程已获得所有运行必需的资源,正在处理机上执行。
(3)阻塞状态(Blocked)
正在执行的进程由于发生某事件(请求I/O、申请缓冲、时间片到)而暂时无法执行时,便放弃CPU后暂停
各种状态下的进程队列:
单处理机系统,执行态的进程只有一个;
就绪态、阻塞态的进程可有多个。一般讲它们分别排称一个队列,称就绪队列、阻塞队列。
阻塞队列有的会根据不同原因再排成多个队列。
不少系统除上述三种状态,还有其他一些细节状态:挂起、新建、终止状态等:
- 挂起状态 *
就绪的、但不会被调度执行
产生原因
用户自己请求暂停
父进程检查、协调子进程时挂起子进程
调节负荷的需要,负载过重,为保证实时任务的控制,挂起一些不重要的进程
操作系统的检查和记录需要挂起进程。
- 进程控制块PCB
进程实体:代码段+数据段+PCB
进程控制块定义Process Control Block
存放进程的管理和控制信息的数据结构称为进程控制块。
OS对进程进行控制和管理围绕PCB进行
分析OS调度某进程的过程
查该进程的PCB,获取其状态、优先级
根据PCB保存的处理机状态信息,恢复现场
根据PCB中程序和数据的内存始址,找到其程序和数据
执行中的同步信号等也要查阅PCB,暂停时进程执行的处理机环境保存回PCB。
Pcb的重要性
进程控制块是进程存在的唯一标志:
进程创建时,PCB建立并伴随进程运行的全过程,直到进程撤消而撤消。PCB就象我们的户口。
进程管理和控制的最重要的数据结构
那么,PCB里面有什么?存放在哪?怎么组织这么多程序的PCB?
1)进程标识符信息
每个进程都必须有一个唯一的标识符
内部标示符:唯一的数字序号,方便系统使用
外部标示符:方便用户使用,用户进程访问某进程时使用
(1)处理机状态信息
主要由处理机的各种寄存器中的内容组成,被中断时这些信息要存放到PCB。
通用寄存器:用户程序访问的,暂存信息
指令计数器:下一条指令地址
程序状态字PSW:一些状态信息
用户栈指针:每个用户进程都有的存放过程和系统调用参数及调用地址的一组系统栈。
(2)进程调度信息
进程状态
进程优先级
进程调度所需的其他信息:调度算法相关信息
事件:状态转换有关的事件
(3)进程控制信息
程序和数据的地址(单个进程)
数据所在的内外存地址
进程同步和通信机制(多进程间)
同步和通信机制的信号量、消息队列指针等
资源清单
链接指针(PCB的组织)
本PCB所在队列的下一个进程PCB首地址。
2)PCB信息的存放
系统运行中有若干个程序的PCB,它们常驻内存的PCB区。
采用的数据结构:PCB结构体,PCB链表或队列
3)PCB的组织方式
系统中存在数十个PCB,如何有效的管理它们。
链接方式
同一状态的PCB,依靠链接指针链接成队列。就绪队列;若干个阻塞队列;空白队列(PCB区的空PCB块)
索引方式
同状态的PCB同样集中记录,但以索引表的方式记录PCB的地址。用专门的单元记录各索引表的首地址。