|
Trabajo Fin de Grado 2013-14 | Algoritmos de capturas de estados globales en sistemas distribuidos |
EspecialidadesComputación
Tutor
VALERO RUIZ, VALENTIN
Descripción y Objetivos
El trabajo tiene por objeto el estudio de diferentes propuestas existentes para la captura de estados globales en sistemas distribuidos. Estos algoritmos nos permiten poder capturar estados de bloqueo, o la terminación de algoritmos distribuidos, entre otras aplicaciones, así como definir estados consistentes.
Por ello, en este trabajo se trabajará por una parte en el estudio de los diferentes algoritmos, y su comparativa. Se pretende asimismo realizar la implementación de alguno de los algoritmos.
Metodología y Competencias
En una primera etapa de trabajo se realizará el estudio de los algoritmos de captura de estado, la motivación de los mismos, y los fundamentos teóricos que determinan su corrección.
En segundo lugar se procederá al estudio de los diferentes algoritmos: 1.- Algoritmo de Chandy-Lamport, 2.- Algoritmo de Spezialetti-Kearns 3.- Algoritmo incremental de Venkatesan 4.- Algoritmo de Helary 5.- Algoritmos con canales no-FIFO 6.- Algoritmos con entrega causal.
Medios a utilizar
No son necesarios medios especiales, aunque sí se requiere conocimiento de Inglés, pues las fuentes a utilizar están en Inglés.
Bibliografía
Se utilizará como fuente principal un trabajo de Ajay D. Kshemkalyani y Mukesh Singhal, que describe los mencionados algoritmos, así como el texto clásico de Coulouris sobre Sistemas Distribuidos.
Asignación
Pendiente de asignar
|
|