<?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 hal-02084539</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-22T21:15:30+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Packet Efficient Implementation of the Omega Failure Detector</title>
            <author role="aut">
              <persName>
                <forename type="first">Quentin</forename>
                <surname>Bramas</surname>
              </persName>
              <email type="md5">513a44d2d4cda00e73b8c1408273179c</email>
              <email type="domain">unistra.fr</email>
              <idno type="idhal" notation="string">quentin-bramas</idno>
              <idno type="idhal" notation="numeric">2043</idno>
              <idno type="halauthorid" notation="string">19110-2043</idno>
              <idno type="IDREF">https://www.idref.fr/197916139</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0612-5616</idno>
              <affiliation ref="#struct-199013"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Dianne</forename>
                <surname>Foreback</surname>
              </persName>
              <idno type="halauthorid">913009-0</idno>
              <affiliation ref="#struct-366038"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mikhail</forename>
                <surname>Nesterenko</surname>
              </persName>
              <idno type="halauthorid">291684-0</idno>
              <affiliation ref="#struct-366038"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sébastien</forename>
                <surname>Tixeuil</surname>
              </persName>
              <email type="md5">46fb30964edb44afa6b5deecf5f673eb</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">tixeuil</idno>
              <idno type="idhal" notation="numeric">9380</idno>
              <idno type="halauthorid" notation="string">5657-9380</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0948-7172</idno>
              <idno type="IDREF">https://www.idref.fr/121380661</idno>
              <affiliation ref="#struct-541966"/>
              <affiliation ref="#struct-541705"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Sébastien</forename>
                <surname>Tixeuil</surname>
              </persName>
              <email type="md5">46fb30964edb44afa6b5deecf5f673eb</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-03-29 16:13:11</date>
              <date type="whenModified">2026-01-19 16:46:19</date>
              <date type="whenReleased">2019-03-29 16:13:11</date>
              <date type="whenProduced">2019-02</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/1505.05025"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="103492">
                <persName>
                  <forename>Sébastien</forename>
                  <surname>Tixeuil</surname>
                </persName>
                <email type="md5">46fb30964edb44afa6b5deecf5f673eb</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02084539</idno>
            <idno type="halUri">https://hal.sorbonne-universite.fr/hal-02084539</idno>
            <idno type="halBibtex">bramas:hal-02084539</idno>
            <idno type="halRefHtml">&lt;i&gt;Theory of Computing Systems&lt;/i&gt;, 2019, 63 (2), pp.237-260. &lt;a target="_blank" href="https://dx.doi.org/10.1007/s00224-018-9856-3"&gt;&amp;#x27E8;10.1007/s00224-018-9856-3&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Theory of Computing Systems, 2019, 63 (2), pp.237-260. &amp;#x27E8;10.1007/s00224-018-9856-3&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-STRASBG">Université de Strasbourg</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="SITE-ALSACE">Archive ouverte du site Alsace</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCI" corresp="SORBONNE-UNIVERSITE">Sciences - Sorbonne Université</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="SPRES">Séminaires Parisiens en Réseaux</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
            <idno type="stamp" n="UNIVOAK">UNIVOAK</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Packet Efficient Implementation of the Omega Failure Detector</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Quentin</forename>
                    <surname>Bramas</surname>
                  </persName>
                  <email type="md5">513a44d2d4cda00e73b8c1408273179c</email>
                  <email type="domain">unistra.fr</email>
                  <idno type="idhal" notation="string">quentin-bramas</idno>
                  <idno type="idhal" notation="numeric">2043</idno>
                  <idno type="halauthorid" notation="string">19110-2043</idno>
                  <idno type="IDREF">https://www.idref.fr/197916139</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0612-5616</idno>
                  <affiliation ref="#struct-199013"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Dianne</forename>
                    <surname>Foreback</surname>
                  </persName>
                  <idno type="halauthorid">913009-0</idno>
                  <affiliation ref="#struct-366038"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mikhail</forename>
                    <surname>Nesterenko</surname>
                  </persName>
                  <idno type="halauthorid">291684-0</idno>
                  <affiliation ref="#struct-366038"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sébastien</forename>
                    <surname>Tixeuil</surname>
                  </persName>
                  <email type="md5">46fb30964edb44afa6b5deecf5f673eb</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">tixeuil</idno>
                  <idno type="idhal" notation="numeric">9380</idno>
                  <idno type="halauthorid" notation="string">5657-9380</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0948-7172</idno>
                  <idno type="IDREF">https://www.idref.fr/121380661</idno>
                  <affiliation ref="#struct-541966"/>
                  <affiliation ref="#struct-541705"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">19610</idno>
                <idno type="issn">1432-4350</idno>
                <idno type="eissn">1433-0490</idno>
                <title level="j">Theory of Computing Systems</title>
                <imprint>
                  <publisher>Springer Verlag</publisher>
                  <biblScope unit="volume">63</biblScope>
                  <biblScope unit="issue">2</biblScope>
                  <biblScope unit="pp">237-260</biblScope>
                  <date type="datePub">2019-02</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1505.05025</idno>
              <idno type="doi">10.1007/s00224-018-9856-3</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We assume that a message may be delivered by packets through multiple hops and investigate the feasibility and efficiency of an Omega Failure Detector implementation. To motivate the study, we prove the existence and sustainability of a leader is exponentially more probable in a multi-hop than in a single-hop implementation. An implementation is: message efficient if all but finitely many messages are sent by a single process; packet efficient if it is message efficient and the number of packets used to transmit all but finitely many messages is proportional to the number of processes in the system; super packet efficient if it is message efficient and the number of channels used to transmit all but finitely many packets is proportional to the number of processes in the system. We prove that a super packet efficient implementation of Omega is impossible. We establish necessary conditions for the existence of a packet efficient implementation of Omega and present an algorithm that implements Omega under these conditions.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-199013" status="VALID">
          <idno type="IdRef">131056549</idno>
          <idno type="ROR">https://ror.org/00pg6eq24</idno>
          <orgName>Université de Strasbourg</orgName>
          <orgName type="acronym">UNISTRA</orgName>
          <desc>
            <address>
              <addrLine>4 rue Blaise Pascal - CS 90032 - 67081 Strasbourg cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.unistra.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-366038" status="VALID">
          <idno type="ISNI">0000 0004 1936 8323</idno>
          <idno type="ROR">https://ror.org/05az7em54</idno>
          <orgName>Kent State University</orgName>
          <desc>
            <address>
              <addrLine>800 E Summit St, Kent, Ohio, OH 44240, États-Unis</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.kent.edu/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-541966" status="VALID">
          <orgName>Laboratory of Information, Network and Communication Sciences</orgName>
          <orgName type="acronym">LINCS</orgName>
          <desc>
            <address>
              <addrLine>23 avenue d'Italie 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lincs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-302102" type="direct"/>
            <relation active="#struct-413221" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-541705" status="VALID">
          <orgName>Networks and Performance Analysis</orgName>
          <orgName type="acronym">NPA</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </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>