CORDIS

EU research results

CORDIS

Large-scale computation without synchronisation

Fact Sheet

Result in Brief

Results

Project information

SyncFree

Grant agreement ID: 609551

Status

Closed project

Start date

1 October 2013
End date

31 December 2016

Funded under:

FP7-ICT

Overall budget:

€ 3 759 857
EU contribution

€ 2 669 995

Coordinated by:

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

France

Project description

Software Engineering, Services and Cloud Computing

Field of Science

/natural sciences/computer and information sciences/software

Programme(s)

FP7-ICT - Specific Programme "Cooperation": Information and communication technologies

Topic(s)

ICT-2013.1.2 - Software Engineering, Services and Cloud Computing

Call for proposal

FP7-ICT-2013-10

See other projects for this call

Funding Scheme

CP - Collaborative project (generic)

Coordinator

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

Address

Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex

France

Activity type

Research Organisations

EU Contribution

€ 840 081

Website

Contact the organisation

Administrative Contact

Catherine Zimmermann (Ms.)

Participants (12)

Sort alphabetically

Sort by EU Contribution

Expand all

UNIVERSITE CATHOLIQUE DE LOUVAIN

Belgium

EU Contribution

€ 312 217

TECHNISCHE UNIVERSITAET KAISERSLAUTERN

Germany

EU Contribution

€ 258 665

TRIFORK AS

Denmark

EU Contribution

€ 218 380

ROVIO ENTERTAINMENT OY

Finland

EU Contribution

€ 150 000

FACULDADE DE CIENCIAS E TECNOLOGIADA UNIVERSIDADE NOVA DE LISBOA

Portugal

EU Contribution

€ 263 168

KOC UNIVERSITY

Turkey

EU Contribution

€ 122 282

ERLANG SOLUTIONS LIMITED

United Kingdom

EU Contribution

€ 89 430

BASHO TECHNOLOGIES LIMITED

United Kingdom

EU Contribution

€ 218 700

TRIFORK PUBLIC AS

Denmark

EU Contribution

€ 27 064

Erlang Solutions Hungary Kft

Hungary

EU Contribution

€ 94 205

ERLANG SOLUTIONS AB

Sweden

EU Contribution

€ 14 842

TRIFORK LEEDS LTD

United Kingdom

EU Contribution

€ 60 961

Project information

SyncFree

Grant agreement ID: 609551

Status

Closed project

Start date

1 October 2013
End date

31 December 2016

Funded under:

FP7-ICT

Overall budget:

€ 3 759 857
EU contribution

€ 2 669 995

Coordinated by:

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

France

This project is featured in...

RESEARCH*EU MAGAZINE

The grand plan for carbon capture

Issue 64, July 2017

Project information

SyncFree

Grant agreement ID: 609551

Status

Closed project

Start date

1 October 2013
End date

31 December 2016

Funded under:

FP7-ICT

Overall budget:

€ 3 759 857
EU contribution

€ 2 669 995

Coordinated by:

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

DE EN ES FR IT PL

CRDTs for non-synchronised networked applications

Historically, the only way the prevent two computers using the same online application from modifying the same data at the same time has been synchronisation. Claiming that this system is inefficient and a waste of resources, the SYNCFREE project suggests a better approach, using Conflict-free Replicated Data Types (CRDTs).

