Reliable Communication over Unreliable Channels (1992)
| Venue: | Journal of the ACM |
| Citations: | 37 - 3 self |
BibTeX
@ARTICLE{Afek92reliablecommunication,
author = {Yehuda Afek and Hagit Attiya and Alan Fekete and Michael Fischer and Yishay Mansour and Da-wei Wang and Lenore Zuck and Nancy Lynch and Nancy Lynch},
title = {Reliable Communication over Unreliable Channels},
journal = {Journal of the ACM},
year = {1992},
volume = {41},
pages = {1267--1297}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Layered communication protocols frequently implement a FIFO message facility On top of an unreliable non-FIFO service such as that provided by a packet-switching network. This paper investigates the possibility of implementing a reliable message layer on top of an underlying layer that can lose packets and deliver them out of order, with the additional restriction that the implementation uses only a fixed finite number of different packets. A new formalism is presented to specify communication layers and their properties, the notion of their implementation by I/O automata, and the properties of such implementations. An I/O automaton that implements a reliable layer over an unreliable layer is presented. In this implementation, the number of packets needed to deliver each succeeding message increases permanently as additional packetloss and reordering faults occur. A proof is given that no protocol can avoid such performance degradation.
