Snap-Stabilization in Message-Passing Systems Sylvie Delat - - PowerPoint PPT Presentation

▶

snap stabilization in message passing systems

Snap-Stabilization in Message-Passing Systems Sylvie Delat - - PowerPoint PPT Presentation

Dec 15, 2022 285 likes •400 views

Snap-Stabilization in Message-Passing Systems Sylvie Delat (Universit Paris 11 Orsay), Stphane Devismes (Universit Paris 11 Orsay) , Mikhail Nesterenko (Kent State University), Sbastien Tixeuil (Universit Paris 6) Comparing Self

slide-1

SLIDE 1

Snap-Stabilization in Message-Passing Systems

Sylvie Delaët (Université Paris 11 Orsay), Stéphane Devismes (Université Paris 11 Orsay) , Mikhail Nesterenko (Kent State University), Sébastien Tixeuil (Université Paris 6)

slide-2

SLIDE 2

Sylvie Delaët - page https:/ /hal.inria.fr/inria-00248465 PODC 21th august 2008 /10

Comparing Self and Snap stabilization

Self stabilization is system-centric Snap stabilization is user-centric

2

slide-3

SLIDE 3

Sylvie Delaët - page https:/ /hal.inria.fr/inria-00248465 PODC 21th august 2008 /10

system: the restaurant user: the client specification: upon request, the client obtains some food

Concrete example

3

slide-4

SLIDE 4

Sylvie Delaët - page https:/ /hal.inria.fr/inria-00248465 PODC 21th august 2008 /10

Concrete example

system: the restaurant user: the client specification: upon request, the client obtains some food

4

slide-5

SLIDE 5

Sylvie Delaët - page https:/ /hal.inria.fr/inria-00248465 PODC 21th august 2008 /10

Concrete example

system: the restaurant user: the client specification: upon request, the client obtains some food

5

slide-6

SLIDE 6

Sylvie Delaët - page https:/ /hal.inria.fr/inria-00248465 PODC 21th august 2008 /10

Difference

self stabilizing way : after the last fault, the client may have to request food a finite number of times before being serviced snap stabilizing way : after the last fault, when the client asks for food

nce he obtains some food

6

slide-7

SLIDE 7

Sylvie Delaët - page https:/ /hal.inria.fr/inria-00248465 PODC 21th august 2008 /10

Snap stabilization in message passing system

a lot of work on snap stabilization but not in message passing system a lot of work on self stabilization in different models including message passing Open question: snap stabilizing in message passing system

7

slide-8

SLIDE 8

Sylvie Delaët - page https:/ /hal.inria.fr/inria-00248465 PODC 21th august 2008 /10

Result 1

non-trivial snap-stabilizing algorithms can not exist in message-passing systems if channels can have an unknown bounded number of messages in transit.

8

slide-9

SLIDE 9

Sylvie Delaët - page https:/ /hal.inria.fr/inria-00248465 PODC 21th august 2008 /10

Result 2

snap-stabilization in message passing model is possible if the channels have (known) bounded capacity. example: in the paper we present snap-stabilizing solutions for several classic problems: propagation with feedback (PIF), identifier discovery and mutual exclusion.

9

slide-10

SLIDE 10

Sylvie Delaët - page https:/ /hal.inria.fr/inria-00248465 PODC 21th august 2008 /10

End of the talk

thank you for your attention more information on https:/ /hal.inria.fr/inria-00248465

10