Lightweight Causal and Atomic Group Multicast

Lightweight Causal and Atomic Group Multicast

February 1991 | Kenneth Birman, Andre Schiper, Pat Stephenson
The paper presents a new suite of protocols for the Isis toolkit, a distributed programming environment based on support for virtually synchronous process groups and group communication. The primary focus is on a multicast primitive called CBCAST, which implements fault-tolerant, causally ordered message delivery. This primitive can be extended to a totally ordered multicast primitive called ABCAST. The protocols are designed to achieve high performance and scalability, with a space overhead proportional to the size of the groups to which the sender belongs. The paper discusses the types of process groups supported by ISIS, the prior work on group communication protocols, and the execution model. It then formally defines the problem and presents the CBCAST and ABCAST protocols, including their correctness proofs. The paper also addresses issues such as multicast stability, delivery atomicity, and handling group membership changes. Finally, it discusses extensions to the basic protocol for multiple process groups.The paper presents a new suite of protocols for the Isis toolkit, a distributed programming environment based on support for virtually synchronous process groups and group communication. The primary focus is on a multicast primitive called CBCAST, which implements fault-tolerant, causally ordered message delivery. This primitive can be extended to a totally ordered multicast primitive called ABCAST. The protocols are designed to achieve high performance and scalability, with a space overhead proportional to the size of the groups to which the sender belongs. The paper discusses the types of process groups supported by ISIS, the prior work on group communication protocols, and the execution model. It then formally defines the problem and presents the CBCAST and ABCAST protocols, including their correctness proofs. The paper also addresses issues such as multicast stability, delivery atomicity, and handling group membership changes. Finally, it discusses extensions to the basic protocol for multiple process groups.
Reach us at info@study.space
Understanding Lightweight causal and atomic group multicast