计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (11): 23-25.

• 博士论坛 • 上一篇    下一篇

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

王昭飞   

  1. 国防科学技术大学 计算机学院 并行与分布处理国防科技重点实验室,长沙 410073
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-04-11 发布日期:2011-04-11

Improvement on counter example generation in static barrier analysis

WANG Zhaofei   

  1. National Laboratory for Parallel and Distributed Processing,School of Computer Science,National University of Defense Technology,Changsha 410073,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2011-04-11 Published:2011-04-11

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

关键词: 栅栏, 反例, 消息传递接口, 静态分析, 错误诊断

Abstract: 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.

Key words: barrier, counter example, Message Passing Interface(MPI), static analysis, error diagnosis