基于Petri网逐步求精的MPI并行程序设计.pdfVIP

第2l卷专辑 青岛大学学报(工程技术版) V01．21 Special JU1 2006 JOURNALOF Y 2006年7月 QINGDAOUNIVERSITY(E＆D 基于Petri网逐步求精的MPI并行程序设计 张鹏-，2，戚梅2，陶晓峰I (1．同济大学电子与信息工程学院计算机科学与工程系，上海200092； 2．山东科技大学信息学院，青岛266510) 摘要：Petri网T精炼操作对于网性质有着良好保持关系。基于这些操作给出了MPI 并行程序逐步求精的设计方法，并给出了设计思路．该方法可以减少程序中通讯有关 的错误。 关键词：Petri网；MPI；并行程序；精炼操作 MPI是消息传送接口(Mes 验证方法，通过分析，该方法有助于解决并行程序设 SagePassing InterfaCe)，它是目前在并行计算机系统中广泛配 计中通讯错误。 备的公共软件包。MPI吸收了许多消息传送系统的优 点，在大部分并行机和异构列络环境中都有较高的 1 MPI并行程序设计的逐步求精法 数据传输率。我国研制的高性能计算机曙光3000、 神威I等超级计算机上都提供了MPI并行编译环境。 由Petri网的精炼的性质分析可知精练法有很好 并行编程要比串行编程复杂的多，因为不仅要 的性质保持性【1]，分析系统可以在很大程度保证系统 考虑单处理器上的计算和处理，而且要考虑多个处 行为和状态空间的不变，它是一种很有效的分析方 理器之问的通讯问题。而并行程序设计的方法还远 法，在程序设计中使用求精法，主要精练定义中的 不成熟，多处理器的通讯问题是并行程序设计中容 k=l时的应用。 易出错的方面。在并行程序的开发上，传统的顺序开 求精法可以用于两种分析过程中。第一种是 自顶向下的分析法，即逐步求精法。文【9】，给出并行 发方法，如Yordon、Jackson方法和PAD图等都已 经不再适用。其原因在于，由于非确定性和并行性， 程序的Petri网建模方法，在并行程序设计中，先 并行程序的设计与维护相比传统的串行程序设计与 给出程序的整体框架，然后分别分析系统的各部分， 维护来说要复杂得多：从计算功能的正确性来说，由 逐步求精得到程序的完整模型。然后分析模型的性 于并行程序的执行取决于程序中备独立事件的先后 质，确定没有与通讯有关的错误，如死锁…l，活锁 次序，所以一个并行程序的执行结果常常是不确定 川，孤儿消息…】，缺发消息…】等，给出完整的程序． 的；这种不确定性，使程序开发中发生的错误不能按 如有错误，检查模型找到问题所在，修改到没有错误 程序员安排的环境重复出现，这就给程序的动态调 为止，这样保证得到的是无通讯错误的程序．第二种 试带来很大困难。从并行环境下机问通信的实现来 是自底向上的分析法，即化简法，对一个Petri闼模 说，山于在程序设计中很难正确把握通信的逻辑关 型，可以用逆向求精法化简，先得到简化的嘲的性 系，由此常常出现死锁和循环等待等异常现象，这些 质，再综合分析原网的性质。 问题在编译中也是难以处理的，这就使得通讯的正 在程序设计中应用逐步求精法，思路清晰。减 确性也无法保汪。这两个方面的问题，给程序设计人 少了设计错误的发生，通过模型，避免了程序的通讯 员和并行系统的用户都带来了很多麻烦，使得并行 错误。是一种较好的方法，下面给出一个简单例子。 系统的实现与维护相当困难。 例1 在MPI环境中，A，B。C两个通讯子 Petri网是描述异步并发系统的强有力工具，本 文根据Petrl网