Checkpoint Protocol

• A processor asynchronously decides to checkpoint

• Packs up the state of all its chares and sends it to the buddy

  • Message logs are part of a chare’s state

• Message log on senders can be garbage collected

• Deciding when to checkpoint is an interesting problem