/// <summary>
/// Processes <c>Events</c> traveling down the stack
/// </summary>
/// <param name="evt">The Event to be processed</param>
public override void down(Event evt)
{
switch (evt.Type)
{
case Event.MSG:
Message msg = (Message)evt.Arg;
if(msg.Destination != null && msg.Destination.isMulticastAddress())
break;
localStamp.increment();
//System.Diagnostics.Trace.WriteLine("Incremented LTS = " + localStamp.getLocalTimeStamp());
Header hdr = new CausalHeader(localStamp.getTransportableVectorTimeStamp());
msg.putHeader(getName(),hdr);
break;
}
passDown(evt);
}
/// <summary>
/// Processes <c>Events</c> traveling down the stack
/// </summary>
/// <param name="evt">The Event to be processed</param>
public override void down(Event evt)
{
switch (evt.Type)
{
case Event.MSG:
Message msg = (Message)evt.Arg;
if (msg.Destination != null && msg.Destination.isMulticastAddress())
{
break;
}
localStamp.increment();
//System.Diagnostics.Trace.WriteLine("Incremented LTS = " + localStamp.getLocalTimeStamp());
Header hdr = new CausalHeader(localStamp.getTransportableVectorTimeStamp());
msg.putHeader(getName(), hdr);
break;
}
passDown(evt);
}
/// <summary>
/// Processes <c>Events</c> traveling up the stack
/// </summary>
/// <param name="evt">The Event to be processed</param>
public override void up(Event evt)
{
switch (evt.Type)
{
case Event.SET_LOCAL_ADDRESS:
localAddress = (Address)evt.Arg;
localStamp = new VectorTimeStamp(localAddress);
delayQueue = new ArrayList();
break;
case Event.VIEW_CHANGE:
ArrayList newViewMembers = ((View)evt.Arg).getMembers();
localStamp.merge((ArrayList)newViewMembers.Clone());
localStamp.reset();
break;
case Event.MSG:
Message msg = (Message)evt.Arg;
Header hdr = msg.getHeader(getName());
//Check that the correct header is available
if (hdr == null || !(hdr is CausalHeader))
{
if (Trace.trace)
{
Trace.error("Causal.up()", "No Causal Header Found!");
}
passUp(evt);
return;
}
CausalHeader cHdr = (CausalHeader)hdr;
//Pass message up if it is causually next
String diag = "";
bool next = localStamp.causallyNext(cHdr.VectorTime, out diag);
//passUp(new Event(Event.MSG, new Message(null,localAddress,diag)));
if (Trace.trace)
{
Trace.info("CAUSAL.up()", diag + "Causally Next = " + next);
}
if (next)
{
if (Trace.trace)
{
Trace.info("CAUSAL.up()", "Message received in sequence.");
}
passUp(evt);
localStamp.max(cHdr.VectorTime);
}
else //Else add to the delayed queue
{
if (Trace.trace)
{
Trace.warn("CAUSAL.up()", "Message received out of sequence.");
}
cHdr.VectorTime.AssosicatedMessage = msg;
addToQueue(cHdr.VectorTime);
}
//Check the delayed queue removing all items that can be passed up
TransportableVectorTimeStamp queuedVector = null;
while ((delayQueue.Count > 0) &&
localStamp.causallyNext((queuedVector = (TransportableVectorTimeStamp)delayQueue[0]), out diag))
{
delayQueue.Remove(queuedVector);
passUp(new Event(Event.MSG, queuedVector.AssosicatedMessage));
localStamp.max(queuedVector);
}
return;
}
passUp(evt);
}
