• DocumentCode
    751156
  • Title

    State Restoration in Systems of Communicating Processes

  • Author

    Russell, David L.

  • Author_Institution
    Bell Laboratories
  • Issue
    2
  • fYear
    1980
  • fDate
    3/1/1980 12:00:00 AM
  • Firstpage
    183
  • Lastpage
    194
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.1980.230469
  • Filename
    1702715