第2章 操作系基础知识.pptVIP

* 程序并发执行(Concurrent Execution)与特征 在计算机系统支持并行操作时，如采用多道程序设计技术，则内存中多道程序处于并发执行状态。如上述有三个程序段的作业类，虽然每个作业有前趋关系的各程序段不能在系统CPU和输入输出各部件并行执行，但一个作业没有前趋关系的程序段或不同作业的程序段可以分别在CPU和各输入输出部件上并行执行。 * 3个上述三个程序段类的作业并发执行的前趋图 * 程序并发执行特征 失去封闭性：程序在并发执行时，是多个程序共享系统中的各种资源，因而这些资源的状态将由多个程序来改变，致使程序的运行已失去了封闭性。 不可再现性：程序在并发执行时，由于失去了封闭性，也将导致失去结果的可再现性。即程序经过多次运行，虽然其各次的环境和初始条件相同，但得到的结果却各不相同。 并发程序间具有相互制约性。程序在并发执行时，由于它们共享资源或为完成同一项任务而相互合作，使在并发程序之间形成了相互制约的关系。相互制约将导致并发程序具有“执行-暂仃-执行”这种间断性活动规律。 * 例：观察者/报告者 观察者： 报告者： begin begin repeat repeat wait a car go through delay a time N=N+1； Print N ； N=0 ； until until end end 初始N=100时不同执行序列： N=N+1； Print N； Print N ； Print N ； N=0 ； N=N+1 ； N=0 ； N=N+1 ； N=0 ； 结果各不相同: 打印101，N=0； 打印100，N=1； 打印100，N=0； * 由于程序在并发执行时，各次执行的结果不同，所以用“程序”这个概念已无法描述程序的并发执行，所以必须引入新的概念-进程来描述程序的并发执行。 进程这一术语最早由麻省理工学院著名的操作系统MULTICS中提出。 进程(Process)定义：可并发执行的程序在一个数据集合上的运行过程。 * 进程的特征 动态性：动态性是进程的最基本特征，它是程序执行过程，它是有一定的生命期。它由创建而产生、由调度而执行，因得不到资源而暂仃，并由撤消而死亡。而程序是静态的，它是存放在介质上一组有序指令的集合，无运动的含义。 并发性：并发性是进程的重要特征，同时也是OS的重要特征。并发性指多个进程实体同存于内存中，能在一段时间内同时运行。而程序是不能并发执行。 独立性：进程是一个能独立运行的基本单位，即是一个独立获得资源和独立调度的单位，而程序不作为独立单位参加运行。 异步性：进程按各自独立的不可预知的速度向前推进，即进程按异步方式进行，正是这一特征，将导致程序执行的不可再现性，因此OS必须采用某种措施来限制各进程推进序列以保证各程序间正常协调运行。 * 进程的组成 结构特征：从结构上，进程实体由程序、数据和进程控制块（PCB）三部分组成，UNIX中称为“进程映象”。 程序：描述了进程要完成的功能。它是程序执行时不可修改的部分。 数据：包括程序执行时所需的数据及工作区，这部分只能为一个进程所专用，是进程的可修改部分。 进程控制块（Process Control Block，PCB）：对进程本质属性的描述，是操作系统管理进程所需要的基本信息，是进程存在的唯一标志 进程控制块 其主要内容如表所示 * 3 进程状态及其转换 (Process State and Transition) 进程的三态模型 运行（Running） :当一个进程在处理机上运行时，称该进程处于运行状态。显然，对于单处理机系统，处于运行状态的进程只有一个。 就绪（Ready） :一个进程获得了除处理机外的一切所需资源，一旦得到处理机即可运行，则称此进程处于就绪状态。 阻塞（Blocked） :也称等待或睡眠状态，一个进程正在等待某一事件发生(例如，请求IO而等待IO完成等)而暂时停止运行，这时即使把处理机分配给该进程，它也无法运行，故称该进程处于阻塞状态。 * 进程的三态模型 * 三个基本状态之间可能转换和转换原因 就绪态――＞运行态：当处理机空闲时，进程调度程序必将处理机分配给一个处于就绪态的进程 ，该进程便由就绪态转换为运行态。 运行态――＞阻塞态：