Replication within atomic actions and conversations: a case study in fault-tolerance duality
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Recently a duality mapping for fault-tolerant system structures was proposed by the authors (1985). Two canonical models of distributed fault-tolerant systems have been constructed and shown to be duals of each other. One model incorporates objects and atomic actions as the entities for program construction, whereas the second model uses communicating processes with conversations. As a consequence of the duality, techniques and mechanisms which have been developed within the domain of just one of the models can be mapped and applied to the other model. This point is illustrated by mapping some well-known object replication techniques developed within the context of an object and actions model to the communicating process model, thereby revealing some interesting process replication techniques.Keywords
This publication has 22 references indexed in Scilit:
- Checkpointing and Rollback-Recovery for Distributed SystemsIEEE Transactions on Software Engineering, 1987
- An approach to decentralized computer systemsIEEE Transactions on Software Engineering, 1986
- An algorithm for concurrency control and recovery in replicated distributed databasesACM Transactions on Database Systems, 1984
- Achieving robustness in distributed database systemsACM Transactions on Database Systems, 1983
- Guardians and Actions: Linguistic Support for Robust, Distributed ProgramsACM Transactions on Programming Languages and Systems, 1983
- PublishingPublished by Association for Computing Machinery (ACM) ,1983
- Approaches to Mechanization of the Conversation Scheme Based on MonitorsIEEE Transactions on Software Engineering, 1982
- On the duality of operating system structuresACM SIGOPS Operating Systems Review, 1979
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975