Ця магістерська робота пропонує детальну таксономію архітектур механізмів синхронізації, що використовуються у сучасних розподілених системах. Вона досліджує фундаментальні компроміси між моделями узгодженості та продуктивністю, щоб спрямовувати прийняття рішень для локальних застосунків, які працюють офлайн.