论文研究 静态栅栏分析中反例生成的改进.pdf

栅栏分析器生成反例以帮助MPI程序员诊断同步错误。然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断。提出了一种改进的反例生成方法。该方法记录了多值表达式的传播历史并且能够推导出触发同步错误的程序输入。实验评估表明提出的方法比现有的技术更好地支持同步错误诊断。