多线程程序数据竞争的静态检测

Keywords: [并发程序, 程序分析, 数据竞争, 别名分析, concurrent programs, program analysis, data race, alias analysis]

Full-Text   Cite this paper   Add to My Lib

Abstract:

多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据..

Full-Text