Abstract: Concurrency and consistency are the two inherent and complex characteristics of distributed systems. Their types ... Subsequently, it analyses consistency and different consistency models ...

Transactions with strong consistency and high availability simplify building and reasoning about distributed systems. However, previous implementations performed poorly. This forced system designers ...