The Paxos consensus