Teorema CAP

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En Ciencias de la computación, el teorema CAP, también llamado Teorema de Brewer, establece que es imposible para un sistema de cómputo distribuido garantizar simultáneamente:[1] [2]

  • La consistencia (Consistency), es decir, que todos los nodos vean la misma información al mismo tiempo.
  • La disponibilidad (Availability), es decir, la garantía de que cada petición a un nodo reciba una confirmación de si ha sido o no resuelta satisfactoriamente.
  • La tolerancia a fallos (Partition Tolerance), es decir, que el sistema siga funcionando a pesar de algunas pérdidas arbitrarias de información o fallos parciales del sistema.

Según el teorema, un sistema puede tener no más de dos de estas tres características simultáneamente.[3]

Historia[editar]

El teorema comenzó como una conjetura, presentada por Eric Brewer, de la Universidad de Berkeley en el año 2000 durante el Simposio de Principios de Computación Distribuida (PODC, en inglés).[4] En 2002, Seth Gilbert y Nancy Lynch, del MIT, publicaron una demostración formal de la conjetura, convirtiéndola en un teorema.[1]

Ejemplos[editar]

Según satisfagan unos criterios u otros, podemos encontrar:

AP: Cassandra y CouchDB.

CP: HBase y Paxos.

CA: RDBMS.

Referencias[editar]

  1. a b Nancy Lynch and Seth Gilbert, “Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services”, ACM SIGACT News, Volume 33 Issue 2 (2002), pg. 51-59.
  2. "Brewer's CAP Theorem", julianbrowne.com, Retrieved 02-Mar-2010
  3. "Brewers CAP theorem on distributed systems", royans.net
  4. Eric Brewer, "Towards Robust Distributed Systems"

Enlaces externos[editar]