Projet : ADP - adp

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00061000000000000000" id= "SECTION00061000000000000000">Détection de propriétés</a></h2> <a name="ADP_resultats_module-6-DP" id= "ADP_resultats_module-6-DP"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>algorithme réparti, causalité, détection de propriétés, détection décentralisée, état global partagé, conjonction de prédicats locaux .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Les horloges logiques (scalaires, vectorielles ou matricielles) sont un mécanisme puissant utilisé par de nombreux algorithmes de contrÔle réparti. Nous nous sommes intéressés à étudier leur puissance et leur limitation pour détecter des propriétés d'exécutions réparties.</i> </div> <p>Les horloges vectorielles constituent le mécanisme le plus approprié pour capter la causalité entre les événements produits lors de l'exécution d'un calcul réparti. Les implémentations traditionnelles des horloges vectorielles nécessitent d'attacher des vecteurs d'entiers de taille <span class="MATH"><i>n</i></span> aux messages de l'application (où <span class="MATH"><i>n</i></span> est le nombre de processus). Dans ce cadre, nous nous intéressons à la capture des dépendances causales sur un sous-ensemble d'événements que l'application considère comme pertinents. Nous présentons un protocole qui fournit un estampillage correct des événements pertinents sous la contrainte suivante : l'information de contrÔle attachée à chaque message est bornée à <span class="MATH"><i>b</i></span> identificateurs d'événements (où <span class= "MATH"><i>b</i></span> est une constante prédéfinie comprise entre 1 et <span class="MATH"><i>n</i></span>) [<a href= "bibliographie_Toc.html#HMR00b" target= "contents">24</a>].</p> <p>Toutefois, borner <span class="textit">a priori</span> cette taille peut conduire à une perte irrémédiable d'information si les événements observables ne sont pas correctement choisis. Le défi consiste à déterminer la taille minimale de la surcharge, en fonction d'un ensemble donné d'événements observables, permettant de capter toutes les dépendances causales. Nous répondons à cette question, qui constituait jusqu'alors un problème ouvert. La taille minimale est déterminée à partir d'un graphe valué, qui représente le calcul réparti et ses événements observables. Bien que la construction complète nécessite la connaissance de tout le calcul, le graphe peut être utilisé en différé pour effectuer l'analyse <span class="textit">a posteriori</span> d'un calcul [<a href= "bibliographie_Toc.html#HM00" target="contents">25</a>]. Dans [<a href="bibliographie_ct.html#AHR00" target= "contents">34</a>] nous présentons une famille de protocoles qui associent à chaque événement pertinent une estampille identifiant de manière unique ses prédécesseurs immédiats. Cette famille est définie par une condition abstraite qui permet aux messages applicatifs de transmettre des informations de contrÔle de taille bornée (<span class= "MATH">< <i>n</i></span>, <span class= "MATH"><i>n</i></span> étant le nombre de processus). Cette famille définit une suite de protocoles IPT efficaces.</p> <p>Nous avons aussi étudié la communication logiquement instantanée (LI) [<a href="bibliographie_Toc.html#MRV01" target="contents">15</a>,<a href="bibliographie_ct.html#R00b" target="contents">17</a>,<a href="bibliographie_ct.html#R00" target="contents">30</a>]. C'est un mode de communication plus contraignant que la communication causale mais moins que le rendez-vous. En effet lors d'un rendez-vous un événement d'émission s'exécute en même temps que l'événement de réception correspondant. La communication LI assure qu'il existe un estampillage logique (référentiel logique de temps) tel que cette contrainte d'instantanéité est vérifiée.</p> </body>