Redundancy removal in multicast protocols

A well-known protocol that implements the causal order with group multicast is CBCAST. CBCAST derives from ISIS, a message passing system developed using NON-FIFO channels, which had important implications for distributed computing. Potential redundancy in CBCSAT's implementation of the delay queue is presented. This introduces redundant message buffering not strictly required to ensure the correctness of the causal order. A simple technique to remove this redundancy that would be of use in improving overall system performance is also presented.