电子科大蒲晓蓉操作系统第二章..docxVIP

第二章 进程管理?本章要点基础：进程描述及控制策略：进程调度实现：互斥与同步避免：死锁与饥饿解决：几个经典问题关于：进程通信2.1进程的引入?程序顺序执行程序：源代码程序、目标程序和可执行程序程序执行：编辑、编译、链接、执行程序的结构：顺序结构、分支结构和循环结构程序顺序执行的特征：顺序性、封闭性、可再现性??程序并发执行多道程序设计技术：多个程序并发执行程序并发执行时的特征间断性、非封闭性、不可再现性。?程序并发执行引发的问题协调各程序的执行顺序例如，当输入的数据还未全部输入内存时，计算必须等待多个执行程序共享系统资源，程序之间可能会相互影响，甚至影响输出结果选择哪些、多少个程序进入内存执行？内存中的执行程序谁先执行内存如何有效分配？??进程的概念定义：可并发执行的程序，在一个数据集合上的运行过程。申请/拥有资源?调度（线程）程序：静态概念，是指令和数据的集合，可长期存储进程与程序对应关系一个程序可以对应一个进程或多个进程一个进程可以对应一个程序，或者一段程序??进程的特征动态性并发性独立性异步性引入进程带来的问题增加了空间开销：为进程建立数据结构额外的时间开销：管理和协调、跟踪、填写和更新有关数据结构、切换进程、保护现场更难控制：协调多个进程竞争和共享资源如何预防解决多个进程因为竞争资源而出现故障处理机的竞争尤为突出???进程的结构组成（进程映像）：程序、数据集合、进程控制块PCB（Process Control Block）PCB是进程存在的唯一标志。创建进程时，创建PCB；进程结束时，系统将撤销PCB?PCB进程标识信息：进程的内部和外部标识符处理机状态信息：通用寄存器值、指令寄存器值、程序状态字值、用户栈指针值进程调度信息：进程状态、进程优先权、进程调度的其他信息其他信息：程序及数据地址、进程同步和通讯机制、资源清单、链接指针?PCB的组织方式?单队列所有进程的PCB通过链表组织成为一个单一队列。适用于进程数目不多的系统。（过多导致查找过于频繁）如，Windows操作系统?表格结构PCB按进程状态不同，组织成不同的表格：就绪进程表、执行进程表（多级系统中）及阻塞进程表系统分别记载各PCB表的起始地址。??多级队列PCB按进程状态不同用链接指针组成不同队列：就绪进程队列、阻塞进程队列（可按阻塞原因不同，分别组织）系统分别记载各PCB链表的起始地址2.2 进程的状态进程执行轨迹进程的轨迹：进程执行的指令序列，用以观察处理机的执行过程??两状态进程模型?两状态：执行、未执行?进程获得处理机，进入执行状态；当时间片结束或其它某种原因，进程释放处理机，暂停执行，处于未执行状态??两状态进程模型：?1队列形式注:并非所有进程只要“未执行”就处于就绪，有的需要阻塞等待I/O完成?未执行又分为就绪和阻塞?进程的五状态执行状态（Running）就绪状态（Ready）阻塞状态（Blocked）新状态（NEW）终止状态（Terminated）?1新状态：进程已经创建，但未被OS接纳为可执行进程2就绪状态：准备执行3执行状态：占用处理机(单处理机环境中，某一时刻仅一个进程占用处理机)4阻塞状态：等待某事件发生才能执行，如等待i/0完成等5终止状态：因停止或取消，被OS从执行状态释放。空-新状态新创建的进程首先处于新状态新状态?就绪状态?当系统允许增加就绪进程时，操作系统接纳新建状态进程，将它变为就绪状态，插入就绪队列中。就绪状态?执行状态?当处理机空闲时，将从就绪队列中选择一个进程执行，该选择过程称为进程调度，或将处理机分派给一个进程，该进程状态从就绪转变为执行。执行状态终止状态?执行状态的进程执行完毕，或出现诸如访问地址越界、非法指令等错误，而被异常结束，则进程从执行状态转换为终止状态。执行状态?就绪状态分时系统中，时间片用完，或高优先级的进程到来，将中断较低优先级进程的执行。进程从执行状态转变为就绪状态，等待下一次调度。执行状态阻塞状态?执行进程需要等待某事情发生。通常，会因为进程需要的系统调用不能立即完成，如读文件、共享虚拟内存、等待i/0操作、等待另一进程与之通信等事件而阻塞。阻塞状态?就绪状态当阻塞进程等待的事情发生，就转换为就绪状态。进入就绪队列排队，等待被调度执行。?注：某些系统允许父进程在任何情况下终止其子进程。如果一个父进程被终止，其子孙进程都必须终止。?新状态?终止就绪状态?终止阻塞状态终止?问题:多个进程竞争内存资源内存资源紧张无就绪进程，处理机空闲：i/0的速度比处理机的速度慢得多，可能出现全部进程阻塞等待i/0?解决方法采用交换技术：换出一部分进程到外村，以腾出内存空间。采用虚拟存储技术：每个进程只能装入一部分程序和数据（存储管理部分）??对换技术，交换技术 （Swapping）将内存中暂时不能运行的进程，或暂时不