Automatic Generation of Graceful Programs

• Published in: 2012 IEEE 31st Symposium on Reliable Distributed Systems pp. 225 - 230
• Main Authors: Yiyan Lin, Kulkarni, S.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.10.2012
• Subjects: Degradation; Fault tolerance; Fault tolerant systems; Printers; Printing; Safety; System recovery

Traditionally, (nonmasking and masking) fault tolerance has focused on ensuring that after the occurrence of faults, the program recovers to states from where it continues to satisfy its original specification. However, a problem with this limited notion is that, in some cases, it may be impossible...