[Spread-users] Feature interaction between Spread service types

[Pilling, Michael]

Hello, 

I'm wondering if anyone could tell me how interleaving FIFO, CAUSAL,
AGREED and SAFE messages works.

I'm developing an application level protocol and would like to use the
cheapest primatives possible.
Generally for most of the protocol I'd naturally choose either CAUSAL or
AGREED, but I am wondering if I do
a series of these and then do a SAFE message, will the SAFE message
flush out all the undelivered CAUSAL and AGREED
messages and then deliver the SAFE message? I.e. does spread provide any
guarantees across these types?

Also I'm assuming
FIFO implements fbcast
CAUSAL implements cbcast
AGREED implements cabcast
and wonder if I'm correct. Also is SAFE an dynamically safe
implementation of gbcast, and does it provide an order consistant with
CAUSAL or AGREED?

Thanks for your help.

Regards,
Michael

----
Dr Michael Pilling
C3I Division
DSTO
PO Box 1500
Edinburgh SA 5111
Phone: 08 8259 7017 Fax: 08 8259 5589
email: Michael.Pilling at dsto.defence.gov.au


> IMPORTANT: This email remains the property of the Australian Defence
> Organisation and is subject to the jurisdiction of section 70 of the
> CRIMES ACT 1914. If you have received this email in error, you are
> requested to contact the sender and delete the email.
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.spread.org/pipermail/spread-users/attachments/20070629/6a4e07b4/attachment.html