'Fault span' presentation slideshows

Defining Programs, Specifications, fault-tolerance, etc.

502 views • 43 slides

Design of Tree Algorithm

Design of Tree Algorithm. Goal: Learning about satisfying safety and liveness of a distributed program Utilizing invariants and fault-span systematically while designing distributed programs design a tree construction protocol systematically by constructing its invariant and fault-span

428 views • 31 slides

Design of Nonmasking Tree Algorithm

Design of Nonmasking Tree Algorithm. Goal: design a tree construction protocol systematically by constructing its invariant and fault-span. Ideal State. Each process j maintains a variable P.j. P.j denotes the parent of j in the tree. Each process also has a unique ID

282 views • 19 slides

Stabilization

Stabilization. Consider nonmasking Fault-Tolerance. Invariant Fault-Span Program computation that starts from fault-span is guaranteed to reach invariant? What if Fault-span = set of all states? Such systems are called self-stabilizing. Defining stabilization.

158 views • 10 slides