- broadcast
- deliver
We copy the message in order to change the sender's address. If we did this on
the original message,
- forwardToCoord
- handleViewChange
- block
- canDeliver
Checks if seqno has already been received from sender. This weeds out
duplicates. Note that this met
- flush
- flushMessagesInForwardTable
Sends all messages currently in forward_table to the new coordinator (changing
the dest field). This
- forward
- handleTmpView
- startFlusher
- stopFlusher