BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200709T110000
DTEND;TZID=America/Sao_Paulo:20200709T120000
DTSTAMP:20260517T034447
CREATED:20200703T160808Z
LAST-MODIFIED:20200703T160808Z
UID:5967-1594292400-1594296000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Len
DESCRIPTION:Título: «Implementación y estudio de un protocolo basado en replicación de datos»\n\nDirector: Christian Roldán\n\nJurados: Nicolas D’Ippolito\,  Mariano Cerrutti\n\nLa misma será transmitida al público a través de youtube\, mandaremos el link antes de comenzar.\n\n\nResumen\n \nMuchas 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. \nEn 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-len/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR