ECROs
Autor(a) principal: | |
---|---|
Data de Publicação: | 2021 |
Outros Autores: | , , |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/10362/128272 |
Resumo: | Project number: 1S98519N |
id |
RCAP_4d90428803c9858a557bafc717be23f7 |
---|---|
oai_identifier_str |
oai:run.unl.pt:10362/128272 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
ECROsBuilding global scale systems from sequential codedata structureseventual consistencyreplicationSoftwareSafety, Risk, Reliability and QualityProject number: 1S98519NTo ease the development of geo-distributed applications, replicated data types (RDTs) offer a familiar programming interface while ensuring state convergence, low latency, and high availability. However, RDTs are still designed exclusively by experts using ad-hoc solutions that are error-prone and result in brittle systems. Recent works statically detect conflicting operations on existing data types and coordinate those at runtime to guarantee convergence and preserve application invariants. However, these approaches are too conservative, imposing coordination on a large number of operations. In this work, we propose a principled approach to design and implement efficient RDTs taking into account application invariants. Developers extend sequential data types with a distributed specification, which together form an RDT. We statically analyze the specification to detect conflicts and unravel their cause. This information is then used at runtime to serialize concurrent operations safely and efficiently. Our approach derives a correct RDT from any sequential data type without changes to the data type's implementation and with minimal coordination. We implement our approach in Scala and develop an extensive portfolio of RDTs. The evaluation shows that our approach provides performance similar to conflict-free replicated data types for commutative operations, and considerably improves the performance of non-commutative operations, compared to existing solutions.NOVALincsDI - Departamento de InformáticaRUNDe Porre, KevinFerreira, CarlaPreguiça, NunoGonzalez Boix, Elisa2021-11-25T23:42:43Z2021-102021-10-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10362/128272eng2475-1421PURE: 34884700https://doi.org/10.1145/3485484info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T05:07:56Zoai:run.unl.pt:10362/128272Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:46:16.864367Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
ECROs Building global scale systems from sequential code |
title |
ECROs |
spellingShingle |
ECROs De Porre, Kevin data structures eventual consistency replication Software Safety, Risk, Reliability and Quality |
title_short |
ECROs |
title_full |
ECROs |
title_fullStr |
ECROs |
title_full_unstemmed |
ECROs |
title_sort |
ECROs |
author |
De Porre, Kevin |
author_facet |
De Porre, Kevin Ferreira, Carla Preguiça, Nuno Gonzalez Boix, Elisa |
author_role |
author |
author2 |
Ferreira, Carla Preguiça, Nuno Gonzalez Boix, Elisa |
author2_role |
author author author |
dc.contributor.none.fl_str_mv |
NOVALincs DI - Departamento de Informática RUN |
dc.contributor.author.fl_str_mv |
De Porre, Kevin Ferreira, Carla Preguiça, Nuno Gonzalez Boix, Elisa |
dc.subject.por.fl_str_mv |
data structures eventual consistency replication Software Safety, Risk, Reliability and Quality |
topic |
data structures eventual consistency replication Software Safety, Risk, Reliability and Quality |
description |
Project number: 1S98519N |
publishDate |
2021 |
dc.date.none.fl_str_mv |
2021-11-25T23:42:43Z 2021-10 2021-10-01T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10362/128272 |
url |
http://hdl.handle.net/10362/128272 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
2475-1421 PURE: 34884700 https://doi.org/10.1145/3485484 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799138066949996544 |