原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
系 统 仿 真 学 报 Vol. 17 增刊
52 JOURNAL OF SYSTEM SIMULATION Oct. 2005
MPI 集群通信函数的Petri 网模型
1 1 2
崔焕庆 吴哲辉 井艳芳
1 山东科技大学信息科学与工程学院, 山东青岛 266510; 2 聊城大学计算机学院, 山东 聊城 252001
摘 要 研究并行程序的验证问题对于提高并行编程的效率具有十分重要的意义 本文在[1]的基
础上 建立了目前普遍使用的基于消息传递的并行程序编写标准之一 消息传递接口 MPI 的
集群通信函数的Petri 网模型从而为进一步研究MPI 并行程序的Petri 网模型及其性质奠定了基础
关键词 Petri 网 MPI 集群通信 建模
文章编号 1004-731X (2005) S-52-03 中图分类号 TP302.7 文献标识码 A
The Petri Net Models of MPI’s Collective Communication Functions
1 1 2
CUI Huan-qing , WU Zhe-hui , JING Yan-fang
1
( College of Information Science and Engineering, SDUST, Qingdao Shandong 266510, China;
2
College of Computer, LiaoCheng University, LiaoCheng Shandong 252001, China
Abstract: It is very significant to research the verification of the parallel program for improving the efficiency of the parallel
programming, thus this article presents the Petri net models of the collective communication functions of MPI, which is one
of the most popular parallel programming standards based on message-passing, and it establishes the basis on which we can
study the Petri net model and its properties of MPI parallel programs.
Key words: Petri net; MPI; collective communication; model
引 言* 1 有关概念
并行计算是目前得到广泛关注的一个领域 并行程序 定义 1[2] 满足如下条件的四元组N (P ,T , F , M ) 称为
设计主要应用 SPMD[3] single program multiple dat
文档评论（0）