MPI 同步通信中的静态死锁检测
分布式、并行与集群计算
2007-09-25 v1
摘要
由于静态方法存在一些限制，使用动态方法检测 MPI 程序中的死锁非常普遍。为了保证某些重要基于 MPI 的应用软件的高可靠性，本文抽象了一种 MPI 同步通信模型，并设计了一类静态方法来检测此类模式中的死锁。该模型具有三种不同复杂度的形式：顺序模型、单循环模型和嵌套循环模型。顺序模型是所有模型的基础。单循环模型必须用一类特殊的方程组来处理，而嵌套循环模型则扩展了前两种模型的方法。基于这些方法构建了一个标准的基于 Java 的软件框架，用于确定 MPI 程序是否不存在同步通信死锁。我们的实践表明，该软件框架优于使用动态方法的工具，因为它能在基于 MPI 的程序运行之前挖掘出所有的同步通信死锁。
引用
@article{arxiv.0709.3689,
title = {Static Deadlock Detection in MPI Synchronization Communication},
author = {Liao Ming-Xue and He Xiao-Xin and Fan Zhi-Hua},
journal= {arXiv preprint arXiv:0709.3689},
year = {2007}
}
评论
accepted by HPC Asia 2007