×

Distributed computation recovery management system and method

  • US 5,325,528 A
  • Filed: 04/22/1993
  • Issued: 06/28/1994
  • Est. Priority Date: 04/22/1993
  • Status: Expired due to Term
First Claim
Patent Images

1. In a computer system having multiple application processes that interactively perform a distributed computation, the steps of the method comprising:

  • modeling said multiple application processes as finite state machines by storing in a computer memory in said computer system model data corresponding to each application process, said model data identifying a set of states, identifying some states of said application process as final states from which the corresponding application process is allowed to terminate and identifying other states as intermediate states from which the corresponding application process must not be allowed to terminate;

    said stored model data for each application process further including state transition data identifying state transitions between identified states of said each application process as being enabled by receiving a message from another application process, by unreliably sending a message to a destination external of said each application process, and by reliably sending a message to a destination external of said each application process;

    said computer system modifying said model data by selecting, in accordance with a set of predefined state transition modification criteria, ones of said state transitions enabled by unreliably sending a message, and changing said state transition data to indicate that selected state transitions are enabled by reliably sending said message;

    said computer system further modifying said model data by converting ones of said intermediate states into final states, said intermediate states converted into final states being selected in accordance with a predefined set of state modification criteria; and

    said computer system when executing each application process, recording on stable storage information identifying reliably sent messages and information identifying state transitions by said each application process, said identifying information being recorded in accordance with which states are identified as being intermediate states in said modified model data.

View all claims
  • 3 Assignments
Timeline View
Assignment View
    ×
    ×