AtomiS

Detalhes bibliográficos
Autor(a) principal: Paulino, Hervé
Data de Publicação: 2023
Outros Autores: Almeida Matos, Ana, Cederquist, Jan, Giunti, Marco, Matos, João, Ravara, António
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/162408
Resumo: Funding Information: This work had financial support of FCT.IP, as well as by the EU Horizon Europe under Grant Agreement no.101093006 (TaRDIS). Publisher Copyright: © 2023 Owner/Author.
id RCAP_95c3ef6f43f28a179f1dcb1b9ce51897
oai_identifier_str oai:run.unl.pt:10362/162408
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 AtomiSData-Centric Synchronization Made PracticalConcurrencyData-CentricInference and SynthesisProgramming ModelSoftwareSafety, Risk, Reliability and QualityFunding Information: This work had financial support of FCT.IP, as well as by the EU Horizon Europe under Grant Agreement no.101093006 (TaRDIS). Publisher Copyright: © 2023 Owner/Author.Data-Centric Synchronization (DCS) shifts the reasoning about concurrency restrictions from control structures to data declaration. It is a high-level declarative approach that abstracts away from the actual concurrency control mechanism(s) in use. Despite its advantages, the practical use of DCS is hindered by the fact that it may require many annotations and/or multiple implementations of the same method to cope with differently qualified parameters. To overcome these limitations, in this paper we present AtomiS, a new DCS approach that requires only qualifying types of parameters and return values in interface definitions, and of fields in class definitions. The latter may also be abstracted away in type parameters, rendering class implementations virtually annotation-free. From this high level specification, a static analysis infers the atomicity constraints that are local to each method, considering valid only the method variants that are consistent with the specification, and performs code generation for all valid variants of each method. The generated code is then the target for automatic injection of concurrency control primitives that are responsible for ensuring the absence of data-races, atomicity-violations and deadlocks. We provide a Java implementation and showcase the applicability of AtomiS in real-life code. For the benchmarks analysed, AtomiS requires fewer annotations than the original number of regions requiring locks, as well as fewer annotations than Atomic Sets (a reference DCS proposal).NOVALincsRUNPaulino, HervéAlmeida Matos, AnaCederquist, JanGiunti, MarcoMatos, JoãoRavara, António2024-01-17T22:27:12Z2023-10-162023-10-16T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article30application/pdfhttp://hdl.handle.net/10362/162408eng2475-1421PURE: 80913196https://doi.org/10.1145/3622801info: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:45:18Zoai:run.unl.pt:10362/162408Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:58:53.372841Repositó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 AtomiS
Data-Centric Synchronization Made Practical
title AtomiS
spellingShingle AtomiS
Paulino, Hervé
Concurrency
Data-Centric
Inference and Synthesis
Programming Model
Software
Safety, Risk, Reliability and Quality
title_short AtomiS
title_full AtomiS
title_fullStr AtomiS
title_full_unstemmed AtomiS
title_sort AtomiS
author Paulino, Hervé
author_facet Paulino, Hervé
Almeida Matos, Ana
Cederquist, Jan
Giunti, Marco
Matos, João
Ravara, António
author_role author
author2 Almeida Matos, Ana
Cederquist, Jan
Giunti, Marco
Matos, João
Ravara, António
author2_role author
author
author
author
author
dc.contributor.none.fl_str_mv NOVALincs
RUN
dc.contributor.author.fl_str_mv Paulino, Hervé
Almeida Matos, Ana
Cederquist, Jan
Giunti, Marco
Matos, João
Ravara, António
dc.subject.por.fl_str_mv Concurrency
Data-Centric
Inference and Synthesis
Programming Model
Software
Safety, Risk, Reliability and Quality
topic Concurrency
Data-Centric
Inference and Synthesis
Programming Model
Software
Safety, Risk, Reliability and Quality
description Funding Information: This work had financial support of FCT.IP, as well as by the EU Horizon Europe under Grant Agreement no.101093006 (TaRDIS). Publisher Copyright: © 2023 Owner/Author.
publishDate 2023
dc.date.none.fl_str_mv 2023-10-16
2023-10-16T00:00:00Z
2024-01-17T22:27:12Z
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/162408
url http://hdl.handle.net/10362/162408
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 2475-1421
PURE: 80913196
https://doi.org/10.1145/3622801
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 30
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_ 1799138169703104512

Registros relacionados