安徽理工大学学报（自然科学版）
安徽理工大學學報（自然科學版）
안휘리공대학학보（자연과학판）
JOURNAL OF ANHUI UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE)
2007年
1期
35-38
,共4页
点到点通信%建模%Petri网%控制库所
點到點通信%建模%Petri網%控製庫所
점도점통신%건모%Petri망%공제고소
基于消息传递的编程模式是目前编写高性能应用程序的主流,而点到点通信函数是最基本的函数.基于点到点通信函数的特点,使用Petri网模拟它们的执行过程,利用控制库所充分展示了各种点到点通信函数之间的区别.然后给出对基于点到点通信的并行程序进行建模和验证的过程,并举例说明了这个方法的有效性.
基于消息傳遞的編程模式是目前編寫高性能應用程序的主流,而點到點通信函數是最基本的函數.基于點到點通信函數的特點,使用Petri網模擬它們的執行過程,利用控製庫所充分展示瞭各種點到點通信函數之間的區彆.然後給齣對基于點到點通信的併行程序進行建模和驗證的過程,併舉例說明瞭這箇方法的有效性.
기우소식전체적편정모식시목전편사고성능응용정서적주류,이점도점통신함수시최기본적함수.기우점도점통신함수적특점,사용Petri망모의타문적집행과정,이용공제고소충분전시료각충점도점통신함수지간적구별.연후급출대기우점도점통신적병행정서진행건모화험증적과정,병거례설명료저개방법적유효성.
