Consistency Anchor Formalization and Correctness Proofs

Detalhes bibliográficos
Autor(a) principal: Miguel, Correia
Data de Publicação: 2014
Outros Autores: Bessani, Alysson
Tipo de documento: Relatório
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/10451/14173
Resumo: This is report contains the formal proofs for the techniques for increasing the consistency of cloud storage as presented in "Bessani et al. SCFS: A Cloud-backed File System. Proc. of the 2014 USENIX Annual Technical Conference. June 2014."
id RCAP_49911348f7afb92a3c7d2f0840fcfe3f
oai_identifier_str oai:repositorio.ul.pt:10451/14173
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 Consistency Anchor Formalization and Correctness ProofsSCFSCloudStorage SystemsConsistencyThis is report contains the formal proofs for the techniques for increasing the consistency of cloud storage as presented in "Bessani et al. SCFS: A Cloud-backed File System. Proc. of the 2014 USENIX Annual Technical Conference. June 2014."The consistency anchor technique allows one to increase the consistency provided by eventually consistent cloud storage services like Amazon S3. This technique has been used in the SCFS (Shared Cloud File System) cloud-backed file system for solving read-write conflicts and to provide strong consistency guarantees (i.e., equivalent to an atomic register) despite the weak consistency provided by the underlying cloud storage services. Here we present a formalization of such technique and prove its correctness.BiobankCloud (EU-FP7-317871), TClouds (EU-FP7-257243), LaSIGE (PEst-OE/EEI/UI0408/2014) and INESC-ID (PEst-OE/EEI/LA0021/2013).Repositório da Universidade de LisboaMiguel, CorreiaBessani, Alysson2014-05-12T17:47:02Z2014-05-12T17:47:02Z2014-05-12info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/10451/14173enginfo: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:RCAAP2023-11-08T15:59:49Zoai:repositorio.ul.pt:10451/14173Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:36:00.706648Repositó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 Consistency Anchor Formalization and Correctness Proofs
title Consistency Anchor Formalization and Correctness Proofs
spellingShingle Consistency Anchor Formalization and Correctness Proofs
Miguel, Correia
SCFS
Cloud
Storage Systems
Consistency
title_short Consistency Anchor Formalization and Correctness Proofs
title_full Consistency Anchor Formalization and Correctness Proofs
title_fullStr Consistency Anchor Formalization and Correctness Proofs
title_full_unstemmed Consistency Anchor Formalization and Correctness Proofs
title_sort Consistency Anchor Formalization and Correctness Proofs
author Miguel, Correia
author_facet Miguel, Correia
Bessani, Alysson
author_role author
author2 Bessani, Alysson
author2_role author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Miguel, Correia
Bessani, Alysson
dc.subject.por.fl_str_mv SCFS
Cloud
Storage Systems
Consistency
topic SCFS
Cloud
Storage Systems
Consistency
description This is report contains the formal proofs for the techniques for increasing the consistency of cloud storage as presented in "Bessani et al. SCFS: A Cloud-backed File System. Proc. of the 2014 USENIX Annual Technical Conference. June 2014."
publishDate 2014
dc.date.none.fl_str_mv 2014-05-12T17:47:02Z
2014-05-12T17:47:02Z
2014-05-12
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14173
url http://hdl.handle.net/10451/14173
dc.language.iso.fl_str_mv eng
language eng
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_ 1799134258594316288

Registros relacionados