RACEZ: a lightweight and non-invasive race detection tool for production applications
Abstract
Concurrency bugs, particularly data races, are notoriously difficult to debug and are a significant source of unreliability in multithreaded applications. Many tools to catch data races rely on program instrumentation to obtain memory instruction traces. Unfortunately, this instrumentation introduces significant runtime overhead, is extremely invasive, or has a limited domain of applicability making these tools unsuitable for many production systems. Consequently, these tools are typically used during application testing where many data races go undetected.
BibTeX
@inproceedings{Sheng-al:ICSE11,
author = {Tianwei Sheng and
Neil Vachharajani and
St{\'{e}}phane Eranian and
Robert Hundt and
Wenguang Chen and
Weimin Zheng},
title = {{RACEZ:} a lightweight and non-invasive race detection tool for production applications},
booktitle = {ICSE},
pages = {401--410},
publisher = {{ACM}},
year = {2011},
}