| 本文已被：浏览 5070次 下载 10347次 |
码上扫一扫！ |
|
|
| 获取访存依赖:并发程序动态分析基础技术综述 |
|
蒋炎岩1,2, 许畅1,2, 马晓星1,2, 吕建1,2
|
|
1.计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023;2.南京大学 计算机科学与技术系, 江苏 南京 210023
|
|
| 摘要: |
| 并发错误难触发、难调试、难检测.为应对这一挑战，已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存，实现其动态分析的基本问题即是获取线程访问共享内存的顺序，即获取访存依赖.提出访存依赖获取技术的综述框架，包含4个评价指标（即时性、准确性、高效性、简化性）、两种方法（在线追踪、离线合成）、两类应用（轨迹分析、并发控制）.通过对已有技术的总结和分析框架中的空白，对未来可能的研究方向予以展望. |
| 关键词: 并发 多处理器系统 动态分析 访存依赖 |
| DOI：10.13328/j.cnki.jos.005193 |
| 分类号: |
| 基金项目:国家重点基础研究发展计划（973）（2015CB352202）；国家自然科学基金（61472177，61690204）；江苏省软件新技术与产业化协同创新中心资助 |
|
| Approaches to Obtaining Shared Memory Dependences for Dynamic Analysis of Concurrent Programs: A Survey |
|
JIANG Yan-Yan1,2, XU Chang1,2, MA Xiao-Xing1,2, LÜ Jian1,2
|
|
1.State Key Laboratory for Novel Software Technology(Nanjing University), Nanjing 210023, China;2.Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China
|
| Abstract: |
| Concurrent bugs are difficult to trigger, debug, and detect. Dynamic program analysis techniques have been proven useful in addressing such challenges. Due to non-deterministic nature of concurrent programs in which the major source of non-determinism is the shared memory, obtaining the order of shared memory accesses, i.e., shared memory dependences, is the basis of such dynamic analyses. This work proposes a survey framework to demonstrate the key issues in obtaining the shared memory dependences. The framework includes four performance metrics (immediacy, accuracy, efficiency and simplicity), two categories of approaches (online tracing and offline synthesis), and two categories of applications (trace analysis and concurrency control). Existing techniques as well as potential future work are studied in the paper. |
| Key words: concurrency multi-processor system dynamic analysis shared memory dependence |
