org.javagroups.protocols
Class FLUSH

java.lang.Object
  |
  +--org.javagroups.stack.Protocol
        |
        +--org.javagroups.stack.MessageProtocol
              |
              +--org.javagroups.stack.RpcProtocol
                    |
                    +--org.javagroups.protocols.FLUSH
All Implemented Interfaces:
RequestHandler

public class FLUSH
extends RpcProtocol

The task of the FLUSH protocol is to flush all pending messages out of the system. This is done before a view change by stopping all senders and then agreeing on what messages should be delivered in the current view (before switching to the new view). A coordinator broadcasts a FLUSH message. The message contains an array of the highest sequence number for each member as seen by the coordinator so far. Each member responds with its highest sequence numbers seen so far (for each member): if its sequence number for a member P is higher than the one sent by the coordinator, it will append the messages apparently not received by the coordinator to its reply. The coordinator (when all replies have been received), computes for each member the lowest and highest sequence number and re-broadcasts messages accordingly (using ACKs rather then NAKs to ensure reliable delivery).

Example:


   FLUSH  ---> (p=10, q=22, r=7)

   <-- (p=10, q=20, r=7)    (did not receive 2 messages from q)
   <-- (p=12, q=23, r=7)    (attached are messages p11, p12, and q23)
   <-- (p=10, q=22, r=8)    (attached is message r8)
   ---------------------
   min:   11    21    8
   max:   12    23    8
   
The coordinator now computes the range for each member and re-broadcasts messages p11, p12, q21, q22, q23 and r8. This is essentially the exclusive min and inclusive max of all replies. Note that messages p11, p12 and q23 were not received by the coordinator itself before. They were only returned as result of the FLUSH replies and the coordinator now re-broadcasts them.


Field Summary
 
Fields inherited from class org.javagroups.stack.MessageProtocol
_corr, members
 
Fields inherited from class org.javagroups.stack.Protocol
down_handler, down_prot, down_queue, down_thread, down_thread_prio, observer, props, stack, up_handler, up_prot, up_queue, up_thread, up_thread_prio
 
Constructor Summary
FLUSH()
           
 
Method Summary
 java.lang.String getName()
           
 boolean handleDownEvent(Event evt)
          Callback.
 Digest handleFlush(java.util.Vector flush_dests, long[] highest_seqnos)
          Called by coordinator running the FLUSH protocol.
 boolean handleUpEvent(Event evt)
          Callback.
 java.util.Vector providedUpServices()
          List of events that are provided to layers above (they will be handled when sent down from above).
 void receiveDownEvent(Event evt)
          The default handling adds the event to the down-queue where events are handled in order of addition by a thread.
 java.util.Vector requiredDownServices()
          List of events that are required to be answered by some layer below.
 boolean setProperties(java.util.Properties props)
          Configures the protocol initially.
 void start()
          This method is called on a Channel.connect(String).
 
Methods inherited from class org.javagroups.stack.RpcProtocol
callRemoteMethod, callRemoteMethod, callRemoteMethod, callRemoteMethod, callRemoteMethod, callRemoteMethod, callRemoteMethod, callRemoteMethod, callRemoteMethod, callRemoteMethods, callRemoteMethods, callRemoteMethods, callRemoteMethods, callRemoteMethods, callRemoteMethods, callRemoteMethods, callRemoteMethods, callRemoteMethods, handle
 
Methods inherited from class org.javagroups.stack.MessageProtocol
castMessage, down, sendMessage, stop, up, updateView
 
Methods inherited from class org.javagroups.stack.Protocol
destroy, getDownProtocol, getDownQueue, getProperties, getUpProtocol, getUpQueue, init, passDown, passUp, providedDownServices, receiveUpEvent, requiredUpServices, setDownProtocol, setObserver, setPropertiesInternal, setProtocolStack, setUpProtocol, startDownHandler, startUpHandler, stopInternal
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FLUSH

public FLUSH()
Method Detail

getName

public java.lang.String getName()
Overrides:
getName in class RpcProtocol

providedUpServices

public java.util.Vector providedUpServices()
Description copied from class: Protocol
List of events that are provided to layers above (they will be handled when sent down from above).

Overrides:
providedUpServices in class Protocol
Returns:
Vector (of Integers)

requiredDownServices

public java.util.Vector requiredDownServices()
Description copied from class: Protocol
List of events that are required to be answered by some layer below.

Overrides:
requiredDownServices in class Protocol
Returns:
Vector (of Integers)

start

public void start()
           throws java.lang.Exception
Description copied from class: Protocol
This method is called on a Channel.connect(String). Starts work. Protocols are connected and queues are ready to receive events. Will be called from bottom to top. This call will replace the START and START_OK events.

Overrides:
start in class MessageProtocol
Throws:
java.lang.Exception - Thrown if protocol cannot be started successfully. This will cause the ProtocolStack to fail, so Channel.connect(String) will throw an exception

handleFlush

public Digest handleFlush(java.util.Vector flush_dests,
                          long[] highest_seqnos)
Called by coordinator running the FLUSH protocol. Argument is an array of the highest seqnos as seen by the coordinator (for each member). handleFlush() checks for each member its own highest seqno seen for that member. If it is higher than the one seen by the coordinator, all higher messages are attached to the return value (a message digest).

Parameters:
flush_dests - The members to which this message is sent. Processes not in this list just ignore the handleFlush() message.
highest_seqnos - The highest sequence numbers (order corresponding to membership) as seen by coordinator.
Returns:
Digest An array of the highest seqnos for each member, as seen by this member. If this member's seqno for a member P is higher than the one in highest_seqnos, the missing messages are added to the message digest as well. This allows the coordinator to re-broadcast missing messages.

handleUpEvent

public boolean handleUpEvent(Event evt)
Callback. Called by superclass when event may be handled.

Do not use PassUp in this method as the event is passed up by default by the superclass after this method returns !

Overrides:
handleUpEvent in class RpcProtocol
Returns:
boolean Defaults to true. If false, event will not be passed up the stack.

handleDownEvent

public boolean handleDownEvent(Event evt)
Callback. Called by superclass when event may be handled.

Do not use PassDown in this method as the event is passed down by default by the superclass after this method returns !

Overrides:
handleDownEvent in class RpcProtocol
Returns:
boolean Defaults to true. If false, event will not be passed down the stack.

receiveDownEvent

public void receiveDownEvent(Event evt)
The default handling adds the event to the down-queue where events are handled in order of addition by a thread. However, there exists a deadlock between the FLUSH and BLOCK_OK down events: when a FLUSH event is received, a BLOCK is sent up, which triggers a BLOCK_OK event to be sent down to be handled by the FLUSH layer. However, the FLUSH layer's thread is still processing the FLUSH down event and is therefore blocked, waiting for a BLOCK_OK event. Therefore, the BLOCK_OK event has to 'preempt' the FLUSH event processing. This is done by overriding this method: when a BLOCK_OK event is received, it is processed immediately (in parallel to the FLUSH event), which causes the FLUSH event processing to return.

Overrides:
receiveDownEvent in class Protocol

setProperties

public boolean setProperties(java.util.Properties props)
Description copied from class: Protocol
Configures the protocol initially. A configuration string consists of name=value items, separated by a ';' (semicolon), e.g.:
 "loopback=false;unicast_inport=4444"
 

Overrides:
setProperties in class Protocol


Copyright ? 2001,2002 www.javagroups.com . All Rights Reserved.