DocumentCode
813662
Title
Reliable multicast with delay guarantees
Author
Maxemchuk, Nicholas F.
Author_Institution
Columbia Univ., USA
Volume
40
Issue
9
fYear
2002
fDate
9/1/2002 12:00:00 AM
Firstpage
96
Lastpage
102
Abstract
The reliable multicast protocol guarantees that all receivers place the source messages in the same order. We have changed this protocol from an event-driven protocol to a timed protocol in order to also guarantee that all of the receivers have a source message by a deadline. Certain of the control messages that are transmitted by the receivers in this protocol are scheduled to occur at specified times, rather than responding to other messages. This results in short sequences of protocol states that are independent of one another, rather than a protocol machine that is recursive and runs indefinitely. It is easier to prove the properties of these short sequences of events than to prove those of many protocols that have indefinitely long sequences
Keywords
Internet; computer network reliability; delays; multicast communication; protocols; Internet; control messages; delay guarantees; event-driven protocol; indefinitely long sequences; reliable multicast protocol; short protocol state sequences; source message; timed protocol; Broadcasting; Delay effects; IP networks; Internet; Multicast protocols; Stock markets;
fLanguage
English
Journal_Title
Communications Magazine, IEEE
Publisher
ieee
ISSN
0163-6804
Type
jour
DOI
10.1109/MCOM.2002.1031835
Filename
1031835
Link To Document