Data Handover (DHO) est une librairie de fonctions adaptée aux systèmes distribués à grande échelle. DHO offre des routines qui permettent d'acquérir des ressources en lecture ou en écriture de façon cohérente et transparente pour l'utilisateur. 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 l'application 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 Grid'5000. La stabilité du modèle a été démontrée dans un contexte centralisé. L'algorithme distribué d'exclusion 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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Des ouvrages pour les adultes et les plus jeunes, qui aident à découvrir et comprendre la culture sourde
Avec la collection "La BD en classe", le Syndicat national de l’édition propose des supports pédagogiques autour de thématiques précises
Découvrez les auteurs, autrices et libraires qui accompagneront le président du jury Jean-Christophe Rufin !
Une plume vive, des héros imparfaits et une jolie critique de notre société
