Consistency models (Consistency Models) Jepsen

Continuing a series of posts about consistency (CAP theorem, proof, PACELC) I would like to recommend you to get acquainted with picture from JepsenIt conducts hardcore database tests. This image shows two parallel branches serializable and linearizable, where the first grows from the RDBMS transaction isolation models, and the second from the atomic value read/write models. It's funny when they meet at the top level of strict serializable. Separately, Jepsen gives links to two whitepapers

• 2013 - Highly Available Transactions: Virtues and Limitations (Bailis, Davidson, Fekete et al)
• 2016 - Consistency in Non-Transactional Distributed Storage Systems (Viotti & Vukolic)

In general, I recommend reading the Jepsen website, browsing. test results Check out the two whitepapers mentioned above. This is very helpful when diving into the world of distributed systems:)

#Software #Architecture #DistributedSystems #SystemDesign