Files in this item



application/pdfA 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
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)

Item Statistics