RevisitingthePaxosalgorithm