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

MPI 同步通信顺序模型死锁静态检测算法 廖名学，何晓新，范植华 （中国科学院软件研究所，北京海淀区中关村南四街4 号 100080 ） 摘 要: 静态检测 MPI 程序同步通信死锁比较困难，通常需要建立程序模型。顺序模型是 其他所有复杂模型的基础。通过一种映射方法将顺序模型转化为字符串集合，将其死锁检测 问题转化为等价的多队列字符串匹配问题，从而设计并实现了一种 MPI 同步通信顺序模型 的静态死锁检测算法。算法时空复杂度均为 O(n)，这里 n 是模型中消息的总数。算法性能 好于通常的环检测方法并能适应动态消息流。 关键词:MPI ；算法；死锁；静态分析 Algorithm of Static Deadlock Detection in MPI Synchronization Communication Sequential Model Liao Ming-Xue, He Xiao-Xin, Fan Zhi-Hua