infoservice.agreement.paxos.integration
Class InfoServicePaxosInstance

java.lang.Object
  infoservice.agreement.paxos.PaxosObject
      infoservice.agreement.paxos.PaxosInstance
          infoservice.agreement.paxos.integration.InfoServicePaxosInstance

public class InfoServicePaxosInstance
extends PaxosInstance

Field Summary

private PaxosRejectManager

m_rejectManager

Fields inherited from class infoservice.agreement.paxos.PaxosInstance

m_executions

Constructor Summary

InfoServicePaxosInstance(PaxosAcceptor a_acceptor, java.lang.String a_instanceNumber)
Creates a new InfoServicePaxosInstance for for the given acceptor with the given instancenumber

Method Summary

void	handleRejectMessage(PaxosMessage a_msg) Handles incomming RejectMessages

Methods inherited from class infoservice.agreement.paxos.PaxosInstance

addDecision, getAcceptor, getDecissions, getExecution, getExecutions, getInstanceNumber

Methods inherited from class infoservice.agreement.paxos.PaxosObject

debug, error, fatal, getLog, info, setLog

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

m_rejectManager

private PaxosRejectManager m_rejectManager

Constructor Detail

InfoServicePaxosInstance

public InfoServicePaxosInstance(PaxosAcceptor a_acceptor,
                                java.lang.String a_instanceNumber)

Creates a new InfoServicePaxosInstance for for the given acceptor with the given instancenumber

Parameters:

a_acceptor - The acceptor this instance belongs to

a_instanceNumber - The unique identifier of this isntance

Method Detail

handleRejectMessage

public void handleRejectMessage(PaxosMessage a_msg)

Handles incomming RejectMessages