State Restoration in Systems of Communicating Processes
- 1 March 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-6 (2), 183-194
- https://doi.org/10.1109/tse.1980.230469
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
This publication has 8 references indexed in Scilit:
- A program structure for error detection and recoveryPublished by Springer Nature ,2005
- Recovery Blocks in Action: A System Supporting High ReliabilityPublished by Springer Nature ,1985
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Reliability Issues in Computing System DesignACM Computing Surveys, 1978
- Reliable Resource Allocation Betvveen Unreliable ProcessesIEEE Transactions on Software Engineering, 1978
- Process backup in producer-consumer systemsPublished by Association for Computing Machinery (ACM) ,1977
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975
- The nucleus of a multiprogramming systemCommunications of the ACM, 1970