Especialidades

Computació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