Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
ColorSafe: Architectural Support for Debugging and Dynamically Avoiding Multi-variable Atomicity Violations
 

Summary: ColorSafe: Architectural Support for Debugging and
Dynamically Avoiding Multi-variable Atomicity Violations
Brandon Lucia Luis Ceze Karin Strauss
University of Washington Microsoft Research
http://sampa.cs.washington.edu http://research.microsoft.com
{blucia0a,luisceze}@cs.washington.edu kstrauss@microsoft.com
ABSTRACT
In this paper, we propose ColorSafe, an architecture that detects
and dynamically avoids single- and multi-variable atomicity vio-
lation bugs. The key idea is to group related data into colors and
then monitor access interleavings in the "color space". This en-
ables detection of atomicity violations involving any data of the
same color. We leverage support for meta-data to maintain color
information, and signatures to efficiently keep recent color access
histories. ColorSafe dynamically avoids atomicity violations by
inserting ephemeral transactions that prevent erroneous interleav-
ings. ColorSafe has two modes of operation: (1) debugging mode
makes detection more precise, producing fewer false positives and
collecting more information; and, (2) deployment mode provides
robust, efficient dynamic bug avoidance with less precise detection.

  

Source: Anderson, Richard - Department of Computer Science and Engineering, University of Washington at Seattle

 

Collections: Computer Technologies and Information Sciences