华东理工815操作系统第3讲.pptVIP

课程主要内容 操作系统引论（第1章） 进程管理（第2-3章） 存储管理（第4章） 设备管理（第5章） 文件管理（第6章） 操作系统接口（第7章） Unix操作系统（第10章） 从进程的观点研究操作系统 把OS看作是由若干个可独立运行的程序和一个可对这些程序进行协调控制的核心（内核）组成。 这些运行的程序称为进程，它是资源分配和独立运行的基本单位，每一个进程都完成某一特定任务。 OS的内核则必须要控制和协调这些进程的运行，解决进程之间的通信，并从系统可并发工作为出发点，实现并发进程间通信，并解决由此带来的共享资源的竞争问题。 第2章 进程管理 Process Management 进程的基本概念与控制 进程的基本概念 进程控制 线程的基本概念 UNIX中进程的描述与控制 进程同步与通信 进程同步 经典进程的同步问题 管程机制 进程通信 UNIX中进程的同步与通信 调度与死锁（第3章） 2.1 进程的基本概念 前趋图 程序顺序执行 程序并发执行 进程的描述 进程的定义、特征 进程的状态（状态、状态转换 及挂起状态） 进程控制块PCB 一、前趋图的定义 前趋图： 定义：有向无循环图，是一个二元组，由结点的集合和有向边组成。其中： 结点：表示一条语句、一个程序段或一个进程 有向边：两个结点之间的前趋关系“ ” （ ={(Pi,Pj)|Pi必须在Pj开始执行之前完成}）。 直接前趋、直接后继 初始结点、终止结点 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 二、程序顺序执行(1) 通常一个程序可分成若干个程序段，它们必须按照某种先后次序执行，仅当前一操作执行后，才能执行后继操作。 Eg1: S1: a:=x+y S2: b:=a-5 S3: c:=b+1 Eg2:进行计算： I:输入操作　C:计算操作　P:打印操作 在进行计算时，总是先输入用户的程序和数据，然后进行计算，最后将结果打印出来。 二、程序顺序执行(2) 程序顺序执行时有如下特征： 顺序性—处理机的操作严格按照程序所规定的顺序执行，每一操作必须在下一个操作开始之前结束。 封闭性—在封闭环境下执行，独占全机资源，执行结果不受外界影响。 可再现性—只要程序执行时的环境和初始条件相同，当程序重复执行时，不论它是从头到尾不停顿地执行，还是“走走停停”地执行，都将获得相同的结果。 三、程序并发执行（1） 在处理一批作业时，有的程序可实现并发执行 S1：a:=x+2S2: b:=y+4S3: c:=a+bS4: d:=c+6 三、程序并发执行（2） 程序并发执行时的特征 间断性—相互制约导致并发程序具有“执行-暂停-执行”这种间断性的活动规律。 失去封闭性—多个程序共享系统中的各种资源，资源状态由多个程序来改变。 不可再现性—由于程序的并发执行，打破了由另一程序独占系统资源的封闭性，因而破坏了可再现性。 （补充）程序并发执行的条件（Bernstein条件)（见下页） 三、程序并发执行（3） （补充）程序并发执行的条件（Bernstein条件)（使并发执行的程序能保持可再现性）： 读集 R(pi)={a1,a2,a3,…,am}：表示程序pi在执行期间所需参考的所有变量的集合。 写集 W(pi)={b1,b2,b3,…,bm}：表示程序pi在执行期间要改变的所有变量的集合。 Bernstein条件： 若两个程序p1和p2能满足下述条件，它们便能并发执行，且具有可再现性。 R(p1)?W(p2)?R(p2)?W(p1)?W(p1)?W(p2) ={} 程序并发执行条件例题 Eg S1：a:=x+2 S2: b:=z+4 S3:c:=a-b 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}, R(S4)={c}, W(S4)={w}, 因为 R(S1) W(S2)={},R(S2) W(S1) ={} 且