[Colloquium] Reminder: Li/MS Presentation/Dec 5, 2017
Margaret Jaffey via Colloquium
colloquium at mailman.cs.uchicago.edu
Mon Dec 4 11:07:20 CST 2017
This is a reminder about Guangpu's MS Presentation tomorrow.
------------------------------------------------------------------------------
Date: Tuesday, December 5, 2017
Time: 10:30 AM
Place: Ryerson 255
M.S. Candidate: Guangpu Li
M.S. Paper Title: DFix: Automate Distributed Concurrency Bug Fixing
Abstract:
Fixing bugs in distributed system is challenging and time-consuming.
Fixing concurrency bugs in distributed system is especially difficult
as many nondeterminism involved. The various synchronization
mechanisms inside message handling and event-driven processing make
the timing hard to control. Existing tools that focus on single
machine software fixing cannot handle these synchronization
mechanisms, which introduces deadlock in patch. We present DFix , a
tool that automates the distributed system concurrency bugs fixing
process without introducing new functionality, new components, and
huge performance loss. DFix proposes a check-rollback solution for
fixing. DFix starts with the bug reports from exiting distributed
concurrency bug detection tool. Through static analysis,DFix chooses
the suitable location to check if need rollback to delay an operation.
The check condition is related to the address of delayed operation,
which provides fine granularity timing control. Our evaluation shows
that DFix can fix seven real-world bugs automatically within less than
one percent overhead.
Guangpu's advisor is Prof. Shan Lu
Login to the Computer Science Department website for details:
https://www.cs.uchicago.edu/phd/ms_announcements#cstjygpl
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Margaret P. Jaffey margaret at cs.uchicago.edu
Department of Computer Science
Student Support Rep (Ry 156) (773) 702-6011
The University of Chicago http://www.cs.uchicago.edu
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
More information about the Colloquium
mailing list