- _run
Runs the merge protocol as a leader
- consolidateDigests
Merge all digests into one. For each sender, the new value is
max(highest_delivered), max(highest_re
- consolidateMergeData
Merge all MergeData. All MergeData elements should be disjunct (both views and
digests). However, th
- getMergeDataFromSubgroupCoordinators
Sends a MERGE_REQ to all coords and populates a list of MergeData (in
merge_rsps). Returns after coo
- isRunning
- removeRejectedMergeRequests
Removed rejected merge requests from merge_rsps and coords. This method has a
lock on merge_rsps
- start