基于改造E-R图的计算机操作系统进程同步教学研究.docxVIP

??

?

??

基于改造E-R图的计算机操作系统进程同步教学研究

?

??

?

?

?

?

?

?

?

???

?

?

?

?

?

王九如，韩丽花，王晓洁，李英奎

（临沂大学信息学院，山东临沂276000）

摘要：提出将“实体一联系”方法引入计算机操作系统进程同步教学中，通过改造原E-R图定义，提出基于改造E-R图的计算机操作系统进程同步教学方法。

关键词：操作系统；进程同步；E-R图；教学研究

第一作者简介：王九如，男，讲师，研究方向为网络信息安全、传感网与物联网．jiuruwang@163．com。

0引言

在操作系统课程教学过程中，进程同步既是一个重点，也是最大的难点，原因在于：①前导课程很少涉及相关设计思想。作为操作系统前导课程，以C语言教学为例，课堂教学中很少涉及多线程编程，而进程同步却与多线程编程相类似。由于没有并发程序设计的思维，这种由单进程顺序执行到多进程并发执行的转变，易使学生对相关知识理解出现困难。②进程同步概念比较抽象。进程同步机制的主要任务是对多个相关进程在执行次序上进行协调，使并发执行的诸进程之间能按照一定的规则（或时序）共享系统资源，并能很好地相互合作，从而使程序的执行具有可再现性。进程会出现两种状态：一是因为等待消息（或信号）而处于阻塞状态；二是因为获得消息（或信号）而处于执行状态继续执行。由此可以看出进程同步是多个进程在宏观上同时运行，如何理解多进程间的协作关系成为关键。③进程同步问题具有形式多样、内容复杂的特点。在题意表述上，进程同步问题往往与现实生活息息相关，问题描述比较繁琐。

1改造E-R图

E-R图也称实体一联系图(entityrelationshipdiagram)，是描述现实世界概念结构模型的有效方法。构成E-R图的基本要素包括实体、联系和属性3种。在图形表示时，用矩形表示实体，矩形框内标记实体的名称；用椭圆表示实体的属性，并用无向边将属性与相应的实体连接起来；用菱形表示不同实体之间的联系，菱形框内写明联系的名称，并用无向边将联系与有关实体连接起来，同时在无向边上标记联系的类型(1:1.1：n或m:n)。

为清晰表示进程同步中的进程实体和进程实体之间的关系，我们对E-R图作如下改造：

实体（Entity）：参与进程同步问题的不同类型进程。用实体名来抽象和刻画同类进程实体；在E-R图中用矩形表示进程实体，矩形框内写明实体名称。比如生产者进程、消费者进程、哲学家进程、读者进程、写者进程都是实体。

联系（Relationship）：也称为关系，在进程同步问题中反映同类进程实体内部或不同类进程实体之间的联系。进程实体内部的联系通常是指同类进程内部的关系；进程之间的联系通常是指不同类型进程实体之间的关系。在改造后的E-R图中同样用菱形表示联系，菱形框内注明联系的类型（同步联系／互斥联系），并分别用有向边／无向边与相关进程实体连接起来。比如生产者进程一消费者进程之间存在同步关系，即“先生产后消费，消费之后又生产”，具体包括：生产者进程_消费者进程，消费者进程-生产者进程两类；哲学家进程内部存在互斥关系；读者进程一写者进程存在互斥关系，读者进程内部存在互斥关系。

属性（Attribute）：在改造的E-R图中，描述为进程实体发生联系的信号量名称。用椭圆形表示属性，并用无向边将其与相应的联系连接起来。比如生产者进程一消费者进程之间联系用full信号量表示属性，消费者进程一生产者进程之间联系用empty信号量表示属性；哲学家进程内部互斥关系用chopstick[/],chopstick[/+l]表示属性；读者进程一写者进程互斥关系用wmutex表示属性，读者进程内部互斥关系用rmutex表示属性。

2作图步骤

为清晰描述多道程序环境下，同处于一个系统中的多个进程，由于共享系统中的资源，或为完成某一任务而相互合作的关系，我们提出“提炼实体一明确关系的”解题思路。

2.1提炼进程实体种类

根据进程同步问题的描述，分析待解决的实际问题中所涉及不同类进程实体的种类，提炼出进程实体的种类，并分别用矩形表示。

2.2明确进程实体间的联系

根据各类进程实体的活动描述，判断进程实体间的相互关系，并用菱形表示。进程实体之间可能存在着以下关系：

(1)互斥关系：多个程序在并发执行时，由于共享系统资源，如CPU、I/O设备等，致使在这些并发执行的程序之间形成相互制约的关系。为了保证这些进程能有序地运行，对于系统中的这类资源，必须由系统实施统一分配，即用户在要使用之前，应先提出申请，而不允许用户直接使用。

(2)同步关系：某些应用程序为了完成某任务而建立两个或多进程，这些进程将为完成同一项任务而相互合作。进程间的直接制约关系就是源于它们之间的相互合作，例如，输入进程A和计算进程B之间相互合作，进程A通过缓冲