IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

A Composition Methodology for Designing Proactive Distributed Protocols

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/10923

Files in this item

File Description Format
PDF A Composition M ... Distributed Protocols.pdf (127KB) (no description provided) PDF
Title: A Composition Methodology for Designing Proactive Distributed Protocols
Author(s): Thompson, Nathanael A.; Gupta, Indranil; Birman, Kenneth
Subject(s): distributed systems distributed computing
Abstract: It is essential to develop methodologies for the design of distributed protocols in order to reduce the complexity of distributed systems, and for maturing the field. This paper presents a composition methodology for designing a range of proactive distributed protocols, with applicability to large-scale distributed groups in both the Internet (e.g., peer to peer systems) and wireless sensor networks. The methodology consists of several basic building blocks and different composition techniques which can be used to combine the blocks into solutions for distributed computing problems. The compositions preserve properties of the original components (reliability, scalability, liveness). Next, we describe a simple specification language called "Proactive Protocol Composition Language (PPCL)" which can be used to specify and compose existing source code (C language) of building block implementations in order to automate the above design methodology. We discuss how the methodology and PPCL are (i) retroactive, i.e., can generate protocols already existing in literature, and (ii) progressive, i.e., can generate new protocols. For an important distributed computing problem (membership management in large groups), we give experimental data to compare (i) a generated protocol with a hand-written protocol, and (ii) an existing protocol with an augmentation realized through PPCL.
Issue Date: 2004-10
Genre: Technical Report
Type: Text
URI: http://hdl.handle.net/2142/10923
Other Identifier(s): UIUCDCS-R-2004-2490
Rights Information: You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).
Date Available in IDEALS: 2009-04-17
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 287
  • Downloads this Month: 1
  • Downloads Today: 0

Browse

My Account

Information

Access Key