self stabilizing silent disjunction in an anonymous
play

Self-Stabilizing Silent Disjunction in an Anonymous Network Ajoy K. - PowerPoint PPT Presentation

Aug 07, 2023 •390 likes •2.13k views

Self-Stabilizing Silent Disjunction in an Anonymous Network Ajoy K. Datta Stphane Devismes Lawrence L. Larmore University of Nevada Las Vegas Universit Joseph Fourier, Grenoble Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction

  1. Arbitrary Start: Output = 1: No Problem! Some Input Bits 1. Red = Enabled to Reset. Green = Enabled to Join. Clusterheads Reset. Flooding Moves at Speed 1. 1 0 1 6 1 1 0 1 8 1 1 0 1 1 5 1 1 1 6 1 1 1 8 1 0 1 1 1 1 VII 7 7 15 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 7 / 17

  2. Arbitrary Start: Output = 1: No Problem! Some Input Bits 1. Red = Enabled to Reset. Green = Enabled to Join. Clusterheads Reset. Flooding Moves at Speed 1. 0 1 1 8 1 1 1 1 2 1 1 0 1 1 2 1 1 1 2 1 1 1 2 1 0 1 1 1 1 VII 7 7 2 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 7 / 17

  3. Arbitrary Start: Output = 1: No Problem! Some Input Bits 1. Red = Enabled to Reset. Green = Enabled to Join. Clusterheads Reset. Flooding Moves at Speed 1. Convergence within 1 + Diam Rounds . 1 1 3 1 1 2 1 1 1 1 1 0 1 1 2 1 1 1 1 2 1 1 2 1 0 1 1 1 3 3 1 VII 2 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 7 / 17

  4. Arbitrary Start: Output = 0: Serious Problem! VIII Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  5. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. VIII Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  6. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. Output Bits Inside Circles. 1 1 3 4 1 1 2 5 0 8 0 VIII 8 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  7. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. Output Bits Inside Circles. Red = Enabled to Reset. 1 1 3 4 1 1 2 5 0 8 0 VIII 8 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  8. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. Output Bits Inside Circles. Red = Enabled to Reset. Green = Enabled to Join. 1 1 3 4 1 1 2 5 0 8 0 VIII 8 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  9. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. Output Bits Inside Circles. Red = Enabled to Reset. Green = Enabled to Join. Chain Deletes at Head End. But Recruits at Tail (Leaf) End. 1 1 3 4 0 1 8 5 1 6 0 VIII 8 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  10. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. Output Bits Inside Circles. Red = Enabled to Reset. Green = Enabled to Join. Chain Deletes at Head End. But Recruits at Tail (Leaf) End. Keeps Going Around! 0 1 8 4 0 1 8 5 1 6 1 7 VIII Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  11. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. Output Bits Inside Circles. Red = Enabled to Reset. Green = Enabled to Join. Chain Deletes at Head End. But Recruits at Tail (Leaf) End. Keeps Going Around! 0 0 8 8 1 1 8 5 1 6 1 7 VIII Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  12. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. Output Bits Inside Circles. Red = Enabled to Reset. Green = Enabled to Join. Chain Deletes at Head End. But Recruits at Tail (Leaf) End. Keeps Going Around! 1 0 9 8 1 0 8 8 1 6 1 7 VIII Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  13. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. Output Bits Inside Circles. Red = Enabled to Reset. Green = Enabled to Join. Chain Deletes at Head End. But Recruits at Tail (Leaf) End. Keeps Going Around! 1 1 9 10 1 0 8 8 0 8 1 7 VIII Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  14. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. Output Bits Inside Circles. Red = Enabled to Reset. Green = Enabled to Join. Chain Deletes at Head End. But Recruits at Tail (Leaf) End. Keeps Going Around. Return to First Configuration , Except for Levels. 1 1 9 10 1 1 8 11 0 8 0 VIII 8 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  15. Arbitrary Start: Output = 0: Serious Problem! All Input Bits 0. Output Bits Inside Circles. Red = Enabled to Reset. Green = Enabled to Join. Chain Deletes at Head End. But Recruits at Tail (Leaf) End. Keeps Going Around. Return to First Configuration, Except for Levels. Endless! 1 1 9 10 0 1 8 11 1 12 0 VIII 8 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 8 / 17

  16. Color Wave Algorithm IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  17. Color Wave Algorithm Self-Stabilizing and Silent IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  18. Color Wave Algorithm Self-Stabilizing and Silent Complexities IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  19. Color Wave Algorithm Self-Stabilizing and Silent Complexities Arbitrary Initial Configuration. IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  20. Color Wave Algorithm Self-Stabilizing and Silent Complexities Arbitrary Initial Configuration. 3 Diam + O ( 1 ) Rounds to Achieve Legitimacy if Output = 1. IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  21. Color Wave Algorithm Self-Stabilizing and Silent Complexities Arbitrary Initial Configuration. 3 Diam + O ( 1 ) Rounds to Achieve Legitimacy if Output = 1. 5 Diam + O ( 1 ) Rounds to Achieve Silence if Output = 1. IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  22. Color Wave Algorithm Self-Stabilizing and Silent Complexities Arbitrary Initial Configuration. 3 Diam + O ( 1 ) Rounds to Achieve Legitimacy if Output = 1. 5 Diam + O ( 1 ) Rounds to Achieve Silence if Output = 1. O ( n ) Rounds if Output = 0. The Hard Case! IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  23. Color Wave Algorithm Self-Stabilizing and Silent Complexities Arbitrary Initial Configuration. 3 Diam + O ( 1 ) Rounds to Achieve Legitimacy if Output = 1. 5 Diam + O ( 1 ) Rounds to Achieve Silence if Output = 1. O ( n ) Rounds if Output = 0. The Hard Case! Clean Initial Configuration. IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  24. Color Wave Algorithm Self-Stabilizing and Silent Complexities Arbitrary Initial Configuration. 3 Diam + O ( 1 ) Rounds to Achieve Legitimacy if Output = 1. 5 Diam + O ( 1 ) Rounds to Achieve Silence if Output = 1. O ( n ) Rounds if Output = 0. The Hard Case! Clean Initial Configuration. If Output = 1: Same as Arbitrary. (No Help.) IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  25. Color Wave Algorithm Self-Stabilizing and Silent Complexities Arbitrary Initial Configuration. 3 Diam + O ( 1 ) Rounds to Achieve Legitimacy if Output = 1. 5 Diam + O ( 1 ) Rounds to Achieve Silence if Output = 1. O ( n ) Rounds if Output = 0. The Hard Case! Clean Initial Configuration. If Output = 1: Same as Arbitrary. (No Help.) If Output = 0: Zero Rounds. (Already in Final Configuration) IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  26. Color Wave Algorithm Self-Stabilizing and Silent Complexities Arbitrary Initial Configuration. 3 Diam + O ( 1 ) Rounds to Achieve Legitimacy if Output = 1. 5 Diam + O ( 1 ) Rounds to Achieve Silence if Output = 1. O ( n ) Rounds if Output = 0. The Hard Case! Clean Initial Configuration. If Output = 1: Same as Arbitrary. (No Help.) If Output = 0: Zero Rounds. (Already in Final Configuration) Space Complexity. IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  27. Color Wave Algorithm Self-Stabilizing and Silent Complexities Arbitrary Initial Configuration. 3 Diam + O ( 1 ) Rounds to Achieve Legitimacy if Output = 1. 5 Diam + O ( 1 ) Rounds to Achieve Silence if Output = 1. O ( n ) Rounds if Output = 0. The Hard Case! Clean Initial Configuration. If Output = 1: Same as Arbitrary. (No Help.) If Output = 0: Zero Rounds. (Already in Final Configuration) Space Complexity. O ( log Diam + Degree ) Per Process. IX Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 9 / 17

  28. Purpose of Color Waves XIV Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 10 / 17

  29. Purpose of Color Waves Prevent Indefinite Growth of Fictitious Trees. XIV Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 10 / 17

  30. Purpose of Color Waves Prevent Indefinite Growth of Fictitious Trees. Side Effects of Color Waves XIV Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 10 / 17

  31. Purpose of Color Waves Prevent Indefinite Growth of Fictitious Trees. Side Effects of Color Waves Slow Down Algorithm by a Factor of Three XIV Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 10 / 17

  32. Purpose of Color Waves Prevent Indefinite Growth of Fictitious Trees. Side Effects of Color Waves Slow Down Algorithm by a Factor of Three After Legitimacy, Color Waves could Run Forever. XIV Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 10 / 17

  33. Purpose of Color Waves Prevent Indefinite Growth of Fictitious Trees. Side Effects of Color Waves Slow Down Algorithm by a Factor of Three After Legitimacy, Color Waves could Run Forever. Counteract Effect with Done Waves XIV Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 10 / 17

  34. Purpose of Color Waves Prevent Indefinite Growth of Fictitious Trees. Side Effects of Color Waves Slow Down Algorithm by a Factor of Three After Legitimacy, Color Waves could Run Forever. Counteract Effect with Done Waves Convergecast: Leaves Detect Algorithm Done XIV Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 10 / 17

  35. Purpose of Color Waves Prevent Indefinite Growth of Fictitious Trees. Side Effects of Color Waves Slow Down Algorithm by a Factor of Three After Legitimacy, Color Waves could Run Forever. Counteract Effect with Done Waves Convergecast: Leaves Detect Algorithm Done Root (Clusterhead) Color Freezes. XIV Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 10 / 17

  36. Purpose of Color Waves Prevent Indefinite Growth of Fictitious Trees. Side Effects of Color Waves Slow Down Algorithm by a Factor of Three After Legitimacy, Color Waves could Run Forever. Counteract Effect with Done Waves Convergecast: Leaves Detect Algorithm Done Root (Clusterhead) Color Freezes. Color Lock Results Within O ( Diam ) Rounds. XIV Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 10 / 17

  37. Purpose of Color Waves Prevent Indefinite Growth of Fictitious Trees. Side Effects of Color Waves Slow Down Algorithm by a Factor of Three After Legitimacy, Color Waves could Run Forever. Counteract Effect with Done Waves Convergecast: Leaves Detect Algorithm Done Root (Clusterhead) Color Freezes. Color Lock Results Within O ( Diam ) Rounds. Silence. XIV Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 10 / 17

  38. Color Wave Details: X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  39. Color Wave Details: 1 , 1 = 1 . Process with Output Bit = 1 has Color: 0 = X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  40. Color Wave Details: 1 , 1 = 1 . Process with Output Bit = 1 has Color: 0 = If Process X Executes Join , Attaching to Process Y : X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  41. Color Wave Details: 1 , 1 = 1 . Process with Output Bit = 1 has Color: 0 = If Process X Executes Join , Attaching to Process Y : 1 Y must have Color 1: X Y X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  42. Color Wave Details: 1 , 1 = 1 . Process with Output Bit = 1 has Color: 0 = If Process X Executes Join , Attaching to Process Y : 1 Y must have Color 1: X Y 1 1 Color of X Becomes 0: X Y X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  43. Color Wave Details: 1 , 1 = 1 . Process with Output Bit = 1 has Color: 0 = If Process X Executes Join, Attaching to Process Y : 1 Y must have Color 1: X Y 1 1 Color of X Becomes 0: X Y Process X can Change Color if the Following Conditions Hold: X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  44. Color Wave Details: 1 , 1 = 1 . Process with Output Bit = 1 has Color: 0 = If Process X Executes Join, Attaching to Process Y : 1 Y must have Color 1: X Y 1 1 Color of X Becomes 0: X Y Process X can Change Color if the Following Conditions Hold: X has Same Color as its Parent , or is Clusterhead: or or or 1 1 1 1 1 1 X X X X X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  45. Color Wave Details: 1 , 1 = 1 . Process with Output Bit = 1 has Color: 0 = If Process X Executes Join, Attaching to Process Y : 1 Y must have Color 1: X Y 1 1 Color of X Becomes 0: X Y Process X can Change Color if the Following Conditions Hold: X has Same Color as its Parent, or is Clusterhead: or or or 1 1 1 1 1 1 X X X X 1 1 1 1 or Children have Opposite Color : X X 1 1 X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  46. Color Wave Details: 1 , 1 = 1 . Process with Output Bit = 1 has Color: 0 = If Process X Executes Join, Attaching to Process Y : 1 Y must have Color 1: X Y 1 1 Color of X Becomes 0: X Y Process X can Change Color if the Following Conditions Hold: X has Same Color as its Parent, or is Clusterhead: or or or 1 1 1 1 1 1 X X X X 1 1 1 1 or Children have Opposite Color: X X 1 1 If Color = 1, X Cannot Change Color if Any Neighbor is Enabled to Attach to X: 1 X X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  47. Color Wave Details: 1 , 1 = 1 . Process with Output Bit = 1 has Color: 0 = If Process X Executes Join, Attaching to Process Y : 1 Y must have Color 1: X Y 1 1 Color of X Becomes 0: X Y Process X can Change Color if the Following Conditions Hold: X has Same Color as its Parent, or is Clusterhead: or or or 1 1 1 1 1 1 X X X X 1 1 1 1 or Children have Opposite Color: X X 1 1 If Color = 1: X Cannot Change Color if Any Neighbor is Enabled to Attach to X: 1 X When Clusterhead Changes Color, a Color Wave is Absorbed. X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  48. Color Wave Details: 1 , 1 = 1 . Process with Output Bit = 1 has Color: 0 = If Process X Executes Join, Attaching to Process Y : 1 Y must have Color 1: X Y 1 1 Color of X Becomes 0: X Y Process X can Change Color if the Following Conditions Hold: X has Same Color as its Parent, or is Clusterhead: or or or 1 1 1 1 1 1 X X X X 1 1 1 1 or Children have Opposite Color: X X 1 1 If Color = 1: X Cannot Change Color if Any Neighbor is Enabled to Attach to X: 1 X When Clusterhead Changes Color, a Color Wave is Absorbed. False Roots Cannot Absorb Color Waves . X Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 11 / 17

  49. Color Waves: XI Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 12 / 17

  50. Color Waves: 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 Chain Example. 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 XI Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 12 / 17

  51. Color Waves: 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 Chain Example. 0 0 0 0 0 0 0 1 1 One Process has Input = 1. 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 XI Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 12 / 17

  52. Color Waves: 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 Chain Example. 0 0 0 0 0 0 0 1 1 One Process has Input = 1. 0 0 0 0 0 0 0 1 1 Arrow Shows Flow of Time. 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 XI Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 12 / 17

  53. Color Waves: 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 Chain Example. 0 0 0 0 0 0 0 1 1 One Process has Input = 1. 0 0 0 0 0 0 0 1 1 Arrow Shows Flow of Time. 0 0 0 0 0 0 0 1 1 Color Waves Move 0 0 0 0 0 0 1 1 1 Toward Clusterhead 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 XI Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 12 / 17

  54. Color Waves: 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 Chain Example. 0 0 0 0 0 0 0 1 1 One Process has Input = 1. 0 0 0 0 0 0 0 1 1 Arrow Shows Flow of Time. 0 0 0 0 0 0 0 1 1 Color Waves Move 0 0 0 0 0 0 1 1 1 Toward Clusterhead 0 0 0 0 0 0 1 1 1 Growth Rate = 1/3 . 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 XI Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 12 / 17

  55. Lazy Color Waves: 0 0 0 0 0 0 0 0 0 0 0 0 0 Chain Example. 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 One Process has Input = 1. 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 Arrow Shows Flow of Time. 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 Color Waves Move 0 0 0 0 0 0 1 1 1 1 1 0 0 Toward Clusterhead 0 0 0 0 0 0 0 0 1 1 1 1 1 Growth Rate = 1/3. 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 If Any Process is “Lazy": 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 XI 0 1 1 1 1 1 1 1 1 1 1 1 0 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 12 / 17

  56. Lazy Color Waves: 0 0 0 0 0 0 0 0 0 0 0 0 0 Chain Example. 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 One Process has Input = 1. 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 Arrow Shows Flow of Time. 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 Color Waves Move 0 0 0 0 0 0 1 1 1 1 1 0 0 Toward Clusterhead 0 0 0 0 0 0 0 0 1 1 1 1 1 Growth Rate = 1/3. 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 If Any Process is “Lazy": 0 0 0 0 0 1 1 1 1 1 1 1 0 Eventual Color Lock : 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 XI 0 1 1 1 1 1 1 1 1 1 1 1 0 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 12 / 17

  57. Lazy Color Waves: 0 0 0 0 0 0 0 0 0 0 0 0 0 Chain Example. 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 One Process has Input = 1. 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 Arrow Shows Flow of Time. 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 Color Waves Move 0 0 0 0 0 0 1 1 1 1 1 0 0 Toward Clusterhead 0 0 0 0 0 0 0 0 1 1 1 1 1 Growth Rate = 1/3. 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 If Any Process is “Lazy": 0 0 0 0 0 1 1 1 1 1 1 1 0 Eventual Color Lock : 0 0 0 0 1 1 1 1 1 1 1 1 0 That is, Lazy Process = 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 Only Enabled Process. 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 XI 0 1 1 1 1 1 1 1 1 1 1 1 0 Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 12 / 17

  58. Getting Rid of False Roots: XII Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 13 / 17

  59. Getting Rid of False Roots: If Any Process Stops Executing: XII Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 13 / 17

  60. Getting Rid of False Roots: If Any Process Stops Executing: Eventual Color Lock : XII Datta Devismes Larmore (UNLV/UJFG) Distributed Disjunction SSS 2012 13 / 17

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions Stphane Devismes 1 Colette

Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions Stphane Devismes 1 Colette

Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions Stphane Devismes 1 Colette Johnen 2 David Ilcinkas 2 1 Univ. Grenoble Alpes, VERIMAG, 38000 Grenoble, France 2 CNRS & Univ. Bordeaux, LaBRI, UMR 5800, F-33400 Talence,

