HAL - INRIA :: [inria-00397981, version 1] CRDTs: Consistency without concurrency control

inria-00397981, version 1

CRDTs: Consistency without concurrency control

Mihai Leția ( Author to contact preferably )^a^, 1, Nuno Preguiça ()^b^, 2, Marc Shapiro () ^3, 4

N° RR-6956 (2009)

Abstract: A CRDT is a data type whose operations commute when they are concurrent. Replicas of a CRDT eventually converge without any complex concurrency control. As an existence proof, we exhibit a non-trivial CRDT: a shared edit buffer called Treedoc. We outline the design, implementation and performance of Treedoc. We discuss how the CRDT concept can be generalised, and its limitations.

a – Ecole Normale Supérieure de Lyon - ENS Lyon
b – FCT - Universidade Nova de Lisboa, Portugal
1: Laboratoire de l'Informatique du Parallélisme (LIP)
Université de Lyon – CNRS : UMR5668 – INRIA – École Normale Supérieure - Lyon – Université Claude Bernard - Lyon I
2: Centro de Investigação em Informática e Tecnologias da Informação (CITI)
Universidade Nova de Lisboa
3: Laboratoire d'Informatique de Paris 6 (LIP6)
CNRS : UMR7606 – Université Paris VI - Pierre et Marie Curie
4: REGAL (INRIA Rocquencourt)
INRIA – CNRS : UMR7606 – Université Paris VI - Pierre et Marie Curie

inria-00397981, version 1
http://hal.inria.fr/inria-00397981
oai:hal.inria.fr:inria-00397981
From: Marc Shapiro <>
Submitted on: Monday, 6 July 2009 09:50:30
Updated on: Monday, 6 July 2009 14:02:22

See detailed view

Associated documents

PDF :

PS :

arXiv: 0907.0929

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Research reports</head>
<biblStruct type="report" xml:id="inria-00397981"><monogr>
<author><persName><forename>Mihai</forename><surname>Leția</surname></persName>
<affiliation>
<orgName type="laboratory">LIP</orgName>
<orgName type="team">Laboratoire de l'Informatique du Parallélisme</orgName>
<country>FR</country>
<orgName type="institution">Université de Lyon</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
</affiliation>
</author>
<author><persName><forename>Nuno</forename><surname>Preguiça</surname></persName>
<affiliation>
<orgName type="laboratory">CITI</orgName>
<orgName type="team">Centro de Investigação em Informática e Tecnologias da Informação</orgName>
<country>PT</country>
<orgName type="institution">Universidade Nova de Lisboa</orgName>
</affiliation>
</author>
<author><persName><forename>Marc</forename><surname>Shapiro</surname></persName>
<affiliation>
<orgName type="laboratory">LIP6</orgName>
<orgName type="team">Laboratoire d'Informatique de Paris 6</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7606</orgName>
<orgName type="institution">Université Paris VI - Pierre et Marie Curie</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INRIA Rocquencourt</orgName>
<orgName type="team">REGAL</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7606</orgName>
<orgName type="institution">Université Paris VI - Pierre et Marie Curie</orgName>
</affiliation>
</author>
<title type="main" level="m">CRDTs: Consistency without concurrency control</title><title type="main" level="m">CRDTs: Consistency without concurrency control</title><imprint><biblScope type="publicationDate">2009-00-00</biblScope><biblScope type="pp">16</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00397981</idno><idno type="HALFile">http://hal.inria.fr/inria-00397981/PDF/RR-6956.pdf</idno></biblStruct>
</listBibl>
</listBibl>