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

Dec 15, 2022 •285 likes •399 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

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)
Comparing Self and Snap stabilization Self stabilization is system-centric Snap stabilization is user-centric PODC 21th august 2008 https:/ /hal.inria.fr/inria-00248465 Sylvie Delaët - page 2 /10
Concrete example system: the restaurant user: the client specification: upon request, the client obtains some food PODC 21th august 2008 https:/ /hal.inria.fr/inria-00248465 Sylvie Delaët - page 3 /10
Concrete example system: the restaurant user: the client specification: upon request, the client obtains some food PODC 21th august 2008 https:/ /hal.inria.fr/inria-00248465 Sylvie Delaët - page 4 /10
Concrete example system: the restaurant user: the client specification: upon request, the client obtains some food PODC 21th august 2008 https:/ /hal.inria.fr/inria-00248465 Sylvie Delaët - page 5 /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 once he obtains some food PODC 21th august 2008 https:/ /hal.inria.fr/inria-00248465 Sylvie Delaët - page 6 /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 PODC 21th august 2008 https:/ /hal.inria.fr/inria-00248465 Sylvie Delaët - page 7 /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. PODC 21th august 2008 https:/ /hal.inria.fr/inria-00248465 Sylvie Delaët - page 8 /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. PODC 21th august 2008 https:/ /hal.inria.fr/inria-00248465 Sylvie Delaët - page 9 /10
End of the talk thank you for your attention more information on https:/ /hal.inria.fr/inria-00248465 PODC 21th august 2008 https:/ /hal.inria.fr/inria-00248465 Sylvie Delaët - page 10 /10

Recommend

MPI - Message Passing Interface MPI is the mostly used message passing-standard By

MPI - Message Passing Interface MPI is the mostly used message passing-standard By using MPI you obtain portable programs MPI is based on earlier message passing libraries Lecture 7: NX, MPL, PVM, P4, TCGMSH, PARMACS, ...

360 views • 9 slides

Message Passing Concepts Message Passing Model The message passing model is based on the

Message Passing Concepts Message Passing Model The message passing model is based on the notion of processes can think of a process as an instance of a running program, together with the programs data In the message passing model,

601 views • 16 slides

Message Passing Programming with MPI Message Passing Programming with MPI 1 What is MPI?

Message Passing Programming with MPI Message Passing Programming with MPI 1 What is MPI? Message Passing Programming with MPI 2 MPI Forum First message-passing interface standard. Sixty people from forty different organisations.

1.61k views • 113 slides

Message-Passing Programming with MPI Message-Passing Concepts Overview This lecture will

Message-Passing Programming with MPI Message-Passing Concepts Overview This lecture will cover message passing model SPMD communication modes collective communications Programming Models Message-Passing Serial Programming

406 views • 28 slides

Message Passing Programming with MPI What is MPI? Message Passing Programming with MPI 1

Message Passing Programming with MPI What is MPI? Message Passing Programming with MPI 1 Message Passing Programming with MPI 2 MPI Forum Goals and Scope of MPI First message-passing interface standard. MPIs prime goals are:

511 views • 29 slides

COMP31212: Concurrency Topics 4.3: Message Passing Topic 4.3: Message Passing Outline Topic

Topic 4.3: Message Passing COMP31212: Concurrency Topics 4.3: Message Passing Topic 4.3: Message Passing Outline Topic 4.3: Message Passing Background Synchronous Message Passing Asynchronous Message Passing Channel Selection Topic 4.3:

382 views • 36 slides

Fault Tolerance in Message Passing Fault Tolerance in Message Passing and in Action and in

Fault Tolerance in Message Passing Fault Tolerance in Message Passing and in Action and in Action Jack Dongarra, Innovative Computing Laboratory University of Tennessee and Computer Science and Mathematics Division Oak Ridge National

422 views • 14 slides

Distributed Objects Message Passing vs. Distributed Objects Message Passing versus Distributed

Distributed Objects Message Passing vs. Distributed Objects Message Passing versus Distributed Objects The message-passing paradigm is a natural model for distributed computing, in the sense that it mimics interhuman communications. It is

901 views • 58 slides

+ Design of Parallel Algorithms Introduction to the Message Passing Interface MPI + Principles

+ Design of Parallel Algorithms Introduction to the Message Passing Interface MPI + Principles of Message-Passing Programming n The logical view of a machine supporting the message-passing paradigm consists of p processes, each with its own

683 views • 39 slides

Message Passing Programming Introduction to MPI What is MPI? MPI Forum First

Message Passing Programming Introduction to MPI What is MPI? MPI Forum First message-passing interface standard. Sixty people from forty different organisations. Users and vendors represented, from the US and Europe. Two-year

