Generalized Paxos, GPaxos and Fast Genuine Generalized Consensus implementations