[教学计划]2第2章.ppt

第二章 进程管理 2.1 进程的基本概念 程序在并发环境中的执行过程 资源分配和独立运行的基本单位 顺序性：处理机的操作严格按照程序规定的顺序执行，即每个操作必须在下一操作之前结束。 封闭性：程序在封闭环境下执行，结果不受外界因素的影响。 可再现性：只要环境和初始条件相同，程序重复执行那个时总得到相同的结果。 程序A L1: N:=N+1 GOTO L1 进程结构 动态性 进程最基本的特征是动态性； 进程的生命周期； 进程由创建而产生，由调度而执行，由撤销而消亡的过程。 并发性：多个进程同内存中，且能在一段时间内同时运行。 独立性：进程是一个能独立运行、独立分配资源、独立接受调度的基本单位。 异步性：进程按各自独立的、不可预知的速度向前推进。 进程定义 进程是进程实体的运行过程，是系统进行资源分配和调度的基本单位。 进程和程序的关系 进程包含了程序段、数据段两部分，说明进程和程序是紧密相关的。但是进程中还包含了PCB； 进程是一个动态概念，程序是一个静态概念； 进程具有并发特征，程序没有； 进程是竞争资源的基本单位； 进程和程序不一一对应。同一个程序多次运行，将形成多个不同的进程；一个程序可以对应多个进程，一个进程可为多个程序服务。 就绪状态 进程已经分配了除处理机以外的左右必要资源，只要在获得处理机就能够执行的状态。 这样的进程可能有多个，通常排成一个队列，称为就绪队列。 执行状态 已经获得CPU，正在运行。 在单处理机系统只有一个进程处于执行状态。多处理机系统则有多个处于执行状态。 阻塞状态 正在执行的进程由于发生某事件而暂时无法继续执行时，放弃处理机而进入的状态，又称为等待状态。 引起阻塞的事件：请求I/O，申请缓存。 挂起引起的状态转换 非挂起状态 3. 创建状态和终止状态 创建状态 为新进程创建PCB，将该进程转入就绪状态，并插入就绪队列中。 终止状态 等待操作系统进行善后处理，然后将PCB清零，并将PCB空间返还系统。 进程结构 PCB是OS中最重要的记录型结构。 OS用PCB对并发进程进行管理和控制。 PCB是进程存在的唯一标志。 PCB常驻内存。 OS专门开辟PCB区，将所有的PCB组成若干个链表或队列。 结构体 FOR EXAMPLE：一个学生的自然信息 结构体 定义一个结构： struct Student{ char name[20]; char sex[12]; Date birthday; char speciality[20]; char class[10]; }; typedef struct Student STUDENT; PCB中的信息 进程标识符 处理机状态 进程调度信息 进程控制信息 PCB的组织形式 把统一状态的PCB，用其中的链接字链接成一个队列； 如：就绪队列、阻塞队列（根据不同的阻塞原因）、空白队列； 建立就绪索引表、阻塞索引表等； 把索引表在内存的首地址放在内存的专用单元中； 2.2 进 程 控 制 进程管理中最基本功能是进程控制。 进程控制的任务： 进程的创建、终止、进程状态的转变等。 进程控制一般由OS内核中的原语来实现。 PCB的初始化 初始化标识信息 初始化处理机状态信息 初始化处理机控制状态 进程阻塞过程 注意 BLOCK和WAKEUP是一队作用相反的原语。 如果在某进程中调用了阻塞原语，则必须在与之相合作的另一进程中或其他相关的进程中，安排唤醒原语，以便能唤醒阻塞进程； 否则，被阻塞进程将会因不能被唤醒而长久地处于阻塞状态，从而再无机会继续运行。 进程的挂起 挂起原语：SUSPEND( ) 首先检查被挂起进程的状态，若处于活动就绪状态，便将其改为静止就绪； 对于活动阻塞状态的进程，则将之改为静止阻塞。 最后，若被挂起的进程正在执行，则转向调度程序重新调度。 有挂起状态的进程状态图 进程的激活状态图 进程的两大关系 互斥：并发执行的多个进程由于竞争同一资源而产生的相互排斥的关系。 同步：进程间共同完成一项任务时直接发生相互作用的关系。 同步进程间具有合作关系； 在执行时间上必须按照一定的顺序协调进行； 临界资源 一次仅允许一个进程使用的共享资源 如：打印机、磁带机、表格 临界区 在每个进程中访问临界资源的那段程序； 进程必须互斥进入临界区； 访问临界区的循环进程描述 repeat 2.3.2 信号量机制 信号量 信号量是一种数据结构; 信号量的值与相应资源的使用情况有关; 信号量的值仅由P、V操作改变; 整型信号量 整型数 P操作（wait）原语 V操作（signal）原语 Wait(S): 记录型信号量 记录型结构，包含两个数据项： Type semaphore =reco