CRDTs have been around for a while. These data structures can be replicated across multiple computers in a network and updated independently without the need for synchronisation, and can prevent inconsistencies by merging their respective updates. Yet, critical applications such as virtual wallets, advertising platforms, social networks or online games still tend to resort to synchronisation. ‘Synchronisation is antinomic to fast response and availability,’ says Marc Shapiro, computer scientist at UPMC-LIP6 and Inria, and coordinator of SYNCFREE. ‘As one computer awaits update permission from another, it does nothing useful, wastes resources, and does not even respond to the user. Worse, if the network breaks, the wait may last indefinitely, and the application is stuck.’ Thanks to CRDTs, the two above-mentioned computers can make their updates independently and at the same time: one sends its updates to the other; and each one merges the remote updates it receives with its own. ‘This requires careful programming, and does not work for all types of data. But it has proved to be very useful in practice. Plus, CRDT-based programs are “Available under Partition” (AP), meaning that each computer can do its job even when the network is broken. Since a computer running CRDTs does not ask for permission, it can always respond immediately, which also brings down cost,’ Shapiro explains. Unlike previous AP approaches, which were very complex to use for software developers, a CRDT has clear semantics, and encapsulates the details of remote communication and merging into an intuitive interface. One challenge on the path to increased commercial exploitation of CRDTs was the lack of applications and systems entirely based on this technology. This posed various problems, in particular with regards to how to build a CRDT-based communication and storage system, how to maintain desirable properties when updating different pieces of information In an AP system, how to program CRDT-based applications effectively, and how to scale to geo-distributed cloud computing systems with hundreds of computers. These obstacles are precisely those that SYNCFREE aimed to overcome. ‘The project has positive results in all these areas,’ Shapiro explains. ‘Among other things, we have built an effective open-source cloud database, Antidote, which has been demonstrated on hundreds of machines distributed worldwide. We developed new, more scalable approaches for storing CRDTs and transmitting updates. We have built large programs, in particular a demanding distributed benchmark called FMKe (patterned after the Danish healthcare network FMK). We have demonstrated a dataflow-style distributed programming language called LASP, and, finally we have designed a methodology – called Just-Right Consistency – for ensuring that data stored in this system actually behaves as intended by the application.’ Even before the project started, some of its concepts had already been picked up by industry, including the four industrial partners of SYNCFREE who have extensively contributed application requirements, development suggestions, and data from real, cloud-scale, deployed applications. One of them is using Antidote in one of its products. ‘Now that the SYNCFREE project is finished, there is a follow-up H2020 project named LIGHTKONE that we have just started, with more industrial partners. The aim of it to enable massive, distributed general-purpose computing “at the edge”. Whereas SYNCFREE focused very much on a datacentre environment, LIGHTKONE aims to keep the data and computations as close as possible to the users. This raises some exciting new challenges when scaling from a few hundred computers in a well-controlled environment, to millions, located in unpredictable environments,’ Shapiro says. ‘Independently, a company is using LASP in production, and we have high hopes for adoption of Antidote. We are even discussing plans for a start-up to further commercialise the results of the project.’ In the meantime, most project contributions, including Antidote, LASP, FMKe, and the Just-Right Consistency tools, are already available on GitHub under the Apache license.

Keywords

SYNCFREE, Antidote, CRDT, synchronisation, github, computer, application

Project information

SyncFree

Grant agreement ID: 609551

Status

Closed project

Start date

1 October 2013
End date

31 December 2016

Funded under:

FP7-ICT

Overall budget:

€ 3 759 857
EU contribution

€ 2 669 995

Coordinated by:

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

This project is featured in...

RESEARCH*EU MAGAZINE

The grand plan for carbon capture

Issue 64, July 2017

Discover other articles in the same domain of application

News

Scientific advances

Pump up the volume? Bringing radio stations closer to their listeners

7 February 2020

Results in Brief

Greater interaction tools for next-gen radio shows

3 January 2020

News

Stockholm wins World Smart City Awards for European Project

27 November 2019

Project information

SyncFree

Grant agreement ID: 609551

Status

Closed project

Start date

1 October 2013
End date

31 December 2016

Funded under:

FP7-ICT

Overall budget:

€ 3 759 857
EU contribution

€ 2 669 995

Coordinated by:

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

France

Project information

SyncFree

Grant agreement ID: 609551

Status

Closed project

Start date

1 October 2013
End date

31 December 2016

Funded under:

FP7-ICT

Overall budget:

€ 3 759 857
EU contribution

€ 2 669 995

Coordinated by:

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

This project is featured in...

RESEARCH*EU MAGAZINE

