将任一语句划分为两个变量的集合R (Si)和W(Si) 读集R(Si)={al,a2,…,am} 操作系统|进程的描述与 写集W(Si)={b1,b2,……,bn} 如对语句S1和S2有: R(S1)nW(S2)={} w(S1)∩R(S2)={Φ} w(S1)∩W(S2)={Φ} 制 成立,则语句S1和s2可并发执行。 CUIT徐红 例1.语句c=a-b和w=c+1 R (c=a-b)=fa, b) W(e=a-b)=fc 作系统|进程的描述与控制2 R(w=c+1)={c} (w=c+1)={w R(w=c+1)nw(c=a-b)=c 语句c=a-b和w=c+1不能并发执行。 CUIT徐红
6 操 作 系 统 | 进 程 的 描 述 与 控 制 11 CUIT 徐虹 将任一语句划分为两个变量的集合R (Si)和W(Si): 读集R(Si)= {a1,a2,……,am} 写集W(Si)= {b1,b2,……,bn} 如对语句S1和S2有: R(S1)∩ W(S2) = {Ф} W(S1)∩ R(S2) = {Φ} W(S1)∩ W(S2)= {Φ} 成立,则语句S1和S2可并发执行。 操 作 系 统 | 进 程 的 描 述 与 控 制 12 CUIT 徐虹 例1. 语句 c = a – b 和 w = c + 1 R(c = a – b )= {a, b } W(c = a – b )= { c } R(w = c + 1 )= { c } W(w = c + 1 )= { w } R(w = c + 1 )∩ W(c = a – b )= { c } 语句 c = a – b 和 w = c + 1 不能并发执行
例2.S1:a=x+y S3:c=a-b s4:w=c+1 操R(S1)={x,y} (S1)={a} 系R(S2)={z} S2)={b} R(S3)={a,b} W(S3)={c} 程R(S4)={c} W(S4)={w} 语句S和S2能并发执行。 与语句S1和S3,S2和S3,S3和s4不能并发执行。 SI IT翻 资源共享 >资源共享是指系统中的硬件资源和 软件资源不再由单个用户所独占,而 为n个用户共同使用。 作系统|进程的描述与控 由系统进行统一分配(硬件)和由 程序自行使用(数据基,变量、队列 等) >程序共行执行与资源共享之间互为 存在条件。 CUIT徐红
7 操 作 系 统 | 进 程 的 描 述 与 控 制 13 CUIT 徐虹 例2. S1 : a = x + y S2 : b = z + 1 S3 : c = a – b S4 : w = c + 1 R(S1)= { x , y } W(S1)= { a } R(S2)= { z } W(S2)= { b } R(S3)= { a ,b } W(S3)= { c } R(S4)= { c } W(S4)={w } 语句 S1 和 S2 能并发执行。 语句 S1 和 S3,S2 和S3,S3 和S4 不能并发执行。 S1 S3 → S4 S2 操 作 系 统 | 进 程 的 描 述 与 控 制 14 CUIT 徐虹 ¾资源共享 ¾资源共享是指系统中的硬件资源和 软件资源不再由单个用户所独占,而 为 n 个用户共同使用。 ¾由系统进行统一分配(硬件)和由 程序自行使用(数据基,变量、队列 等) ¾程序共行执行与资源共享之间互为 存在条件
程序并发执行的特点 失去程序的封闭性和可再现性 程序与计算不再一一对应 操作系统|进程的描述与 程序并发执行的相互制约 执行暂停执行 CUIT徐红 2.2进程的概念 >进程的定义 进程的定义:进程是程序在一个数据集 作系统|进程的描述与控 合上的运行过程,是系统进行资源分配 和调度的一个独立的基本单位 进程的特征 动态性 并发特征 独立特征 异步特征 6 机构特征 CUIT徐红
8 操 作 系 统 | 进 程 的 描 述 与 控 制 15 CUIT 徐虹 ¾程序并发执行的特点 ¾失去程序的封闭性和可再现性 ¾程序与计算不再一一对应 ¾程序并发执行的相互制约 ¾执行——暂停——执行 操 作 系 统 | 进 程 的 描 述 与 控 制 16 CUIT 徐虹 2.2 进程的概念 ¾进程的定义 ¾进程的定义: 进程是程序在一个数据集 合上的运行过程,是系统进行资源分配 和调度的一个独立的基本单位。 ¾进程的特征 ¾动态性 ¾并发特征 ¾独立特征 ¾异步特征 ¾机构特征
进程与程序的关系 操 进程 程序 概念 动态实体 静态实体 强调执行过程 是指令的有序集合 进特征 并发性、独立性、无并行特征 异步性 是静止的 是竞争计算机系统 的描述与控制1 资源的基本单位 两者联系不同的进程可以共享同一个程序 只要对应的数据集不同 CUIT徐红 2.3进程状态及其转换 操>进程状态 个进程的生命期可以划分为一组状 作系统|进程的描述与控制8 态,这些状态刻画了这个进程。系统根据 PCB结构中的状态值控制进程。 >就绪状态( Ready) 执行状态 等待状态(阻塞状态) 新(New)状态 终止状态( Terminated) CUIT徐红
9 操 作 系 统 | 进 程 的 描 述 与 控 制 17 CUIT 徐虹 ¾进程与程序的关系 进程 程序 概念 动态实体, 静态实体, 强调执行过程 是指令的有序集合 特征 并发性、独立性、 无并行特征, 异步性, 是静止的 是竞争计算机系统 资源的基本单位 两者联系 不同的进程可以共享同一个程序, 只要对应的数据集不同 操 作 系 统 | 进 程 的 描 述 与 控 制 18 CUIT 徐虹 2.3 进程状态及其转换 ¾进程状态 一个进程的生命期可以划分为一组状 态,这些状态刻画了这个进程。系统根据 PCB结构中的状态值控制进程。 ¾就绪状态(Ready) ¾执行状态 ¾等待状态(阻塞状态) ¾新(New)状态 ¾终止状态(Terminated)