静态栅栏分析中反例生成的改进

Improvement on counter example generation in static barrier analysis

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

Barrier analyzers generate counter examples to help MPI programmers diagnose synchronization errors.However,existing counter example generation approaches do not support rapid error diagnosis for some real programs.This paper presents an improved counter example generation approach which records the history of MVE（Multi-Valued Expression） propagation and can infer the program inputs triggering errors.Experimental evaluation shows the proposed approach supports synchronization error diagnosis better than existing ones.