摘要
静态检测MPI程序同步通信死锁比较困难,通常需要建立程序模型。顺序模型是其他所有复杂模型的基础。通过一种映射方法将顺序模型转化为字符串集合,将死锁检测问题转化为等价的多队列字符串匹配问题,从而设计并实现了一种MPI同步通信顺序模型的静态死锁检测算法。该算法的性能优于通常的环检测方法,并能适应动态消息流。
Detecting deadlocks in MPI synchronization communication programs is very difficult, which needs building program models. All complex models are based on sequential models. The sequential model is mapped into a set of character strings and its deadlock detection problem is translated into an equivalent multi-queue string matching problem. An algorithm is devised and implemented to statically detect deadlocks in sequential models of MPI synchronization communication programs. This algorithm is better than usual circle-detection methods and can adapt well to dynamic message stream.
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第17期274-275,278,共3页
Computer Engineering
