Rollback and Recovery Strategies for Computer Programs

作者: K. M. Chandy , C. V. Ramamoorthy

DOI: 10.1109/TC.1972.5009007

关键词:

摘要: Reliability is an important aspect of any system. On-line diagnosis, parity check coding, triple modular redundancy, and other methods have been used to improve the reliability computing systems. In this paper another reliable systems explored. The problem that recovering error-free information when error detected at some stage in processing a program. If or fault while program being processed if it cannot be corrected immediately, may necessary run entire again. time spent rerunning substantial real applications critical. Recovery can reduced by saving states (all stored registers, primary secondary storage, etc.) intervals, as continues. restarted from its most recently saved state. However, price paid state form storing all relevant storage. Hence expensive save too often. Not cause unacceptably large recovery time. we solve following. Determine optimum points which should recover after malfunction.

参考文章(8)
David N. Freeman, A storage-hierarchy system for batch processing Proceedings of the April 30--May 2, 1968, spring joint computer conference on - AFIPS '68 (Spring). pp. 229- 243 ,(1968) , 10.1145/1468075.1468110
Alan N. Higgins, Error recovery through programming national computer conference. pp. 39- 43 ,(1968) , 10.1145/1476589.1476597
C. V. Ramamoorthy, A structural theory of machine diagnosis Proceedings of the April 18-20, 1967, spring joint computer conference on - AFIPS '67 (Spring). pp. 743- 756 ,(1967) , 10.1145/1465482.1465603
Boris Beizer, Analytical techniques for the statistical evaluation of program running time Proceedings of the November 17-19, 1970, fall joint computer conference on - AFIPS '70 (Fall). pp. 519- 524 ,(1970) , 10.1145/1478462.1478537
R. C. Daley, P. G. Neumann, A general-purpose file system for secondary storage Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I on XX - AFIPS '65 (Fall, part I). pp. 213- 229 ,(1965) , 10.1145/1463891.1463915
E. C. Russell, G. Estrin, Measurement based automatic analysis of FORTRAN programs Proceedings of the May 14-16, 1969, spring joint computer conference on XX - AFIPS '69 (Spring). pp. 723- 732 ,(1969) , 10.1145/1476793.1476915
C. V. Ramamoorthy, K. M. Chandy, Mario J. Gonzalez, Optimal Scheduling Strategies in a Multiprocessor System IEEE Transactions on Computers. ,vol. C-21, pp. 137- 146 ,(1972) , 10.1109/TC.1972.5008918