Publicação
Consistency Anchor Formalization and Correctness Proofs
| 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. |
|---|---|
| Autores principais: | Miguel, Correia |
| Outros Autores: | Bessani, Alysson |
| Assunto: | SCFS Cloud Storage Systems Consistency |
| Ano: | 2014 |
| País: | Portugal |
| Tipo de documento: | relatório |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade de Lisboa |
| Idioma: | inglês |
| Origem: | Repositório da Universidade de Lisboa |
| 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. |
|---|