期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
获取访存依赖:并发程序动态分析基础技术综述 被引量:11
1
作者 蒋炎岩 许畅 +1 位作者 马晓星 吕建 《软件学报》 EI CSCD 北大核心 2017年第4期747-763,共17页
并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提... 并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提出访存依赖获取技术的综述框架,包含4个评价指标(即时性、准确性、高效性、简化性)、两种方法(在线追踪、离线合成)、两类应用(轨迹分析、并发控制).通过对已有技术的总结和分析框架中的空白,对未来可能的研究方向予以展望. 展开更多
关键词 并发 多处理器系统 动态分析 访存依赖
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部