Quelles Relations entre Lire/Ecrire et Envoyer/Recevoir dans les Systèmes Asynchrones avec Crashs de Processus ? - Ecole Centrale de Nantes Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

What are the Relationships between Read/Write and Send/Receive in Crash-Prone Asynchronous Systems

Quelles Relations entre Lire/Ecrire et Envoyer/Recevoir dans les Systèmes Asynchrones avec Crashs de Processus ?

Résumé

This article focuses on the computability power of message patterns in crash-prone asynchronous message-passing systems. It introduces and studies three basic message patterns found in these systems, each involving two processes, and compares them to their shared memory equivalents. It is first noted that one of these patterns, called MP1, has no equivalent in shared memory. The article then proposes a new communication abstraction called 'Mutual Broadcast', which prevents the MP1 pattern from occurring. The computational power of this broadcast abstraction is the same as that of a read/write register.
Cet article porte sur la puissance en calculabilité des motifs de messages dans les systèmes asynchrones à passage de messages sensibles aux pannes. Il propose et étudie trois motifs de messages de base rencontrés dans ces systèmes, impliquant chacun deux processus, et les compare à leurs équivalents en mémoire partagée. Il est d'abord remarqué qu'un de ces motifs, appelé MP1, n'a pas d'équivalent en mémoire partagée. L'article propose ensuite une nouvelle abstraction de communication appelée "Mutual Broadcast", qui interdit au motif MP1 de se produire. La puissance de calcul de cette abstraction de diffusion est la même que celle d'un registre lire/écrire.
Fichier principal
Vignette du fichier
mutual.pdf (140.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04555445 , version 1 (22-04-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04555445 , version 1

Citer

Mathilde Déprés, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Quelles Relations entre Lire/Ecrire et Envoyer/Recevoir dans les Systèmes Asynchrones avec Crashs de Processus ?. AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France. pp.1-4. ⟨hal-04555445⟩
0 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More