Distributed consensus

PDF Publication Title:

Distributed consensus ( distributed-consensus )

Previous Page View | Next Page View | Return to Search List

Text from PDF Page: 082

82 4.2. QUORUM INTERSECTION ACROSS EPOCHS Algorithm 14: Proposer algorithm for Paxos revision B 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 state : • Qe2: for each e ∈ E, set of quorums for phase two (configured, persistent) v,emax←nil QP,QA←∅ e ← min(E ) E←E\{e} /* Start Phase 1 for epoch e */ send prepare( e) to acceptors while∃z∈E:z emax) then emax ← f, v ← w case timeout goto line 1 if v=nilthen v←γ /* Start Phase 2 for proposal (e,v) */ send propose( e,v) to acceptors while∀Q∈Qe2 :QA ̸⊇Qdo switch do case accept( e) received from acceptor a QA ← QA ∪ {a} case timeout goto line 1 return v Property 13. Proposers only propose a value in epoch e after receiving promises from a phase one quorum of acceptors for epoch e, Qe1. Property 14. Proposers only return a value after receiving accepts from a phase two quorum of acceptors for epoch e, Qe2. Recall Lemma 11 from our safety proof for Classic Paxos (§2.6): Lemma 11 (Quorum intersection). If a value v is decided in epoch e then at least one acceptor which accepted proposal (e,v) will be required to promise in any future proposals > e.

PDF Image | Distributed consensus

PDF Search Title:

Distributed consensus

Original File Name Searched:

UCAM-CL-TR-935.pdf

DIY 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)