[Colloquium] Seminars at Computer Science

[Donna Brooms]

~REMINDER~

Thursday, June 6, 2013

3:10 p.m.

Ryerson 251

 

Shan Lu

University of Wisconsin, Madison


pages.cs.wisc.edu/~shanlu/

Title:  “An effect-oriented approach to concurrency-bug detection and recovery”


Abstract: Concurrency bugs are caused by unsynchronized interaction among threads. This complicated cause makes concurrency bugs much more difficult to detect and recover from than sequential bugs. With multi threaded software becoming prevalent in the multi-core era, concurrency bugs are widespread. They frequently escape in-house bug detection and severely hurt system reliability during production runs.


This talk will present an effect-oriented approach to in-house concurrency-bug detection and production-run concurrency-bug failure recovery. I will first use a characteristics study to demonstrate that concurrency and sequential bugs have drastically different causes but mostly similar effects in terms of error/failure patterns and error-propagation patterns. I will then present two bug detection tools, ConMem and ConSeq. Guided by the effect patterns of concurrency bugs, ConMem and ConSeq can detect concurrency bugs before they manifest with higher coverage and accuracy than traditional cause-oriented approaches. Of course, no bug detection tool is perfect. Next, I will discuss how we build ConAir to handle bugs that escape into production runs. ConAir is a static code transformation tool that enables automatic failure recovery through rollback-reexecution. Different from traditional rollback-reexecution techniques, ConAir leverages the effect patterns of concurrency bugs to avoid memory checkpoint and multi-threaded rollback. As a result, it incurs negligible run-time overhead (<1%) with no OS/hardware change. I will conclude the talk by discussing other research in my group that tackles concurrency bugs and performance bugs.


Host: Prof. Haryadi Gunawi


*Refreshments will be served following the talk at 4 pm in Ryerson 255*



-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20130606/b0d87870/attachment.htm