PDF Publication Title:
Text from PDF Page: 056
56 3.3. TERMINATION Algorithm 8: Proposer algorithm for Classic Paxos with termination 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 v,emax←nil QP,QA←∅ 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 ← f, v ← w case decided(w) received from acceptor /* skip the remainder of phase one & phase two */ v←w goto line 29 case timeout goto line 1 if v=nilthen 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 decided(w) received from acceptor /* skip the remainder of phase two */ v←w goto line 29 case timeout goto line 1 return v /* Start of Phase 3 for decided value v */ send decided( v) to acceptorsPDF 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)