On the consistency of heterogeneous composite objects

ABSTRACT

Several recent cloud-backed storage systems advocates the composition of a number of cloud services for improving performance and fault tolerance (e.g., [1, 3, 4]). An interesting aspect of these compositions is that the consistency guarantees they provide depend on the consistency of such base services, which are normally different.

References

1. Alysson Bessani, Miguel Correia, Bruno Quaresma, Fernando Andre, and Paulo Sousa. DepSky: Dependable and secure storage in cloud-of-clouds. ACM Transactions on Storage, 9(4), 2013.
2. Ittai Abraham, Gregory Chockler, Idit Keidar, and Dahlia Malkhi. Byzantine disk paxos: optimal resilience with byzantine shared memory. Distributed Computing, 18(5), 2006.
3. Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Neves, Miguel Correia, Marcelo Pasin, and Paulo Verissimo. SCFS: a shared cloud-backed file system. Proc. of the 2014 USENIX Annual Technical Conference (ATC'14), 2014.
4. Dan Dobre, Paolo Viotti, and Marko Vukolic. Hybris: Robust hybrid cloud storage. Proc. of the 5th ACM Symposium on Cloud Computing (SoCC'14), 2014.
5. Dahlia Malkhi and Michael Reiter. Byzantine quorum systems. Distributed Computing, 11(4), 1998.
6. Amazon S3. http://aws.amazon.com/s3/
7. Microsoft Azure Storage. http://azure.microsoft.com/enus/services/storage/

Index Terms

• Software and its engineering

  • Software notations and tools

    • General programming languages

      • Language features

        • Classes and objects

        • Concurrent programming structures

• Theory of computation

  • Models of computation

    • Concurrency

      • Parallel computing models