Paxos y el quórum W + R> N intentan resolver problemas ligeramente diferentes. Paxos generalmente se describe como una forma de replicar una máquina de estado, pero de hecho es más un registro distribuido: cada elemento escrito en el registro obtiene un índice, y los diferentes servidores eventualmente tienen los mismos elementos de registro + su índice. (La máquina de estado replicada se puede lograr escribiendo en el registro las entradas a la máquina de estado y cada servidor reproduce la máquina de estado en las entradas acordadas según su índice). Puedes leer más sobre Paxos en una publicación de blog que escribí here.
El quórum W + R> N resuelve el problema de compartir un único valor entre varios servidores. En la academia se llama "registro compartido". Un registro compartido tiene dos operaciones: leer y escribir, donde esperamos que la lectura devuelva el valor de la escritura anterior.
Entonces, Paxos y el quórum W + R> N viven en diferentes dominios y tienen diferentes propiedades (por ejemplo, Paxos guarda una lista ordenada de elementos). Sin embargo, Paxos se puede usar para implementar un registro compartido, y se puede usar un quórum W + R> N para implementar un registro distribuido (aunque de manera muy ineficiente).
Dicho todo lo anterior, a veces los quórumes W + R> N no se implementan en su forma "totalmente robusta", ya que requerirá más de una ronda de comunicación. Por lo tanto, en sistemas que desean baja latencia, es posible que su implementación de quórumes W + R> N proporcione propiedades más débiles (por ejemplo, pueden existir valores en conflicto).
En resumen, teóricamente, Paxos y W + R> N pueden lograr los mismos objetivos. Prácticamente, sería muy ineficiente, y cada uno es mejor para algo ligeramente diferente. Incluso más prácticamente, W + R> N no siempre se implementa completamente, lo que reduce algunas propiedades de consistencia para la velocidad.
Actualización: Paxos admite un modelo de falla muy general: los mensajes se pueden descartar, los nodos pueden bloquearse y reiniciarse. El esquema de quórum W + R> N tiene diferentes implementaciones, muchas de las cuales suponen fallas menos generales. Entonces, la diferencia entre los dos también depende de la suposición sobre las posibles fallas que son compatibles.
FWIW, Zookeeper no se basa en Paxos, es un protocolo de confirmación de dos fases (sin interrupciones) con un protocolo de elección de líder personalizado independiente cuando el maestro se cae. Por supuesto, puedes considerar eso como una implementación de Paxos verticales, pero al final, todos los algoritmos de consenso correctos se pueden mapear en Paxos. –