MPI同步通信顺序模型死锁静态检测算法  

Static Detection Algorithm of Deadlock in MPI Synchronization Communication Sequential Model

作　　者：廖名学[1] 何晓新[1] 范植华[1] 

机构地区：[1]中国科学院软件研究所,北京100080

出　　处：《计算机工程》2008年第17期274-275,278,共3页Computer Engineering

摘　　要：静态检测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.

关 键 词：MPI程序 算法 死锁 静态分析 

分 类 号：N945.12[自然科学总论—系统科学]