<?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-04117344</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-22T16:00:50+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Transactional-Turn Causal Consistency</title>
            <author role="aut">
              <persName>
                <forename type="first">Benoît</forename>
                <surname>Martin</surname>
              </persName>
              <idno type="halauthorid">14526-0</idno>
              <affiliation ref="#struct-1151542"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laurent</forename>
                <surname>Prosperi</surname>
              </persName>
              <idno type="halauthorid">1435960-0</idno>
              <affiliation ref="#struct-1151542"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marc</forename>
                <surname>Shapiro</surname>
              </persName>
              <email type="md5">3a9fba80fb97fa40366e556d67d48b36</email>
              <email type="domain">acm.org</email>
              <idno type="idhal" notation="string">shapiro</idno>
              <idno type="idhal" notation="numeric">2384</idno>
              <idno type="halauthorid" notation="string">2120-2384</idno>
              <idno type="IDREF">https://www.idref.fr/068666128</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8953-9322</idno>
              <idno type="VIAF">https://viaf.org/viaf/200932310</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/AAO-3785-2021</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/AAO-3785-2021</idno>
              <affiliation ref="#struct-1151542"/>
            </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="#projanr-53643"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-06-09 15:41:26</date>
              <date type="whenModified">2024-10-30 13:34:22</date>
              <date type="whenReleased">2023-06-19 14:27:44</date>
              <date type="whenProduced">2023-08-28</date>
              <date type="whenEndEmbargoed">2023-08-28</date>
              <ref type="file" target="https://inria.hal.science/hal-04117344v1/document">
                <date notBefore="2023-08-28"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-04117344v1/file/Transactional-Turn%20Causal%20Consistency%20Euro-Par2023_35%20Martin-Prosperi-Shapiro.pdf" id="file-4117344-3590235">
                <date notBefore="2023-08-28"/>
              </ref>
            </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-04117344</idno>
            <idno type="halUri">https://inria.hal.science/hal-04117344</idno>
            <idno type="halBibtex">martin:hal-04117344</idno>
            <idno type="halRefHtml">&lt;i&gt;EURO-PAR 2023 - 29th International European Conference on Parallel and Distributed Computing&lt;/i&gt;, Aug 2023, Limassol, Cyprus</idno>
            <idno type="halRef">EURO-PAR 2023 - 29th International European Conference on Parallel and Distributed Computing, Aug 2023, Limassol, Cyprus</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-4117344-3590235"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</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-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Transactional-Turn Causal Consistency</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Benoît</forename>
                    <surname>Martin</surname>
                  </persName>
                  <idno type="halauthorid">14526-0</idno>
                  <affiliation ref="#struct-1151542"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laurent</forename>
                    <surname>Prosperi</surname>
                  </persName>
                  <idno type="halauthorid">1435960-0</idno>
                  <affiliation ref="#struct-1151542"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marc</forename>
                    <surname>Shapiro</surname>
                  </persName>
                  <email type="md5">3a9fba80fb97fa40366e556d67d48b36</email>
                  <email type="domain">acm.org</email>
                  <idno type="idhal" notation="string">shapiro</idno>
                  <idno type="idhal" notation="numeric">2384</idno>
                  <idno type="halauthorid" notation="string">2120-2384</idno>
                  <idno type="IDREF">https://www.idref.fr/068666128</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8953-9322</idno>
                  <idno type="VIAF">https://viaf.org/viaf/200932310</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/AAO-3785-2021</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/AAO-3785-2021</idno>
                  <affiliation ref="#struct-1151542"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science (LNCS)</title>
                <meeting>
                  <title>EURO-PAR 2023 - 29th International European Conference on Parallel and Distributed Computing</title>
                  <date type="start">2023-08-28</date>
                  <date type="end">2023-09-01</date>
                  <settlement>Limassol</settlement>
                  <country key="CY">Cyprus</country>
                </meeting>
                <imprint>
                  <publisher>Springer</publisher>
                  <date type="datePub">2023-08-28</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">causal consistency</term>
                <term xml:lang="en">actor model</term>
                <term xml:lang="en">message passing</term>
                <term xml:lang="en">shared memory</term>
                <term xml:lang="en">serverless</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halDomain" n="info.info-db">Computer Science [cs]/Databases [cs.DB]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Function-as-a-Service (FaaS, serverless) computing systems use an actor-like model that executes a function asynchronously, atomically and in an isolated context. However, a function must often also access state, e.g., memory or a database. This mixed model can break the actor guarantees, leading to bugs, crashes and data loss. To avoid this, we define Transactional-Turn Causal Consistency (TTCC). TTCC unifies the Turn of the actor model with the Transaction of the database model, under asynchronous, atomic and isolated execution, and guarantees mutual consistency of messages and memory. We define the model formally and present a reference implementation, along with preliminary experimental evaluation.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1151542" status="VALID">
          <orgName>DistributEd aLgorithms and sYStems</orgName>
          <orgName type="acronym">DELYS</orgName>
          <date type="start">2023-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lip6.fr/recherche/team.php?acronyme=DELYS</ref>
          </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="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-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="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>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-53643" status="VALID">
          <idno type="anr">ANR-19-CE25-0007</idno>
          <orgName>AdeCoDS</orgName>
          <desc>Programmation, Vérification, et Synthèse de Systèmes Distribués Adéquatement Consistent</desc>
          <date type="start">2019</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>