1.25k views • 82 slides
- na : a disjunction AND conjunction marker? A-na B: disjunction Example Disjunction and

- na : a disjunction AND conjunction marker? A-na B: disjunction Example Disjunction and

Introduction - na : a disjunction AND conjunction marker? A-na B: disjunction Example Disjunction and Alternative Conditionals in Korean Angie- na Brad -ka cikum Nagoya-ey issta. now Nagoya-in exist Angie- na Brad- N OM Jiwon Yun Angie

195 views • 8 slides
Problem Silent Self-stabilizing Leader Election Model: Locally shared memory model

Problem Silent Self-stabilizing Leader Election Model: Locally shared memory model

Self-Stabilizing Leader Election in Polynomial Steps 1 Karine Altisen Alain Cournier Stphane Devismes Anas Durand Franck Petit September 29, 2014 1This work has been partially supported by the LabEx PERSYVAL-Lab (ANR-11-LABX-0025-01) and

1.83k views • 181 slides
Stabilizing Cubic HfO 2 Doped Y 2 O 3 using TEM Stabilizing Cubic HfO 2 Doped Y 2 O 3 using TEM

Stabilizing Cubic HfO 2 Doped Y 2 O 3 using TEM Stabilizing Cubic HfO 2 Doped Y 2 O 3 using TEM

