Heuristic token selection for total order reliable multicast communication

An efficient multicast protocol is presented by using a heuristic function for passing a virtual token to decide the total message ordering. Unlike existing token-passing based algorithms, there is no physical token-passing message in the protocol. Instead, the token holder piggybacks token passing on to normal multicast messages. Executing the heuristic function does not incur any communication overhead and only relies on the local information of a token holder. For a group of n processes and k multicast messages, the protocol is able to achieve atomicity of one message by an average of (n-2)/k point-to-point control messages. Dynamic membership is non-blocking, i.e. each individual process in the group can take unilateral decisions at each step of the membership algorithms. System-wide consistent group configuration can be obtained in a consistent order of normal multicast messages. The performance of the protocol is shown by implementation figures.