- <init>
- connectAll
Try to establish a connection with each server if one doesn't exist.
- halt
Flag that it is time to wrap up all activities and interrupt the listener.
- receiveConnection
If this server receives a connection request, then it gives up on the new
connection if it wins. Not
- toSend
Processes invoke this message to queue a message to send. Currently, only leader
election uses it.
- connectOne
Try to establish a connection to server with id sid.
- haveDelivered
Check if all queues are empty, indicating that all messages have been delivered.
- initiateConnection
If this server has initiated the connection, then it gives up on the connection
if it loses challeng
- pollRecvQueue
Retrieves and removes a message at the head of this queue, waiting up to the
specified wait time if
- softHalt
A soft halt simply finishes workers.
- addToRecvQueue
Inserts an element in the #recvQueue. If the Queue is full, this methods removes
an element from the
- addToSendQueue
Inserts an element in the specified queue. If the Queue is full, this method
removes an element from