The grand plan for carbon capture

Issue 64, July 2017

Project information

SyncFree

Grant agreement ID: 609551

Status

Closed project

Start date

1 October 2013
End date

31 December 2016

Funded under:

FP7-ICT

Overall budget:

€ 3 759 857
EU contribution

€ 2 669 995

Coordinated by:

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

France

Deliverables

Deliverables not available

Publications

Publications via OpenAire

The problem with embedded CRDT counters and a solution

Author(s): Baquero, Carlos,Almeida, Paulo Sérgio,Lerche, Carl

Published in: Association for Computing Machinery (ACM) 2016

Permanent ID: doi:10.1145/2911151.2911159

PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation

Author(s): Tomsic , Alejandro,Crain , Tyler,Shapiro , Marc

Published in: ACM PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, Apr 2016, London, United Kingdom. ACM, pp.4, 2016, 〈http://www2.ucsc.edu/papoc-2016/〉. 〈10.1145/2911151.2911166〉 2016

Permanent ID: doi:10.1145/2911151.2911166

CRDTs in practice

Author(s): Shapiro , Marc

Published in: HAL CCSD https://hal.inria.fr/hal-01351589 2015

An empirical perspective on causal consistency

Author(s): Tomsic, Alejandro,Crain, Tyler,Shapiro, Marc

Published in: ACM W. on Principles and Practice of Consistency for Distributed Data (PaPoC) 2015

Permanent ID: doi:10.1145/2745947.2745949

Analyse et co-conception d'applications faiblement cohérentes

Author(s): Najafzadeh , Mahsa

Published in: HAL CCSD Other [cs.OH]. Université Pierre et Marie Curie, 2016. English 2016

Probabilistic Semantics

Author(s): Pileggi, Salvatore Flavio

Published in: Elsevier Procedia Computer Science 2016

Permanent ID: doi:10.1016/j.procs.2016.05.472

Probabilistic latency for partial ordering

Author(s): Urso , Pascal,Martori , Jordi

Published in: HAL CCSD https://hal.archives-ouvertes.fr/hal-01215016 2015

Permanent ID: doi:10.1109/NOTERE.2015.7293483

Consistency in 3D

Author(s): Shapiro, Marc,Saeida Ardekani, Masoud,Petri, Gustavo

Published in: HAL CCSD http://www.concur2016.ulaval.ca/ 2016

Consistency in 3D

Author(s): Shapiro, Marc,Saeida Ardekani, Masoud,Petri, Gustavo

Published in: HAL CCSD https://hal.inria.fr/hal-01350668 2016

Building distributed systems for high-stress environments using reversibility and phase-awareness

Author(s): Paul, Ruma

Published in: Stockholm 2016

Consistency in 3D

Author(s): Shapiro, Marc,Saeida Ardekani, Masoud,Petri, Gustavo

Published in: HAL CCSD http://www.concur2016.ulaval.ca/ 2016

'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems

Author(s): Gotsman, Alexey,Yang, Hongseok,Ferreira, Carla,Najafzadeh, Mahsa,Shapiro, Marc

Published in: HAL CCSD Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, FL, United States. pp.371-384, ⟨10.1145/2837614.2837625⟩ 2016

Permanent ID: doi:10.1145/2837614.2837625

G-DUR: A Middleware for Assembling, Analyzing, and Improving Transactional Protocols

Author(s): Saeida Ardekani , Masoud,Sutra , Pierre,Shapiro , Marc

Published in: IEEE Middleware 2014

Permanent ID: doi:10.1145/2663165.2663336

Merging OT and CRDT Algorithms

Author(s): Ahmed-Nacer , Mehdi,Urso , Pascal,Balegas , Valter,Preguiça , Nuno

Published in: HAL CCSD 1st Workshop on Principles and Practice of Eventual Consistency (PaPEC), Apr 2014, Amsterdam, Netherlands. 2014, 〈10.1145/2596631.2596636〉 2014

Permanent ID: doi:10.1145/2596631.2596636

