Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
David L. Russell (1980) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: