1 / 7

Self-stabilization

Self-stabilization. Example 1. 0. Clock phase synchronization System of n clocks ticking at the same rate. Each clock is 3-valued, i,e it ticks as 0, 1, 2, 0, 1, 2… A failure may arbitrarily alter the clock phases. The clocks need to return to the same phase. 1. 2. 3. n-1.

kizer
Download Presentation

Self-stabilization

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Self-stabilization

  2. Example 1 0 Clock phase synchronization System of n clocks ticking at the same rate. Each clock is 3-valued, i,e it ticks as 0, 1, 2, 0, 1, 2… A failure may arbitrarily alter the clock phases. The clocks need to return to the same phase. . 1 2 3 n-1

  3. Clock phase synchronization {Program for each clock} (c[k] = phase of clock k, initially arbitrary) do∃j: j∈ N(i) :: c[j] = c[i] +1 mod 3 → c[i] := c[i] + 2 mod 3 [] ∀j: j ∈ N(i) :: c[j] ≠ c[i] +1 mod 3 → c[i] := c[i] + 1 mod 3 od Show that eventually all clocks will return to the same phase (convergence), and continue to be in the same phase (closure) Proof of liveness: an example ∀k: c[k] ∈ {0,1,2} 0 1 2 3 n-1

  4. Let D = d[0] + d[1] + d[2] + … + d[n-1] d[i] = 0 if no arrow points towards clock i; = i + 1 if a ← points towards clock i; = n - i if a → points towards clock i; = 1 if both → and ← point towards clock i. By definition, D ≥ 0. Also, D decreases after every step in the system. So the number of arrows must reduce to 0. Proof of convergence 0 1 2 n-1 0 2 2 2 0 1 1 0 1 1 2 2 2 2 2 Understand the game of arrows

  5. Example 2 • Design a self-stabilizing algorithm for constructing • a spanning tree of a network. The root is given • Assume • - There are n nodes • Each node i has two variables: • parent p(i), and • - a label L(i) that measures the distance of i from the root • via tree edges. • - By definition, L(root) = 0

  6. Example 2 Algorithm due to Chen, Yu, and Huang (1991)

  7. Example 2 Algorithm due to Chen, Yu, and Huang (1991)

More Related