Projet : ADP - adp

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00">  <a name="CHILD_LINKS" id= "CHILD_LINKS"><strong>Sous-sections</strong></a> <ul> <li> <ul> <li><a name="tex2html301" href= "resul_module-6-PCRA_mn.html#SECTION00063010000000000000" target="main" id="tex2html301"><small>Etudes dans le cadre de la notion classique de cohérence</small></a></li> </ul> </li> </ul> <hr /> <h2><a name="SECTION00063000000000000000" id= "SECTION00063000000000000000">Points de contrÔle et retour arrière</a></h2> <a name="ADP_resultats_module-6-PCRA" id= "ADP_resultats_module-6-PCRA"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>causalité, point de contrÔle, cohérence, tolérance aux défaillances .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Nous avons essentiellement affiné les résultats essentiels obtenus en 1996 et 1997, notamment dans l'étude de la cohérence forte et dans la recherche d'un ensemble minimal de Z-chemins dont la suppression suffit à assurer la propriété RDT.</i> <p><i>Nous nous sommes intéressés au problème de la détermination de points de contrÔle globaux cohérents selon les deux approches <em>coordination induite par les communications</em> (communication-induced checkpointing) et <em>non coordonnée</em>.</i></p> </div> <h4><a name="SECTION00063010000000000000" id= "SECTION00063010000000000000">Etudes dans le cadre de la notion classique de cohérence</a></h4> <p>Nous nous sommes intéressés à la question essentielle : ``l'abstraction d'un calcul obtenue en ne considérant que les points de contrÔle locaux et leurs relations de dépendance, est-elle cohérente ?''. Nous avons examiné deux réponses à cette question, chacune considérant une notion de cohérence particulière pour l'abstraction définie par les points de contrÔle.</p> <p>Dans le premier cas, l'abstraction est cohérente si tout point de contrÔle local appartient à au moins un point de contrÔle global cohérent. Nous avons caractérisé cette propriété de cohérence par une propriété sur l'estampillage des points de contrÔle par des entiers, montré comment cet estampillage permet d'obtenir rapidement ``en ligne'' des points de contrÔle globaux cohérents, et proposé un protocole générique, coordonné par les communications. Ce protocole recouvre de nombreux protocoles connus  [<a href= "bibliographie_Toc.html#HMNR00" target= "contents">13</a>].</p> <p>Nous avons proposé un protocole non coordonné de prises de points de contrÔle locaux. Dans une stratégie non-coordonnée, les processus prennent des points de contrÔle locaux de manière indépendante. Le problème est alors le suivant :étant donné un sous-ensemble de points de contrÔle locaux (au plus un par processus), la théorie de Netzer et Xu permet de répondre à la question <em>existe-t-il un point de contrÔle global cohérent qui contient ce sous-ensemble?</em> par une caractérisation théorique. Le protocole proposé est capable de répondre <em>en ligne</em> à cette question; de plus, si la réponse est positive, il fournit le point de contrÔle global cohérent <em>le plus récent</em> englobant le sous-ensemble donné, sinon il fournit le ``prochain'' point de contrÔle global cohérent [<a href="bibliographie_Toc.html#BCHR00" target="contents">8</a>].</p> <p>La seconde notion de cohérence, plus forte que la précédente, est la propriété RDT (pour <i>Rollback-Dependency Trackability</i>) introduite par Wang. Dans le cadre de l'approche <em>coordination induite par les communications</em>, nous nous sommes intéressés à la recherche de conditions optimales sous lesquelles un processus sera obligé de prendre un point de contrÔle forcé. Par là nous entendons la recherche de conditions telles que le nombre de points de contrÔle forcés serait le plus faible possible. Dans une approche ``théorique'', il s'agit de définir un ensemble de Z-chemins dont la suppression (par prise de points de contrÔles locaux) suffit à assurer la propriété RDT. Nous avons donc caractérisé un ensemble <em>minimal</em> de Z-chemins dont la suppression assure la propriété RDT et proposé un protocole induit par les communications qui réalise ``au mieux'' cette caractérisation optimale [<a href="bibliographie_Toc.html#BHR00b" target="contents">10</a>]. Nous avons de plus établi un résultat d'impossibilité sur l'utilisation des horloges scalaires pour garantir la propriété RDT [<a href= "bibliographie_Toc.html#BHMR00" target="contents">9</a>].</p> </body>