Objects and actions in reliable distributed systems
Objects and actions in reliable distributed systems
- Author(s): S.K. Shrivastava ; G.N. Dixon ; G.D. Parrington
- DOI: 10.1049/sej.1987.0021
For access to this article, please select a purchase option:
Buy article PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
Thank you
Your recommendation has been sent to your librarian.
- Author(s): S.K. Shrivastava 1 ; G.N. Dixon 1 ; G.D. Parrington 1
-
-
View affiliations
-
Affiliations:
1: Computing Laboratory, Gniversity of Newcastle upon Tyne, Newcastle upon Tyne, UK
-
Affiliations:
1: Computing Laboratory, Gniversity of Newcastle upon Tyne, Newcastle upon Tyne, UK
- Source:
Volume 2, Issue 5,
September 1987,
p.
160 – 168
DOI: 10.1049/sej.1987.0021 , Print ISSN 0268-6961, Online ISSN 2053-910X
This paper describes a method for constructing robust distributed programs. The method is based upon the provision of atomic actions that operate upon objects (instances of abstract data types). The paper begins by constructing robustnon-distributed programs using the atomicaction mechanism and then proceeds to showhow robust distributed programs can be constructed in a similar fashion. Finally, the paper briefly examines other prototy pedistributed systems and examines their approachto the reliability problem.
Inspec keywords: data structures; multiprocessing programs; software reliability; multivariable control systems
Other keywords:
Subjects: File organisation; Multivariable control systems; Operating systems
References
-
-
1)
- F. Panzieri , S.K. Shrivastava . Rajdoot: a remote procedure call mechanism supporting orphan detection and killing. IEEE Transactions on Software Engineering
-
2)
- B. Stroustrup . (1986) , The C++ programming language.
-
3)
- S.K. Shrivastava . Structuring distributed systems for recoverability and crash resistance. IEEE Transactions on Software Engineering , 4 , 436 - 447
-
4)
- J.J. Horning , H.C. Lauer , P.M. Melliar-Smith , B. Randell . (1974) , A program structure for error detection and recovery.
-
5)
- K.P. Birman . Replication and fault tolerance in the ISIS system. Operating Systems Review , 4 , 79 - 86
-
6)
- G.D. Parrington , S.K. Shrivastava . (1987) , Implementating concurrency control for robust object based systems.
-
7)
- E. Nett , K. Grosspietsch , A. Jungblut , J. Kaiser , R. Kröger , W. Lux , M. Speicher , H. Winnebeck . (1985) , Profemo: design and implementation of a fault tolerant distributed system architecture.
-
8)
- T. Anderson , P.A. Lee , S.K. Shrivastava . A model of recoverability in multilevel systems. IEEE Transactions on Software Engineering , 6 , 486 - 496
-
9)
- S.K. Shrivastava . (1985) Reliable computer systems, Texts and Monographs in Computer Science.
-
10)
- J.N. Gray . (1978) , Notes on database operating systems.
-
11)
- Dixon, G.N., Shrivastava, S.K.: `Exploiting type inheritance facilities to implement recoverability in object based systems', Proceedings of Sixth IEEE Symposium on Reliability in Distributed Software and Database Systems, 1986, VA, USA, Williamsburg, p. 107–114.
-
12)
- F. Cristian . Exception handling and software fault tolerance. IEEE Transactions on Computers , 6 , 531 - 540
-
13)
- Moss, J.E.B.: `Nested transactions and reliable distributed computing', Proceedings of Second IEEE Symposium on Reliability in Distributed Software and Database Systems, 1982, Pittsburgh, PA, USA, p. 33–39.
-
14)
- P.A. Bernstein , N. Goodman . Concurrency control in distributed database systems. ACM Computing Surveys , 182 , 185 - 221
-
15)
- E. Best , B. Randell . A formal model of atomicity in asynchronous systems. Acta Informatica , 93 - 124
-
16)
- B. Liskov , R. Scheifler . Guardians and actions: linguistic support for robust, distributed programs. ACM Transactions on Programming Languages & Systems , 3 , 381 - 404
-
17)
- B. Lampson , H. Sturgis . (1981) , Atomic transactions.
-
18)
- L. Lamport , R. Shostak , M. Pease . The Byzantine generals problem. ACM Transactions on Programming Languages & Systems , 3 , 382 - 401
-
19)
- A. Birrell , B.J. Nelson . Implementing remote procedure calls. ACM Transactions on Computer Systems , 1 , 39 - 59
-
20)
- P.A. Lee , T. Anderson , T. Anderson . (1985) Design fault-tolerance, Resilient computing systems.
-
21)
- Mohan, C., Lindsay, B.G.: `Efficient commit protocols for the tree of processes model of distributed transactions', Proceedings of Second ACM Symposium on Principles of Distributed Computing, 1983, Montreal, Canada, p. 76–88.
-
22)
- S.K. Shrivastava , J.-P. Banatre . Reliable resource allocation between unreliable processes. IEEE Transactions on Software Engineering , 3 , 230 - 241
-
23)
- Hamilton, K.G.: `A remote procedure call system', 70, Technical Report, 1984.
-
24)
- K.P. Eswaran , J.N. Gray , R.A. Lorie , I.L. Traiger . The notions of consistency and predicate locks in a database system. Communications of ACM , 11 , 624 - 633
-
25)
- L. Svobodova . Resilient distributed computing. IEEE Transactions on Software Engineering , 3 , 257 - 268
-
26)
- Shrivastava, S.K.: `A dependency, commitment and recovery model for atomic actions', Proceedings of Second IEEE Symposium on Reliability in Distributed Software and Database Systems, 1982, Pittsburgh, PA, USA, p. 112–119.
-
1)
Related content
