universal.leader
Class LeaderCrashStopServer.trustListElement

java.lang.Object
  |
  +--universal.leader.LeaderCrashStopServer.trustListElement
Enclosing class:
LeaderCrashStopServer

protected class LeaderCrashStopServer.trustListElement
extends java.lang.Object


Field Summary
protected  long delta
          If we don't have received any AmAlive message from the replicated server k during a period delta, this server is considered as not to be alive.
protected  int epoch
          Useful only for the crash recovery model
protected  long lastReceivingTime
          The last time we have received a message AmAlive for the replicated server k
protected  boolean trusted
          True if the replicated server k is consider to be alive
 
Constructor Summary
LeaderCrashStopServer.trustListElement()
          Initialisation of all the variables.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

trusted

protected boolean trusted
True if the replicated server k is consider to be alive


epoch

protected int epoch
Useful only for the crash recovery model


lastReceivingTime

protected long lastReceivingTime
The last time we have received a message AmAlive for the replicated server k


delta

protected long delta
If we don't have received any AmAlive message from the replicated server k during a period delta, this server is considered as not to be alive.

Constructor Detail

LeaderCrashStopServer.trustListElement

public LeaderCrashStopServer.trustListElement()
Initialisation of all the variables. At the beginning all the replicated servers are considered to be alive.