[第2章进程管理part7.pptVIP

Heb Nomal University Department of Computer Science * 第二章 进程管理 2.1 进程的基本概念 2.2 进程控制 2.3 进程同步 2.4 经典进程的同步问题 2.5 管程机制 2.6 进程通信 2.7 线程 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 返回 →2. 3.4 管 程 机 制 2 .利用管程解决生产者-消费者问题 管程的提出 采用PV同步机制来编写并发程序，对于共享变量及信号量变量的操作将被分散于各个进程中。 P/V缺点： （１）易读性差。 （２）不利于修改和维护。 （３）正确性难以保证。因为操作系统或并发程序通常很大，要保证这样一个复杂的系统没有逻辑错误是很难的 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 1. 管程的基本概念 1)管程的定义 管程由三部分组成： ① 局部于管程的共享变量说明； ② 对该数据结构进行操作的一组过程； ③ 对局部于管程的数据设置初始值的语句。此外，还须为管程赋予一个名字。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 图 2-11 管程的示意图 管程：集中式同步机制。它的基本思想是： 将共享变量以及对共享变量能够进行的所有操作集中在一个模块中，一个操作系统或并发程序由若干个这样的模块所构成。 由于一个模块通常较短，模块之间关系清晰，提高了可读性，便于修改和维护，正确性易于保证 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 管程的语法描述如下： 　　type monitor_name = MONITOR； 共享变量说明； define (能被其他模块引用的)过程名列表； use (要调用的本模块外定义的)过程名列表； procedure 过程名(形式参数表)； begin ? end; … … function 函数名(形式参数表)：值类型； begin ? end； begin 管程的局部数据初始化语句序列； end … … Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 　　说明： 局部于管程内部的数据结构，仅能被局部于管程内部的过程所访问，任何管程外的过程都不能访问它； 反之，局部于管程内部的过程也仅能访问管程内的数据结构。 由此可见，管程相当于围墙，它把共享变量和对它进行操作的若干过程围了起来，所有进程要访问临界资源时，都必须经过管程(相当于通过围墙的门)才能进入，而管程每次只准许一个进程进入管程，从而实现了进程互斥。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 　　管程是一种程序设计语言结构成分，它和信号量有同等的表达能力，从语言的角度看，管程主要有以下特性： 　　(1) 模块化。管程是一个基本程序单位，可以单独编译。 　　(2) 抽象数据类型。管程中不仅有数据，而且有对数据的操作。 　　(3) 信息掩蔽。管程中的数据结构只能被管程中的过程访问，这些过程也是在管程内部定义的，供管程外的进程调用，而管程中的数据结构以及过程(函数)的具体实现外部不可见。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011