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.
On causal broadcasting with positive acknowledgments and bounded-length counters / Anastasi, Giuseppe; Bartoli, Alberto; Giannini, Giacomo; Baldoni, Roberto. - In: IEEE TRANSACTIONS ON COMPUTERS. - ISSN 0018-9340. - 53:10(2004), pp. 1355-1358. [10.1109/TC.2004.82]
On causal broadcasting with positive acknowledgments and bounded-length counters
BALDONI, Roberto
2004
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
VE_2004_11573-941857.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
442.2 kB
Formato
Adobe PDF
|
442.2 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