L’outil CISE : prouver qu’une application faiblement cohérente est correcte

Author(s): Najafzadeh, Mahsa,Gotsman, Alexey,Yang, Hongseok,Ferreira, Carla,Shapiro, Marc

Published in: HAL CCSD [Research Report] RR-8870, Inria Paris Rocquencourt. 2016 2016

Dagstuhl Seminar Review: Consistency in Distributed Systems

Author(s): Kemme , Bettina,Schiper , André,Ganesan , Ramlingam,Shapiro , Marc

Published in: Association for Computing Machinery (ACM) ACM SIGACT News, Association for Computing Machinery (ACM), 2014, 45 (1), pp.22. ⟨http://doi.acm.org/10.1145/2596583.2596601⟩. ⟨10.1145/2596583.2596601⟩ 2014

Permanent ID: doi:10.1145/2596583.2596601

The Case for Fast and Invariant-Preserving Geo-Replication

Author(s): Balegas , Valter,Preguiça , Nuno,Duarte , Sérgio,Ferreira , Carla,Rodrigues , Rodrigo,Najafzadeh , Mahsa,Shapiro , Marc

Published in: IEEE SRDSW 2014 - 33rd International Symposium on Reliable Distributed Systems Workshops, IEEE, Oct 2014, Nara, Japan. pp.5, ⟨10.1109/SRDSW.2014.30⟩ 2014

Permanent ID: doi:10.1109/SRDSW.2014.30

Towards Fast Invariant Preservation in Geo-replicated Systems

Author(s): Balegas , Valter,Duarte , Sérgio,Ferreira , Carla,Rodrigues , Rodrigo,Najafzadeh , Mahsa,Shapiro , Marc,Preguiça , Nuno

Published in: Association for Computing Machinery https://hal.inria.fr/hal-01111206 2015

Permanent ID: doi:10.1145/2723872.2723889

Making Operation-Based CRDTs Operation-Based

Author(s): Baquero , Carlos,Almeida , Paulo ,,Shoker , Ali

Published in: Springer David Hutchison; Takeo Kanade; Bernhard Steffen; Demetri Terzopoulos; Doug Tygar; Gerhard Weikum; Kostas Magoutis; Peter Pietzuch; Josef Kittler; Jon M. Kleinberg; Alfred Kobsa; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan. 4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. Springer, Lecture Notes in Computer Science, LNCS-8460, pp.126-140, 2014, Distributed Applications and Interoperable Systems. 〈10.1007/978-3-662-43352-2_11〉 2014

Permanent ID: doi:10.1007/978-3-662-43352-2_11

Écriture rapide, lecture dans le passé : cohérence causale pour les applications localisées côté client

Author(s): Zawirski , Marek,Preguiça , Nuno,Duarte , Sérgio,Bieniusa , Annette,Balegas , Valter,Shapiro , Marc

Published in: HAL CCSD [Research Report] RR-8729, Inria – Centre Paris-Rocquencourt; INRIA. 2015 2015

Join decompositions for efficient synchronization of CRDTs after a network partition: [Work in progress report]

Author(s): Enes, Vitor,Baquero, Carlos,Almeida, Paulo Sérgio,Shoker, Ali

Published in: ACM 2016

Permanent ID: doi:10.1145/2957319.2957374

Worlds of events: deduction with partial knowledge about causality

Author(s): Haeri, Seyed Hossein,Van Roy, Peter,Baquero, Carlos,Meiklejohn, Christopher

Published in: Open Publishing Association Electronic Proceedings in Theoretical Computer Science, Vol 223, Iss Proc. ICE 2016, Pp 113-127 (2016) 2016

Permanent ID: doi:10.4204/EPTCS.223.8

Designing a causally consistent protocol for geo-distributed partial replication

Author(s): Crain, Tyler,Shapiro, Marc

Published in: ACM W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops, Apr 2015, Bordeaux, France. ⟨10.1145/2745947.2745953⟩ 2015

