Summary: Atom-Aid: Detecting and Surviving Atomicity Violations
Brandon Lucia
Joseph Devietti
Karin Strauss
Luis Ceze

Computer Science and Engineering
University of Washington
{blucia0a, devietti, kstrauss, luisceze}@cs.washington.edu

Advanced Architecture and Technology Laboratory
AMD
Abstract
Writing shared-memory parallel programs is error-prone.
Among the concurrency errors that programmers often face are
atomicity violations, which are especially challenging. They hap-
pen when programmers make incorrect assumptions about atomic-
ity and fail to enclose memory accesses that should occur atomi-
cally inside the same critical section. If these accesses happen to
be interleaved with conflicting accesses from different threads, the

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

Collections: Computer Technologies and Information Sciences