基于拓扑排序的数据竞争反向定位分析模型
多核处理器的广泛应用促使了多核并发程序可信问题的研究，因多核并发程序具有数据竞争而引起的程序执行结果的不确定性是并发程序分析与测试的难点。提出一种基于拓扑排序的数据竞争定位方法，采用XML对经过词法、语法解析的结果进行分析建模，利用XQuery查询语言提取XML文件中共享资源访问信息，使用线程访问树生成算法构建NET-TREE模型。基于NET-TREE模型，定位数据竞争点，记录可能的数据竞争序列。大量实验结果表明，该模型能够发现数据竞争并有效确定其位置。
数据竞争定位 XQuery查询 NET-TREE模型 拓扑排序
周宽久 杨广 柳朕 郭铖
大连理工大学软件学院 大连116621
国内会议
西安
中文
108-116
2012-08-25（万方平台首次上网日期，不代表论文的发表时间）