系统仿真学报
繫統倣真學報
계통방진학보
JOURNAL OF SYSTEM SIMULATION
2005年
z1期
52-54,58
,共4页
Petri网%MPI%集群通信%建模
Petri網%MPI%集群通信%建模
Petri망%MPI%집군통신%건모
研究并行程序的验证问题对于提高并行编程的效率具有十分重要的意义,本文在[1]的基础上,建立了目前普遍使用的基于消息传递的并行程序编写标准之一--消息传递接口(MPI)的集群通信函数的Petri网模型,从而为进一步研究MPI并行程序的Petri网模型及其性质奠定了基础.
研究併行程序的驗證問題對于提高併行編程的效率具有十分重要的意義,本文在[1]的基礎上,建立瞭目前普遍使用的基于消息傳遞的併行程序編寫標準之一--消息傳遞接口(MPI)的集群通信函數的Petri網模型,從而為進一步研究MPI併行程序的Petri網模型及其性質奠定瞭基礎.
연구병행정서적험증문제대우제고병행편정적효솔구유십분중요적의의,본문재[1]적기출상,건립료목전보편사용적기우소식전체적병행정서편사표준지일--소식전체접구(MPI)적집군통신함수적Petri망모형,종이위진일보연구MPI병행정서적Petri망모형급기성질전정료기출.
