Модели консистентности (Consistency Models) от Jepsen

Продолжая серию постов про консистентность (CAP теорема, ее доказательство, PACELC) хочется порекомендовать ознакомиться с картинкой моделей консисетности от Jepsen, который проводит хардкорные тесты баз данных. На этой картинке видно две параллельные ветки serializable и linearizable, где первое вырастает из моделей изоляции транзакций RDBMS, а вторая из моделей чтения/записи атомарных значений. Прикольно, когда они встречаются на верхнем уровне strict serializable. Отдельно Jepsen дает ссылки на два whitepapers

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

В общем, рекомендую почитать сайт Jepsen, полистать результаты его тестов разных баз данных, а потом еще и почитать два вышеупомянутых whitepaper. Это очень помогает при погружении в мир распределенных систем:)

#Software #Architecture #DistributedSystems #SystemDesign