MPI 同步通信顺序模型中的静态死锁检测算法
分布式、并行与集群计算
2007-09-25 v1
摘要
检测 MPI 同步通信程序中的死锁非常困难，需要构建程序模型。所有复杂模型均基于顺序模型。顺序模型被映射为一组字符串，其死锁检测问题被转化为等价的多队列字符串匹配问题。设计并实现了一种算法，用于静态检测 MPI 同步通信程序顺序模型中的死锁。该算法的时间和空间复杂度为 O(n)，其中 n 为模型中消息的数量。该算法优于常规的环路检测方法，并能很好地适应动态消息流。
引用
@article{arxiv.0709.3693,
title = {Algorithm of Static Deadlock Detection in MPI Synchronization Communication Sequential Model},
author = {Liao Ming-Xue and He Xiao-Xin and Fan Zhi-Hua},
journal= {arXiv preprint arXiv:0709.3693},
year = {2007}
}
评论
This paper has been accepted by Computer Engineering (in Chinese)