We describe a novel approach to log-based reconciliation called IceCube. It is general and is parameterised by application and object semantics. IceCube considers more flexible …
This paper presents the design, implementation, and evaluation of Saturn, a metadata service for geo-replicated systems. Saturn can be used in combination with several …
M Lesani, CJ Bell, A Chlipala - ACM SIGPLAN Notices, 2016 - dl.acm.org
Today's Internet services are often expected to stay available and render high responsiveness even in the face of site crashes and network partitions. Theoretical results …
Client-side apps (eg, mobile or in-browser) need cloud data to be available in a local cache, for both reads and updates. For optimal user experience and developer support, the cache …
C Tan, C Zhao, S Mu, M Walfish - 14th USENIX Symposium on …, 2020 - usenix.org
Today's cloud databases offer strong properties, including serializability, sometimes called the gold standard database correctness property. But cloud databases are complicated …
In large-scale data management systems, failure is practically a certainty. Fault-tolerant protocols and components are notoriously difficult to implement and debug. Worse still …
C Lee, SJ Park, A Kejriwal, S Matsushita… - Proceedings of the 25th …, 2015 - dl.acm.org
Linearizability is the strongest form of consistency for concurrent systems, but most large- scale storage systems settle for weaker forms of consistency. RIFL provides a general …
C Mascolo, L Capra, S Zachariadis… - Wireless Personal …, 2002 - Springer
An increasing number of distributed applications will be written for mobilehosts, such as laptop computers, third generation mobile phones, personaldigital assistants, watches and …
Massive storage systems typically replicate and partition data over many potentially-faulty components to provide both reliability and scalability. Yet many commerciallydeployed …