Моделі узгодженості та підсумкова узгодженість
Коротко: Моделі узгодженості визначають, які значення може побачити читання в розподіленій системі. Від «завжди найсвіжіше» (сильна) до «зрештою однаково» (підсумкова).
Докладніше: Що сильніша гарантія, то більше координації та затримки. Слабші моделі швидші й доступніші, але вимагають, щоб застосунок упорався із застарілими чи конфліктними значеннями.
Подробиці
- Лінеаризовність: кожна операція виглядає…
Див. також: теорема CAP, CRDT: реплікувані типи даних без конфліктів