Date & Time:
December 9, 2019 10:00 am – 11:00 am
Crerar 298, 5730 S. Ellis Ave., Chicago, IL,
12/09/2019 10:00 AM 12/09/2019 11:00 AM America/Chicago Dissertation Defense: Yuxi Chen Crerar 298, 5730 S. Ellis Ave., Chicago, IL,

Performance-friendly Concurrency Bug Failure Recovery and

Concurrency bugs widely exist and severely threaten system
reliability. The unique non- determinism nature has made them
difficult to avoid, diagnose, and fix by developers. In the past, much
research has been done to fight with concurrency bugs during the early
phases of software life cycle. For example, people designed new
language (e.g. Go) and new static analysis tools to help avoid some
concurrency bugs during code design and implementation. And many
testing techniques and dynamic tools are proposed to expose
concurrency bugs during in-house testing. However, none of these
techniques are perfect. Many concurrency bugs still inevitably slip
into deployment, cause production failures and incur huge cost for
code maintenance, such as 60 million ether theft in bitcoin system.
Consequently, besides the early phases of software life cycle,
automated tools that help fight with concurrency bugs in the late
phases of software life cycle are well desired.

To help fight with concurrency bugs in the late phases of software
life cycle, this dissertation tries to solve two problems: (1) During
production deployment, how to help software survive from failures
caused by concurrency bugs with low overhead? (2) During software
maintenance, how to automatically fix concurrency bugs so that the
patches are correct and simple without unnecessary performance
degradation? In other word, this dissertation aims to improve the
reliability of multi-threaded programs through efficient concurrency
bug failure recovery and fixing.

Along the direction of failure recovery, we present BugTM, an approach
that applies trans- actional memory techniques for failure recovery in
production runs. Requiring no knowledge about where are concurrency
bugs, BugTM uses static analysis and code transformation to enable
BugTM-transformed software to recover from a concurrency-bug failure
by rolling back and re-executing the recent history of a failure
thread. BugTM greatly improves the recovery capability of
state-of-the-art techniques with low run-time overhead and no changes
to OS or hardware, while guarantees not to introduce new bugs.

Along the direction of efficient concurrency bug fixing, we present
BFix, a tool that automatically generates computation-bypassing
patches for some concurrency bugs. Given a bug report, BFix first uses
static analysis to check whether the bypassing strategy is suitable
for the reported bug and, if so, constructs a patch. It further tries
to combine its patches for better performance and code readability. We
have compared BFix patches with bypassing patches manually developed
by programmers, as well as the patches generated by state-of- the-art
auto-fixing tools. The experimental results showed that BFix patches
have similar quality as the manual patches, outperforming
auto-generated patches from previous tools in terms of patch
performance, and patch simplicity.

These two approaches can greatly improve software reliability by
tackling detected or undetected concurrency bugs in the late phases of
software life cycle. BugTM leverages transactional memory techniques
for concurrency bug failure recovery without intensively using
checkpointing. BFix tries to skip certain part of the original
computation in bug- triggering context without using time-consuming
synchronization primitives (i.e., locks). Both of them achieve good
efficiency, which makes them as good choice to help fight with
concurrency bugs in the late phases of software life cycle for

Yuxi Chen

PhD Candidate, University of Chicago

Yuxi's advisor is Prof. Shan Lu

Related News & Events

No Name

Professor Andrew A. Chien on the Environmental Impacts of Technology

Feb 26, 2024
No Name

Assistant Professor Yanjing Li Awarded NSF CAREER Grant for Innovative Computer Architecture and Deep Learning Research

Feb 26, 2024
No Name

Prof. Rebecca Willett awarded the SIAG DATA Career prize

Feb 21, 2024
No Name

Argonne scientists use AI to identify new materials for carbon capture

Feb 19, 2024
No Name

Alumni Spotlight: Dixin Tang, Assistant Professor of Computer Science at UT Austin

Feb 05, 2024
No Name

NetMicroscope Uses AI to Improve Network Monitoring for a Better Internet Experience

Feb 01, 2024
No Name

NeurIPS 2023 Award-winning paper by DSI Faculty Bo Li, DecodingTrust, provides a comprehensive framework for assessing trustworthiness of GPT models

Feb 01, 2024
No Name

New research unites quantum engineering and artificial intelligence

Jan 29, 2024

“Machine Learning Foundations Accelerate Innovation and Promote Trustworthiness” by Rebecca Willett

Jan 26, 2024

Nightshade: Data Poisoning to Fight Generative AI with Ben Zhao

Jan 23, 2024
No Name

Exploring 3D Paintbrush: An AI That Colors with Words

Jan 22, 2024
No Name

Group From UChicago CS To Present Four Papers at Most Prestigious International Quantum Conference

Jan 09, 2024
arrow-down-largearrow-left-largearrow-right-large-greyarrow-right-large-yellowarrow-right-largearrow-right-smallbutton-arrowclosedocumentfacebookfacet-arrow-down-whitefacet-arrow-downPage 1CheckedCheckedicon-apple-t5backgroundLayer 1icon-google-t5icon-office365-t5icon-outlook-t5backgroundLayer 1icon-outlookcom-t5backgroundLayer 1icon-yahoo-t5backgroundLayer 1internal-yellowinternalintranetlinkedinlinkoutpauseplaypresentationsearch-bluesearchshareslider-arrow-nextslider-arrow-prevtwittervideoyoutube