三进程管理.docVIP

第三章 进程管理 （一）具体知识点 1.进程的引入和定义 2.进程状态和转换 3.进程产生与终止 4.进程的描述 5.进程控制 6.进程互斥与同步 （二）学习要求 通过对本章节的学习，理解进程是系统中的基本执行单位，对进程控制块有比较深入的掌握，重点是进程的互斥和同步问题 （三）本章节体系 1．进程概念及状态迁移 程序的一次执行就是一个进程，进程概念和程序概念最大的不同之处在于： ??? ●进程是动态的，而程序是静态的。 ??? ●进程有一定的生命期，而程序是指令的集合，本身无“运动”的含义。没有建立进程的程序不能作为1个独立单位得到操作系统的认可。 ???●1个程序可以对应多个进程，但1个进程只能对应1个程序。进程和程序的关系犹如演出和剧本的关系。 生命期内三种状态： 在生命期内，每个进程至少有3种基本状态： ●就绪(Ready)状态? 进程取得了除CPU之外的所有必要的资源，它正在申请处理机资源。这种情况下的进程处于就绪状态。 ●阻塞(Blocked)状态? 进程放弃对处理机的拥有权，又不具备马上再度申请处理机的条件的情况下，进程处于阻塞状态，又称等待状态、睡眠状态。 ●运行状态? 进程取得了对处理机的拥有权的状态。注意，进程取得了对系统资源的拥有权，实际上也就取得了对资源的使用权。但在处理机上真正执行的基本单位是所谓的线程(thread)而不是进程──这是当前操作系统普遍采用的方法。由进程申请处理机的拥有权，然后由它的线程使用 图一：状态变迁图 2．进程互斥与同步 进程是申请系统资源的基本单位，但由于系统资源数量有限，必然导致诸进程间的资源竞争。用户进程与系统进程之间，同一用户作业内部各进程之间，不同用户各作业的进程之间，各系统进程之间都存在资源竞争问题，因此进程之间的关系非常复杂。如果对竞争失控，产生的后果是：要么资源在使用过程中遭到破坏，要么是各进程为争夺资源而形成僵持局面(死锁)。为了规范竞争，提出了进程互斥、同步与死锁防治的措施。 临界资源与临界段： 某些计算机资源固有如下特性：1次仅允许1个进程使用，即本次未使用完之前是不允许别的使用者使用的。例如打印机就是这种资源。甲进程正在使用打印机期间不允许别的进程插进来共用。具备这种特性的资源称为临界资源(critical resource)，使用临界资源的那段程序称为临界段(critical section)。临界段代表资源被占用的时间片，在这个时间片内，资源的使用权属于进入临界段的那个进程。换句话说，临界资源是一类必须顺序使用的资源，进程获得对它的使用权就等价于该进程获得进入自己的临界段的权利。为什么进入自己的临界段还要获准呢？因为不这样做有可能违犯顺序使用原则，或者说犯与时间有关的错误。从资源角度看，它被顺序地使用；从进程角度看，它被各个进程互斥地使用。说到底，各进程必须互斥地进入自己的临界段。 互斥工具： 操作系统提供互斥工具才能保证进程互斥地进入临界段。互斥工具应能保证：①当临界资源有空闲时，允许1个进程进入临界段；②当临界资源忙时，试图使用该资源的进程等在该资源上；③退出临界段时，若有等待进程则允许其中的1个进程进入临界段。若无等待者，则置临界资源为空闲。显然互斥工具没有义务防止某个进程永久滞留在临界段。下面介绍2种互斥工具。 测试与设置 由硬件实现，定义如下：??? TS (var lock: boolean): boolean;{TS= lock;//返回lock的值，它是布尔量lock=true;//lock为true表示该资源正在使用 }//lock为false, 表示该资源空闲? 利用TS指令实现进程互斥的模板如下：?pi进程???......?? while TS(lock) do skip//循环测试直到TS(lock)??? 临界段 i//为false，进入临界段?? lock = false//离开临界段时，置lock为false......//以允许其他进程进入临界段。有的文献把while语句定义成关锁原语(lock)，把lock=false定义成开锁原语(unlock)，统称为互斥锁。 (2)PV操作原语 利用PV操作实现2个进程互斥的模板： PROGRAMmutual-example;VAR mutex: semaphore initial(1)//信号量变量mutex初值量1，队列为空BEGIN//程序开始COBEGIN//COBEGIN与COEND之间的进程是并发的。PROCESSp1BEGIN......P(mutex);临界段 1//使用临界资源的临界段1V(mutex);......ENDPROCESSp2BEGIN......P(mutex);临界段 2//使用临