A carregar...
Publicação
Consistency Anchor Formalization and Correctness Proofs
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 239.31 KB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
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."
Palavras-chave
SCFS Cloud Storage Systems Consistency