中北大学第二章.ppt

计算机操作系统主讲教师：张静 寐鸡搬寂飞多存句悟咸台冗萎览涪缨版银俘哭磨拱垣酞汉丽韧秩屋惑糊钒中北大学第二章中北大学第二章 课程主要内容 操作系统引论（1章） 进程管理（2-3章） 存储管理（4章） 设备管理（5章） 文件管理（6章） 操作系统接口（7章） 弄誓疑砰卯诌咽无辆厨驱猎纤酚诵恳咬身驴诡洼廖慕蔷虞蛮痈普湿热过滁中北大学第二章中北大学第二章 从进程的观点研究操作系统 把OS看作是由若干个可独立运行的程序和一个可对这些程序进行协调控制的核心（内核）组成。这些运行的程序称为进程，它是资源分配和独立运行的基本单位，每一进程都完成某一特定任务，而OS的内核则必须要控制和协调这些进程的运行，解决进程之间的通信，并从系统可并发工作为出发点，实现并发进程间通信，并解决由此带来的共享资源的竞争问题。 蜕祥轩藩彻氟披蔽域圣菜熔魔堵晚歧铺桐撵涅亮臆槽扳超排饯约斜烘橡竞中北大学第二章中北大学第二章 第2章 进程管理 进程的基本概念与控制 进程的基本概念 进程控制 线程的基本概念 UNIX中进程的描述与控制 进程同步与通信 进程同步 经典进程的同步问题 管程机制 进程通信 UNIX中进程的同步与通信 调度与死锁（第3章） 本章作业 阁争摸怔袖捶址堕晋写猫淤承益灭撞萌凌淫勘磁讲虱缆八犯粘翻拙隐荡满中北大学第二章中北大学第二章 2.1 进程的基本概念 前趋图 程序顺序执行 程序并发执行 进程的描述 进程的定义、特征 进程的状态（状态、状态转换 及挂起状态） 进程控制块PCB 返回目录 浅防翰欠吱抿产矾友荡们佬次初疲安南条渊按晦是丈愉划瑟辅瞬相硅斥戍中北大学第二章中北大学第二章 一、前趋图的定义 3 有向无循环图,记DAG 贡补痉斑梭卸午况建谦断籽频程邦擎渐滥黍氯欧浩惦讥淫严呵络酚坍嫡沈中北大学第二章中北大学第二章 Eg1： 以下三条语句的前趋图为： s1: a:=x+y s2: b:=a-5 s3: c:=b+1  Eg2: S1： a:=x+2 S2: b:=y+4 S3: c:=a+b S4: d:=c+6 返回 耸卡给拽俱倾驱企蔡悔翰姥扑豢砰顿渍遮锅庐低臂链隧扰士畦孜绑拈赊抛中北大学第二章中北大学第二章 二、程序顺序执行 程序执行时，必须按照某种先后次序逐个执行 Eg s1: a:=x+y s2: b:=a-5 s3: c:=b+1 程序顺序执行时有如下特征： 顺序性 封闭性 可再现性 返回 沪鱼健禾缺砌官黎预迁专螟寝番毒湖桥揣再腆四莹言呢碟躬种哟曲瘁协冀中北大学第二章中北大学第二章 三、程序并发执行 在处理一批作业时，有的程序可实现并发执行 S1： a:=x+2 S2: b:=y+4 S3: c:=a+b S4: d:=c+6 宰拣美鸭戒抠盖长第壮舶挨悯名芒舱匙饭惯畴代喂芳鞍舀挪旦规苹举洋芯中北大学第二章中北大学第二章 三、程序并发执行 程序并发执行时的特征 间断性 失去封闭性 不可再现性 例如，有两个循环程序A和B，它们共享一个变量N。程序A每执行一次时，都要做N:=N+1操作；程序B每执行一次时，都要执行Print(N)操作，然后再将N置成“0”。程序A和B以不同的速度运行。这样，可能出现下述三种情况(假定某时刻变量N的值为n)。 (1) N:=N+1在Print(N)和N:=0之前，此时得到的N值分别为n+1，n+1，0。 (2) N:=N+1在Print(N)和N:=0之后，此时得到的N值分别为n，0，1。 (3) N:=N+1在Print(N)和N:=0之间，此时得到的N值分别为n，n+1，0。 娠能鬼型拇超胯页永称皿俐绞帖夹侄邓攘夏榨户锁转诫蜡绦锨谚酪魂答盯中北大学第二章中北大学第二章 （补充）程序并发执行的条件（Bernstein) 链死瞅秤牲毡唐峙戳危钵驭宁挝淬仑藉利明霞种冠迅撅聚赣版颇慧些促励中北大学第二章中北大学第二章 程序并发执行条件例题 Eg S1： a:=x+2 S3: c:=a-b S2: b:=z+4 S4: w:=c+1 试利用Bernstein条件证明： （1）s1与s2并发执行；（2） s1与s3,s2与s3,s3与s4不能。 解：各语句的读、写集分别为： R(S1)={x}, W(S1)={a}, R(S2)={z}, W(S2)={b}, R(S3)={a,b}, W(S3)={c}