publication . Report . 2014

Consistency Anchor Formalization and Correctness Proofs

Miguel, Correia; Bessani, Alysson;
Open Access English
  • Published: 12 May 2014
  • Country: Portugal
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...
free text keywords: SCFS, Cloud, Storage Systems, Consistency
Related Organizations
Any information missing or wrong?Report an Issue