ECROs

Detalhes bibliográficos
Autor(a) principal: De Porre, Kevin
Data de Publicação: 2021
Outros Autores: Ferreira, Carla, Preguiça, Nuno, Gonzalez Boix, Elisa
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

Registros relacionados