Implementación y estudio de un protocolo basado en replicación de datos

• Autores: Len, Uriel Nicolás
• Año de publicación: 2020
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: Roldán, Christian Hugo
• Materia: GLOBAL SEQUENCE PROTOCOL; SISTEMAS DISTRIBUIDOS; SISTEMAS REPLICADOS; CONSISTENCIA EVENTUAL; RELIABLE TOTAL ORDER BROADCAST; OCAML; DISTRIBUTED SYSTEMS; REPLICATED SYSTEMS; EVENTUAL CONSISTENCY
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

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 entre clientes-servidor y servidor-clientes es sincrónica o asincrónica. En esta tesis estudiamos e implementamos gsp (por sus siglas en ingl ́es Global Sequence Protocol), un modelo operacional que propaga operaciones de forma asincrónica en ambasdirecciones, es decir, clientes-servidor y servidor-clientes. Para esto, la implementacó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 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.
Many of the applications we use today assure their users that they will always be available, even if the network is slow or even out of order at times. To achieve this, developers write applications where the state propagates asynchronously across different devices. A possible implementation consists of clients (devices) that keep a copy of the data and a leader or server that decides an order on the operations performed by the users. The literature offers different models, and their differences are associated with whether the spread between client-servers and server-clients is synchronous or asynchronous. In this thesis we study and implement gsp (Global Sequence Protocol), an operational model that propagates operations asynchronously in both directions, that is, client-servers and server-clients. For this, the implementation is built on a broadcast layer called rtob (Reliable Total Order Broadcast) that guarantees that all the writes are always delivered to each client, in the same order and without getting lost. Specifically, we developed an open-source gsp library, focusing on studying which consistency guarantees, such as read my writes, causality, or prefixes, are achieved by using rtob. Our case studies show that, in practice, gsp depends on the broadcast protocol to ensure certain guarantees of consistency.
Fil: Len, Uriel Nicolás. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.