CAP-теорема
Что утверждает CAP-теорема?
CAP описывает ограничения распределённого хранилища при сетевом разделении.
При сетевом разделении нельзя одновременно гарантировать линейризуемую согласованность и доступность всех операций на неотказавших узлах:
-
Consistency: операции выглядят как работа с одной актуальной копией данных, с порядком, согласованным с реальным временем.
-
Availability: каждый запрос к неотказавшему узлу в конечном итоге получает результат операции, а не отказ в обслуживании.
-
Partition tolerance(Устойчивость к разделению) : Система продолжает функционировать даже при разделении сети между узлами.
Если сеть разделилась, система может отклонять часть запросов ради согласованности либо обслуживать их без гарантии линейризуемости. В отсутствие разделения CAP не запрещает сочетать согласованность и доступность.