Loading...
conference paper
From unreliable objects to reliable objects: The case of atomic registers and consensus
2007
Parallel Computing Technologies, Proceedings
A concurrent object is an object that can be concurrently accessed by several processes. It has been shown by Maurice Herlihy that any concurrent object O defined by a sequential specification can be wait-free implemented from reliable atomic registers (shared variables) and consensus objects. Wait-free means that any invocation of an operation of the object O issued by a non-faulty process does terminate, whatever the behavior of the other processes (e.g., despite the fact they are very slow or even have crashed).
Type
conference paper
Web of Science ID
WOS:000251195200005
Authors
Publication date
2007
Published in
Parallel Computing Technologies, Proceedings
ISBN of the book
978-3-540-73939-5
Series title/Series vol.
Lecture Notes In Computer Science; 4671
Start page
47
End page
61
EPFL units
Event name | Event place | Event date |
Pereslavl Zalessky, RUSSIA | Sep 03-07, 2007 | |
Available on Infoscience
July 4, 2012
Use this identifier to reference this record