ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations

In this paper, we propose ColorSafe, an architecture that detects and dynamically avoids single- and multi-variable atomicity violation bugs. The key idea is to group related data into colors and then monitor access interleavings in the “color space”. This enables 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 interleavings. 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. This makes ColorSafe useful throughout the lifetime of programs, not just during development. Our results show that, in deployment mode, ColorSafe...

• Type: Conference
• Year: 2010
• Where: ISCA
• Authors: Brandon Lucia, Luis Ceze, Karin Strauss
• Keywords: Atomicity Violation Bugs, Atomicity Violations, Deployment Mode, Hardware, ISCA 2010