进程基本概念.ppt

2.1 进程的基本概念 2.2 进程管理 2.3 进程调度 2.4 进程间的同步与互斥 2.5 进程通讯 2.6 死锁 顺序执行的特征 顺序性 封闭性 可再现性 并发执行的条件（Bernstein条件） 程序 P(i) 针对变量的读集R(i)和写集W(i) 条件：任意两个程序P(i)和P(j)，同时满足： R(i)?W(j)=?; W(i)?R(j)=?; W(i)?W(j)=?; 进程(PROCESS)的概念 动态性：产生、执行、暂停、消亡。有一个生存期 独立性：是系统进行资源分配和调度的独立单位，是能独立运行的基本单位 并发性：程序在建立进程后并发运行 进程是动态的，程序是静态的 进程是暂时的，程序的永久的 进程与程序的组成不同 运行状态：进程分配到必要的资源，在CPU上执行时的状态 就绪状态：进程分配到必要的资源，还没获得在CPU上执行的状态 阻塞状态（等待状态）：进程的执行由于本身不具备运行条件而受到阻塞，处于暂停状态 挂起：强迫进程释放分配到的资源，将进程调出到外存 活动：未被挂起的就绪和阻塞状态称为活动就绪和活动阻塞 静止：被挂起的就绪和阻塞状态称为静止就绪和静止阻塞 程序：描述进程要完成的功能 数据集合：包含程序运行所需的数据和工作区 进程控制块（PCB）：包含进程的描述信息和控制信息，是进程动态特性的反映 进程标识符： 进程标识符(process ID)（内部标识符）：唯一，通常是一个整数； 进程名（外部标识符） ：不唯一，由字母数字组成； 位置信息：指出进程的程序和数据在内存和外存中的物理位置 现场信息：寄存器值（通用、程序计数器PC、状态PSW，地址包括栈指针） 状态信息：进程现行状态 进程优先级：进程使用CPU的优先级别 资源清单：已分配到的资源等 同步与互斥机构 进程通讯机制 队列指针 家族联系 资源占用信息：虚拟地址空间的现状、打开文件列表 顺序表：将所有PCB连续存放在内存。要经常扫描整个表 索引表：同一状态的PCB建立一个index表（由index指向PCB），多个状态对应多个不同的index表 各状态形成不同的索引表：就绪索引表、阻塞索引表 链表：同一状态的进程的PCB成一链表，多个状态对应多个不同的链表 各状态的形成不同的链表：就绪链表、阻塞链表 提交状态 后备状态：作业的全部信息已输入到磁盘的专用区（后备作业区）中，等待运行 执行状态：被作业调度程序选中，分配了必要资源，建立了PCB，进入进程的就绪状态，等待运行 完成状态：作业完成任务，释放资源 作业调度（高级调度）：选择作业，调入内存，分配资源建立进程，将PCB插入就绪进程队列 进程调度（低级调度）：将CPU分配给进程，进行进程间切换，运行被调度进程 中级调度：进程映象在内存和盘交换区间的对换操作。防止死锁。 非剥夺抢占方式：一旦进程占用CPU就一直运行，直到终止或阻塞 剥夺抢占方式：系统强行剥夺已分配给现运行进程的CPU，使其进入就绪进程队列 设计目标：目标不同，系统的要求不同 CPU利用率： 吞吐量：系统在单位时间内完成的作业数目 周转时间：从作业提交到完成的时间间隔 等待时间：进程在就绪进程队列中的等待时间，通常用来衡量调度程序的性能 响应时间：从向系统发出请求到系统首次开始响应的时间间隔 资源利用率：最大限度地使各种资源并行操作 合理的系统开销 按先进先出组织就绪状态的进程队列 总是把CPU分配给就绪状态的进程队列的队首进程 最简单的进程调度算法 属于非剥夺抢占方式 要求就绪状态的进程队列中每个进程有下一个CPU运行期的时间值 把CPU分配给就绪状态的进程队列中下一个CPU运行期最短的进程 短者优先的原则 系统自动按一定原则为每个进程规定一个调度优先权 把CPU分配给就绪状态的进程队列具有最高优先权的进程 常用的调度算法 进程创建时确定其优先权，运行期间不改变 按进程类型确定 按作业要求的资源类型和数量确定 按作业提交的时间顺序确定 按用户类型和要求确定 就绪状态的所有进程按FCFS组成队列 首先CPU分给队首的进程，规定一个时间片 就绪队列中的所有进程轮流使用CPU 按调度级别设置多个就绪进程队列 按级别划分时间片 各级就绪进程队列按FIFO组织，FCFS调度 最后一级按循环轮转方式组织调度 进程间的制约关系 间接制约：进行竞争－－独占分配到的部分或全部共享资源，“互斥” 直接制约：进行协作－－等待来自其他进程的信息，“同步” 临界区(critical section)：进程中访问临界资源的一段代码。 进入区(entry section)：在进入临界区之前，检查可否进入临界区的一段代码。 退出区(exit section) 剩余区(remainder sec