Internos de la base de datos

Capítulo 14. Consenso

Este trabajo se ha traducido utilizando IA. Agradecemos tus opiniones y comentarios: [e-mail]

Hemos discutido en bastantes conceptos de los sistemas distribuidos, empezando por los básicos, como los enlaces y los procesos, los problemas de la informática distribuida; luego hemos pasado por los modelos de fallo, los detectores de fallos y la elección de líderes; hemos discutido los modelos de consistencia; y por fin estamos listos para juntarlo todo en un pináculo de la investigación de los sistemas distribuidos: el consenso distribuido.

Los algoritmos de consenso en los sistemas distribuidos permiten que varios procesos lleguen a un acuerdo sobre un valor. La imposibilidad FLP(ver "Imposibilidad FLP") demuestra que es imposible garantizar el consenso en un sistema completamente asíncrono en un tiempo acotado. Aunque se garantice la entrega de mensajes, es imposible que un proceso sepa si el otro se ha bloqueado o funciona con lentitud.

En el Capítulo 9, comentamos que existe un equilibrio entre la precisión de la detección de fallos y la rapidez con la que se puede detectar el fallo. Los algoritmos de consenso asumen un modelo asíncrono y garantizan la seguridad, mientras que un detector de fallos externo puede proporcionar información sobre otros procesos, garantizando la liveness [CHANDRA96]. Como la detección de fallos no siempre es totalmente precisa, habrá situaciones en las que un algoritmo de consenso espere a que se detecte ...