Permanent ID: doi:10.1145/2745947.2745953

Integration challenges of pure operation-based CRDTs in redis

Author(s): Younes, Georges,Shoker, Ali,Almeida, Paulo Sérgio,Baquero, Carlos

Published in: Association for Computing Machinery (ACM) 2016

Permanent ID: doi:10.1145/2957319.2957375

Efficient state-based CRDTs by decomposition

Author(s): Almeida, Paulo Sérgio,Shoker, Ali,Baquero, Carlos

Published in: Association for Computing Machinery (ACM) 2014

Permanent ID: doi:10.1145/2596631.259663

Technical Perspective: Unexpected Connections

Author(s): Shapiro , Marc

Published in: Association for Computing Machinery Communications- ACM, Association for Computing Machinery, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩ 2017

Permanent ID: doi:10.1145/3068768

Exploring the spectrum of strongly-consistent transactional protocols

Author(s): Shapiro, Marc,Saeida Ardekani, Masoud,Sutra, Pierre

Published in: HAL CCSD Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Oct 2014, Cambridge, United Kingdom. Workshop on Large-Scale Distributed Systems and Middleware (LADIS), 2014, Workshop on Large-Scale Distributed Systems and Middleware (LADIS). 〈http://2014.ladisworkshop.org/〉 2014

High Responsiveness for Group Editing CRDTs

Author(s): Briot , Loïck,Urso , Pascal,Shapiro , Marc

Published in: HAL CCSD https://hal.inria.fr/hal-01343941 2016

Permanent ID: doi:10.1145/2957276.2957300

Putting the Consistency Back Into Eventual Consistency

Author(s): Balegas, Valter,Najafzadeh, Mahsa,Duarte, Sérgio,Ferreira, Carla,Shapiro, Marc,Rodrigues, Rodrigo,Preguiça, Nuno

Published in: HAL CCSD Large-Scale Distributed Systems and Middleware (LADIS) 2014, Oct 2014, Cambridge, United Kingdom. Large-Scale Distributed Systems and Middleware (LADIS) 2014. 〈http://2014.ladisworkshop.org/〉 2014

Specification and Complexity of Collaborative Text Editing

Author(s): Attiya , Hagit,Burckhardt , Sebastian,Gotsman , Alexey,Morrison , Adam,Yang , Hongseok,Zawirski , Marek

Published in: HAL CCSD ACM. Int. Symp. on Principles of Distributed Computing (PODC) 2016, Jul 2016, Chicago, IL, United States. Int. Symp. on Principles of Distributed Computing (PODC) 2016, PODC 2016, pp.10, 2016, Int. Symp. on Principles of Distributed Computing (PODC) 2016. 〈http://www.podc.org/podc2016/〉. 〈10.1145/2933057.2933090〉 2016

Permanent ID: doi:10.1145/2933057.2933090

Efficient State-based CRDTs by Delta-Mutation

Author(s): Almeida, Paulo Sérgio,Shoker, Ali,Baquero, Carlos

Published in: Springer International Publishing 2014

Permanent ID: doi:10.1007/978-3-319-26850-7_5

Big(ger) Sets: decomposed delta CRDT Sets in Riak

Author(s): Brown, Russell,Lakhani, Zeeshan,Place, Paul

Permanent ID: doi:10.1145/2911151.2911156

Declarative, Secure, Convergent Edge Computation

Author(s): Meiklejohn, Christopher

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants

Author(s): Balegas, Valter,Serra, Diogo,Duarte, Sérgio,Ferreira, Carla,Rodrigues, Rodrigo,Preguiça, Nuno,Shapiro, Marc,Najafzadeh, Mahsa

Database Consistency Models

Author(s): Shapiro, Marc,Sutra, Pierre

Published in: Springer Sherif Sakr; Albert Zomaya. Encyclopedia of Big Data Technologies, Springer, 2018, 978-3-319-63962-8. 〈10.1007/978-3-319-63962-8_203-1〉 2018

