Enriched view synchrony: a programming paradigm for partitionable asynchronous distributed systems
- 1 June 1997
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 46 (6) , 642-658
- https://doi.org/10.1109/12.600823
Abstract
Distributed systems constructed using off-the-shelf communication infrastructures are becoming common vehicles for doing business in many important application domains. Large geographic extent due to increased globalization, increased probability of failures, and highly dynamic loads all contribute toward a partitionable and asynchronous characterization for these systems. In this paper, we consider the problem of developing reliable applications to be deployed in partitionable asynchronous distributed systems. What makes this task difficult is guaranteeing the consistency of shared state despite asynchrony, failures, and recoveries, including the formation and merging of partitions. While view synchrony within process groups is a powerful paradigm that can significantly simplify reasoning about asynchrony and failures, it is insufficient for coping with recoveries and merging of partitions after repairs. We first give an abstract characterization for shared state management in partitionable asynchronous distributed systems and then show how views can be enriched to convey structural and historical information relevant to the group's activity. The resulting paradigm, called enriched view synchrony, can be implemented efficiently and leads to a simple programming methodology for solving shared state management in the presence of partitionsKeywords
This publication has 21 references indexed in Scilit:
- The Virtual Synchrony Execution ModelPublished by Springer Nature ,2012
- Virtually-synchronous communication based on a weak failure suspectorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Understanding partitions and the 'no partition' assumptionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- HorusCommunications of the ACM, 1996
- ReconciliationsPublished by Association for Computing Machinery (ACM) ,1994
- Primary partition “Virtually-synchronous communication” harder than consensusPublished by Springer Nature ,1994
- Unreliable failure detectors for asynchronous systems (preliminary version)Published by Association for Computing Machinery (ACM) ,1991
- Multiparty interactions for interprocess communication and synchronizationIEEE Transactions on Software Engineering, 1989
- Impossibility of distributed consensus with one faulty processJournal of the ACM, 1985