Resumen de Prioritized atomic multicast protocols
Emili Pau Miedes De Elías
La comunicación a grupos ha sido estudiada intensamente durante las últimas décadas desde un punto de vista tanto teórico como práctico. Actualmente se dispone de un gran número de resultados relacionados con diversos temas como la pertenencia a grupos, la difusión fiable de mensajes, la difusión de mensajes con algún tipo de garantía adicional, el acuerdo distribuido, la elección de líder, etc. Gracias a estos resultados, actualmente se dispone de un conjunto de técnicas y herramientas que permiten diseñar, desarrollar y validar sistemas distribuidos complejos de muy diverso tipo. Los sistemas replicados son tipos de sistemas distribuidos que pueden beneficiarse de dichas técnicas y herramientas. Este tipo de sistemas puede usarse para construir aplicaciones distribuidas más disponibles y tolerantes a fallos.
Uno de estos temas, la difusión de mensajes con garantía de orden total, estudia de qué manera es posible hacer que los distintos componentes de un sistema distribuido en general (y uno replicado, en particular) puedan difundir mensajes de manera que todos los componentes reciban la misma secuencia de mensajes (es decir, en el mismo orden). Para resolver este problema, se han ideado distintos algoritmos y protocolos. Actualmente se dispone de una gran cantidad de resultados teóricos y de un buen número de herramientas prácticas que lo resuelven.
En la presente tesis se estudia una extensión de este problema. El objetivo es estudiar la forma de añadir una nueva garantía de priorización. Esta garantía debe permitir a los componentes de una aplicación distribuida difundir mensajes. La diferencia fundamental respecto a los algoritmos clásicos de orden total es que la aplicación puede etiquetar los mensajes con una prioridad, que indica la importancia o urgencia de cada mensaje. El problema a resolver es asegurar la garantía original de que todos los componentes del sistema distribuido van a recibir la misma secuencia de mensajes y además, garantizar que los mensajes más prioritarios van a ser recibidos antes que los menos prioritarios.
Para resolver este problema se podría optar por diseñar algún nuevo algoritmo de orden total priorizado. Sin embargo, la aproximación seguida en la tesis consiste en estudiar de forma teórica la forma de modificar algunos algoritmos y protocolos de orden total existentes y añadirles el soporte de mensajes priorizados. La ventaja de esta aproximación es su genericidad, ya que permite que los resultados puedan ser aplicados a algoritmos y protocolos de orden total existentes. En la tesis se realiza dicho estudio y posteriormente se realizan algunos experimentos prácticos para garantizar que realmente las técnicas de priorización teóricas propuestas son efectivas y que no imponen un gran sobrecoste en términos de la cantidad de recursos utilizados.
La tesis se completa con la propuesta de un mecanismo de intercambio dinámico de protocolos de orden total. Este mecanismo permite a las aplicaciones que utilizan un protocolo de orden total, cambiarlo en tiempo de ejecución.
