chapter2_进程相关管理1 计算机操作系统 .pptVIP

计算机操作系统主讲教师：蔡坤; 课程主要内容;从进程的观点研究操作系统;进程管理---第2章;进程同步与通信 2.3 进程同步 2.4 经典进程的同步问题 2.5 进程通信 UNIX中进程的同步与通信 调度与死锁（第3章）;Eg1： 以下三条语句的前趋图为： s1: a:=x+y s2: b:=a-5 s3: c:=b+1 ;二、程序顺序执行;二、程序顺序执行;考虑时间上关系，可有下面示例。;程序顺序执行特点： ;三、程序并发执行;三、程序并发执行;三、程序并发执行;三、程序并发执行;三、程序并发执行;三、程序并发执行;例2：假定一个航班售票系统运行在一个多终端分时系统上共享主机系统数据（库）资源，并在一个城市有两个终端售票机B1，B2，任意航班的座位按顺序预定，简单座位形式如图所示；其中黑色部分表示已售，空白部分为未售。设定有n排，每排m个座位（n，m≥1），又假定座位按顺序预定。两个终端售票机B1、B2有下面虚线框的公共数据（库）与相同的预定程序； ;三、程序并发执行; 前面例子说明了如下问题：在某些情况下，程序的并发执行使得执行结果不再具有封闭性和可再现性，且可能造成出现错误（执行结果受执行速度影响的结果）。 ;补充：程序并发执行的条件;如果对于语句S1和S2，有： ① R(S1)∩ W(S2)={ }， 即S1读变量不是S2 修改的变量。 ② W(S1)∩ R(S2)={ }， 即S2读变量不是S1 修改的变量。 ③ W(S1)∩ W(S2)={ }， 即双方都不修改相同的变量。 同时成立，则语句S1和S2是可以并发执行的。;[例] 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}, R(S4)={c}, W(S4)={w}, 因为 R(S1)∩W(S2)=φ,R(S2)∩W(S1) =φ 且W(S1)∩W(S2) =φ 所以由Bernstein条件，s1与s2并发执行。 同理可证s1与s3,s2与s3,s3与s4不能（略）。 ; 如果并发执行的各程序段中语句或指令满足上述Bernstein 的三个条件（同时成立），则认为并发执行不会对执行结果的封闭性和可再现性产生影响（证明略）。 但在一般情况下，这个条件对于软件设计（模块化）过于苛刻，系统要判定并发执行的各程序段是否满足Bernstein 条件是相当困难的。从而，如果并发执行的程序段不按照特定的规则和方法进行资源共享和竞争，则其执行结果将不可避免地失去封闭性和可再现性。; 根据Bernstein 条件，我们不能通过限制程序的编写方式和内容来获得系统的可再现性，因此解决此问题可能需要依靠控制程序的执行过程来解决。 为了控制和协调各程序执行过程中的软、硬件资源的共享和竞争，显然，必须应有一个描述各程序段执行过程和共享资源的基本单位。 ; 从上述讨论可以看出，用程序段作为描述其执行过程和共享资源的基本单位既增加操作系统设计和实现的复杂性，也无法反映操作系统所应该具有的程序段执行的并发性、用户随机性，以及资源共享等特征。也就是说，用程序作为描述其执行过程以及共享资源的基本单位是不合适的。需要有一个能描述程序的执行过程且能用来共享资源的基本单位。这个基本单位被称为进程（或任务）。 ;;一、进程的定义、特征;注：进程与程序的主要区别;;2、进程process的基本特征 （1）结构特征 为了描述和记录进程的运动变化过程，并使之能正确运行，每个进程都应配置一个进程PCB。所以，从结构上看，每个进程（进程实体）都是由程序段、相关数据段及进程控制块（PCB）组成。 注：1.在早期UNIX版本中称进程的三个组成部分为“进程映像” 2.区别进程实体和进程。 ;一、进程的定义、特征;2、进程process的基本特征 （4）独立性 指进程是一个能独立运行的基本单位，也是系统进行资源分配和调度的独立单位。 ;二、进程状态;二、进程状态;基于模块化，或为了并发性，用户程序可以指示创建多个进程;事件 ; 2、进程状态转换