526 views • 18 slides

Lecture 5: Message Passing & Other Communication Mechanisms (SR & Java) Intro:

Lecture 5: Message Passing & Other Communication Mechanisms (SR & Java) Intro: Synchronous & Asynchronous Message Passing Types of Processes in Message Passing Examples Asynchronous Sorting Network Filter (SR)

914 views • 50 slides

Programming Introduction to MPI What is MPI? 2 MPI Forum First message-passing interface

Message Passing Programming Introduction to MPI What is MPI? 2 MPI Forum First message-passing interface standard. Sixty people from forty different organisations. Users and vendors represented, from the US and Europe. Two-year

302 views • 18 slides

Achieving One-Hop DHT Lookup and Strong Stabilization by Passing Tokens Ben Leong and Ji Li MIT

Achieving One-Hop DHT Lookup and Strong Stabilization by Passing Tokens Ben Leong and Ji Li MIT Computer Science and Artificial Intelligence Laboratory { benleong, jli } @mit.edu Achieving One-Hop DHT Lookup and Strong Stabilization by Passing

901 views • 38 slides

CSL 860: Modern Parallel Computation Computation MPI: MESSAGE PASSING INTERFACE Message

CSL 860: Modern Parallel Computation Computation MPI: MESSAGE PASSING INTERFACE Message Passing Model Process (program counter, address space) Multiple threads (pc, stacks) MPI is for inter-process communication Process creation

546 views • 53 slides

On Hierarchical Communication Topologies of Concurrent Message-passing Systems Emanuele

On Hierarchical Communication Topologies of Concurrent Message-passing Systems Emanuele DOsualdo 1 Luke Ong 2 1 Imperial College London 2 University of Oxford IFIP WG 1.6 Meeting, Oxford, 9 September 2017 Abstract . We introduce a new,

950 views • 71 slides

Divergence measures and message passing Tom Minka Microsoft Research Cambridge, UK with thanks

Divergence measures and message passing Tom Minka Microsoft Research Cambridge, UK with thanks to the Machine Learning and Perception Group 1 Message-Passing Algorithms MF [Peterson,Anderson 87] Mean-field BP [Frey,MacKay 97] Loopy

458 views • 42 slides

Message passing and channels INF4140 - Models of concurrency Message passing and channels Fall

Message passing and channels INF4140 - Models of concurrency Message passing and channels Fall 2016 17. Oct. 2016 Outline Course overview: Part I: concurrent programming; programming with shared variables Part II: distributed

847 views • 41 slides

CSE-505: Programming Languages Lecture 21 Synchronous Message-Passing and Concurrent ML Zach

CSE-505: Programming Languages Lecture 21 Synchronous Message-Passing and Concurrent ML Zach Tatlock 2016 Message Passing Threads communicate via send and receive along channels instead of read and write of references Not so

626 views • 13 slides

Introduction to Parallel Computing Irene Moulitsas Programming using the Message-Passing

Introduction to Parallel Computing Irene Moulitsas Programming using the Message-Passing Paradigm MPI Background MPI : Message Passing Interface Began in Supercomputing 92 Vendors IBM, Intel, Cray Library writers PVM

876 views • 38 slides

Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems Carole

Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal 1 Processes communicate by applying operations on and receiving response

387 views • 36 slides

Feedback Message Passing for Inference in Gaussian Graphical Models Ying Liu Venkat

Feedback Message Passing for Inference in Gaussian Graphical Models Ying Liu Venkat Chandrasekaran, Animashree Anandkumar and Alan Willsky Stochastic Systems Group, Laboratory for Information and Decision Systems, Massachusetts Institute of

841 views • 59 slides

Interference Alignment via Message-Passing Message-Passing M. Guillaud Motivation Maxime

Interference Alignment via Interference Alignment via Message-Passing Message-Passing M. Guillaud Motivation Maxime GUILLAUD Communication Problem Interference Alignment Message-Passing GDL Min-Sum IA via Min-Sum Implementation

701 views • 46 slides

Distributed System Behavior Modeling of Urban Systems with Ontologies, Rules and Message Passing

Problem Statement Related Work Contributions Semantic Modeling Case Studies 1 and 2 Conclusions Distributed System Behavior Modeling of Urban Systems with Ontologies, Rules and Message Passing Mechanisms Maria Coelho University of Maryland

755 views • 56 slides

Advanced Message Passing ASD Distributed Memory HPC Workshop Computer Systems Group Research

Advanced Message Passing ASD Distributed Memory HPC Workshop Computer Systems Group Research School of Computer Science Australian National University Canberra, Australia October 31, 2017 Day 2 Schedule Computer Systems (ANU) Advanced

832 views • 62 slides