Title :
State Restoration in Systems of Communicating Processes
Author :
Russell, David L.
Author_Institution :
Bell Laboratories
fDate :
3/1/1980 12:00:00 AM
Abstract :
In systems of asynchronous processes using messagelists with SEND–RECEIVE primitives for interprocess communication recovery primitives are defined to perform state restoration: MARK saves a particular point in the execution of the program; RESTORE resets the system state to an earlier point (saved by MARK); and PURGE discards redundant information when it is no longer needed for possible state restoration.
Keywords :
Backup; domino effect; error recovery; parallel back-tracking; process communication; recovery blocks; state restoration; Aging; Computer science; Data structures; Database systems; Hardware; Resumes; Software systems; Sufficient conditions; System testing; Backup; domino effect; error recovery; parallel back-tracking; process communication; recovery blocks; state restoration;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1980.230469