neilconway / overlog-paxos

A clean implementation of the Paxos consensus protocol in Overlog, a language for distributed computing.

commit 26: d9c9e6e60ee9
parent 25: 130c49fc932f
branch: default
joe's observed fix
ro...@domU-12-31-39-00-C5-42.compute-1.internal
5 months ago

Changed (Δ0 bytes):

raw changeset »

src/olg/core/prepare.olg (1 lines added, 1 lines removed)

Up to file-list src/olg/core/prepare.olg:

…… @@ -88,7 +88,7 @@ public 
88
 
88
 
datalist(Agent, Master, View, Aru, SeqNo, Update, Type) :-
 
89
 
89
 
    accept(Agent, M, OldView, SeqNo, Update),
 
90
 
90
 
    datalist(Agent, Master, View, Aru, -1, _, "Bottom"),
 
91
 
    SeqNo == Aru,
 
91
 
    SeqNo >= Aru,
 
92
 
92
 
    Type := "Proposed";
 
93
 
93
 

        	

			
        
			
        	

          		
94

          		
94

          		
// if SeqNo < Aru, we ignore the preoposal