一种基于设计模式并行编程系统度量方法实现.docVIP

一种基于设计模式的并行编程系统度量方法的实现 　　设计模式的重要性已在各种计算学科中得到广泛的承认。在面向对象领域，设计模式是对被用来在特定场景下解决一般设计问题的类和相互通信的对象的描述。与此类似，在并行计算领域，设计模式用来描述重复出现的具有相似结构与通信同步行为的并行计算问题及其解决方案，例如分而治之，各种不同拓扑下的数据并行，管理者-工人等等。在80年代初期，几个基于模式的并行系统就已经出现了如CODE和FrameWorks。近期出现的有Enterprise,DPnDP和PAS等等。基于模式的系统已被认为是获得软件重用的有效技术。然而，在以前提到的所有研究当中，设计模式所带来的影响均用定性的方式来描述。据我们所知，目前很少用一种定量的方法来评估基于模式的系统对软件质量所带来的影响。因而本文旨在用一种定量的方法来填补此方面的空缺。 　　 　　研究方法 　　 　　目前，各大研究机构分别提出了许多方法来简化并行程序的开发过程。其中，最普遍使用的方法是使用高层次的消息传递库完成并行化的任务。消息传递库的两个标准是PVM和MPI。使用基于设计模式的系统来进行并行程序的开发是一种相对比较新的方法。该方法隐藏了低层的消息传递细节，允许编程者使用高层次的抽象（设计模式）如管理者-工人，流水线并行，分而治之等开发并行应用程序。Frameworks,Enterprise,PAS等均属于此类系统。 　　本文旨在研究两种并行程序复杂性和可维护性之间的差异，一种并行程序使用基于设计模式的系统，另一种使用一个普通的消息传递库。我们对一个具体应用提供两种以上的实现，其中一些使用基于模式的系统开发，其它的使用消息传递库开发。然后，对得到的每种实现代码使用软件工程的分析方法分析，其中包括从源代码中提取一些软件度量标准如大小、嵌套层次、程序语句的数量等。在此基础上，我们还使用了一些评估模型来判断软件的质量。下面我们将详细介绍提取出的软件度量标准和评估模型。 　　 　　软件度量评估模型 　　 　　一个恰当的度量能使我们更好地理解被度量的系统。传统的度量方法是根据一个预先定义的度量标准集合收集相应的数据。度量能将软件质量的各个方面数量化。大部分的度量标准都是从源代码中衍生出来的。目前，为了缩减软件的开销，提高软件的质量，许多软件工具均致力于使用软件复杂性度量以分析软件的可靠性、可维护性和复杂性。在这一方面，本文旨在数量化地度量基于模式的并行系统的复杂性和可维护性。为了度量复杂性，本文根据Halstead软件科学度量标准（Halstead’s software science metrics）和McCabe复杂性度量(McCabe’s cyclo-matic complexity metrics)分析一个具体应用的单个程序构件有关基于模式的系统度量标准如表1所示。 　　 　　 　　 　　图一 　　 　　本文工作的另一方面是度量使用基于模式的方法产生的并行程序的可维护性。软件可维护性是软件系统最重要的方面之一，其花费约占系统开发花费的40%～60%左右。目前存在许多模型对软件可维护性数量化度量。在使用类似的度量标准的基础上，可将其分为3种：（1）McCall模型。它从4个方面如简单性、一致性、模块性、自我描述性等度量可维护性。（2）ISO9126模型。它将从分析性、变化性、稳定性、测试性等4方面来度量可维护性。（3）Oman模型。它从3个方面度量可维护性。 　　 　　 　　表二 　　 　　LOGISCOPE是一套对软件作质量分析与测试的工具。本文采用了该工具对源代码进行静态分析。LOGISCOPE由两个部分组成，一个是分析器，另一个是编辑器。在本文中，我们使用静态分析器CodeChecker，以源代码为输入，产生必要的编程规则以测量所有度量标准的值。然后，使用静态编辑器View，以CodeChecker分析文件为输入，提供图形和文本结果以得到复杂性和可维护性的计算值。 　　 　　实验结果 　　 　　在这次实验中，我们选择了5个基于管理者-工人模式的不同并行应用程序。如表2所示，每一个应用程序均基于两个或两个以上的并行编程模型来开发。在表2中“×”符号表示此行所代表的具体应用程序是基于此列所代表的并行编程模型开发的。在5个并行应用的不同实现中，部分程序是我们自己开发，其余的均从其它的资料中收集。本文的研究目标是用我们的方法测量以上给出的每一种实现的复杂性和可维护性。限于篇幅，本文只列举出一个并行应用程序Mandelbrot Sets的实验结果。 　　 Mandelbrot sets并行应用根据等式Z=Z2+C进行复数Z的求解，其中c的初始值为c1+c2i,z的初始值为0。当等式Z=Z2+C在迭代计算过程中，z的