t-résilient snapshot immédiat
Résumé
Dans un système de n processus communiquant par mémoire
partagée, un snapshot immédiat est un état de la mémoire assurant que si
l'écriture réalisée par $q$ est dans le snapshot de $p$ alors le
snapshot de $p$
contient le snapshot obtenu par q. Un snapshot immédiat peut être réalisé dans un système
o\`u au plus n-1 processus peuvent tomber en panne.
Dans un système où t processus peuvent tomber en panne, un
processus peut obtenir un snapshot contenant les valeurs écrites par jusqu'à
n-t processus. On définit ainsi le t-résilient snapshot immédiat et
on établit des liens entre ce problème et les problèmes d'accord comme le consensus et le \k-accord.
Domaines
Informatique
Origine : Fichiers produits par l'(les) auteur(s)