Sign In

Communications of the ACM

Practice Archive


Archives

The Practice archive provides access to all Practice articles published in past issues of Communications of the ACM.

July 2013


From Communications of the ACM

Nonblocking Algorithms and Scalable Multicore Programming

Nonblocking Algorithms and Scalable Multicore Programming

Exploring an alternative to lock-based synchronization.


From Communications of the ACM

Structured Deferral: Synchronization via Procrastination

Structured Deferral

We simply do not have a synchronization mechanism that can enforce mutual exclusion.


From Communications of the ACM

Proving the Correctness of Nonblocking Data Structures

Proving the Correctness of Nonblocking Data Structures

Nonblocking synchronization can yield astonishing results in terms of scalability and real-time response, but at the expense of verification state space.

Read CACM in a free mobile app!
Access the latest issue, plus archived issues and more
ACM Logo
  • ACM CACM apps available for iPad, iPhone and iPod Touch, and Android platforms
  • ACM Digital Library apps available for iOS, Android, and Windows devices
  • Download an app and sign in to it with your ACM Web Account
Find the app for your mobile device
ACM DL Logo