The Impossibility of Implementing Reliable Communication in the Face of Crashes

Alan Fekete; Nancy Lynch; Yishay Mansour; John Spinelli

doi:10.1145/174147.169676

The Impossibility of Implementing Reliable Communication in the Face of Crashes

Alan Fekete, Nancy Lynch, Yishay Mansour, John Spinelli

Massachusetts Institute of Technology

Research output: Contribution to journal › Article › peer-review

41 Scopus citations

Abstract

An important function of communication networks is to implement reliable data transfer over an unreliable underlying network. Formal specifications are given for reliable and unreliable communication layers, in terms of 1/0 automata. Based on these specifications, it is proved that no reliable communication protocol can tolerate crashes of the processors on which the protocol runs.

Original language	English
Pages (from-to)	1087-1107
Number of pages	21
Journal	Journal of the ACM
Volume	40
Issue number	5
DOIs	https://doi.org/10.1145/174147.169676
State	Published - 11 Jan 1993
Externally published	Yes

Keywords

Connection reset
lower bounds

Access to Document

10.1145/174147.169676

Cite this

@article{770ff678d2f944f4a5aef87f1fbae2c6,

title = "The Impossibility of Implementing Reliable Communication in the Face of Crashes",

abstract = "An important function of communication networks is to implement reliable data transfer over an unreliable underlying network. Formal specifications are given for reliable and unreliable communication layers, in terms of 1/0 automata. Based on these specifications, it is proved that no reliable communication protocol can tolerate crashes of the processors on which the protocol runs.",

keywords = "Connection reset, lower bounds",

author = "Alan Fekete and Nancy Lynch and Yishay Mansour and John Spinelli",

year = "1993",

month = jan,

day = "11",

doi = "10.1145/174147.169676",

language = "אנגלית",

volume = "40",

pages = "1087--1107",

journal = "Journal of the ACM",

issn = "0004-5411",

publisher = "Association for Computing Machinery (ACM)",

number = "5",

}

TY - JOUR

T1 - The Impossibility of Implementing Reliable Communication in the Face of Crashes

AU - Fekete, Alan

AU - Lynch, Nancy

AU - Mansour, Yishay

AU - Spinelli, John

PY - 1993/1/11

Y1 - 1993/1/11

N2 - An important function of communication networks is to implement reliable data transfer over an unreliable underlying network. Formal specifications are given for reliable and unreliable communication layers, in terms of 1/0 automata. Based on these specifications, it is proved that no reliable communication protocol can tolerate crashes of the processors on which the protocol runs.

AB - An important function of communication networks is to implement reliable data transfer over an unreliable underlying network. Formal specifications are given for reliable and unreliable communication layers, in terms of 1/0 automata. Based on these specifications, it is proved that no reliable communication protocol can tolerate crashes of the processors on which the protocol runs.

KW - Connection reset

KW - lower bounds

UR - http://www.scopus.com/inward/record.url?scp=0027697928&partnerID=8YFLogxK

U2 - 10.1145/174147.169676

DO - 10.1145/174147.169676

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0027697928

SN - 0004-5411

VL - 40

SP - 1087

EP - 1107

JO - Journal of the ACM

JF - Journal of the ACM

IS - 5

ER -

The Impossibility of Implementing Reliable Communication in the Face of Crashes

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this