Permanent ID: doi:10.1007/978-3-319-63962-8\_203-1,doi:10.1007/978-3-319-63962-8_203-1

La juste cohérence pour reconcilier disponibilité et sûreté

Author(s): Shapiro , Marc,Bieniusa , Annette,Preguiça , Nuno,Balegas , Valter,Meiklejohn , Christopher

Published in: HAL CCSD [Research Report] RR-9145, Inria Paris; UPMC - Paris 6 Sorbonne Universités; Tech. U. Kaiserslautern; U. Nova de Lisboa; U. Catholique de Louvain. 2018, pp.1-15 2018

Pure Operation-Based Replicated Data Types

Author(s): Baquero, Carlos,Almeida, Paulo Sergio,Shoker, Ali

Just-Right Consistency: reconciling availability and safety

Author(s): Shapiro, Marc,Bieniusa, Annette,Preguiça, Nuno,Balegas, Valter,Meiklejohn, Christopher

the strong, the quick, the fresh & the impossible

Author(s): Tomsic, Alejandro Z.,Bravo, Manuel,Shapiro, Marc

Published in: ACM Press https://hal.inria.fr/hal-01876456 2018

Permanent ID: doi:10.1145/3274808.3274818

Practical evaluation of the Lasp programming model at large scale

Author(s): Meiklejohn, Christopher S.,Enes, Vitor,Yoo, Junghun,Baquero, Carlos,Van Roy, Peter,Bieniusa, Annette

Published in: Association for Computing Machinery (ACM) isbn: 9781450352918 2017

Permanent ID: doi:10.1145/3131851.3131862

Delta State Replicated Data Types

Author(s): Almeida, Paulo Sérgio,Shoker, Ali,Baquero, Carlos

Published in: Elsevier Science Inc 2016

Permanent ID: doi:10.1016/j.jpdc.2017.08.003

Scalable eventually consistent counters over unreliable networks

Author(s): Almeida, Paulo Sérgio,Baquero, Carlos

Published in: Springer-Verlag 2019

Permanent ID: doi:10.1007/s00446-017-0322-2

Scalable Eventually Consistent Counters over Unreliable Networks

Author(s): Almeida, Paulo Sérgio,Baquero, Carlos

Published in: Springer-Verlag 2013

Permanent ID: doi:10.1007/s00446-017-0322-2

Putting Consistency back into Eventual Consistency

Author(s): Balegas, Valter,Duarte, Sérgio,Ferreira, Carla,Rodrigues, Rodrigo,Preguiça, Nuno,Najafzadeh, Mahsa,Shapiro, Marc

Published in: ACM European Conference on Computer Systems (EuroSys) 2015

Permanent ID: doi:10.1145/2741948.2741972

Scalable and accurate causality tracking for eventually consistent stores

Author(s): Almeida , Paulo ,,Baquero , Carlos,Gonçalves , Ricardo,Preguiça , Nuno,Fonte , Victor

Published in: Springer David Hutchison; Takeo Kanade; Bernhard Steffen; Demetri Terzopoulos; Doug Tygar; Gerhard Weikum; Kostas Magoutis; Peter Pietzuch; Josef Kittler; Jon M. Kleinberg; Alfred Kobsa; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan. 4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. Springer, Lecture Notes in Computer Science, LNCS-8460, pp.67-81, 2014, Distributed Applications and Interoperable Systems. 〈10.1007/978-3-662-43352-2_6〉 2014

Permanent ID: doi:10.1007/978-3-662-43352-2_6

Exactly-once quantity transfer

Author(s): Shoker, Ali,Almeida, Paulo Sérgio,Baquero, Carlos

Published in: Institute of Electrical and Electronics Engineers (IEEE) 2015

Permanent ID: doi:10.1109/SRDSW.2015.10

Write Fast, Read in the Past: Causal Consistency for Client-side Applications

Author(s): Zawirski , Marek,Preguiça , Nuno,Duarte , Sérgio,Bieniusa , Annette,Balegas , Valter,Shapiro , Marc

