Real Algorithm
Solution: Also record a channel state.
The state recorded for a channel cp is the
ordered list of mesages recieved on c by a process
p after p has recorded it's state.
Process p, upon receiving a marker upon channel c:
- If p has not yet recorded its state:
- Record state(p)
- Record state(cp) as the empty list
- Send marker out on all channels
- Else:
- Record state(cp) as all the
messages recieved since recording state(p)
Next