Stabilizing Cubic HfO 2 Doped Y 2 O 3 using TEM Stabilizing Cubic HfO 2 Doped Y 2 O 3 using TEM http://www.tedpella.com/grids_html/si-window.jpg Peter Gu, W. Walkosz, R.F. Klie Nanoscale Physics Group University of Illinois at Chicago UIC

368 views • 17 slides
Silent Shout 2.009 SILVER Silent Shout The Market 65 million users $9.7 billion market 2.009

Silent Shout 2.009 SILVER Silent Shout The Market 65 million users $9.7 billion market 2.009

Silent Shout Silent Shout 2.009 SILVER Silent Shout The Market 65 million users $9.7 billion market 2.009 SILVER Silent Shout Benchmarking SIREN POM by POMCO Silent Shout Product Type Description Alarm ring Keychain attachment

116 views • 10 slides
Towards an exhaustification analysis of plain disjunction in Russian Formal Approaches to Russian

Towards an exhaustification analysis of plain disjunction in Russian Formal Approaches to Russian

Towards an exhaustification analysis of plain disjunction in Russian Formal Approaches to Russian Linguistics 3 Pavel Rudnev pasha.rudnev@gmail.com 56 April 2019 Disjunction and polarity Focus of this talk syntax and semantics of plain

237 views • 21 slides
Anonymous Tokens Michele Orr ia.cr/2020/072 1 Anonymous Tokens Michele Orr joint work

