CAP теорема — различия между версиями
Yeputons (обсуждение | вклад) (Новая страница: «'''CAP-теорема''' — утверждение о том, что в распределённых системах нельзя одновременно до…») |
Yeputons (обсуждение | вклад) |
||
| Строка 6: | Строка 6: | ||
Формально мы это не формулировали и не доказывали. | Формально мы это не формулировали и не доказывали. | ||
Оригинальная формулировка — Brewer's Conjecture (2000), а формализовано в работе Gilbert & Lynch (2004). | Оригинальная формулировка — Brewer's Conjecture (2000), а формализовано в работе Gilbert & Lynch (2004). | ||
| − | Там есть много тонкостей с тем, что такое "не отказавший узел", "одинаковые данные", "разрыв связи", "система продолжает работать и тому подобное | + | Там есть много тонкостей с тем, что такое "не отказавший узел", "одинаковые данные", "разрыв связи", "система продолжает работать", "когда система всё-таки окончательно ломается и считается недоступной" и тому подобное. |
== Классификация алгоритмов == | == Классификация алгоритмов == | ||
[[Файл:Distributed-cap.png|400px]] | [[Файл:Distributed-cap.png|400px]] | ||
Версия 20:59, 3 июня 2019
CAP-теорема — утверждение о том, что в распределённых системах нельзя одновременно добиться трёх свойств:
- Consistency — на всех не отказавших узлах одинаковые (с точки зрения пользователя) данные
- Availability — запросы ко всем не отказавшим узлам возвращают ответ
- Partition tolerance — даже если связь в системе стала несвязной, то система продолжает работать
Формально мы это не формулировали и не доказывали. Оригинальная формулировка — Brewer's Conjecture (2000), а формализовано в работе Gilbert & Lynch (2004). Там есть много тонкостей с тем, что такое "не отказавший узел", "одинаковые данные", "разрыв связи", "система продолжает работать", "когда система всё-таки окончательно ломается и считается недоступной" и тому подобное.
Классификация алгоритмов
