loading...
A Universal Construction for Concurrent Objects
Vienna, Austria April 10-April 13
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ARES.2007.29The Second International Conference o ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Rachid GUERRAOUI, EPFL, Lausanne, Switzerland
Michel RAYNAL, IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France
A concurrent object is an object that can be concurrently accessed by several processes. A wait-free implementation of an object is such that any operation issued by a non-faulty process terminates in a finite number of its own steps, whatever the behavior of the other processes (that can be very slow or even have crashed). An object type is universal if objects of that type, together with atomic registers, allows implementing any concurrent object defined by a sequential specification. A universal construction is a wait-free algorithm, based only on atomic registers and universal objects, that, given any sequential object type T, provides the processes with a wait-free concurrent object of the type T. In a famous paper (titled "Wait-free synchronization") Herlihy has shown that consensus objects are universal, and has presented a consensus-based universal construction.
Citation:
Rachid GUERRAOUI, Michel RAYNAL, "A Universal Construction for Concurrent Objects," ares, pp.959-966, The Second International Conference on Availability, Reliability and Security (ARES'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.