Mémoire atomique auto-reconfigurable pour systèmes P2P

De nouvelles perspectives en terme de partage de ressources émergent des applications large échelle d'internet. Les facteurs taille et évolutivité, en termes d'insertions, départs, défaillances de noeuds, sont une difficulté supplémentaire qu'il est fondamental de prendre en compte pour traiter ce type d'applications. Une donnée partagée est une donnée qui peut être accédée de façon concurrente par plusieurs processus. Pour des raisons de tolérance aux fautes, et de performance, les données doivent être répliquées. Se pose alors le problème de maintenir une forme de cohérence entre les différentes copies d'une même donnée et ceci malgré la dynamicité des noeuds. Lorsque l'utilisateur accède à une donnée partagée, il est souhaitable que la valeur retournée lors d'une opération de lecture soit la dernière valeur écrite. Le choix du critère de cohérence permet alors de définir formellement la signification associée à l'adjectif . Dans le cadre de notre étude, nous nous focalisons sur la linéarisabilité des opérations de lecture et écriture. Nous proposons une architecture basée sur un système de quorums qui permet (i) des lectures multiples, des écritures multiples, (ii) une répartition homogène de la charge et (iii) une auto-reconfiguration dynamique du système de quorums en fonction de la fréquence des interactions des utilisateurs. Pour cela, nous supposons que chaque noeud n'a qu'une connaissance locale du système, réduite à un voisinage proche dynamique