publication . Report . 2014

Consistency anchor formalization and correctness proofs

Nuno Neves;
  • Published: 12 May 2014
  • Country: Portugal
Abstract
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." 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 se...
Subjects
free text keywords: SCFS, Cloud, Storage Systems, Consistency
Related Organizations
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Report . 2014

Consistency anchor formalization and correctness proofs

Nuno Neves;