CAP Theorem Variants
Le théorème CAP énonce qu'un système distribué peut satisfaire au plus deux des trois propriétés parmi cohérence, disponibilité et tolérance au partitionnement ; ses variantes affinent ces compromis.
Objectif
Comprendre en profondeur les variantes du théorème CAP et leurs formulations précises afin de guider les compromis d'architecture dans les bases de données distribuées.
Mécanisme
Les partitions réseau (P) sont inévitables, donc le vrai choix se fait entre C et A. CP sacrifie la disponibilité pour la cohérence (p. ex. Spanner) ; AP sacrifie la cohérence pour la disponibilité (p. ex. Cassandra) ; CA n'existe qu'en nœud unique sans partition. Correction de Brewer 2012 : pendant la partition, il s'agit de latence, non d'indisponibilité totale.
Cas d’usage
- Choix de bases de données distribuées
- Analyse des compromis d'architecture
- Conception de systèmes