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

Mostrar todas las versiones(3)

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...

Descripción completa

Detalles Bibliográficos
Autor principal: Len, Uriel Nicolás
Formato: Tesis de Grado
Lenguaje:Español
Publicado: 2020
Materias:
GLOBAL SEQUENCE PROTOCOL
SISTEMAS DISTRIBUIDOS
SISTEMAS REPLICADOS
CONSISTENCIA EVENTUAL
RELIABLE TOTAL ORDER BROADCAST
OCAML
DISTRIBUTED SYSTEMS
REPLICATED SYSTEMS
EVENTUAL CONSISTENCY
Acceso en línea:https://hdl.handle.net/20.500.12110/seminario_nCOM000494_Len
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:seminario_nCOM000494_Len
record_format dspace
spelling todo:seminario_nCOM000494_Len2023-10-03T16:48:54Z Implementación y estudio de un protocolo basado en replicación de datos Len, Uriel Nicolás GLOBAL SEQUENCE PROTOCOL SISTEMAS DISTRIBUIDOS SISTEMAS REPLICADOS CONSISTENCIA EVENTUAL RELIABLE TOTAL ORDER BROADCAST OCAML DISTRIBUTED SYSTEMS REPLICATED SYSTEMS EVENTUAL CONSISTENCY 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. 2020 Tesis de Grado PDF Español info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/seminario_nCOM000494_Len
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv Español
topic GLOBAL SEQUENCE PROTOCOL
SISTEMAS DISTRIBUIDOS
SISTEMAS REPLICADOS
CONSISTENCIA EVENTUAL
RELIABLE TOTAL ORDER BROADCAST
OCAML
DISTRIBUTED SYSTEMS
REPLICATED SYSTEMS
EVENTUAL CONSISTENCY
spellingShingle GLOBAL SEQUENCE PROTOCOL
SISTEMAS DISTRIBUIDOS
SISTEMAS REPLICADOS
CONSISTENCIA EVENTUAL
RELIABLE TOTAL ORDER BROADCAST
OCAML
DISTRIBUTED SYSTEMS
REPLICATED SYSTEMS
EVENTUAL CONSISTENCY
Len, Uriel Nicolás
Implementación y estudio de un protocolo basado en replicación de datos
topic_facet GLOBAL SEQUENCE PROTOCOL
SISTEMAS DISTRIBUIDOS
SISTEMAS REPLICADOS
CONSISTENCIA EVENTUAL
RELIABLE TOTAL ORDER BROADCAST
OCAML
DISTRIBUTED SYSTEMS
REPLICATED SYSTEMS
EVENTUAL CONSISTENCY
description 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.
format Tesis de Grado
author Len, Uriel Nicolás
author_facet Len, Uriel Nicolás
author_sort Len, Uriel Nicolás
title Implementación y estudio de un protocolo basado en replicación de datos
title_short Implementación y estudio de un protocolo basado en replicación de datos
title_full Implementación y estudio de un protocolo basado en replicación de datos
title_fullStr Implementación y estudio de un protocolo basado en replicación de datos
title_full_unstemmed Implementación y estudio de un protocolo basado en replicación de datos
title_sort implementación y estudio de un protocolo basado en replicación de datos
publishDate 2020
url https://hdl.handle.net/20.500.12110/seminario_nCOM000494_Len
work_keys_str_mv AT lenurielnicolas implementacionyestudiodeunprotocolobasadoenreplicaciondedatos
_version_ 1807322902564962304

Ejemplares similares