<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of tel-00120382v2</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-04T14:33:44+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Quelques Contributions à la Stabilisation Instantanée</title>
            <title xml:lang="it">Some Contributions to Snap-Stabilization</title>
            <author role="aut">
              <persName>
                <forename type="first">Stéphane</forename>
                <surname>Devismes</surname>
              </persName>
              <email type="md5">1ace5b0fdc4d917328bbbe78a211560b</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">stephane-devismes</idno>
              <idno type="idhal" notation="numeric">738998</idno>
              <idno type="halauthorid" notation="string">3631-738998</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8032-9732</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=2ScaY-cAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/117725161</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/ABB-6192-2021</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/ABB-6192-2021</idno>
              <affiliation ref="#struct-1695"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Stéphane</forename>
                <surname>Devismes</surname>
              </persName>
              <email type="md5">1ace5b0fdc4d917328bbbe78a211560b</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2006-12-18 10:22:59</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2007-01-02 17:09:15</date>
              <date type="whenModified">2025-04-03 03:32:29</date>
              <date type="whenReleased">2007-01-02 17:24:59</date>
              <date type="whenProduced">2006-12-08</date>
              <date type="whenEndEmbargoed">2007-01-02</date>
              <ref type="file" target="https://theses.hal.science/tel-00120382v2/document">
                <date notBefore="2007-01-02"/>
              </ref>
              <ref type="file" n="1" target="https://theses.hal.science/tel-00120382v2/file/these.pdf" id="file-122499-171602">
                <date notBefore="2007-01-02"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="115270">
                <persName>
                  <forename>Stéphane</forename>
                  <surname>Devismes</surname>
                </persName>
                <email type="md5">1ace5b0fdc4d917328bbbe78a211560b</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-00120382</idno>
            <idno type="halUri">https://theses.hal.science/tel-00120382</idno>
            <idno type="halBibtex">devismes:tel-00120382</idno>
            <idno type="halRefHtml">Réseaux et télécommunications [cs.NI]. Université de Picardie Jules Verne, 2006. Français. &lt;a target="_blank" href="https://www.theses.fr/"&gt;&amp;#x27E8;NNT : &amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Réseaux et télécommunications [cs.NI]. Université de Picardie Jules Verne, 2006. Français. &amp;#x27E8;NNT : &amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-122499-171602"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-PICARDIE">Université de Picardie Jules Verne</idno>
            <idno type="stamp" n="U-PICARDIE">Université de Picardie Jules Verne</idno>
            <idno type="stamp" n="UPJV-MIS-SDMA">Equipe Systèmes Distribués, Mots et Applications du laboratoire Modélisation, Information &amp; Systèmes (Université de Picardie Jules Verne) </idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Quelques Contributions à la Stabilisation Instantanée</title>
                <title xml:lang="it">Some Contributions to Snap-Stabilization</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Stéphane</forename>
                    <surname>Devismes</surname>
                  </persName>
                  <email type="md5">1ace5b0fdc4d917328bbbe78a211560b</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">stephane-devismes</idno>
                  <idno type="idhal" notation="numeric">738998</idno>
                  <idno type="halauthorid" notation="string">3631-738998</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8032-9732</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=2ScaY-cAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/117725161</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/ABB-6192-2021</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/ABB-6192-2021</idno>
                  <affiliation ref="#struct-1695"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">LaRIA-2006-09</idno>
                <imprint>
                  <date type="dateDefended">2006-12-08</date>
                </imprint>
                <authority type="institution">Université de Picardie Jules Verne</authority>
                <authority type="school">Science et Santé</authority>
                <authority type="supervisor">Vincent Villain et Alain Cournier(vincent.villain@u-picardie.fr)</authority>
                <authority type="jury">Patrice Séébold, président</authority>
                <authority type="jury">Yves Métivier, rapporteur</authority>
                <authority type="jury">Sébastien Tixeuil, rapporteur</authority>
                <authority type="jury">Hugues Fauconnier, examinateur</authority>
                <authority type="jury">Franck Petit, examinateur</authority>
                <authority type="jury">Alain Cournier, directeur</authority>
                <authority type="jury">Vincent Villain, directeur</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">mutual exclusion</term>
                <term xml:lang="en">depth-first search</term>
                <term xml:lang="en">transformer</term>
                <term xml:lang="en">self-stabilization</term>
                <term xml:lang="en">snap-stabilization</term>
                <term xml:lang="en">fault-tolerance</term>
                <term xml:lang="en">distributed systems</term>
                <term xml:lang="fr">auto-stabilisation</term>
                <term xml:lang="fr">exclusion mutuelle</term>
                <term xml:lang="fr">stabilisation instantanée</term>
                <term xml:lang="fr">transformateur</term>
                <term xml:lang="fr">parcours en profondeur</term>
                <term xml:lang="fr">tolérance aux fautes</term>
                <term xml:lang="fr">systèmes distribués</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this PhD thesis, we are interested in the notion of snap-stabilization. Thus, we first proposed two solutions to the depth-first search problem in arbitrary rooted networks. These two protocols are written in the state model and work under a distributed unfair daemon: the weakest scheduling assumption of the model. The first one is based on IDs lists. The other one uses a question mechanism instead of the IDs lists. We then propose two snap-stabilizing applications obtained with the previously presented depth-first search protocols. These two applications allow us to evaluate some global network properties. Actually, the first application marks the cutnodes and the bridges of the network. The second application allows us to evaluate if a given set of processors is a cutset of the network. Finally, in the last part, we generalize our approach by studying an efficient semi-automatic transformer that snap-stabilizes service protocols with a unique initiator. A depth-first search protocol as well as a breath-first spanning tree construction protocol show how our method is easy. Our depth-first search protocol is not only easy to write but its complexity is a trade-off between the list-based and the question-based solutions. Finally, using a counting property of our transformer, we show how to use this depth-first search protocol to solve in few lines the mutual exclusion problem in a snap-stabilizing manner.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Dans cette thèse, nous nous sommes intéressés au concept de stabilisation instantanée. Ainsi, nous avons tout d'abord proposé deux solutions instantanément stabilisantes au problème de parcours en profondeur pour des réseaux enracinés quelconques. Ces deux protocoles sont écrits dans le modèle à états et fonctionnent sous l'hypothèse d'un démon distribué inéquitable : le démon le plus général du modèle. Le premier est basé sur des listes d'identités. Le second utilise un principe de question/réponse pour remplacer les listes d'identités. Nous proposons ensuite deux applications instantanément stabilisantes obtenues à partir de nos deux protocoles de parcours en profondeur. Ces deux applications évaluent des propriétés globales sur le réseau. La première application permet de marquer les points d'articulation et les isthmes du réseau. La seconde application permet d'évaluer si un ensemble donné est un ensemble séparateur du réseau. Enfin, dans une dernière partie, nous adoptons une approche plus générale en étudiant un protocole efficace permettant de transformer semi-automatiquement des protocoles de service mono-initiateurs en protocoles instantanément stabilisants. Un protocole de parcours en profondeur et un protocole de construction d'arbre en largeur illustrent la facilité avec laquelle nous pouvons rendre instantanément stabilisants ce type protocole grâce à notre transformateur. Le protocole de parcours en profondeur est non seulement trivial à écrire mais les performances obtenues en font un compromis quasi idéal entre les protocoles à listes et à questions présentés précédemment. Enfin, grâce à une propriété de comptage due à notre transformateur, nous montrerons comment utiliser ce protocole de parcours pour résoudre en quelques lignes l'exclusion mutuelle de manière instantanément stabilisante.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1695" status="OLD">
          <idno type="RNSR">200417525L</idno>
          <orgName>Laboratoire de Recherche en Informatique d'Amiens</orgName>
          <orgName type="acronym">LaRIA</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2007-12-31</date>
          <desc>
            <address>
              <addrLine>Université de Picardie Jules Verne - Faculté de Mathématiques et d'Informatique -  33, rue Saint Leu - 80039 AMIENS CEDEX 1</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="FRE2733" active="#struct-300258" type="direct"/>
            <relation name="FRE2733" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300258" status="VALID">
          <idno type="IdRef">026403714</idno>
          <idno type="ISNI">0000 0001 0789 1385</idno>
          <idno type="ROR">https://ror.org/01gyxrk03</idno>
          <orgName>Université de Picardie Jules Verne</orgName>
          <orgName type="acronym">UPJV</orgName>
          <desc>
            <address>
              <addrLine>Chemin du Thil - 80000 Amiens</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.u-picardie.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>