Title :
Reliable multicast with delay guarantees
Author :
Maxemchuk, Nicholas F.
Author_Institution :
Columbia Univ., USA
fDate :
9/1/2002 12:00:00 AM
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;
Journal_Title :
Communications Magazine, IEEE
DOI :
10.1109/MCOM.2002.1031835
