Что делать, если мы разделим распределенную систему C + A?

Question

Я читал this, this и this, но до сих пор не могу понять категорию C + A теоремы CAP.

Я имею в виду, что эти системы не предназначены для поддержки разделов, которые могут возникнуть. В конце концов они могут справиться с потерей некоторых изолированных узлов, если есть реплика вокруг.

Правильно, но я вижу, что некоторые из них существуют. Итак, в реальном мире, как они себя ведут, если мы разделяем узлы? Живые узлы в обоих разделах должны выбирать между A и C ... или они теряют оба?

Answer 1

Вы не можете иметь распределенную систему C + A, вот и вся теорема CAP. Как пояснил here, например, и я цитирую:

CAP запрещает лишь малую часть пространства дизайна: идеальный доступность и последовательность в наличии перегородок, которые являются редкими.

Хотя дизайнерам по-прежнему необходимо выбирать между согласованностью и доступностью при наличии разделов, существует невероятная гибкость при работе с разделами и восстановление их.

Если вы хотите упростить теорему CAP в коротком предложении (например, «вы получите, чтобы выбрать 2 из 3») лучшее приближение было бы:

In the presence of a partition, you get to pick consistency or availability.