Published in: ACM https://hal.inria.fr/hal-01248194 2015

Permanent ID: doi:10.1145/2814576.2814733

Cure: Strong semantics meets high availability and low latency

Author(s): Akkoorath , Deepthi Devaki,Tomsic , Alejandro,Bravo , Manuel,Li , Zhongmiao,Crain , Tyler,Bieniusa , Annette,Preguiça , Nuno,Shapiro , Marc

Published in: IEEE Int. Conf. on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, Int. Conf. on Distributed Computing Systems (ICDCS), pp.405-414, 2016, 〈http://www-higashi.ist.osaka-u.ac.jp/icdcs2016/〉. 〈10.1109/ICDCS.2016.98〉 2016

Permanent ID: doi:10.1109/ICDCS.2016.98

Eventually Consistent Register Revisited

Author(s): Zawirski, Marek,Baquero, Carlos,Bieniusa, Annette,Preguiça, Nuno,Shapiro, Marc

Published in: HAL CCSD https://hal.inria.fr/hal-01242700 2016

Permanent ID: doi:10.1145/2911151.2911157

Why logical clocks are easy

Author(s): Baquero, Carlos,Preguiça, Nuno

Published in: Association for Computing Machinery (ACM) 2016

Permanent ID: doi:10.1145/2890782

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants

Author(s): Balegas , Valter,Serra , Diogo,Duarte , Sérgio,Ferreira , Carla,Shapiro , Marc,Rodrigues , Rodrigo,Preguiça , Nuno

Published in: IEEE Comp. Society Symp. on Reliable Dist. Sys. (SRDS), Sep 2015, Montréal, Canada. IEEE Comp. Society, Symp. on Reliable Dist. Sys. (SRDS), pp.31-36, 2015, 〈10.1109/SRDS.2015.32〉 2015

Permanent ID: doi:10.1109/SRDS.2015.32

Geo-Replication: Fast If Possible, Consistent If Necessary

Author(s): Balegas, Valter,Li, Cheng,Najafzadeh, Mahsa,Porto, Daniel,Clement, Allen,Duarte, Sérgio,Ferreira, Carla,Gehrke, Johannes,Leitão, João,Preguiça, Nuno,Rodrigues, Rodrigo,Shapiro, Marc,Vafeiadis, Viktor

Published in: IEEE Computer Society https://hal.inria.fr/hal-01350652 2016

Project information

SyncFree

Grant agreement ID: 609551

Status

Closed project

Start date

1 October 2013
End date

31 December 2016

Funded under:

FP7-ICT

Overall budget:

€ 3 759 857
EU contribution

€ 2 669 995

Coordinated by:

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

This project is featured in...

RESEARCH*EU MAGAZINE

The grand plan for carbon capture

Issue 64, July 2017

Project information

SyncFree

Grant agreement ID: 609551

Status

Closed project

Start date

1 October 2013
End date

31 December 2016

Funded under:

FP7-ICT

Overall budget:

€ 3 759 857
EU contribution

€ 2 669 995

Coordinated by:

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

France

Project information

SyncFree

Grant agreement ID: 609551

Status

Closed project

Start date

1 October 2013
End date

31 December 2016

Funded under:

FP7-ICT

Overall budget:

€ 3 759 857
EU contribution

€ 2 669 995

Coordinated by:

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE

This project is featured in...

RESEARCH*EU MAGAZINE

The grand plan for carbon capture

Issue 64, July 2017

Download

PDF

XML

Last update: 25 April 2017

Record number: 110627

CORDIS

Project information

Project description

Coordinator

Participants (12)

Project information

This project is featured in...

Project information

CRDTs for non-synchronised networked applications

Keywords

Project information

This project is featured in...

Discover other articles in the same domain of application

Project information

Project information

This project is featured in...

Project information

Deliverables

Publications

Project information

This project is featured in...

Project information

Project information

This project is featured in...

Share this page

Download