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:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260220T100000
DTEND;TZID=America/Sao_Paulo:20260220T110000
DTSTAMP:20260507T231139
CREATED:20260218T130624Z
LAST-MODIFIED:20260218T130624Z
UID:10479-1771581600-1771585200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Josefina Mollerach
DESCRIPTION:Título: Gestión de Memoria Eficiente en Paxos Generalizado.\nDirector: Alexey Gotsman.\nCo-Director: Sebastián Uchitel.\nJurados: Hernan Melgratti\, Gisela Confalonieri.\n\nResumen:\nLos protocolos de Replicación de Máquinas de Estado (RME) permiten a ciertas\naplicaciones (bajo fuertes garantías de consistencia) alcanzar tolerancia a fallos\,\nalta disponibilidad y un rendimiento escalable al replicar su estado en un contexto\ndistribuido. Como consecuencia\, esto suele conducir a un crecimiento ilimitado del\nestado del sistema\, que requiere ser periódicamente truncado mediante la\n“recolección de basura” de información obsoleta o desactualizada.\nLos mecanismos de manejo de memoria son críticos para la aplicabilidad\npráctica de estos protocolos pero son raramente formalizados\, a pesar de requerir\nmodificaciones sustanciales a nivel del algoritmo. Como consecuencia\, su\nimplementación permanece poco clara y errores en el manejo de memoria pueden\nterminar comprometiendo la correctitud del protocolo a nivel general. \nLos enfoques clásicos para el manejo de memoria se basan en el hecho de que\nlos logs de las réplicas se encuentran totalmente ordenados. Sin embargo\,\nlas implementaciones de RME pueden ser considerablemente optimizadas al\naprovechar la conmutatividad de los comandos. Esta idea clave ha conducido al\ndesarrollo de una familia entera de protocolos de orden parcial\, incluyendo el\nreconocido protocolo de Paxos Generalizado\, en el cual esta tesis se enfoca\nprincipalmente. Desafortunadamente\, las técnicas de recolección de basura\nclásicas no son aplicables en este contexto\, ya que estos protocolos mantienen\nlogs ordenados tan solo parcialmente. A pesar de que se han propuesto nuevas\nsoluciones para abordar este problema\, las mismas conllevan desventajas significativas\nde rendimiento ya que dependen de la introducción de checkpoints en el sistema que\ninterrumpen completamente la ejecución normal del protocolo. Más aún\, los detalles\nde implementación de estas técnicas y pruebas formales de su correctitud no han sido\npublicados hasta el momento. \n\nEn esta tesis realizamos varias contribuciones para abordar estos problemas. En primer lugar\,\ndefinimos formalmente y demostramos rigurosamente una implementación para mecanismos de\ncheckpointing siguiendo las técnicas estándar que consideramos de bajo rendimiento.\nEn segundo lugar\, proponemos un mecanismo innovador para recolección de basura en\nprotocolos de orden parcial que es capaz de realizar la gestión de memoria en paralelo\ncon la ejecución normal del algoritmo\, sin degradar su rendimiento. Esta nueva técnica\,\nque se basa en un novedoso tipo de checkpoint cuyas dependencias son decididas en tiempo\nde ejecución\, es igualmente formalizada y demostrada correcta en este trabajo.\n\n\nPalabras clave: Paxos Generalizado\, Replicación de Máquinas de Estado\, manejo de memoria\,\nrecolección de basura\, checkpoint.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-josefina-mollerach/
LOCATION:Aula Seminarios\, Pabellon 2
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR