Summary
The programming language Concurrent Pascal has been extended to include some language features that facilitate the writing of fault-tolerant software. As a result, it is possible now to (1) write operating systems witn a measure of fault-tolerance, and (2) for such an operating system to support fault-tolerant user programs. The paper describes these language features and illustrates their use with the help of a few working examples.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. M. Melliar-Smith and B. Randell, ‘Software reliability: the role of programmed exception handling’, Proc. of ACM Conference on Language Design for Reliable Software, Sigplan Notices, 12, No. 3, 95–100 (1977). [Also Chap. 3]
P. Brinch Hansen, ‘The programming language Concurrent Pascal’, IEEE Trans. on Software Engineering, 1, No. 2, 199–207 (1975).
P. Brinch Hansen, The Architecture of Concurrent Programs’, Prentice-Hall Inc., Englewood Cliffs, N.J., 1977.
J. J. Horning et al, ‘A program structure for error detection and recovery’, Lecture Notes in Computer Science, 16, 177–193 (1974). [Also Chap. 2]
B. Randell, ‘System structure for software fault tolerance’, IEEE Trans. on Software Engineering, 1, No. 2, 220–232 (1975).
S. K. Shrivastava and J. P. Banatre, ‘Reliable resource allocation between unreliable processes’, IEEE Trans. on Software Engineering, 4, No. 3, 230 -241 (1978). [Also Chap. 4]
S. K. Shrivastava, ‘Sequential Pascal with recovery blocks’. Software — Practice and Experience, 8, 177–185 (1978). [Also Chap. 2]
C. T. Davies, ‘Recovery semantics for a DB/DC system’, Proc. of ACM National Conference, 136–141 (1973).
E. W. Dijkstra, ‘Hierarchical ordering of sequential processes’, Acta Informatica, 1, No. 2, 115–138(1975).
S. K. Shrivastava, ‘Concurrent Pascal with backward error recovery: implementation’, Software—Practice and Experience, 9, 1021 -1033 (1979). [Also Chap. 4]
T. Anderson, P. A. Lee and S. K. Shrivastava, ‘A model of recoverability in multi-level systems’, IEEE Trans. on Software Engineering, 4, No. 6, 486–494 (1978). [Also Chap. 5]
S. K. Shrivastava and A. Akinpelu, ‘Fault-tolerant sequential programming using recovery blocks’, Proc. of 8th Intl. Conference on Fault-tolerant Computing, France, IEEE Cat. No. 78CH1286-4C (1978). [Also Chap. 2]
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Shrivastava, S.K. (1985). Concurrent Pascal with Backward Error Recovery: Language Features and Examples. In: Shrivastava, S.K. (eds) Reliable Computer Systems. Texts and Monographs in Computer Science. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-82470-8_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-82470-8_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-82472-2
Online ISBN: 978-3-642-82470-8
eBook Packages: Springer Book Archive