CAP-THEOREM-EDI

Théorème CAP de Brewer (2000) qui affirme qu'un système distribué ne peut garantir simultanément que 2 des 3 propriétés : Consistency, Availability, Partition tolerance.

Définition

Le théorème CAP impose un choix : en cas de partition réseau (P inévitable), faut-il privilégier Consistency (rejet d'écritures) ou Availability (acceptation avec divergence) ? CP : MongoDB, HBase. AP : Cassandra, DynamoDB. CA n'existe pas vraiment (pas de tolérance aux partitions).

Origine

Conjecture publiée par Eric Brewer (UC Berkeley) au keynote PODC 2000. Démontrée formellement par Lynch & Gilbert (MIT) en 2002.

Usage

Une passerelle EDI multi-région doit choisir : mode CP — un down de la région primaire fige tout (sécurité, mais SLA dégradé), mode AP — chaque région accepte ses messages locaux (haute dispo, mais divergence à réconcilier ensuite). PEPPOL adopte plutôt AP avec reconciliation asynchrone.

Termes liés

• ACID vs BASE — axe consistance.
• Active-active — topologie AP.
• Active-passive — topologie CP.
• Event sourcing — résout convergence.