论文信息 - A Recovery Mechanism for Modular Software

A Recovery Mechanism for Modular Software

When an exception occurs, the state of a system is damaged : further processing may cause additional exceptions. Under some hypotheses concerning the system structure we give an a priori estimate of the damage caused by exceptions. Based on this estimate we propose a recovery strategy and a recovery mechanism.

Flaviu Cristian

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

[2] Flaviu Cristian. Le traitement des exceptions dans les programmes modulaires , 1979 .

[3] Thomas H. Bredt,et al. Error resynchronization in producer-consumer systems , 1975, SOSP.

[4] Mary Shaw,et al. Abstraction and Verification in Alphard: Introduction to Language and Methodology , 1976 .

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

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

[7] Flaviu Cristian. A Case Study in Modular Design , 1977, International Computing Symposium.

[8] Brian Randell,et al. Reliability Issues in Computing System Design , 1978, CSUR.

[9] John B. Goodenough,et al. Exception handling: issues and a proposed notation , 1975, CACM.