期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
获取访存依赖:并发程序动态分析基础技术综述
被引量:
11
1
作者
蒋炎岩
许畅
+1 位作者
马晓星
吕建
《软件学报》
EI
CSCD
北大核心
2017年第4期747-763,共17页
并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提...
并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提出访存依赖获取技术的综述框架,包含4个评价指标(即时性、准确性、高效性、简化性)、两种方法(在线追踪、离线合成)、两类应用(轨迹分析、并发控制).通过对已有技术的总结和分析框架中的空白,对未来可能的研究方向予以展望.
展开更多
关键词
并发
多处理器系统
动态分析
访存依赖
下载PDF
职称材料
题名
获取访存依赖:并发程序动态分析基础技术综述
被引量:
11
1
作者
蒋炎岩
许畅
马晓星
吕建
机构
计算机软件新技术国家重点实验室(南京大学)
南京大学计算机科学与技术系
出处
《软件学报》
EI
CSCD
北大核心
2017年第4期747-763,共17页
基金
国家重点基础研究发展计划(973)(2015CB352202)
国家自然科学基金(61472177
+1 种基金
61690204)
江苏省软件新技术与产业化协同创新中心资助~~
文摘
并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提出访存依赖获取技术的综述框架,包含4个评价指标(即时性、准确性、高效性、简化性)、两种方法(在线追踪、离线合成)、两类应用(轨迹分析、并发控制).通过对已有技术的总结和分析框架中的空白,对未来可能的研究方向予以展望.
关键词
并发
多处理器系统
动态分析
访存依赖
Keywords
concurrency
multi-processor system
dynamic analysis
shared memory dependence
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
获取访存依赖:并发程序动态分析基础技术综述
蒋炎岩
许畅
马晓星
吕建
《软件学报》
EI
CSCD
北大核心
2017
11
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部