Descripción
|
|
---|---|
Uniform Reliable Broadcast (URB) is an important abstraction in distributed systems, offering delivery guarantee when spreading messages among processes. Informally, URB guarantees that if a process (correct or not) delivers a message m, then all correct processes deliver m. This abstraction has been extensively investigated in distributed systems where all processes have different identifiers. Furthermore, the majority of papers in the literature usually assume that the communication channels of the system are reliable, which is not always the case in real systems. In this paper, the URB abstraction is investigated in anonymous asynchronous message passing systems with fair lossy communication channels. Firstly, a simple algorithm is given to solve URB in such system model assuming a majority of correct processes. Then a new failure detector class A? is proposed. With A?, URB can be implemented with any number of correct processes. Due to the message loss caused by fair lossy communication channels, every correct process in this first algorithm has to broadcast all URB delivered messages forever, which makes the algorithm to be non-quiescent. In order to get a quiescent URB algorithm in anonymous asynchronous systems, a perfect anonymous failure detector AP* is proposed. Finally, a quiescent URB algorithm using ATheta and AP* is given | |
Internacional
|
Si |
Nombre congreso
|
17th Workshop on Advances in Parallel and Distributed Computational Models |
Tipo de participación
|
960 |
Lugar del congreso
|
Hyderabad, India |
Revisores
|
Si |
ISBN o ISSN
|
0-7695-5510-1 |
DOI
|
10.1109/IPDPSW.2015.23 |
Fecha inicio congreso
|
25/05/2015 |
Fecha fin congreso
|
29/05/2015 |
Desde la página
|
500 |
Hasta la página
|
508 |
Título de las actas
|
Proceedings of 2015 IEEE 29th International Parallel and Distributed Processing Symposium Workshops |