replikativ.io: Composable consistency primitives for a scalable and robust global replication system

The following work introduces a replication system build around CRDTs with a new convergent replicated datatype for a distributed version control system. It retains the order of write operations at the tradeoff of reduced availability with after-the-fact conflict resolution. The combined system allows to develop applications with distributed state in a similar fashion to native applications with exclusive local state, while transparently exposing the necessary compromises in terms of the CAP theorem. We discuss the mechanisms of the replication system and the formal definition of our datatype. Experiments with our implementation show the feasibility of the concept as a foundation for replication as a service (RaaS).