Perspectives on Distributed Network Protocols: A Case for Building Blocks
Author:
- 1 October 1986
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1, 1.1.1-1.1.5
Abstract
Although it is common practice to design large systems by decomposition, it does not seem to be the case in the design of "small" distributed protocols, especially when the network is assumed reliable. Many such protocols share common features, yet are designed and proved as isolated cases, which makes them difficult to understand and even more difficult to validate. In this paper, a building-block approach to the design of distributed protocols is advocated. We take a few simple and rather basic protocols proposed by various researchers, and assert that these protocols are suitable to serve as building blocks. We then go through the exercise of designing several protocols employing these building blocks. We illustrate how such a design can lead to better understanding and clarity of the protocols, and even to improvement in performance.Keywords
This publication has 9 references indexed in Scilit:
- Complexity of network synchronizationJournal of the ACM, 1985
- Virtual timeACM Transactions on Programming Languages and Systems, 1985
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- A Paradigm for Detecting Quiescent Properties in Distributed Computations1985
- A distributed algorithm for generalized deadlock detection1984
- Distributed network protocolsIEEE Transactions on Information Theory, 1983
- Termination detection for diffusing computationsInformation Processing Letters, 1980
- Distributed TerminationACM Transactions on Programming Languages and Systems, 1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978