Access Restriction

Author Desnoyers, Mathieu
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract So you've decided to use a nonblocking data structure, and now you need to be certain of its correctness. How can this be achieved? When a multithreaded program is too slow because of a frequently acquired mutex, the programmer's typical reaction is to question whether this mutual exclusion is indeed required. This doubt becomes even more pronounced if the mutex protects accesses to only a single variable performed using a single instruction at every site. Removing synchronization improves performance, but can it be done without impairing program correctness?
Description Affiliation: EfficiOS (Desnoyers, Mathieu)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2010-04-01
Publisher Place New York
Journal Queue (QUEUE)
Volume Number 11
Issue Number 5
Page Count 14
Starting Page 30
Ending Page 43

Open content in new tab

   Open content in new tab
Source: ACM Digital Library