<?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-01111206</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-19T05:59:47+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Towards Fast Invariant Preservation in Geo-replicated Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Valter</forename>
                <surname>Balegas</surname>
              </persName>
              <email type="md5">69719c6c65ec48bf406feec26ddc96a4</email>
              <email type="domain">live.com</email>
              <idno type="idhal" notation="numeric">930962</idno>
              <idno type="halauthorid" notation="string">663898-930962</idno>
              <orgName ref="#struct-1114557"/>
              <affiliation ref="#struct-45873"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sérgio</forename>
                <surname>Duarte</surname>
              </persName>
              <email type="md5">016740530faf045f071547fb364c3a17</email>
              <email type="domain">fct.unl.pt</email>
              <idno type="idhal" notation="numeric">930963</idno>
              <idno type="halauthorid" notation="string">435309-930963</idno>
              <orgName ref="#struct-1114557"/>
              <affiliation ref="#struct-45873"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Carla</forename>
                <surname>Ferreira</surname>
              </persName>
              <email type="md5">0932d3faeac266e62c1d3881eb203d82</email>
              <email type="domain">fct.unl.pt</email>
              <idno type="idhal" notation="numeric">963361</idno>
              <idno type="halauthorid" notation="string">884073-963361</idno>
              <orgName ref="#struct-327246"/>
              <affiliation ref="#struct-45873"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Rodrigo</forename>
                <surname>Rodrigues</surname>
              </persName>
              <email type="md5">8a28532b17e72f487c6a2c746b06550c</email>
              <email type="domain">fct.unl.pt</email>
              <idno type="idhal" notation="numeric">962840</idno>
              <idno type="halauthorid" notation="string">879538-962840</idno>
              <affiliation ref="#struct-45873"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mahsa</forename>
                <surname>Najafzadeh</surname>
              </persName>
              <email type="md5">be5ad1e43350a39f5d91fc757fecc323</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">951181</idno>
              <idno type="halauthorid" notation="string">796115-951181</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-2436"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marc</forename>
                <surname>Shapiro</surname>
              </persName>
              <idno type="halauthorid">2120-0</idno>
              <affiliation ref="#struct-2436"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nuno</forename>
                <surname>Preguiça</surname>
              </persName>
              <email type="md5">135ee343a18e76e9f7d91c2b686c2743</email>
              <email type="domain">di.fct.unl.pt</email>
              <idno type="idhal" notation="numeric">843240</idno>
              <idno type="halauthorid" notation="string">233272-843240</idno>
              <orgName ref="#struct-0"/>
              <affiliation ref="#struct-45873"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Marc</forename>
                <surname>Shapiro</surname>
              </persName>
              <email type="md5">3a9fba80fb97fa40366e556d67d48b36</email>
              <email type="domain">acm.org</email>
            </editor>
            <funder ref="#projeurop-98828"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-01-29 18:32:20</date>
              <date type="whenModified">2025-02-28 03:25:41</date>
              <date type="whenReleased">2015-01-29 18:32:20</date>
              <date type="whenProduced">2015-01</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="121276">
                <persName>
                  <forename>Marc</forename>
                  <surname>Shapiro</surname>
                </persName>
                <email type="md5">3a9fba80fb97fa40366e556d67d48b36</email>
                <email type="domain">acm.org</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01111206</idno>
            <idno type="halUri">https://inria.hal.science/hal-01111206</idno>
            <idno type="halBibtex">balegas:hal-01111206</idno>
            <idno type="halRefHtml">&lt;i&gt;Operating Systems Review&lt;/i&gt;, 2015, ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts, 49 (1), pp.5. &lt;a target="_blank" href="https://dx.doi.org/10.1145/2723872.2723889"&gt;&amp;#x27E8;10.1145/2723872.2723889&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Operating Systems Review, 2015, ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts, 49 (1), pp.5. &amp;#x27E8;10.1145/2723872.2723889&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="OPENAIRE">OpenAIRE</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</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">Towards Fast Invariant Preservation in Geo-replicated Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Valter</forename>
                    <surname>Balegas</surname>
                  </persName>
                  <email type="md5">69719c6c65ec48bf406feec26ddc96a4</email>
                  <email type="domain">live.com</email>
                  <idno type="idhal" notation="numeric">930962</idno>
                  <idno type="halauthorid" notation="string">663898-930962</idno>
                  <orgName ref="#struct-1114557"/>
                  <affiliation ref="#struct-45873"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sérgio</forename>
                    <surname>Duarte</surname>
                  </persName>
                  <email type="md5">016740530faf045f071547fb364c3a17</email>
                  <email type="domain">fct.unl.pt</email>
                  <idno type="idhal" notation="numeric">930963</idno>
                  <idno type="halauthorid" notation="string">435309-930963</idno>
                  <orgName ref="#struct-1114557"/>
                  <affiliation ref="#struct-45873"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Carla</forename>
                    <surname>Ferreira</surname>
                  </persName>
                  <email type="md5">0932d3faeac266e62c1d3881eb203d82</email>
                  <email type="domain">fct.unl.pt</email>
                  <idno type="idhal" notation="numeric">963361</idno>
                  <idno type="halauthorid" notation="string">884073-963361</idno>
                  <orgName ref="#struct-327246"/>
                  <affiliation ref="#struct-45873"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Rodrigo</forename>
                    <surname>Rodrigues</surname>
                  </persName>
                  <email type="md5">8a28532b17e72f487c6a2c746b06550c</email>
                  <email type="domain">fct.unl.pt</email>
                  <idno type="idhal" notation="numeric">962840</idno>
                  <idno type="halauthorid" notation="string">879538-962840</idno>
                  <affiliation ref="#struct-45873"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mahsa</forename>
                    <surname>Najafzadeh</surname>
                  </persName>
                  <email type="md5">be5ad1e43350a39f5d91fc757fecc323</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">951181</idno>
                  <idno type="halauthorid" notation="string">796115-951181</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-2436"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marc</forename>
                    <surname>Shapiro</surname>
                  </persName>
                  <idno type="halauthorid">2120-0</idno>
                  <affiliation ref="#struct-2436"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nuno</forename>
                    <surname>Preguiça</surname>
                  </persName>
                  <email type="md5">135ee343a18e76e9f7d91c2b686c2743</email>
                  <email type="domain">di.fct.unl.pt</email>
                  <idno type="idhal" notation="numeric">843240</idno>
                  <idno type="halauthorid" notation="string">233272-843240</idno>
                  <orgName ref="#struct-0"/>
                  <affiliation ref="#struct-45873"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">9511</idno>
                <idno type="issn">0163-5980</idno>
                <idno type="eissn">1943-586X</idno>
                <title level="j">Operating Systems Review</title>
                <imprint>
                  <publisher>Association for Computing Machinery</publisher>
                  <biblScope unit="serie">ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts</biblScope>
                  <biblScope unit="volume">49</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">5</biblScope>
                  <date type="datePub">2015-01</date>
                  <date type="dateEpub">2015-01</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/2723872.2723889</idno>
              <ref type="publisher">http://dl.acm.org/citation.cfm?doid=2723872.2723889</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</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>Today's global services and applications are expected to be highly available, scale to an unprecedented number of clients, and offer reliable, low-latency operations. This can be achieved through geo-replication, particularly when data consistency is relaxed. There are, however, applications whose data must obey global invariants at all times. Strong consistency protocols easily address this issue, but require global coordination among replicas and inevitably degrade application throughput and latency.While coordination is an inherent requirement for maintaining global application invariants, there are instances where coordination on a per operation basis can be avoided. In particular, it has been shown that either moving coordination outside the critical path for executing operations, or having one coordination round for multiple operations, are both effective ways to maintain global invariants and avoid most of the penalties of coordination. However, current georeplication protocols still have not taken advantage of these observations.In this paper, we review the design space of current solutions for building geo-replicated applications and present our guiding vision towards a general technique for providing global application invariants under eventual consistency, as a much cheaper alternative to strong consistency.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-45873" status="VALID">
          <orgName>Centro de Investigação em Informática e Tecnologias da Informação</orgName>
          <orgName type="acronym">CITI</orgName>
          <desc>
            <address>
              <addrLine>Faculdade de Ciências e Tecnologia</addrLine>
              <country key="PT"/>
            </address>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-2436" status="OLD">
          <idno type="RNSR">200518313N</idno>
          <orgName>Large-Scale Distributed Systems and Applications</orgName>
          <orgName type="acronym">Regal</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/teams/regal</ref>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
            <relation active="#struct-86790" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</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-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.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>
        <org type="laboratory" xml:id="struct-86790" status="OLD">
          <orgName>Inria Paris-Rocquencourt</orgName>
          <date type="end">2016-03-30</date>
          <desc>
            <address>
              <addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris-rocquencourt</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </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>
      </listOrg>
      <listOrg type="projects">
        <org type="europeanProject" xml:id="projeurop-98828" status="VALID">
          <idno type="number">609551</idno>
          <idno type="program">FP7-ICT-2013-10</idno>
          <idno type="call">FP7-ICT-2013-10</idno>
          <orgName>SyncFree</orgName>
          <desc>Large-scale computation without synchronisation</desc>
          <date type="start">2013-01-10</date>
          <date type="end">2016-12-31</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>