Protocolos eficientes de consenso para sistemas distribuidos

Resumen

Ciertas aplicaciones distribuidas actuales requieren el uso de protocolos de consenso. En esta memoria de tesis se parte de un estudio del campo, y en particular de un protocolo de consenso conocido que tiene un coste en términos de intercambio de mensajes de o(n2) mensajes, y un coste de o(n) en términos de tiempo necesario para alcanzar el consenso. A continuación se introduce una variación de este protocolo que lo convierte en lineal - en ausencia de fallos- tanto en términos de intercambio de mensajes como en coste de tiempo, y posteriormente se presentan algunas optimizaciones del nuevo protocolo de consenso que reparte la carga de trabajo, disminuyen el numero de mensajes y evitan los problemas de carrera. Estas optimizaciones, que encontramos en el protocolo de consenso final que se presenta, hace que sea adecuado para la implementacion de radiado de mensajes. Finalmente, como aplicación de estos protocolos se presenta group io: un paquete ADA que permite la comunicación uniforme, atómica y causal entre grupos de procesos, usando el paradigma cliente-servidor.