Anonymous Tokens Michele Orr ia.cr/2020/072 1 Anonymous Tokens Michele Orr joint work

Anonymous Tokens Michele Orr ia.cr/2020/072 1 Anonymous Tokens Michele Orr joint work with Ben Kreuter, Tancrde Lepoint, Mariana Raykova ia.cr/2020/072 1 Definition Anonymous tokens are lightweight, single-use anonymous credentials.

657 views • 61 slides
Disjunction Property . . . A derivable or B derivable A B derivable . . . A B

Disjunction Property . . . A derivable or B derivable A B derivable . . . A B

Utrecht University Jeroen Goudsmit The Admissible Rules of BD 2 August 8 th 2013 . Disjunction Property . . . A derivable or B derivable A B derivable . . . A B A or B . . . . . semantics syntax A B A

731 views • 60 slides
Anonymous classes Polymorphism Anonymous classes motivation You probably have many buttons

Anonymous classes Polymorphism Anonymous classes motivation You probably have many buttons

Two cool ideas: Anonymous classes Polymorphism Anonymous classes motivation You probably have many buttons and/or menu items in your VectorGraphics project Three approaches for responding to the events from selecting those buttons /

406 views • 6 slides
12-STEP PROGRAMS Alcoholics Anonymous The Preamble Alcoholics Anonymous is a fellowship

