-Reliable Broadcast: A Probabilistic Measure of Broadcast Reliability

This paper introduces a new probabilistic specification of reliable broadcast communication primitives, called �- Reliable Broadcast. This speci.cation captures in a precise way the reliability of practical broadcast algorithms that, on the one hand, were devised with some form of reliability in mind but, on the other hand, are not considered reliableaccording to "traditional" reliability specifications.We illustrate the use of our specification by precisely measuring and comparing the reliability of two popular broadcast algorithms, namely Bimodal Multicast and IP Multicast. In particular, we quantify how the reliability of each algorithm scales with the size of the system.