[Colloquium] Chen/MS Presentation/Sep 29, 2016
Margaret Jaffey via Colloquium
colloquium at mailman.cs.uchicago.edu
Thu Sep 15 15:53:45 CDT 2016
This is an announcement of Yuxi Chen's MS Presentation.
------------------------------------------------------------------------------
Date: Thursday, September 29, 2016
Time: 1:30 PM
Place: Ryerson 276
M.S. Candidate: Yuxi Chen
M.S. Paper Title: Transactional Memory Support for Concurrency-Bug
Failure Recovery in Production Runs
Abstract:
Concurrency bugs severely threaten software reliability in production
runs. They are difficult to expose and eliminate during in-house
testing, lead to severe production run failures, and are
time-consuming to diagnose and fix correctly. Techniques that help
recover software from concurrency-bug failures during production runs
are highly desired. This paper proposes using transactional memory
techniques to help production-run concurrency-bug recovery. BugTM uses
existing hardware transactional memory support (Intel TSX). It can
recover from failures caused by all major types of concurrency bugs,
with about 4% overhead on average in our thorough evaluation. For
systems that lack hardware transaction support, we develop a software
transactional memory system called BugTMs by targeting TM principles
for concurrency-bug failure recovery. It has slightly worse recovery
capability than BugTM, but out-performs the state-of-art techniques in
overhead, coverage, and diagnosis capability.
Yuxi's advisor is Prof. Shan Lu
Login to the Computer Science Department website for details:
https://www.cs.uchicago.edu/phd/ms_announcements#chenyuxi
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
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