首页> 中文会议>2012全国计算机体系结构学术年会 >基于拓扑排序的数据竞争反向定位分析模型

基于拓扑排序的数据竞争反向定位分析模型

页面导航

摘要
著录项
相似文献
相关主题

摘要

多核处理器的广泛应用促使了多核并发程序可信问题的研究,因多核并发程序具有数据竞争而引起的程序执行结果的不确定性是并发程序分析与测试的难点.提出一种基于拓扑排序的数据竞争定位方法,采用XML对经过词法、语法解析的结果进行分析建模,利用XQuery查询语言提取XML文件中共享资源访问信息,使用线程访问树生成算法构建NET-TREE模型.基于NET-TREE模型,定位数据竞争点,记录可能的数据竞争序列.大量实验结果表明,该模型能够发现数据竞争并有效确定其位置.

著录项

来源
《2012全国计算机体系结构学术年会》|2012年|108-116|共9页
会议地点西安
作者
ZHOU Kuan-jiu; 周宽久; YANG Guang; 杨广; LIU Zhen; 柳朕; GUO Cheng; 郭铖;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序设计;
关键词
并发程序; 反向定位; 拓扑排序; 数据竞争; 静态测试;

相似文献

中文文献
外文文献
专利

1. 基于访问对的有害数据竞争定位方法 [J] . 张高举 ,郭绍忠 ,王磊 . 信息工程大学学报 . 2017,第006期
2. 基于反向传播（BP）算法的核保风险分析模型探讨 [J] . 王倩 . 现代商贸工业 . 2011,第023期
3. 基于多站遥测时差的外测定位方案误差分析模型 [J] . 于智春 . 自动化技术与应用 . 2017,第006期
4. 基于太阳影子定位的分析模型 [J] . 陕勇1 ,张一2 ,王九四1 . 江西科技学院学报 . 2017,第004期
5. 基于GDOP分析模型的双星无源定位系统精度研究 [J] . 刘洋 ,刘晓波 . 南昌航空大学学报：自然科学版 . 2017,第4期
6. 基于不确定性的企业转型战略定位的灰冲突分析模型 [C] . . 第16届全国灰色系统学术会议 . 2008
7. 基于加权拓扑排序的教学计划新模式研究 [A] . 张南豫 . 2011

基于拓扑排序的数据竞争反向定位分析模型

摘要

著录项

相似文献

相关主题

期刊订阅