Data structures for large scale distributed environments
Structures de données pour environnements distribués à grande échelle
Résumé
In systems such as Foglets used in the O’Browser project, or modern multithreaded systems, new processes can join during an execution: we call these open systems. This leads us to study the power of synchronization of distributed objects, and more particularly the feasibility of universal constructions, under this new hypothesis. This thesis presents the results obtained on the universality of consensus and the extension of the wait-free hierarchy in open systems, as well as a study of complexity and a solution on weakly consistent universal constructions.
Dans les systèmes tels que les Foglets utilisés dans le projet O’Browser, ou les systèmes multi-thread modernes, de nouveaux processus peuvent arriver au cours de l’exécution : nous appelons cela les systèmes ouverts. Cela nous amène à étudier la puissance de synchronisation des objets distribués, et plus particulièrement la faisabilité des constructions universelles, sous cette nouvelle hypothèse. Cette thèse présente les résultats obtenus sur l’universalité du consensus et l’extension de la hiérarchie wait-free de Herlihy dans les systèmes ouverts, ainsi qu’une étude de complexité et une solution sur les constructions universelles faiblement cohérentes.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|