On Causal Broadcasting with Positive Acknowledgments and Bounded-Length Counters

Authors:
Giuseppe Anastasi;Alberto Bartoli;Giacomo Giannini
Affiliations:
IEEE Computer Soc.;-;-
Venue:
IEEE Transactions on Computers
Year:
2004

Citing 3
Cited 0

Logical Time in Distributed Computing Systems

Computer - Distributed computing systems: separate resources acting as one
A Positive Acknowledgment Protocol for Causal Broadcasting

IEEE Transactions on Computers
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM

Quantified Score

Hi-index	14.98

Visualization

Abstract

A causal broadcast protocol was proposed earlier in [1]. Two extensions of the protocol were also proposed in order to improve its throughput and bandwidth utilization. In this paper, we show that both extensions are not live, i.e., there may be execution patterns in which processes stop delivering messages. We also show that the algorithm for the second extension does not satisfy the requirements on which its correctness was established. Finally, we provide fixed versions of both extensions and prove their correctness.