获取访存依赖:并发程序动态分析基础技术综述

作者：蒋炎岩; 许畅; 马晓星; 吕建

来源：软件学报, 2017, 28(04): 747-763.

DOI：10.13328/j.cnki.jos.005193

• 并发
• 多处理器系统
• 动态分析
• 访存依赖

并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提出访存依赖获取技术的综述框架,包含4个评价指标(即时性、准确性、高效性、简化性)、两种方法(在线追踪、离线合成)、两类应用(轨迹分析、并发控制).通过对已有技术的总结和分析框架中的空白,对未来可能的研究方向予以展望.

• 单位
  计算机软件新技术国家重点实验室; 南京大学