操作系统-CH2-进程管理.ppt

操作系统 第二章 进程管理 Process Management [prɑ:ses] [m?nid?m?nt] 目录 2.1 进程的基本概念 2.2 进程控制 2.3 进程同步 2.4 经典进程同步问题 2.5 管程机制 2.6 进程通信 2.7 线程 2.1进程的基本概念 未配置OS的系统：程序顺序执行 程序的顺序执行及其特征 现代多道程序环境下：程序并发执行 程序的并发执行及其特征 2.1进程的基本概念 2.1.1 程序的顺序执行及特征 1. 程序执行有固定的时序 2. 程序顺序执行时的特征 顺序性：操作的前后依赖性 封闭型：独占资源，资源状态只有本程序更改 可再现性：初始环境和条件，结果相同 程序顺序执行的优点 符合人的直觉 有利于错误调试 2.1.2 前趋图 有向无循环图DAG 目的：描述进程之间的前后顺序 表示方式： (1) p1?p2 (2) ?={(p1,p2)| p1 必须在p2开始前完成} 2.1.3 程序的并发执行 1. 多个程序的并发执行 例 根据下述语句，画出前趋图 S1: a = x+2 S2: b = y+4 S3: c = a+b S4 d = c+b 2.1.3 程序的并发执行 2. 特征 间断性: 如打印程序等待计算程序完成之后方可继续 执行—暂停—执行…… 失去封闭性 主要由共享资源引起，资源的状态将由多个程序改变； 不可再现性 计算结果与并发程序的执行速度有关 例P29 例 有2个循环程序A和B，它们共享一个变量N（ 设N的初值为n ） 程序A每执行一次时，都要做N:=N+1; 程序B每次要执行Print(N), 然后再做N:=0. 若程序A,B以不同的速度运行，其结果将会是？ 2.1.3 程序的并发执行 N:=N+1在print(N)和N:=0之前，则N值分别为n+1, n+1, 0. N:=N+1在print(N)和N:=0之后，则N值分别为n, 0, 1. N:=N+1在print(N)和N:=0之间，则N值分别为n, n+1, 0. 例 多次运行结果 思考 在多道程序环境下，程序执行属于并发执行，具有3个典型特性（哪3个？） 结果的不可再现性的问题 要保证结果的再现性，就需要对并发执行的程序加以描述和控制，其结果就是引入了“进程”概念 进程=程序+执行 在Multics OS之前，主要采用IBM的“作业（job）”概念，之后，改为进程（Process） 2.1.4 进程的特征和状态 1. 进程的特征和定义 一、定义： 程序的一次执行过程 1.结构特征 进程：由程序段、数据段及进程控制块三部分构成，总称“进程映像（Unix中）”。 2.动态性：进程实体的一次执行过程 由“创建”而产生，由“调度”而执行；由得不到资源而阻塞；由撤消而消亡。（而程序是静态的）。 2.1.4 进程的特征和状态(2) 3.并发性 如同时浏览多个网页 只有建立了进程，才能并发执行。 4.独立性 独立运行，独立获得资源。资源分配与调度的基本单位 浏览器邮箱登陆实例 5.异步性： 各进程以不可预知的速度向前推进 间断性 进程定义 进程是程序实体的执行过程，是系统进行资源分配与调度的独立单位。 2.1.4 进程的特征和状态(3) 进程执行的间断性，使得进程具有多种不同的状态 2. 进程的三种基本状态 就绪 执行 阻塞 2.1.4 进程的特征和状态(4) 3. 挂起状态（被换出内存的状态） 引入原因 终端用户请求 父进程请求 负荷调节需要 操作系统需要 挂起演示 vi，CTRL+z debugging 进程状态的转换(图2-6) 活动就绪?静止就绪 活动阻塞?静止阻塞 静止就绪?活动就绪 静止阻塞?活动阻塞 图2－6 具有挂起状态的进程状态图 实验 写一个程序描述进程状态迁移过程。 要求： 提供导致进程状态变化的调用接口，包括创建、删除、调度、阻塞、时间到、挂起、激活等。 实现进程列表显示的接口。 注：这里设计的进程是一个假设的对象实体，是由程序自己创建和删除，不是系统维护的进程。 2.1.5 进程控制块 1.进程控制块的作用 是不能独立运行的程序变为能独立运行的基本单位 是进程存在的唯一标志； PCB (Process Control Block)常驻内存 2.进程控制块中的信息 标识、处理机状态，进程调度信息，进程控制信息 PCB 进程标识符 内部标识符与外部标识符 处理机状态 能在断点恢复运行 通用寄存器、指令计数器、程序状态字PSW、用户栈指针 进程调度信息 进程状态、优先级、与调度有关的其他信息（如等待时间）、事件（阻塞事件） 进程控制信息 程序和数据的地址 进程同步和通信机制：消息队列指针、信号量 资源清单 在PCB队列中的链接指针 2.1.5 进程控制块(2) 3.PCB的组织 链接