进程及其实现.pptx

2.3 进程及其实现2.3.1 进程的定义和属性2.3.2 进程的状态和转换2.3.3 进程的描述和组成2.3.4 进程切换与模式切换2.3.5 进程的控制和管理2.3.1 进程的定义和性质 进程是可并发执行的程序在某个数据集合上的一次计算活动，也是操作系统进行资源分配和保护的基本单位。进程是一个既能用来共享资源，又能描述程序并发执行过程的一个基本单位。操作系统为什么要引入进程概念?(1)n原因1-刻画系统的动态性，发挥系统的并发性，提高资源利用率。n程序是并发执行的，即不是连续而是走走停停的。程序的并发执行引起资源共享和竞争问题，执行的程序不再处在封闭环境中。n“程序”自身只是计算任务的指令和数据的描述，是静态概念无法刻画程序的并发特性，系统需要寻找一个能描述程序动态执行过程的概念，这就是进程。操作系统为什么要引入进程概念?(2)n原因2-它能解决系统的“共享性”，正确描述程序的执行状态。n“可再入”程序:指能够被多个程序同时调用的程序，比如编译程序；“可再用”程序：调用过程中可以自行修改，在调用它的程序退出前别的程序不可以调度它。思考：分析一下“可再入”程序具有的性质。“可再入”程序举例 编译程序P(P的入口,处 理 源程序乙)(P把源程序甲的信息记盘等磁盘完成)AB源程序甲源程序乙 进程的属性结构性：共享性：动态性：独立性：制约性：并发性：2.3.2 进程的状态和转换进程三态模型及其状态转换 运行态就绪态等待态进程调度时间片完出现等待事件等待事件结束进程五态模型及其转换运行态就绪态等待态选中落选出现等待事件等待事件结束新建态终止态进程的挂起 进程为什么要有“挂起”状态?为了让某些进程暂时不参与低级调度，释放它占有的资源，以平滑系统负荷的目的而需引入挂起态；进程挂起的原因?引起进程挂起的原因多种多样。具有挂起功能的进程状态及其转换 挂起等待事件结束出现等待事件解除挂起挂起落选选中运行态就绪态等待事件结束终止态新建态挂起就绪态解除挂起挂起挂起等待态等待态提交提交挂起进程具有如下特征该进程不能立即被执行。挂起进程可能会等待事件，但所等待事件是独立于挂起条件的，事件结束并不能导致进程具备执行条件。进程进入挂起状态是由于操作系统、父进程或进程本身阻止它的运行。结束进程挂起状态的命令只能通过操作系统或父进程发出。2.3.3进程的描述和组成(1)1进程映象进程控制块 进程程序块 进程核心栈 进程数据块 进程用户线程内核线程进程的描述和组成(2)操作系统中把进程物理实体和支持进程运行的环境合称为进程上下文。当系统调度新进程占有处理器时，新老进程随之发生上下文切换。进程的运行被认为是在上下文中执行。进程的描述和组成(2)进程上下文组成用户级上下文：系统级上下文：寄存器上下文：2进程控制块n进程控制块P C B，是操作系统用于记录和刻划进程状态及有关信息的数据结构。也是操作系统掌握进程的唯一资料结构，它包括了进程执行时的情况，以及进程让出处理器后所处的状态、断点等信息。n进程控制块包含三类信息 标识信息 现场信息 控制信息3 进程队列及其管理(1)n处于同一状态的所有PCB链接在一起的数据结构称为进程队列。n同一状态进程的PCB既可按先来先到的原则排成队列;也可按优先数或其它原则排成队列。n通用队列组织方式：线性方式、链接方式 索引方式。进程队列及其管理(2)PCB表 PCB1 0PCB2 5PCB3 0PCB4 0 PCB5 0PCB6 4运行队列指针 就绪队列指针 等待队列1指针 等待队列2指针 PCBn 7 PCB7 0 空闲进程队列指针 链接方式运行队列指针 就绪表指针 等待表1指针 索引方式 PCB表 PCB1 PCB2 PCB3 PCB4 PCB5 PCB6 PCBn 空闲表指针 就绪索引表 等待索引表1 等待表2指针队列管理和状态转换示意图 处理器指派提交完成超时事件1等待队列事件2等待队列事件n等待队列就绪队列等待事件1等待事件2等待事件n事件1出现事件2出现事件n出现2.3.4 进程切换与CPU模式切换进程切换是让处于运行态的进程中断运行，让出处理器，这时要做一次进程上下文切换、即保存老进程状态而装入被保护了的新进程的状态，以便新进程运行进程切换的步骤保存被中断进程的处理器现场信息修改被中断进程的进程控制块的有关信息，如进程状态等把被中断进程的进程控制块加入有关队列选择下一个占有处理器运行的进程修改被选中进程的进程控制块的有关信息根据被选中进程设置操作系统用到的地址转换和存储保护信息根据被选中进程恢复处理器现场调度和切换时机问题 请求调度的事件发生后，就会运行低级调度程序，低级调度程序选中新的就绪进程后，就会进行上下文切换。实际上，由于种种原因，调度和切换并不一定能一气呵成。通常的做法是，由内核置上请求调度标志，延迟到上述工作完成后再进行调度和进程上下文切换，处理器模式切换 当中断发生时，暂时中断正在执行的用户进程，把进程从用户状态切换到内核状态，去执行操作系统例行程序以获得服务，这就是一次模式切换模式切换，内核在被中断了的进程的上下文中对这个中断事件作处理，即使该中断可能不是此进程引起的模式切换的步骤1)保存被中断进程的处理器现场信息；2)处理器从用户态切换到核心态，以便执行服务程序或中断处理程序；3)如果处理中断，可根据规定的中断级设置中断屏蔽位；4)根据系统调用号或中断号，从系统调用表或中断入口表找到服务程序或中断处理程序地址。CPU上执行的进程所处活动范围n用户空间中，处于进程上下文，用户进程在运行，使用用户栈。n内核空间中，处于进程上下文，内核代表某进程在运行，使用核心栈。n内核空间中，处于中断上下文，与任何进程无关，中断服务程序正在处理特定中断，Intel x86未提供中断栈，借用核心栈。UNIX/Linux中上下文切换和模式切换 核心态运行系统调用或中断(隐含模式切换)模式切换用户态运行等待状态就绪状态发生事件唤醒调度进程中断、中断返回允许的上下文切换切换2.3.5 进程的控制和管理(1)n处理器管理的一个主要工作是对进程的控制，包括：创建进程、阻塞进程、唤醒进程、挂起进程、激活进程、终止进程和撤销进程等。这些控制和管理功能由操作系统中的原语实现。n原语原语是在管态下执行、完成系统特定功能的过程。n原语和机器指令类似，其特点是执行过程中不允许被中断，是一个不可分割的基本单位，原语的执行是顺序的而不可能是并发的。进程的控制和管理(2)n进程创建n进程撤销n进程阻塞n进程唤醒n进程挂起n进程激活进程创建 n步1在进程列表中增加一项，从PCB池中申请一个空闲PCB，为新进程分配惟一的进程标识符；n步2为新进程的进程映像分配地址空间，以便容纳进程实体。进程管理程序确定加载到进程地址空间中的程序；n步3为新进程分配除主存空间外的其他各种所需资源；n步4初始化PCB，如进程标识符、处理器初始状态、进程优先级等；n步5把新进程状态置为就绪态，并移入就绪进程队列；n步6通知操作系统的某些模块，如记账程序、性能监控程序。Linux创建进程 nfork()-父子进程是独立的进程nclone()-父子进程允许共享资源nvfork()-子进程租用父进程地址空间进程撤销 n步1根据撤销进程标识号，从相应队列中找到并移出它；n步2将该进程拥有的资源归还给父进程或操作系统；n步3若该进程拥有子进程，先撤销它的所有子进程，以防它们脱离控制；n步4回收PCB，并归还到PCB池。进程阻塞和唤醒 进程阻塞步骤：n步1停止进程执行，保存现场信息到PCB；n步2修改进程PCB有关内容，如进程状态由运行态改为等待态等，并把修改状态后的进程移入相应事件的等待队列中；n步3转入进程调度程序去调度其他进程运行。进程唤醒步骤：n步1从相应的等待队列中移出进程；n步2修改进程PCB的有关信息，如进程状态改为就绪态，并移入就绪队列；n步3若被唤醒进程比当前运行进程优先级高，重新设置调度标志。