|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--universal.consensus.register.Registry
Each time a new consensus is started for a new position in the total order, a registry is added to the hashtable of the register. One registry contains the value that it has received in the WriteMessage from the leader for this position in the total order. It also contains the last time this server has received a ReadMessage and the last time it has received the WriteMessage.
Field Summary | |
private java.lang.String |
filename
Could be useful if we want to instantiate the crashRecovery model as in paxos |
int |
lastread
The last time it has received a ReadMessage from the leader for the position in the total order that this regitry has been instantiated. |
int |
lastwrite
The last time it has received a WriteMessage from the leader for the position in the total order that this regitry has been instantiated. |
universal.Outcome |
out
The Outcome that was in the WriteMessage from the leader |
protected universal.Universal |
uni
The object Universal that this Registry is linked to |
Constructor Summary | |
Registry(universal.Universal uni)
|
Method Summary | |
universal.consensus.register.AckListener |
acklistener()
|
universal.consensus.register.ReadResult |
read(int k,
int K)
Read for the round number k and the position in the total order K. |
universal.communication.Sender |
sender()
|
universal.consensus.register.WriteResult |
write(int k,
universal.Outcome out,
int K)
Try to write the value out for the round number k and the position in the total order K. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public int lastread
public int lastwrite
public universal.Outcome out
private java.lang.String filename
protected universal.Universal uni
Constructor Detail |
public Registry(universal.Universal uni)
Method Detail |
public universal.consensus.register.ReadResult read(int k, int K)
public universal.communication.Sender sender()
public universal.consensus.register.AckListener acklistener()
public universal.consensus.register.WriteResult write(int k, universal.Outcome out, int K)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |