The RAFT consensus algorithm and its implementation in Aeron Cluster