Sciweavers

OSDI
1996
ACM
13 years 6 months ago
The Synergy Between Non-Blocking Synchronization and Operating System Structure
Non-blocking synchronization has significant advantages over blocking synchronization: however, it has not been used to a significant degree in practice. We designed and implement...
Michael Greenwald, David R. Cheriton
PPOPP
2005
ACM
13 years 10 months ago
Static analysis of atomicity for programs with non-blocking synchronization
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
Liqiang Wang, Scott D. Stoller