[pl-seminar] Guolian Jin - talk for OOPSLA

[Matt Elder <elder@xxxxxxxxxxx>]

Upcoming PL seminar:

When: 4:00pm Wednesday, October 13
Where: CS 4310
What: Guoliang Jin's practice talk: Instrumentation and Sampling
Strategies for Cooperative Concurrency Bug Isolation

Fixing concurrency bugs is critical in modern software systems. Static
analyses to find concurrency bugs such as data races and atomicity
violations scale poorly, while dynamic approaches incur high run-time
overheads. Concurrency bugs 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 Concurrency bug Isolation (CCI), a lowoverhead
instrumentation framework to diagnose productionrun failures caused by
concurrency bugs. 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 C applications show that these schemes
span a wide spectrum of performance and diagnosis capabilities, each
suitable for different usage scenarios.

Attachment: signature.asc
Description: OpenPGP digital signature