Cloud computing is a general term that involves delivering hosted services over the Internet.
With the accelerated growth of the volume of data used by applications, many organizations …

Large scale distributed systems require to embrace the trade off between consistency and
availability, accepting lower levels of consistency to guarantee higher availability. Existing …

Replication is a common technique to build reliable and scalable systems. Traditional strong
consistency maintains the same total order of operations across replicas. This total order is …

Current programming models only provide abstractions for sharing data under a
homogeneous consistency model. It is, however, not uncommon for a distributed application …

Strongly consistent distributed systems are easy to reason about but face fundamental
limitations in availability and performance. Weakly consistent systems can be implemented …

数据因果一致性是分布式存储中保障数据一致性的重要方案之一, 目前的因果一致性方案研究
重点包括时钟方法的优化, 协议的设计以及操作事务序列的优化等方面. 实际上云环境除了时钟 …

The concurrency control algorithms in transactional systems limits concurrency to provide
strong semantics, which leads to poor performance under high contention. As a …

Many modern digital services to correspond to user demand need to offer high availability
and low response times. To that end, a lot of digital services resort to geo-replicated …

Irrespective of the server-side architecture, scalable data management is the primary
challenge for high performance. Business and presentation logic can be designed to scale …

In this paper we present a tool for the formal analysis of applications built on top of replicated
databases, where data integrity can be at stake. To address this issue, one can introduce …