Loading [MathJax]/extensions/MathMenu.js
State Restoration in Systems of Communicating Processes | IEEE Journals & Magazine | IEEE Xplore

State Restoration in Systems of Communicating Processes


Abstract:

In systems of asynchronous processes using messagelists with SEND–RECEIVE primitives for interprocess communication recovery primitives are defined to perform state resto...Show More

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.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-6, Issue: 2, March 1980)
Page(s): 183 - 194
Date of Publication: 31 March 1980

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.