A multi-paradigm programming language for constructing fault-tolerant, distributed systems
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The design of FT-SR, a programming language based on SR and oriented toward constructing fault-tolerant distributed systems, is presented. The language, which is based on the existing SR language, is unique in that it has been designed to support equally well any of the programming paradigms that have been developed for this type of system, including the object/action model, the restartable action paradigm, and the state machine approach. To do this, the language is designed to support the implementation of systems modeled as collections of fail-stop atomic objects. Such objects execute operations as atomic actions except when a failure or series of failures cause underlying implementation assumptions to be violated; in this case, notification is provided. An example program consisting of a data manager and its associated stable storage is given Author(s) Schlichting, R.D. Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA Thomas, V.T.Keywords
This publication has 17 references indexed in Scilit:
- Fault tolerant concurrent C: a tool for writing fault tolerant distributed programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A comparative study of five parallel programming languagesFuture Generation Computer Systems, 1992
- Lightweight causal and atomic group multicastACM Transactions on Computer Systems, 1991
- Rajdoot: a remote procedure call mechanism supporting orphan detection and killingIEEE Transactions on Software Engineering, 1988
- The Delta-4 approach to dependability in open distributed computing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- On the Implementation and Use of Ada on Fault-Tolerant Distributed SystemsIEEE Transactions on Software Engineering, 1987
- An approach to decentralized computer systemsIEEE Transactions on Software Engineering, 1986
- Replicated distributed programsPublished by Association for Computing Machinery (ACM) ,1985
- Communicating sequential processesCommunications of the ACM, 1978
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975