网络出版时间:2017-02-20 13:51

节点文献

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

免费订阅

【作者】 蒋炎岩许畅马晓星吕建

【Author】 JIANG Yan-Yan;XU Chang;MA Xiao-Xing;Lü Jian;State Key Laboratory for Novel Software Technology (Nanjing University);Department of Computer Science and Technology, Nanjing University;

【机构】 计算机软件新技术国家重点实验室(南京大学)南京大学计算机科学与技术系

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

【关键词】 并发多处理器系统动态分析访存依赖
【基金】 国家重点基础研究发展计划(973)(2015CB352202);国家自然科学基金(61472177,61690204);江苏省软件新技术与产业化协同创新中心资助~~
【所属期刊栏目】 程序设计语言与系统前沿专题 (2017年04期)
  • 【DOI】10.13328/j.cnki.jos.005193
  • 【分类号】TP311.1
  • 【下载频次】57
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: