PDF Publication Title:
Text from PDF Page: 030
30 2.2. CLASSIC PAXOS Algorithm 3: Proposer algorithm for Classic Paxos 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 state : • na: total number of acceptors (configured, persistent) • e: current epoch • v: current proposal value • emax: maximum epoch received in phase 1 • E: set of unused epochs (configured, persistent) • QP : set of acceptors who have promised • QA: set of acceptors who have accepted /* (Re)set variables */ v,emax←nil QP,QA←∅ /* Select and set the epoch e */ e ← min(E) E←E\{e} /* Start Phase 1 for epoch e */ send prepare( e) to acceptors while|QP|<⌊na/2⌋+1do switch do case promise( e,f,w) received from acceptor a QP ←QP ∪{a} if f ̸= nil ∧ (emax = nil ∨ f > emax) then /* (emax,v) is the greatest proposal received */ emax ← f, v ← w case timeout goto line 1 if v=nilthen /* no proposals were received thus propose γ */ v←γ /* Start Phase 2 for proposal (e,v) */ send propose( e,v) to acceptors while |QA| < ⌊na/2⌋ + 1 do switch do case accept( e) received from acceptor a QA ← QA ∪ {a} case timeout goto line 1 return vPDF 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 | RSS | AMP |