Chandy–Lamport algorithm: Difference between revisions

Revision as of 20:57, 1 July 2006

Revision as of 17:33, 2 August 2006

Line 30:

## Sends the observor process its own saved state

## Attaches the snapshot token to all subsequent messages (to help propagate the snapshot token)

# Should a process that has already received the snapshot token receive a message that does not bear the snapshot token, this process will forward that message to the observorobserver process. This message was obviously sent before the snapshot "cut off" (as it does not bear a snapshot token and thus must have come from before the snapshot token was sent out) and needs to be included in the snapshot.

From this, the observor builds up a complete snapshot: a saved state for each process and all messages "in the ether" are saved.