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

来源：软件学报杂志2017年第4期北京时间：

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

单位：蒋炎岩，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 21002311,许畅，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 21002302,马晓星，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 21002303,吕建，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 21002304

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

关键词：并发;多处理器系统;动态分析;访存依赖

基金资助：国家重点基础研究发展计划（973）（2015CB352202）；国家自然科学基金（61472177，61690204）；江苏省软件新技术与产业化协同创新中心资助