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, enuncia 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.
  • La tolerancia al particionado (Partition Tolerance), que no es lo que el punto anterior tachado indica.


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]