PDF Publication Title:
Text from PDF Page: 058
58 3.3. TERMINATION p1 a1 a2 a3 p2 prepare(0) e : 0, E : {2, . . . } epr o:0 epro:0 vacc :A vdec :A vdec :A promise(0,nil,nil) QP :{a1} promise(0,nil,nil) QP :{a1,a2},v:A propose(0,A) accept(0) QA : {a1} accept(0) QA :{a1,a2} decided(A) epro:0 epro:0 epro:0 vacc :A epro:0 vacc :A vdec :A (0, A) decided e : 1, E : {3, . . . } prepare(1) decided(A) Figure 3.3: Classic Paxos with termination (Alg. 8,9) despite the fact that at least a majority of the acceptors will already have a copy of value. Alternatively, the proposer could send decided(e) where e is the epoch in which the value v was decided. If an acceptor receives decided(e) and has accepted a proposal from e (or a subsequent epoch) then the acceptor learns that the value in that proposal has been decided. This follows from Value Uniqueness (Lemma 9) and the Safety of future proposals (Theorem 13). Alternatively, if a proposer learns that a decision has been reached but does not know the decided value then it can learn the decided value by executing phase one of ClassicPDF 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 |