State Restoration in Systems of Communicating Processes

  • Authors:
  • D. L. Russell

  • Affiliations:
  • Bell Laboratories

  • Venue:
  • IEEE Transactions on Software Engineering
  • Year:
  • 1980

Quantified Score

Hi-index 0.00

Visualization

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.