El teorema CAP y los modelos de consistencia

El teorema CAP establece que un almacén de datos distribuido que enfrenta una partición de red debe sacrificar la consistencia o la disponibilidad, y los modelos de consistencia especifican exactamente qué garantías ofrece un sistema sobre la visibilidad y el orden de las actualizaciones.

Definition

El teorema CAP afirma que un sistema de datos compartidos en red puede garantizar como máximo dos de las propiedades de consistencia, disponibilidad y tolerancia a particiones simultáneamente; un modelo de consistencia es un contrato que especifica lo que una aplicación puede observar sobre el orden y la visibilidad de las lecturas y escrituras entre réplicas.

Scope

Este tema cubre el teorema CAP y su formalización, la lectura práctica de que la verdadera compensación surge solo durante las particiones de red, y el refinamiento PACELC resultante. Cubre el espectro de modelos de consistencia —desde la consistencia fuerte (linealizable) hasta la consistencia causal y la consistencia eventual— y el estilo BASE que contrasta con ACID. Trata cómo estos modelos guían el diseño de almacenes de datos replicados. Excluye los protocolos de consenso y de confirmación utilizados para implementar la consistencia fuerte, que se cubren en bases de datos distribuidas.

Core questions

• ¿Qué significan exactamente consistencia, disponibilidad y tolerancia a particiones en CAP?
• ¿Por qué la elección real entre consistencia y disponibilidad solo se impone durante una partición?
• ¿En qué se diferencian la consistencia fuerte, causal y eventual en sus garantías?
• ¿Qué promete la consistencia eventual y qué no?
• ¿Cómo contrasta la filosofía BASE con ACID?

Key concepts

• consistencia, disponibilidad, tolerancia a particiones
• partición de red
• linealizabilidad / consistencia fuerte
• consistencia causal
• consistencia eventual
• PACELC
• BASE versus ACID
• resolución de conflictos

Key theories

El teorema CAP

Formalizado por Gilbert y Lynch, CAP muestra que cuando la red se particiona, un almacén replicado debe elegir entre devolver datos posiblemente obsoletos (disponibilidad) y rechazar el servicio para preservar un único valor consistente (consistencia); la tolerancia a particiones no es opcional en redes reales.

Espectro de consistencia

Los modelos de consistencia van desde la consistencia fuerte (linealizable), donde las lecturas siempre ven la última escritura, pasando por la consistencia causal, que preserva el orden de causa y efecto, hasta la consistencia eventual, donde las réplicas convergen con el tiempo en ausencia de nuevas escrituras.

BASE versus ACID

Los sistemas de alta disponibilidad a menudo adoptan un estilo BASE —básicamente disponible, estado flexible, eventualmente consistente— relajando deliberadamente las fuertes garantías ACID para mantenerse receptivos bajo particiones y a escala.

Clinical relevance

El CAP y los modelos de consistencia enmarcan la elección central de diseño en los sistemas de datos distribuidos: si un almacén prioriza responder siempre (disponibilidad) o responder siempre correctamente (consistencia) cuando la red falla, una decisión que da forma al comportamiento y las garantías de cada aplicación distribuida globalmente.

History

Eric Brewer conjeturó la compensación CAP alrededor del año 2000; Gilbert y Lynch la probaron formalmente en 2002. Dynamo de Amazon (2007) y el ensayo de Vogels de 2009 popularizaron la consistencia eventual en la práctica. La retrospectiva de Brewer de 2012 aclaró que CAP prohíbe la consistencia y disponibilidad perfectas solo durante las particiones, y la formulación PACELC añadió posteriormente la compensación latencia-consistencia en el caso sin particiones.

Debates

Cuán fundamental es la compensación consistencia-disponibilidad

Las lecturas tempranas trataron a CAP como una imposición de una elección permanente entre consistencia y disponibilidad; análisis posteriores, incluida la retrospectiva de Brewer, argumentan que la compensación solo se produce durante las particiones y que los sistemas pueden ser en gran medida consistentes y disponibles de otra manera, redefiniendo cuán estrictamente CAP restringe el diseño.

Key figures

• Eric Brewer
• Seth Gilbert
• Nancy Lynch
• Werner Vogels

Seminal works

• gilbert2002
• brewer2012
• vogels2009

Frequently asked questions

¿Significa CAP que solo puedo tener dos de las tres propiedades?

La popular frase 'elegir dos' es engañosa. La tolerancia a particiones no es realmente opcional en un sistema distribuido, por lo que la elección genuina es entre consistencia y disponibilidad, y esa elección solo debe hacerse mientras una partición está ocurriendo. Cuando la red está sana, un sistema puede proporcionar tanto consistencia como disponibilidad.

¿Qué garantiza realmente la consistencia eventual?

Garantiza que si no se realizan nuevas actualizaciones en un elemento de datos, todas las réplicas eventualmente convergerán al mismo valor. No garantiza cuándo, ni que una lectura reflejará la escritura más reciente, por lo que las aplicaciones que utilizan consistencia eventual deben tolerar lecturas temporalmente obsoletas o conflictivas y a menudo manejar la resolución de conflictos por sí mismas.