A Composition Methodology for Designing Proactive Distributed Protocols

Thompson, Nathanael A.; Gupta, Indranil; Birman, Kenneth

Permalink

https://hdl.handle.net/2142/10923 Copy

Description

Title

A Composition Methodology for Designing Proactive Distributed Protocols

Author(s)

• Thompson, Nathanael A.
• Gupta, Indranil
• Birman, Kenneth

Issue Date

2004-10

Keyword(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."

Type of Resource

text

Permalink

http://hdl.handle.net/2142/10923

Copyright and License 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).

Owning Collections