12-STEP PROGRAMS Alcoholics Anonymous The Preamble Alcoholics Anonymous is a fellowship

12-STEP PROGRAMS Alcoholics Anonymous The Preamble Alcoholics Anonymous is a fellowship of men and women who share their experience, strength and hope with each other that they may solve their common problem and help others to recover

1.11k views • 76 slides
THE SILENT EPIDEMIC OF TBIS: LISTENING FOR DEPRESSION AND SUICIDE THE SILENT EPIDEMIC OF

THE SILENT EPIDEMIC OF TBIS: LISTENING FOR DEPRESSION AND SUICIDE THE SILENT EPIDEMIC OF

SHAUNA HAHN, PMHNP, CBIS THE SILENT EPIDEMIC OF TBIS: LISTENING FOR DEPRESSION AND SUICIDE THE SILENT EPIDEMIC OF TBIS: LISTENING FOR DEPRESSION & SUICIDE OVERVIEW: SCOPE OF THE PROBLEM IN AMERICA THE SILENT EPIDEMIC OF TBIS: LISTENING

969 views • 64 slides
Test Anxiety: The Silent Intruder, William B. Daigle, Ph.D. Test Anxiety The Silent Intruder

Test Anxiety: The Silent Intruder, William B. Daigle, Ph.D. Test Anxiety The Silent Intruder

