NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Design, Implementation, and Verification of the Reliable Multicast ProtocolThis document describes the Reliable Multicast Protocol (RMP) design, first implementation, and formal verification. RMP provides a totally ordered, reliable, atomic multicast service on top of an unreliable multicast datagram service. RMP is fully and symmetrically distributed so that no site bears an undue portion of the communications load. RMP provides a wide range of guarantees, from unreliable delivery to totally ordered delivery, to K-resilient, majority resilient, and totally resilient atomic delivery. These guarantees are selectable on a per message basis. RMP provides many communication options, including virtual synchrony, a publisher/subscriber model of message delivery, a client/server model of delivery, mutually exclusive handlers for messages, and mutually exclusive locks. It has been commonly believed that total ordering of messages can only be achieved at great performance expense. RMP discounts this. The first implementation of RMP has been shown to provide high throughput performance on Local Area Networks (LAN). For two or more destinations a single LAN, RMP provides higher throughput than any other protocol that does not use multicast or broadcast technology. The design, implementation, and verification activities of RMP have occurred concurrently. This has allowed the verification to maintain a high fidelity between design model, implementation model, and the verification model. The restrictions of implementation have influenced the design earlier than in normal sequential approaches. The protocol as a whole has matured smoother by the inclusion of several different perspectives into the product development.
Document ID
19960011362
Acquisition Source
Legacy CDMS
Document Type
Thesis/Dissertation
Authors
Montgomery, Todd L. (West Virginia Univ. Morgantown, VA, United States)
Date Acquired
September 6, 2013
Publication Date
January 1, 1995
Subject Category
Computer Programming And Software
Report/Patent Number
CERC-TR-TM-95-013
NIPS-96-07272
NASA-IVV-95-011
WVU-SCS-TR-95-31
NASA-CR-200028
NAS 1.26:200028
WVU-SRL-95-011
Accession Number
96N17798
Funding Number(s)
CONTRACT_GRANT: NCCW-40
CONTRACT_GRANT: NAG5-2129
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available