Distributed Snapshots

Distributed Snapshots: Determining Global States of Distributed Systems K. Mani Chandy Leslie Lamport

Overview ,[object Object],[object Object]

Motivation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

What is a Global State? ,[object Object],[object Object],[object Object]

NO! What about channels? ,[object Object],[object Object],[object Object]

Stable Properties ,[object Object],[object Object],[object Object],[object Object]

Quick Recap ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Definitions ,[object Object],[object Object],[object Object],[object Object],[object Object]

Assumptions (oh no!) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Snapshot (Chandy-Lamport) Algorithm ,[object Object],[object Object],[object Object],[object Object],[object Object]

Termination of Algorithm ,[object Object],[object Object],[object Object]

Properties of Snapshot ,[object Object],[object Object],[object Object],[object Object]

Stability Detection ,[object Object],[object Object],[object Object]

Issues ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Recommandé