PDF Publication Title:
Text from PDF Page: 090
90 4.4. SUMMARY 4.3.4 Voting for epochs Previously, we discussed how Classic Paxos’s phase one can be used to ensure uniqueness of epochs (§3.9). This observation can also apply to our revisions, provided phase one quorums for a given epoch intersect. This requires us to add the following quorum intersection requirement: ∀Q,Q′ ∈Qe1 :Q∩Q′ ̸=∅ (4.7) This mechanism allows any proposer to try to use any epoch, including emin. However, this quorum intersection restriction means that we are no longer able to skip phase one for emin. 4.4 Summary Classic Paxos (§3.11) requires proposers to wait to complete phase one until they have received a promise from every quorum, regardless of the phase or epoch. In this chapter, we introduced revision A, proving that a proposer could complete phase one once it has received a promise for every phase two quorum, regardless of the epoch. Subsequently, we further weakened the Paxos intersection requirements in revision B, by proving that a proposer using epoch e can complete phase one once it has received a promise from each phase two quorum for epoch less than e. ClassicPaxos RevisionA RevisionB ∃Q∈Q:QP ∩Q=∅ ∃Q∈Q2 :QP ∩Q=∅ ∃f∈E:fPDF Image | Distributed consensus
PDF Search Title:
Distributed consensusOriginal File Name Searched:
UCAM-CL-TR-935.pdfDIY PDF Search: Google It | Yahoo | Bing
Cruise Ship Reviews | Luxury Resort | Jet | Yacht | and Travel Tech More Info
Cruising Review Topics and Articles More Info
Software based on Filemaker for the travel industry More Info
The Burgenstock Resort: Reviews on CruisingReview website... More Info
Resort Reviews: World Class resorts... More Info
The Riffelalp Resort: Reviews on CruisingReview website... More Info
CONTACT TEL: 608-238-6001 Email: greg@cruisingreview.com (Standard Web Page)