Transactional Causal Consistency (TCC) extends causal consistency, the strongest
consistency model compatible with availability, with interactive read-write transactions, and …

Causal consistency is an attractive consistency model for replicated data stores. It is
provably the strongest model that tolerates partitions, it avoids the long latencies associated …

Conflict-free replicated data types (CRDTs) aid programmers develop highly available and
scalable distributed systems. However, the literature describes only a limited portfolio of …

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

Local-first software embraces data replication as a means to achieve scalability and offline
availability. A crucial ingredient of local-first software are mergeable data types, like conflict …

Conflict-free replicated data types (CRDTs)[7] aid programmers develop highly available
and scalable distributed systems. However, CRDTs require operations to commute which is …

Today file synchronizers are tools often used to facilitate collaboration scenarios and data
management across multiple devices. They replicate the file system, eg from a cloud storage …

Distributed key-value (KV) stores are a rising alternative to traditional relational databases
since they provide a flexible yet simple data model. Recent KV stores use eventual …

Contemporary software systems often adopt microservice architecture, a specific
implementation of distributed systems, to meet the demands of scalability, flexibility and …

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