Show that, if the basic multicast that we use in the algorithm of Figure 15.13is also FIFO-ordered,
then the resultant totally-ordered multicast is also causally ordered. Is it the case that any multicast
that is both FIFO-ordered and totally ordered is thereby causally ordered?
What will be an ideal response?
We show that causal ordering is achieved for the simplest possible cases of the happened-before relation; the
general case follows trivially.
First, suppose p TO-multicasts a message m1 which q receives; q then TO-multicasts message m2. The
sequencer must order m2 after m1, so every process will deliver m1 and m2 in that order.
Second, suppose p TO-multicasts a message m1 then TO-multicasts message m2. Since the basic multicast is
FIFO-ordered, the sequencer will receive m1 and m2 in that order; so every group member will receive them
in that order.
It is clear that the result is generally true, as long as the implementation of total ordering guarantees that the
sequence number of any message sent is greater than that of any received by the sending process. See Florin
& Toinard [1992].
[Florin & Toinard 1992] Florin, G. and Toinard, C. (1992). A new way to design causally and totally ordered
multicast protocols. Operating Systems Review, ACM, Oct. 1992.
You might also like to view...
Cells can contain formatting, comments, and contents
Indicate whether the statement is true or false
Match the description of the Excel function to their steps:
I. When you select a chart, Excel displays a A. Design, Layout, and Format Chart Tools contextual tab with three specific tabs II. After creating a chart you can B. Design tab / Change Chart change the chart type by using Type button III. To reverse the Data Series of a chart C. use the Select Data Source dialog box from the Select Data button IV. To change the data source of a chart D. a miniature chart contained in a single cell V. A sparkline E. click Switch Row/Column in the Data group