Test Anxiety: The Silent Intruder, William B. Daigle, Ph.D. Test Anxiety The Silent Intruder Resources; St. Gerard Majella Catholic School, March 6, 2010 William B. Daigle, Ph.D. 8748 Quarters Lake Road Baton Rouge, LA 70809 (225)

91 views • 5 slides
Cocaine Anonymous A Presentation to Professionals Presentation Contents Our Aims Today The

Cocaine Anonymous A Presentation to Professionals Presentation Contents Our Aims Today The

Cocaine Anonymous A Presentation to Professionals Presentation Contents Our Aims Today The CA Group Cocaine Anonymous Is The 12 Steps Cocaine Anonymous Is Not Spirituality History of Cocaine Anonymous Sponsorship

700 views • 37 slides
Remote Side-Channel Attacks on Anonymous Transactions In Zcash & Monero Florian Tramr and

Remote Side-Channel Attacks on Anonymous Transactions In Zcash & Monero Florian Tramr and

Remote Side-Channel Attacks on Anonymous Transactions In Zcash & Monero Florian Tramr and Dan Boneh and Kenny Paterson USENIX Security Symposium Meet Alice the Anonymous Activist Blogger PK A anonymous 2 Alices Lack of Privacy Send

395 views • 21 slides
Task Computability in Unreliable Anonymous Networks Nayuta Yanagisawa DeNA Co., Ltd. Petr

Task Computability in Unreliable Anonymous Networks Nayuta Yanagisawa DeNA Co., Ltd. Petr

Task Computability in Unreliable Anonymous Networks Nayuta Yanagisawa DeNA Co., Ltd. Petr Kuznetsov Telecom ParisTech I am here to talk about ... the computability issues of failure-prone anonymous broadcast models. Anonymous Model

