AtomiS
Autor(a) principal: | |
---|---|
Data de Publicação: | 2023 |
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/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 |