os_ecust_2.pptVIP

第 二 章 进 程 管 理 为了描述程序在并发执行时对系统资源的共享，我们需要一个描述程序执行时动态特征的概念，这就是进程。在本章中，我们将讨论进程概念、进程控制和进程间关系。本章的学习目的是使学生建立起进程的概念。 进程、线程是操作系统中最重要的内容，在多道并发系统内，应用程序都是以进程或线程的形式参与系统的并发执行的。通过本章学习应掌握进程的定义和特征，深入理解进程的基本状态以及状态转换，进程与程序的区别；掌握进程的同步与互斥，能够灵活运用信号量描述同步问题；了解进程通信的类型；了解管程的定义及如何利用管程解决一些经典的同步问题，了解线程的概念。 主 要 内 容 进程的基本概念 进程控制 进程同步 经典进程同步问题 管程机制 进程通信 线程 进程的基本概念 程序的顺序执行和并发执行 进程的定义和特征 进程的状态转换 进程的描述 程序的顺序执行和并发执行 程序的执行有两种方式：顺序执行和并发执行。 顺序执行是单道批处理系统的执行方式，也用于简单的单片机系统； 现在的操作系统多为并发执行，具有许多新的特征。引入并发执行的目的是为了提高资源利用率。 并发环境：在一定时间内物理机器上有两个或两个以上的程序处于开始运行但尚未结束的状态，并且次序不是事先确定的。 程序并发执行 顺序执行的特征：（前趋图） 顺序性：按照程序结构所指定的次序（可能有分支或循环） 封闭性：独占全部资源，计算机的状态只由于该程序的控制逻辑所决定 可再现性：初始条件相同则结果相同。如：可通过空指令控制时间关系。 并发执行的特征 间断(异步)性：走走停停，一个程序可能走到中途停下来，失去原有的时序关系； 失去封闭性：共享资源，受其他程序的控制逻辑的影响。如：一个程序写到存储器中的数据可能被另一个程序修改，失去原有的不变特征。 失去可再现性：失去封闭性 －失去可再现性；外界环境在程序的两次执行期间发生变化，失去原有的可重复特征。 程序并发执行的条件： 设：读集R(Pi)={a1,a2,……,am}; 表示程序Pi在执行期间所需参考的所有变量的集合。 写集R(Pj)={a1,a2,……,am}; 表示程序Pi在执行期间所需改变的所有变量的集合。 当两个程序P1和P2具有如下条件时，便能并发执行，且具有可再现性： R(P1) ∩W(P2) 或R(P2) ∩W(P1) 或W(P1) ∩W(P2) ={ } 进程的定义和特征 进程的特征 结构特征：代码段、数据段和核心段（在地址空间中）；程序文件中通常也划分了代码段和数据段，而核心段通常就是OS核心（由各个进程共享，包括各进程的PCB）——程序 + 数据 + PCB 动态性：进程具有动态的地址空间（数量和内容），地址空间上包括： 代码（指令执行和CPU状态的改变） 数据（变量的生成和赋值） 系统控制信息（进程控制块的生成和删除） 独立性：各进程的地址空间相互独立，除非采用进程间通信手段； 并发性：任何进程都可以和其他进程一起向前推进； 异步性：每个进程以相对独立的、不可预知的速度向前推进（万马奔腾） 进程与程序的区别 进程是动态的，程序是静态的：程序是有序代码的集合；进程是程序的执行。通常进程不可在计算机之间迁移；而程序通常对应着文件、静态和可以复制。也是进程与程序最本质的区别。 进程是暂时的，程序的永久的：进程是一个状态变化的过程，有生命周期；程序则没有，可长久保存。 进程与程序的组成不同：进程的组成包括程序、数据和进程控制块（即进程状态信息）。 进程与程序的对应关系：通过多次执行，一个程序可对应多个进程；通过调用关系，一个进程可包括多个程序。 进程的状态及其转换 三种基本状态 就绪状态 执行状态 阻塞状态 三种基本状态 运行状态(Running)：占用处理机资源；处于此状态的进程的数目小于等于CPU的数目。 在没有其他进程可以执行时（如所有进程都在阻塞状态），通常会自动执行系统的idle进程（相当于空操作）。 就绪状态(Ready)：进程已获得除处理机外的所需资源，等待分配处理机资源；只要分配CPU就可执行。 可以按多个优先级来划分队列，如：时间片用完－低优，I/O完成－中优，页面调入完成－高优 阻塞状态(Blocked)：由于进程等待某种条件（如I/O操作或进程同步），在条件满足之前无法继续执行。该事件发生前即使把处理机分配给该进程，也无法运行。如：等待I/O操作的完成。 其他状态 创建状态(New)：进程刚创建，但还不能运行(一种可能的原因是OS对并发进程数的限制)；如：分配和建立PCB表项（可能有数目限制）、建立资源表格（如打开文件表）并分配资源，加载程序并建立地址空间表。 结束状态(Exit)：进程已结束运行，回收除PCB之外的其他资源，