计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2008年
17期
274-275,278
,共3页
MPI程序%算法%死锁%静态分析
MPI程序%算法%死鎖%靜態分析
MPI정서%산법%사쇄%정태분석
静态检测MPI程序同步通信死锁比较困难,通常需要建立程序模型.顺序模型是其他所有复杂模型的基础.通过一种映射方法将顺序模型转化为字符串集合,将死锁检测问题转化为等价的多队列字符申匹配问题,从而设计并实现了一种MPI同步通信顺序模型的静态死锁检测算法.该算法的性能优于通常的环检测方法,并能适应动态消息流.
靜態檢測MPI程序同步通信死鎖比較睏難,通常需要建立程序模型.順序模型是其他所有複雜模型的基礎.通過一種映射方法將順序模型轉化為字符串集閤,將死鎖檢測問題轉化為等價的多隊列字符申匹配問題,從而設計併實現瞭一種MPI同步通信順序模型的靜態死鎖檢測算法.該算法的性能優于通常的環檢測方法,併能適應動態消息流.
정태검측MPI정서동보통신사쇄비교곤난,통상수요건립정서모형.순서모형시기타소유복잡모형적기출.통과일충영사방법장순서모형전화위자부천집합,장사쇄검측문제전화위등개적다대렬자부신필배문제,종이설계병실현료일충MPI동보통신순서모형적정태사쇄검측산법.해산법적성능우우통상적배검측방법,병능괄응동태소식류.