LM11
LM11
OUTCOMES:
Upon the completion of this course, the student will be able to
CO1: Explain the foundations of distributed systems (K2)
CO2: Solve synchronization and state consistency problems (K3)
CO3 Use resource sharing techniques in distributed systems (K3)
CO4: Apply working model of consensus and reliability of distributed systems (K3)
CO5: Explain the fundamentals of cloud computing (K2)
MESSAGE ORDERING AND GROUP COMMUNICATION
The message ordering means the order of delivering the messages to the
intended recipients.
The common message order schemes are First in First out (FIFO), non FIFO,
causal order and synchronous order.
In case of group communication with multicasting, the causal and total ordering
scheme is followed.
Notations
MESSAGE ORDERING AND GROUP COMMUNICATION
(i) non-FIFO
(ii) FIFO
(iii) causal order
(iv) synchronous order
MESSAGE ORDERING AND GROUP COMMUNICATION
Asynchronous Executions
An asynchronous execution (or A-execution) is an execution (E, ≺) for which the
causality relation is a partial order.
On any Logical Link ,the messages can be delivered in any order not necessarily in
FIFO- Non FIFO Execution.
Though there is a physical link that delivers the messages sent on it in FIFO order
(FIFO Execution)due to the physical properties of the medium, a logical link may be
formed as a composite of physical links and multiple paths may exist between the two
end points of the logical link.
MESSAGE ORDERING AND GROUP COMMUNICATION
MESSAGE ORDERING AND GROUP COMMUNICATION
1. FIFO executions
On any logical link in the system, messages are necessarily delivered in the order in
which they are sent.
Although the logical link is inherently non FIFO, most network protocols provide a
connection-oriented service at the transport layer.
If two send events s and s’ are related by causality ordering (not physical time
ordering), then a causally ordered execution requires that their corresponding
receive events r and r’ occur in the same order at all common destinations..
MESSAGE ORDERING AND GROUP COMMUNICATION
MESSAGE ORDERING AND GROUP COMMUNICATION
A message m that arrives in the local OS buffer at Pi may have to be delayed until
the messages that were sent to Pi causally before m was sent (the “overtaken”
messages) have arrived and are processed by the application.
Figure 6.3(b) shows the equivalent timing diagram with the corresponding
instantaneous message communication.
MESSAGE ORDERING AND GROUP COMMUNICATION