计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2011年
3期
968-971,983
,共5页
Petri网%共享合成%MPI并行程序%顺序合成%进程合成%合成算法
Petri網%共享閤成%MPI併行程序%順序閤成%進程閤成%閤成算法
Petri망%공향합성%MPI병행정서%순서합성%진정합성%합성산법
为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法.对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将Petri网共享合成运算从两个Petri网的共享合成运算推广到并行程序的多个Petri网的共享合成运算,给出了推广定理和证明.提出了共享合成构建MPI并行程序Petri网的算法,并在消息传递并行系统中给出构建MPI并行程序Petri网的应用示例.实验结果表明,共享合成运算是构建MPI并行程序Petri网模型的一种有效方法.
為瞭使Petri網技術能夠應用于MPI併行程序的正確性和性能的驗證,提齣瞭Petri網共享閤成運算構建MPI併行程序Petri網的算法.對分佈式併行處理繫統MPI併行程序的結構與消息傳遞過程進行分析,給齣併行程序基本語句與傳遞函數的Petri網,將Petri網共享閤成運算從兩箇Petri網的共享閤成運算推廣到併行程序的多箇Petri網的共享閤成運算,給齣瞭推廣定理和證明.提齣瞭共享閤成構建MPI併行程序Petri網的算法,併在消息傳遞併行繫統中給齣構建MPI併行程序Petri網的應用示例.實驗結果錶明,共享閤成運算是構建MPI併行程序Petri網模型的一種有效方法.
위료사Petri망기술능구응용우MPI병행정서적정학성화성능적험증,제출료Petri망공향합성운산구건MPI병행정서Petri망적산법.대분포식병행처리계통MPI병행정서적결구여소식전체과정진행분석,급출병행정서기본어구여전체함수적Petri망,장Petri망공향합성운산종량개Petri망적공향합성운산추엄도병행정서적다개Petri망적공향합성운산,급출료추엄정리화증명.제출료공향합성구건MPI병행정서Petri망적산법,병재소식전체병행계통중급출구건MPI병행정서Petri망적응용시례.실험결과표명,공향합성운산시구건MPI병행정서Petri망모형적일충유효방법.
