Beschreibung
Data Handover (DHO) est une librairie de fonctions adaptée aux systèmes distribués à grande échelle. DHO offre des routines qui permettent dacquérir des ressources en lecture ou en écriture de façon cohérente et transparente pour lutilisateur. Nous avons modélisé le cycle de vie de DHO par un automate détat fini puis, constaté expérimentalement, que notre approche produit un recouvrement entre le calcul de lapplication et le contrôle de la donnée. Les expériences ont été menées en mode simulé en utilisant la libraire GRAS de SimGrid puis, en exploitant un environnement réel sur la plate-forme Grid5000. La stabilité du modèle a été démontrée dans un contexte centralisé. Lalgorithme distribué dexclusion mutuelle de Naimi et Tréhel a été enrichi pour permettre: d'une part, la connexion et la déconnexion des processus et d'autre part, les locks partagés. Les deux propriétés ont été associées dans un algorithme récapitulatif. Les propriétés de sûreté et de vivacité ont été démontrées théoriquement. Le système peer-to-peer proposé combine nos algorithmes étendus et le modèle originel Data Handover. Nous avons démontré expérimentalement la performance et la stabilité du modèle.
Autorenporträt
Après avoir obtenu les diplômes d'ingénieur et de magistère en informatique (Algérie), Soumeya Leila Hernane décroche en juin 2013 un doctorat en informatique de l'université de Lorraine. Ses recherches portent sur le Grid computing, la transparence d'accès aux données dans les systèmes parallèles et distribués, l'exclusion mutuelle.
