people人.engr.ncsu.pptxVIP

Cooperative Concurrency Bug Isolation Guoliang Jin, Aditya Thakur, Ben Liblit, Shan Lu University of Wisconsin–Madison Instrumentation and Sampling Strategiesfor 1 Cooperative Concurrency Bug Isolation They are synchronization mistakes in multi-threaded programs. Several types: Atomicity violation Data race Deadlock, etc. read(x) read(x) write(x) thread 1 thread 2 J L write(x) read(x) thread 1 thread 2 J？ J？ 2 Concurrency bugs are common in the fields Developers are poor at parallel programming Interleaving testing is inefficient Applications with concurrency bugs shipped to the users ? ? € ? ? 3 Concurrency bug lead to failures in the field Disasters in the past Therac-25, Northeastern Blackout 2003 More threats in multi-core era 4 ? Failure diagnosis is critical 5 L Concurrency Bug Failure Example Concurrency Bug from Apache HTTP Server 6 … memcpy(buf[idx], s, strlen(s)); … log_writer() { … } … thread 1 J Concurrency Bug Failure Example Concurrency Bug from Apache HTTP Server … temp = idx; idx = temp + strlen(s); idx thread 2 … return SUCCESS; … memcpy(buf[idx], s, strlen(s)); … log_writer() { … } … … temp = idx; idx = temp + strlen(s); … return SUCCESS; 7 … return SUCCESS; … memcpy(buf[idx], s, strlen(s)); … memcpy(buf[idx], s, strlen(s)); … log_writer() { … } … thread 1 L Concurrency Bug Failure Example Concurrency Bug from Apache HTTP Server … temp = idx; idx = temp + strlen(s); idx thread 2 … return SUCCESS; … log_writer() { … } … … temp = idx; idx = temp + strlen(s); 8 The failure is non-deterministic and rare Programmers have trouble to repeat the failure The root cause involves more than one thread Diagnosing Concurrency Bug Failure is Challenging 9 Existing work and their limitations Failure replay High runtime overhead Developers need to manually locate faults Run-time bug detection (mostly) High runtime overhead Not guided by the failure Many false positives How to achieve low-overhead accurate failure diagnosis? 10 Predicates Our work: CCI