Precise Detection of Atomicity Violations
Precise Detection of Atomicity Violations
复制标题
精确检测原子性违规
DOI：
10.1007/978-3-642-39611-3_8
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
João M. Lourenço
中科院分区：
文献类型：
--
作者：
Ricardo J. Dias;Vasco Pessanha;João M. Lourenço
没有对共享数据的非同步访问的并发程序仍然可能出现不可预测的并发错误，调用逻辑冲突，其中包括高级数据竞争和过期值错误。当程序员对代码块的原子性范围做出错误的假设时，就会发生原子性违规，错误地将其分割为两个或更多个原子块，并允许它们与其他原子块交错。在本文中，我们提出了一种新的静态分析算法，工作在程序变量的依赖图，并检测高级别的数据竞争和stale-valueerrors。该算法实现的Java字节码分析器，其有效性进行了评估与众所周知的错误程序。实验结果表明，该算法的性能优于以往的方法，对中小型程序具有较高的精度，为实用工具奠定了良好的基础。
Concurrent programs that are free of unsynchronized accesses to shared data may still exhibit unpredictable concurrency errors, calledatomicity violations, which include both high-level data races andstale-valueerrors. Atomicity violations occur when programmers make wrong assumptions about the atomicity scope of a code block, incorrectly splitting it in two or more atomic blocks and allowing them to be interleaved with other atomic blocks. In this paper we propose a novel static analysis algorithm that works on a dependency graph of program variables and detects both high-level data races andstale-valueerrors. The algorithm was implemented for a Java Bytecode analyzer and its effectiveness was evaluated with well known faulty programs. The results obtained show that our algorithm performs better than previous approaches, achieving higher precision for small and medium sized programs, making it a good basis for a practical tool.