Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (924kB) | Preview |
Arévalo Viñuales, Sergio ORCID: https://orcid.org/0000-0002-0807-0631, Tang, Jian, Larrea Álava, Mikel and Jiménez Merino, José Ernesto
ORCID: https://orcid.org/0000-0002-3432-6581
(2015).
Reliable broadcast in anonymous distributed systems with fair lossy channels.
In: "21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)", 18-20 de noviembre de 2015, Zhangjiajie (China).
Title: | Reliable broadcast in anonymous distributed systems with fair lossy channels |
---|---|
Author/s: |
|
Item Type: | Presentation at Congress or Conference (Article) |
Event Title: | 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015) |
Event Dates: | 18-20 de noviembre de 2015 |
Event Location: | Zhangjiajie (China) |
Title of Book: | Proceedings of the 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC) |
Date: | 2015 |
Subjects: | |
Freetext Keywords: | Anonymous distributed system ;asynchronous system ; reliable broadcast ;fair lossy communication channels ;failure detector ; quiescent |
Faculty: | E.T.S.I. de Sistemas Informáticos (UPM) |
Department: | Sistemas Informáticos |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (924kB) | Preview |
Reliable Broadcast (RB) is a basic abstraction in distributed systems, because it allows processes to communicate consistently and reliably to each other. It guarantees that all correct process reliable deliver the same set of messages. This abstraction has been extensively investigated in distributed systems where all processes have different identifiers, and the communication channels are reliable. However, more and more anonymous systems appear due to the motivation of privacy. It is significant to extend RB into anonymous system model where each process has no identifier. In another hand, the requirement of reliable communication channels is not always satisfied in real systems. Hence, this paper is aimed to study RB abstraction in anonymous distributed systems with fair lossy communication channels. In distributed systems, symmetry always mean that two systems should be considered symmetric if they behave identically, and two components of a system should be considered symmetric if they are indistinguishable. Hence, the anonymous distributed systems is symmetry. The design difficulty of RB algorithm lies in how to break the symmetry of the system. In this paper, we propose to use a random function to break it. Firstly, a non-quiescent RB algorithm tolerating an arbitrary number of crashed processes is given. Then, we introduce an anonymous perfect failure detector AP?. Finally, we propose an extended and quiescent RB algorithm using AP?.
Item ID: | 41993 |
---|---|
DC Identifier: | https://oa.upm.es/41993/ |
OAI Identifier: | oai:oa.upm.es:41993 |
Deposited by: | Memoria Investigacion |
Deposited on: | 13 Jul 2017 17:06 |
Last Modified: | 30 Nov 2022 09:00 |