SyncFree
Large-scale computation without synchronisation
| Coordinatore | INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Organization address
address: Domaine de Voluceau, Rocquencourt contact info |
| Nazionalità Coordinatore | France [FR] |
| Totale costo | 3˙991˙796 € |
| EC contributo | 2˙669˙995 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Code Call | FP7-ICT-2013-10 |
| Funding Scheme | CP |
| Anno di inizio | 2013 |
| Periodo (anno-mese-giorno) | 2013-10-01 - 2016-09-30 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Organization address
address: Domaine de Voluceau, Rocquencourt contact info |
FR (LE CHESNAY Cedex) | coordinator | 0.00 |
| 2 |
BASHO TECHNOLOGIES LIMITED
Organization address
address: RIVINGTON STREET 61 contact info |
UK (LONDON) | participant | 0.00 |
| 3 |
FACULDADE DE CIENCIAS E TECNOLOGIADA UNIVERSIDADE NOVA DE LISBOA
Organization address
address: QUINTA DA TORRE contact info |
PT (CAPARICA) | participant | 0.00 |
| 4 |
KOC UNIVERSITY
Organization address
address: RUMELI FENERI YOLU SARIYER contact info |
TR (ISTANBUL) | participant | 0.00 |
| 5 |
ROVIO ENTERTAINMENT OY
Organization address
address: KEILARANTA 17c contact info |
FI (ESPOO) | participant | 0.00 |
| 6 |
TECHNISCHE UNIVERSITAET KAISERSLAUTERN
Organization address
address: GOTTLIEB-DAIMLER-STRASSE Geb. 47 contact info |
DE (KAISERSLAUTERN) | participant | 0.00 |
| 7 |
TRIFORK AS
Organization address
address: Margrethepladsen 4 contact info |
DK (AARHUS C) | participant | 0.00 |
| 8 |
UNIVERSITE CATHOLIQUE DE LOUVAIN
Organization address
address: PLACE DE L UNIVERSITE 1 contact info |
BE (LOUVAIN LA NEUVE) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
The goal of SyncFree is to enable large-scale distributed applications without global synchronisation, by exploiting the recent concept of Conflict-free Replicated Data Types (CRDTs). CRDTs allow unsynchronised concurrent updates, yet ensure data consistency. This revolutionary approach maximises responsiveness and availability; it enables locating data near its users, in decentralised clouds.nnGlobal-scale applications, such as virtual wallets, advertising platforms, social networks, online games, or collaboration networks, require consistency across distributed data items. As networked users, objects, devices, and sensors proliferate, the consistency issue is increasingly acute for the software industry. Current alternatives are both unsatisfactory: either to rely on synchronisation to ensure strong consistency, or to forfeit synchronisation and consistency altogether with ad-hoc eventual consistency. The former approach does not scale beyond a single data centre and is expensive. The latter is extremely difficult to understand, and remains error-prone, even for highly-skilled programmers.nnSyncFree avoids both global synchronisation and the complexities of ad-hoc eventual consistency by leveraging the formal properties of CRDTs. CRDTs are designed so that unsynchronised concurrent updates do not conflict and have well-defined semantics. By combining CRDT objects from a standard library of proven datatypes (counters, sets, graphs, sequences, etc.), large-scale distributed programming is simpler and less error-prone. CRDTs are a practical and cost-effective approach.nnThe SyncFree project will develop both theoretical and practical understanding of large-scale synchronisation-free programming based on CRDTs. Project results will be new industrial applications, new application architectures, large-scale evaluation of both, programming models and algorithms for large-scale applications, and advanced scientific understanding.