[工学]操作系统第二章.ppt

2.3 进程同步 思考题 1．如果系统中有N个进程，执行状态的进程最多几个，最少几个；就绪进程最多几个最少几个；阻塞进程最多几个，最少几个？ 2. 有没有这样的状态转换，为什么？ 阻塞—执行；就绪—阻塞 3. 一个状态转换的发生，是否一定导致另一个转换发生 4）线程与进程 切换时开销大 切换时开销小 系统开销 拥有资源的基本单位 享用进程资源，不独立拥有资源 拥有资源 多个进程并发 多个线程并发，提高了并发程度 并发性 不同进程间的线程切换会引起进程切换 调度的基本单位，同一进程间的线程间切换不会引起进程的切换 调度 进程 线程 （2）用户级线程与内核支持线程 进程轮流执行 线程轮流执行 线程执行时间 阻塞进程 阻塞线程 系统调用 无需中断进入内核，速度极快 调度上与进程相似，速度更快 线程的调度与切换速度 用户级线程 内核支持线程 4）Windows 线程模型实例分析 采用了客户机/服务器模型，每个服务器进程使用多个线程来处理同时来自多个客户的请求 进程、线程均被视为对象 进程的实现：1、一个可执行程序；2、一个由该进程专用的地址空间；3、系统资源，存放在对象表中；4、至少一个线程。 线程的实现：1、客户ID；2、表示CPU状态的一组寄存器内容；3、两个栈，分别在用户态和核心态下使用；4、一个该线程专用的存储区域，称为线程现场 * 第二章 进程管理 （1）程序顺序执行 input1 compute1 print1 input2 compute2 print2 S1: a:=5 S2: b:=a+1 S3: c:=b*4 程序顺序执行时的特征：顺序性、封闭性、可再现性 S1 S2 S3 1.进程的基本概念 （2）前趋图 a d b c f e 存在如下 前趋关系 a? b a ? c a ? d b ? f c ? f d ? e e ? f 甲 乙 丙 前趋图是一个有向无循环图 （3）程序并发执行 I1 I2 I3 C1 C2 C3 P1 P2 P3 程序并发执行的特征：间断性、失去封闭性、不可再现性 A: n:=1;print(n) B: n:=0 （4）进程的特征与状态 进程的特征和定义 --------- 结构特征 （PCB） 明确性 异步性 无独立性 独立性 单道性 并发性 静态性 动态性 程序 进程 进程是进程实体的运行过程，是系统进行资源分配和调度的一个独立单位。 程序并发执行的条件 读集R(p):程序p在执行过程中需参考的变量集合 写集W(p):程序p在执行过程中需改变的变量集合 c:=a+b R(c:=a+b)={a,b} W(c:=a+b)={c} 1966年，Bernstein提出程序并发执行条件： R(P1) ∩W(P2) U R(P2) ∩W(P1) U W(P1) ∩W(P2)={ } 课后作业 试利用Bernstein条件指明下列进程哪些可以并发 （1）S1: a=5-x S2: b=a+x （2）S3: a=7-x S4: b=c+x 进程的基本状态 1）进程的三种基本状态 就绪状态 执行状态 阻塞状态 2）新状态与终止状态 3）进程状态的转换 新状态 就绪状态 执行状态 阻塞状态 终止状态 中断 I/O请求 I/O完成 进程的挂起状态 1）引入挂起状态的原因： 终端用户的需要 父进程的需要 操作系统的需要 对换的需要 调节负荷的需要 2）进程状态的转换 活动就绪 ? 静止就绪 活动阻塞 ? 静止阻塞 静止就绪 ? 活动就绪 静止阻塞 ? 活动阻塞 （5）进程控制块PCB 1）PCB(Process Control Block)的作用 记录操作系统所需要的描述进程状况的全部信息 使进程能够并发 进程存在的唯一标志 PCB常驻内存系统区 2）PCB(Process Control Block)中的信息 进程标示符 外部标示符 内部标示符（子进程标示符、父进程标示符、用户标示符） 处理机状态 通用寄存器 指令计数器 程序状态字PSW(Program State Word) 用户栈指针 进程调度信息 进程状态 进程优先级 其他信息（如CPU使用时间、执行总时间） 阻塞原因 进程控制信息 程序及数据地址 进程同步和通信机制 资源清单 链接指针 3）PCB的组织方式 ? 链接方式 执行指针 就绪队列指针 阻塞队列指针 空白队列指针 …… 15 PCB9 0 PCB8 9 PCB7 7 PCB6 PCB5 8 PCB4 0 PCB3 3 PCB2 4 PCB1 ? 索引方式 执行指针 就绪表指针 阻塞表指针 就绪索引表 阻塞索引表 …… PCB7 PCB6 PCB5 PCB4 PCB3 PCB2