Analysis of a Class of Recovery Procedures
Israel Koren, Zahava Koren, Stephen Y. H. Su · IEEE Transactions on Computers · 1986
Recovery procedures involving time redundancy in the form of instruction retries and program rollbacks have proved to be very effective against transient failures in computer systems. A class of such recovery procedures is presented and analyzed here, and the parameters of each procedure are determined so that the system's operation is optimized. These procedures are then compared in order to select the most appropriate one for given system parameters.