文摘

广泛使用的消息传递接口(MPI)是复杂的和丰富的。因此,应用程序开发人员需要自动化工具来避免和检测MPI编程错误。我们现在的土拨鼠裁判可伸缩的工具(必须),检测此类错误显著提高可伸缩性。我们现在改进基于MPI的死锁检测方法,涵盖未来MPI扩展。我们还增强检查复杂的MPI构造,没有以前的基于检测方法正确处理。最后,我们提出优化MPI操作,减少运行时的处理死锁检测开销。现有的方法往往需要(p每个MPI)分析时间操作,p流程。我们经验观察到的改进导致sub-linear或更好的分析时间每个操作各种现实世界的应用。