Эта магистерская диссертация представляет собой подробную таксономию архитектур механизмов синхронизации в современных распределенных системах. В работе исследуются фундаментальные компромиссы между моделями согласованности и производительностью для выбора верных решений при создании локальных приложений с приоритетом офлайн-режима.