Table de hachage distribuée autostabilisante

Abstract

National audienceNous présentons un algorithme autostabilisant qui construit et entretient une table de hachage distribuée dans un environnement pair à pair. L'utilisation d'un modèle dans lequel les processus ne connaissent pas leurs voisins a priori le rend utilisable sur des systèmes à grande échelle. Ses performances en nombre de messages sont de l'ordre des références du domaine (notamment Chord), la réplication des données est également assurée. La base sur lequel il est construit permet d'en donner une preuve formelle de correction