Robust Emulations of Shared Memory in a Crash-Recovery Model

A shared memory abstraction can be robustly emulated over an asynchronous message passing system where any process can fail by crashing and possibly recover (crash-recovery model), by having (a) the processes exchange messages to synchronize their read and write operations and (b) log key information on their local stable storage. This paper extends the existing atomicity consistency criterion defined for multi-writer/multi-reader shared memory in a crash-stop model, by providing two new criteria for the crash-recovery model. We introduce lower bounds on the log-complexity for each of the two corresponding types of robust shared memory emulations. We demonstrate that our lower bounds are tight by providing algorithms that match them. Besides being optimal, these algorithms have the same message and time complexity as their most efficient counterpart we know of in the crash-stop model.


Publié dans:
24th IEEE International Conference on Distributed Computing Systems (ICDCS'04), 400-407
Présenté à:
24th IEEE International Conference on Distributed Computing Systems (ICDCS'04), Tokyo, Japan, March 23-26, 2004
Année
2004
Laboratoires:




 Notice créée le 2006-04-05, modifiée le 2019-08-12

n/a:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)