- Laboratoire d’informatique

PANDEY Ayush

Doctorant à Sorbonne Université
Équipe : DELYS
https://ayushpandey8439.github.io/
https://ayushpandey8439.github.io/

Direction de recherche : Mesaac MAKPANGOU
Co-encadrement : SHAPIRO Marc, SOPENA Julien, DUBOIS Swan

CALock : Topological verrouillage à granularité multiple pour des données hiérarchiques

Les hiérarchies servent de structure fondamentale dans diverses disciplines, modélisant les relations hiérarchiques en informatique, en biologie, dans les réseaux sociaux ou en logistique. Cependant, les mises à jour concurrentes dans les systèmes réels nécessitent de la synchronisation pour maintenir la cohérence des données. Notre travail explore une nouvelle approche, appelée CALock, pour synchroniser les opérations sur une hiérarchie, en utilisant un schéma d’étiquetage qui facilite le verrouillage à granularité multiple.

Notre approche concerne tout à la fois l'accès concurrent aux données ainsi que les modifications de structure. CALock exploite la topologie hiérarchique, par le biais d’un nouveau schéma d’étiquetage, permettant d’identifier les ancêtres communs de sommets. Cela permet à un fil d'exécution d’identifier le grain de verrouillage approprié de façon efficace. L’utilisation de grains de verrouillage multiples optimise les opérations sur la hiérarchie, tout en garantissant la cohérence et les performances.

Nous présentons une discussion détaillée de l’étiquetage CALock et de l’algorithme de verrouillage. Nous prouvons leurs propriétés, et nous les évaluons de manière expérimentale. Sur des hiérarchies statiques, CALock reste compétitif par rapport aux schémas d’étiquetage précédents. En présence de modifications de structure, CALock améliore la concurrence et le débit. En particulier, CALock améliore le débit jusqu’à 4,5×, et le temps de réponse par jusqu'à 1,5×, pour des charges contenant des modifications structurelles.


Soutenance : 17/03/2025

Membres du jury :

David BROMBERG, Professeur, Université de Rennes [Rapporteur]
Pascal FELBER, Professeur, Université de Neuchâtel [Rapporteur]
Gaël THOMAS, Chercheur senior, INRIA
Sathya PERI, Professeur, IIT Hyderabad
Stefania DUMBRAVA, Maîtresse de conférences, ENSIIE & Télécom SudParis
Mesaac MAKPANGOU, Chargé de Recherche [HDR], INRIA
Julien SOPENA, Maître de Conférences, LIP6/Sorbonne Université
Marc SHAPIRO, Directeur de Recherche Émérite, INRIA & LIP6/Sorbonne Université
Swan DUBOIS, Maître de Conférences, LIP6/Sorbonne Université

Date de départ : 11/04/2025

Publications 2022-2025