Utilize este identificador para referenciar este registo: http://hdl.handle.net/10451/14173
Título: Consistency Anchor Formalization and Correctness Proofs
Autor: Miguel, Correia
Bessani, Alysson
Palavras-chave: SCFS
Cloud
Storage Systems
Consistency
Data: 12-Mai-2014
Relatório da Série N.º: 2014;02
Resumo: 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.
Descrição: 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."
URI: http://hdl.handle.net/10451/14173
http://repositorio.ul.pt/handle/10455/6899
Aparece nas colecções:FC-DI - Technical Reports

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
TR-2014-02.pdf239,31 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.