Data Structures
Event trace that includes:
- Message logs.
- Process state information such as PC, registers.
- Recovery state information kept in a global state matrix.
Definition : At a given time Tp, a detection point Dk(Pi) is safe with reference to another process Pj, if Pj has no message dependency on Pi in the interval {D0(Pi),Dk(Pi)}.