计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2007年
10期
205-206,209
,共3页
MPI%并行程序%Petri网%验证
MPI%併行程序%Petri網%驗證
MPI%병행정서%Petri망%험증
利用PVM程序中抽取Petri网的方法实现了MPI程序的部分功能语句的Petri网抽象,并分别针对MPI-1和MPI-2在通信方式上的新特性给出对应的Petri网模型抽象方法,使利用Pertri网模型对MPI程序正确性进行理论验证成为可能.
利用PVM程序中抽取Petri網的方法實現瞭MPI程序的部分功能語句的Petri網抽象,併分彆針對MPI-1和MPI-2在通信方式上的新特性給齣對應的Petri網模型抽象方法,使利用Pertri網模型對MPI程序正確性進行理論驗證成為可能.
이용PVM정서중추취Petri망적방법실현료MPI정서적부분공능어구적Petri망추상,병분별침대MPI-1화MPI-2재통신방식상적신특성급출대응적Petri망모형추상방법,사이용Pertri망모형대MPI정서정학성진행이론험증성위가능.
