Date
23 mar 2023
Grégoire BONIN (LS2N - Université de Nantes) fera un séminaire le jeudi 23 mars 2023 à 14h en salle 301
Résumé
Dans 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. Nous présenterons 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.
