Automatically classifying benign and harmful data races using replay analysis 论文
2007引用 255
Parallel Computing and Optimization TechniquesSoftware Testing and Debugging TechniquesRadiation Effects in Electronics
详细信息
- 发表日期
- 2007-06-10
- 发表年份
- 2007
关键词
Parallel Computing and Optimization TechniquesSoftware Testing and Debugging TechniquesRadiation Effects in Electronics
摘要
Many concurrency bugs in multi-threaded programs are due to dataraces. There have been many efforts to develop static and dynamic mechanisms to automatically find the data races. Most of the prior work has focused on finding the data races and eliminating the false positives.