Are lock-free concurrent algorithms practically wait-free?

Lock-free concurrent algorithms guarantee that some concurrent operation will always make progress in a finite number of steps. Yet programmers prefer to treat concurrent code as if it were wait-free, guaranteeing that all operations always make progress. Unfortunately, designing wait-free algorithm...

Full description

Bibliographic Details
Main Authors: Alistarh, Dan, Censor-Hillel, Keren, Shavit, Nir N.
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Association for Computing Machinery (ACM) 2014
Online Access:http://hdl.handle.net/1721.1/91155
https://orcid.org/0000-0002-4552-2414