Department of Artificial Intelligence & Data Science
Department of Artificial Intelligence & Data Science
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)
A FRAMEWORK FOR A SYSTEM OF LOGICAL CLOCKS
In a system of logical clocks, every process has a logical clock that is
advanced using a set of rules.
Definition:
A system of logical clocks consists of a time domain T and a logical clock C. Elements
of T form a partially ordered set over a relation < . This relation is usually called the
happened before or causal precedence.
Protocols: rules for updating the data structures to ensure consistent conditions.
Data structures: Each process pi maintains data structures with the given
capabilities:
• A local logical clock (lci), that helps process pi measure its own progress.
• A logical global clock (gci), that is a representation of process pi’s local view of
the logical global time. It allows this process to assign consistent timestamps to
its local events.
A FRAMEWORK FOR A SYSTEM OF LOGICAL CLOCKS
Protocol:
The protocol ensures that a process’s logical clock, and thus its view of the global
time, is managed consistently with the following rules:
Rule 1: Decides the updates of the logical clock by a process. It controls send,
receive and other operations.
Rule 2: Decides how a process updates its global logical clock to update its view of
the global time and global progress. It dictates what information about the logical time
is given in a message and how this information is used by the receiving process to
update its view of the global time.