计算机操作系统 第二章 进程管理(1).pptVIP

第二章 进程管理 本章内容 2.1 进程的基本概念 2.2 进程控制 2.3 进程同步 2.4 经典的进程同步问题 2.5 进程通信 2.6 线程 2.1 进程的基本概念 现代操作系统的基本特征是并发与共享。 为了描述程序在并发执行时对资源的共享，我们需要一个概念，来描述程序在执行时的动态特征，这个概念就是进程。 进程是资源分配和独立运行的基本单位。 2.1.1 程序顺序执行及其特征 1．程序的顺序执行 程序：是一个在时间上按严格次序顺序执行的操作序列，是一个静态的概念。 程序的顺序执行：操作系统依次执行一个程序，在程序的整个执行过程中该程序独占处理机等所有的系统资源，直至得到最终结果。 顺序执行是单道批处理系统的执行方式。 程序的顺序执行给程序的编制、调试带来很大方便，其缺点是计算机系统效率不高。 语句的顺序执行： S1：a=x+y S2：b=a-5 S3：c=b+1 程序段的顺序执行： 2．程序顺序执行时的特征 （1）顺序性：一个程序各个部分，严格地按照程序结构所规定的次序执行。 （2）封闭性：程序在封闭的环境下运行，运行时独占全部系统资源。计算机的状态完全由该程序的控制逻辑决定。程序执行得到的结果由给定的初始条件决定，不受外界因素的影响。 （3）可再现性：只要程序执行时的环境和初始条件相同，当程序重复执行时，将获得相同的结果。 2.1.2 前趋图 为了描述一个程序的各部分（程序段或语句）间的依赖关系，或者是一个大的计算的各个子任务间的前后顺序关系，我们常常采用前趋图方式。 前趋图：一个有向无循环图，记为DAG（Directed Acyclic Graph）。 如 P27 图2-2 前趋图中的每个结点可以表示一条语句、一个程序段或进程，结点间的有向边表示两个结点之间存在的偏序或前趋关系 “→” 若Pi→Pj，则称Pi是Pj的直接前趋，Pj是Pi的直接后继。 初始结点(Initial Node)：没有前趋的结点。 终止结点(Final Node)： 没有后继的结点。 2.1.3 程序的并发执行及其特征 1．程序的并发执行 多个程序同时进入内存，在一个处理器上交替执行。宏观上并发，微观上是交替。 2．程序并发执行时的特征 （1）间断性：程序并发执行时，由于它们共享资源或程序之间相互合作完成一项共同任务，致使程序之间相互制约。相互制约将导致并发程序具有“执行——暂停——执行”间断性的活动规律。 （2）失去封闭性：多程序共享资源，资源的状态将受多个程序影响而改变，致使每个程序会受其他程序的控制逻辑的影响。 （3）不可再现性：失去封闭性 －失去可再现性；外界环境在程序的两次执行期间发生变化，也就失去了原有的可重复特征 。 3．并发执行产生的影响 程序并发执行，是为了增强计算机系统的处理能力和提高资源利用率所采取的一种技术。但也导致了资源共享和资源竞争，从而改变程序的执行环境，导致一些在顺序执行方式下可正常工作的程序在并发执行时不能正常工作。 为此，操作系统必须通过有效管理来保证并发执行程序的封闭性和可再现性。 2.1.4 进程的特征与状态 1．进程的定义与特征 进程概念： 进程是一个具有一定独立功能的程序，在一个数据集合上的一次动态运行过程。它是系统进行资源分配和调度的一个独立单位。 从操作系统管理的角度出发，进程实体由程序段、相关的数据段和PCB三部分构成。 进程的特征 （1）结构特征 进程包含了数据集合和运行于其上的程序。为了控制和管理进程，系统为每个进程设立一个进程控制块——PCB，是操作系统用于记录和刻划进程状态及有关信息的数据结构。OS依据PCB对进程进行控制和管理，PCB中的内容会随进程推进而动态改变。 进程的特征 （2）动态性 进程是进程实体的一次执行过程，是动态概念，它具有生命周期，由创建而产生，由调度而执行，由撤销而消亡。同时进程地址空间的大小和内容都是动态变化的。 程序是一组有序指令集合，是静态概念，所以，程序作为一种系统资源是永久存在的。 进程的特征 （3）并发性 多个进程同存于内存中，且能同时运行。 （4）独立性 进程是一个能独立运行的基本单位，同时也是系统分配资源和调度的独立单位。各进程的地址空间也相互独立。 （5）异步性 由于进程间的相互制约，使进程具有执行的间断性，进程按各自独立的、不可预知的速度向前推进。也即并发性。 2．进程的基本状态 一个进程的生命期可以划分为一组状态，这些状态刻划了整个进程。系统根据PCB结构中的状态值控制进程。 三态模型 五态模型 三态模型 运行（running）态：占有处理器正在运行。 就绪（ready）态：指具备运行条件，等待系统分配处理器以便运行。当进程已分配到除CPU以外的所有必要资源时，它便处于就绪状态，一旦获得CPU，便立