Аттестационный семинар в Сайберс¶

Масштабирование баз данных¶

Подготовил пайтон-разработчик Федоров Вячеслав¶

Проверил тимлид Андрей Харченко¶

План семинара¶

Требования ACID
Механизм MVCC
Теорема CAP
Репликация/Проблема задержки
Шардинг/Принципы разбиения данных на шарды
Партиционирование
Денормализация

ACID, CAP, MVCC?¶

ACID - про транзакционность!¶

Atomicity — Атомарность¶

Если транзакция (А-Б), то либо выполнить А и Б или ничего.

Consistency — Согласованность¶

Нормально завершенная транзакция сохраняет согласованность базы данных.

Isolation — Изолированность¶

Во время выполнения транзакции параллельные транзакции не должны оказывать влияние на ее результат.

Durability — Надёжность¶

Если пользователь получил подтверждение от системы, что транзакция выполнена, он может быть уверен, что сделанные им изменения не будут отменены из-за какого-либо сбоя.

MVCC - Multi Version Concurrency Control¶

Механизм обеспечения одновременного кокурентного доступа к базе данных, заключающийся в предоставлении каждому пользователю "снимка" базы данных, обладающего тем свойством, что вносимые изменения в базе данныъ невидимы другим пользователям до момента фиксации транзакции.

Этот способ управления позволяет добиться того, что пишущие транзакции не блокируют читающих, и читающие транзакции не блокируют пишущих.

CAP - теорема¶

В любой реализации распределенных вычислений возможно обеспечить не более двух из трех следующих свойств:

Consistency - Согласованность¶

Во всех вычислительных узлах в один момент времени данные не противоречат друг другу.

Availability - Доступность¶

Любой запрос к распределнной системе завершается корректным откликом.

Partition Tolerance - Устойчивость к разделению¶

Расщепление распределенной системы на несколько изолированных секций не приводит к некорректности отклика от каждой из секций. Иначе говоря - система работает в расчете на случаи произвольной потери пакетов внутри сети.