论文信息 - Sequential pascal with recovery blocks

Sequential pascal with recovery blocks

The programming language Sequential Pascal has been extended to include recovery blocks. This paper describes the modifications made to the kernel and interpreter of Brinch Hansen's Pascal system to support recovery blocks and the associated recovery caches needed for state restoration.

S. K. Shrivastava | S. Shrivastava

[1] Brian Randell. System structure for software fault tolerance , 1975 .

[2] Per Brinch Hansen,et al. The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.

[3] Per Brinch Hansen,et al. The Architecture of Concurrent Programs , 1977 .

[4] P. M. Melliar-Smith,et al. A program structure for error detection and recovery , 1974, Symposium on Operating Systems.

[5] R. Kerr,et al. Recovery blocks in action: A system supporting high reliability , 1976, ICSE '76.

[6] H. Hecht,et al. Fault-Tolerant Software for Real-Time Applications , 1976, CSUR.

[7] Santosh K. Shrivastava,et al. Reliable Resource Allocation Betvveen Unreliable Processes , 1978, IEEE Transactions on Software Engineering.

[8] Per Brinch Hansen,et al. The solo operating system: A concurrent pascal program , 1976, Softw. Pract. Exp..