Sciweavers

Share
OOPSLA
2010
Springer

Instrumentation and sampling strategies for cooperative concurrency bug isolation

8 years 4 months ago
Instrumentation and sampling strategies for cooperative concurrency bug isolation
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic approaches incur high run-time overheads. Crugs manifest only under specific execution interleavings that may not arise during in-house testing, thereby demanding a lightweight program monitoring technique that can be used post-deployment. We present Cooperative Crug Isolation (CCI), a lowoverhead instrumentation framework to diagnose productionrun failures caused by crugs. CCI tracks specific thread interleavings at run-time, and uses statistical models to identify strong failure predictors among these. We offer a varied suite of predicates that represent different trade-offs between complexity and fault isolation capability. We also develop variant random sampling strategies that suit different types of predicates and help keep the run-time overhead low. Experiments with 9 real-world bugs in 6 non-trivial ...
Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan L
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where OOPSLA
Authors Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu
Comments (0)
books