The duality of fault‐tolerant system structures
- 1 July 1993
- journal article
- Published by Wiley in Software: Practice and Experience
- Vol. 23 (7) , 773-798
- https://doi.org/10.1002/spe.4380230706
Abstract
An examination of the structure of fault‐tolerant systems incorporating backward error recovery indicates a partitioning into two broad classes. Two canonical models, each representing a particular class of systems, have been constructed. The first model incorporates objects and actions as the entities for program construction whereas the second model employs communicating processes and conversations. Applications in areas such as office information and banking systems are typically described and built in terms of the first model whereas applications in the area of process control are usually described and built in terms of the second model. The paper claims that the two models are duals of each other and presents arguments and examples to substantiate this claim. It will be shown that the techniques that have been developed within the context of one model turn out to have interesting and hitherto unexplored duals in the other model.Keywords
This publication has 31 references indexed in Scilit:
- An overview of the Nexus distributed operating system designIEEE Transactions on Software Engineering, 1989
- Translation and execution of distributed Ada programs: Is it still Ada?IEEE Transactions on Software Engineering, 1989
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- An algorithm for concurrency control and recovery in replicated distributed databasesACM Transactions on Database Systems, 1984
- Principles of database buffer managementACM Transactions on Database Systems, 1984
- Guardians and Actions: Linguistic Support for Robust, Distributed ProgramsACM Transactions on Programming Languages and Systems, 1983
- On the duality of operating system structuresACM SIGOPS Operating Systems Review, 1979
- Reliability Issues in Computing System DesignACM Computing Surveys, 1978
- Process structuring, synchronization, and recovery using atomic actionsACM SIGPLAN Notices, 1977
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976