660 views • 21 slides
THE SECULAR COMING OF AGE INSIDE ALCOHOLICS ANONYMOUS In the 1939 book, Alcoholics Anonymous ,

THE SECULAR COMING OF AGE INSIDE ALCOHOLICS ANONYMOUS In the 1939 book, Alcoholics Anonymous ,

THE SECULAR COMING OF AGE INSIDE ALCOHOLICS ANONYMOUS In the 1939 book, Alcoholics Anonymous , the concept, God as you understand Him including everyone. In 2017 not so much How Many Atheists are there? (last updated May 31,

400 views • 21 slides
Forwarding in a content based Network Carzaniga and Wolf Introduction Content based

Forwarding in a content based Network Carzaniga and Wolf Introduction Content based

Forwarding in a content based Network Carzaniga and Wolf Introduction Content based communication Instead of explicit address Receiver/Subscriber use selection predicate to express what they are interested in Sender/Publisher

432 views • 24 slides
Section1.6 Solving Linear Inequalities Introduction Inquality Solving Techniques 1. You can add

Section1.6 Solving Linear Inequalities Introduction Inquality Solving Techniques 1. You can add

Section1.6 Solving Linear Inequalities Introduction Inquality Solving Techniques 1. You can add or subtract any number from both sides of an inequality. Inquality Solving Techniques 1. You can add or subtract any number from both sides of an

608 views • 42 slides
UK REAL ESTATE MARKET JOHN SLADE 1 June 2017 Agenda A CHANGING WORLD LONDONS

UK REAL ESTATE MARKET JOHN SLADE 1 June 2017 Agenda A CHANGING WORLD LONDONS

UK REAL ESTATE MARKET JOHN SLADE 1 June 2017 Agenda A CHANGING WORLD LONDONS BOUNCEBACKABILITY MY CAREER TAKE ADVANTAGE OF CHANGE ECONOMIC CHALLENGES BNPPRE IS CHANGING 2 1. A Changing World 1. A Changing World do we still

320 views • 20 slides
Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference David

Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference David

Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference David Poole University of British Columbia 1 Overview Belief Networks Variable Elimination Algorithm Parent Contexts & Structured

259 views • 21 slides
Conflict(free(trajectory(op0misa0on(for(complex( departure(procedures(( 6 th

Conflict(free(trajectory(op0misa0on(for(complex( departure(procedures(( 6 th

Conflict(free(trajectory(op0misa0on(for(complex( departure(procedures(( 6 th (ICRAT(Conference,(Istanbul,(Turkey( San$%Vilardaga ( Xavier%Prats% san0.vilardaga@ctae.org( xavier.prats@upc.edu( ASCAMMFCTAE,(Aerospace(Research(

322 views • 31 slides
A Land Grab Scenario for Indonesia? Diverse Trajectories and Virtual Land Grabs in the Outer

A Land Grab Scenario for Indonesia? Diverse Trajectories and Virtual Land Grabs in the Outer

A Land Grab Scenario for Indonesia? Diverse Trajectories and Virtual Land Grabs in the Outer Islands John McCarthy, Suraya Afiff and Jacqueline Vel Merauke Food Estate - Papua koran-jakarta.com http://farmlandgrab.org/ transnational land

624 views • 14 slides
Behavioral Indicators of Potential Violent Action: Review of the Science Base Walter Perry, Paul

Behavioral Indicators of Potential Violent Action: Review of the Science Base Walter Perry, Paul

Behavioral Indicators of Potential Violent Action: Review of the Science Base Walter Perry, Paul Davis, and Ryan Brown, RAND Corporation Presented to the 30 th ISMOR July 2013 Project Background Objectives Review science for relevant

573 views • 24 slides
LearningTalagrand DNFFormulas HominK.Lee UTAustin DNFFormulas

LearningTalagrand DNFFormulas HominK.Lee UTAustin DNFFormulas

LearningTalagrand DNFFormulas HominK.Lee UTAustin DNFFormulas DisjunctiveNormalForm: ORofANDofliterals _ _ _ Canalsowriteas:x 1 x 2 x 4 x 6 x 1 x 2 x 5 x 1 x 2 x 3

428 views • 13 slides

More recommend