ch2-2.3进程及其实现20090926.pptVIP

2.3 进程及其实现 2.3.1 进程的定义和属性 2.3.2 进程的状态和转换 2.3.3 进程的描述和组成 2.3.4 进程切换与模式切换 2.3.5 进程的控制和管理 2.3.1 进程的定义和性质 ? 进程是可并发执行的程序在某个数据集合上的一次计算活动，也是操作系统进行资源分配和保护的基本单位。 ? 进程是一个既能用来共享资源，又能描述程序并发执行过程的一个基本单位。 操作系统为什么要引入进程概念?(1) 原因1-刻画系统的动态性，发挥系统的并发性，提高资源利用率。 程序是并发执行的，即不是连续而是走走停停的。程序的并发执行引起资源共享和竞争问题，执行的程序不再处在封闭环境中。 “程序”自身只是计算任务的指令和数据的描述，是静态概念无法刻画程序的并发特性，系统需要寻找一个能描述程序动态执行过程的概念，这就是进程。 操作系统为什么要引入进程概念?(2) 原因2-它能解决系统的“共享性”，正确描述程序的执行状态。 “可再用” 程序 “可再入” 程序  进程的属性 ?结构性： ?共享性： ?动态性： ?独立性： ?制约性： ?并发性： 2.3.2 进程的状态和转换进程三态模型及其状态转换 进程五态模型及其转换 进程的挂起 ●进程为什么要有“挂起”状态? 为了让某些进程暂时不参与低级调度，释放它占有的资源，以平滑系统负荷的目的而需引入挂起态； ●进程挂起的原因 ? 引起进程挂起的原因多种多样。  具有挂起功能的进程状态及其转换 挂起进程具有如下特征 ?该进程不能立即被执行。 ?挂起进程可能会等待事件，但所等待事件是独立于挂起条件的，事件结束并不能导致进程具备执行条件。 ?进程进入挂起状态是由于操作系统、父进程或进程本身阻止它的运行。 ?结束进程挂起状态的命令只能通过操作系统或父进程发出。 ?2进程控制块 进程控制块P C B ，是操作系统用于记录和刻划进程状态及有关信息的数据结构。也是操作系统掌握进程的唯一资料结构，它包括了进程执行时的情况，以及进程让出处理器后所处的状态、断点等信息。 进程控制块包含三类信息 标识信息 现场信息 控制信息 ??3 进程队列及其管理(1) 处于同一状态的所有PCB链接在一起的数据结构称为进程队列。 同一状态进程的PCB既可按先来先到的原则排成队列;也可按优先数或其它原则排成队列。 通用队列组织方式： 线性方式、 链接方式 索引方式。 ??进程队列及其管理(2) Linux进程链表 双向循环链表(prev_task和next_task ) 进程可运行队列链表(prev_run和next_run ) 散列链表(pidhash_next和pidhash_pprev ) 等待队列链表( TASK_INTERRUPTIBLE和TASK_UNINTERRUPTIBLE ) 队列管理和状态转换示意图 调度和切换时机问题 ? 请求调度的事件发生后，就会运行低级调度程序，低级调度程序选中新的就绪进程后，就会进行上下文切换。实际上，由于种种原因，调度和切换并不一定能一气呵成。 ? 通常的做法是，由内核置上请求调度标志，延迟到上述工作完成后再进行调度和进程上下文切换， ?Linux进程调度标志位need-resched，Windows延迟过程调用DPC/dispatch软件中断。 CPU上执行的进程所处活动范围 用户空间中，处于进程上下文，用户进程在运行，使用用户栈。 内核空间中，处于进程上下文，内核代表某进程在运行，使用核心栈。 内核空间中，处于中断上下文，与任何进程无关，中断服务程序正在处理特定中断，Intel x86未提供中断栈，借用核心栈。 UNIX/Linux中上下文切换和模式切换 2.3.5 进程的控制和管理(1) 处理器管理的一个主要工作是对进程的控制，包括：创建进程、阻塞进程、唤醒进程、挂起进程、激活进程、终止进程和撤销进程等。这些控制和管理功能由操作系统中的原语实现。 原语是在管态下执行、完成系统特定功能的过程。 原语和机器指令类似，其特点是执行过程中不允许被中断，是一个不可分割的基本单位，原语的执行是顺序的而不可能是并发的。 进程的控制和管理(2) 进程创建 进程撤销 进程阻塞 进程唤醒 进程挂起 进程激活 进程创建 步1在进程列表中增加一项，从PCB池中申请一个空闲PCB，为新进程分配惟一的进程标识符； 步2为新进程的进程映像分配地址空间，以便容纳进程实体。进程管理程序确定加载到进程地址空间中的程序； 步3为新进程分配除主存空间外的其他各种所需资源； 步4初始化PCB，