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