1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 静态栅栏分析中反例生成的改进.pdf

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

上传者: 2020-08-08 01:04:23上传 PDF文件 480.06KB 热度 10次
栅栏分析器生成反例以帮助MPI程序员诊断同步错误。然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断。提出了一种改进的反例生成方法。该方法记录了多值表达式的传播历史并且能够推导出触发同步错误的程序输入。实验评估表明提出的方法比现有的技术更好地支持同步错误诊断。
下载地址
用户评论