JoshuaEberhart-DistributedSnapshots

JoshuaEberhart-DistributedSnapshots - Distributed...

Info iconThis preview shows pages 1–14. Sign up to view the full content.

View Full Document Right Arrow Icon
Click to edit Master subtitle style Distributed Snapshots: Determining Global States of Distributed Systems Joshua Eberhardt Research Paper: Kanianthra Mani Chandy and Leslie Lamport
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background n What is a distributed system? n Set of autonomous computers n Communication network n Software that integrates it into a single entity
Background image of page 2
Figure 1
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Overview n Introduction n Model of a Distributed System n Global-state Detection Algorithm n Motivation n Termination n Stability Detection
Background image of page 4
Overview n Introduction n Model of a Distributed System n Global-state Detection Algorithm n Motivation n Termination n Stability Detection
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Processes in Distributed Systems n Process is an instance of a computer program being executed. n Processes in a distributed system communicate by sending and receiving messages. n A process can record its own state and the message it sends and receives.
Background image of page 6
Global States and Processes n To determine a global state, a process p must cooperate with other processes to record their own states and send them to p. n Main problem is to devise an algorithm to record global states.
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Global State Detection Problems n Let y , be a predicate function defined over the global states of the a distributed system D . n (In other words, y (S) is true or false for a global state S of D) n The predicate y is a stable property of D if y ( S ) implies y ( S’ ) for global states S’ of D reachable from S of D
Background image of page 8
Going Further n Many distributed system problems can be formulated as the general problem of creating an algorithm by which a process in a distributed system can determine whether a stable property y holds. n Examples n Deadlock Detection n Termination Detection
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Structure of Distributed Algorithms n Structured as sequence of phases. n Transient Part n Stable Part n Stability needs to be detected so that one phase can be terminated and another initiated. n Termination of a Computational Phase vs. Termination of a Computation
Background image of page 10
Termination Phase n The overall problem can be partitioned into the problems of detecting the termination of one phase and initiating a new phase. n Example of a stable property n The k th computational phase has terminated where k = 1, 2, 3, … n Thus we can determine the termination of the kth phase for any given k.
Background image of page 11

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Overview n Introduction n Model of a Distributed System n Global-state Detection Algorithm n Motivation n Termination n Properties n Stability Detection
Background image of page 12
n A distributed system consists of a finite set of processes and a finite set of channels . n
Background image of page 13

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 14
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 48

JoshuaEberhart-DistributedSnapshots - Distributed...

This preview shows document pages 1 - 14. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online