Director: Christian Roldán

Muchas de las aplicaciones que utilizamos hoy les aseguran a sus usuarios que siempre van a estar disponibles, aunque la red por momentos se encuentre lenta o incluso fuera de servicio. Para alcanzar esto, los programadores escriben aplicaciones donde el estado se propaga de forma asincrónica a través de distintos dispositivos. Una implementación posible consiste en clientes (dispositivos) que mantienen una copia de los datos y un líder o servidor que decide un orden sobre las operaciones realizadas por los usuarios. La literatura ofrece distintos modelos, y sus diferencias están asociadas a si la propagación clientes-servidor y servidor-clientes es sincrónica o asincrónica.

En esta tesis estudiamos e implementamos GSP (por sus siglas en inglés Global Sequence Protocol), un modelo operacional que propaga operaciones de forma asincrónica en ambas direcciones, es decir, clientes-servidor y servidor-clientes. Para esto, la implementación se construye sobre una capa de broadcast llamada RTOB (por sus siglas Reliable Total Order Broadcast) que garantiza que todas las escrituras siempre son entregadas a cada cliente, en el mismo orden y sin perderse. Concretamente, desarrollamos una librería OCaml open-source de GSP, haciendo foco en estudiar cuáles garantías de consistencia, tales como read my writes, causalidad o prefijos, son alcanzadas por utilizar RTOB. Nuestros casos de estudio muestran que, en la práctica, GSP depende del protocolo de broadcast para asegurar ciertas garantías de consistencia.