Arquitectura de Sistemas Distribuidos Contents Algoritmo de la

Arquitectura de Sistemas Distribuidos Contents Algoritmo de la

Arquitectura de
Sistemas Distribuidos
Curso 2007-2008
Departamento de Tecnologías y Sistemas de Información
Área de Arquitectura y Tecnología
de Computadores
Algoritmo de la Instantánea
de Chandy-Lamport
Escuela Superior de Informática
Contents
Escuela Superior de Informática
●
Algoritmo
●
Ejemplo de funcionamiento
●
Estados globales consistentes
●
Referencia
Algoritmo de la instantánea
de Chandy-Lamport
Escuela Superior de Informática
●
Regla de recepción de marca para p i
–
Si recibe marca sobre c
●
Si no ha guardado su estado
–
–
–
●
Si ya grabó el estado
–
●
Guarda estado de proceso ahora
Guarda estado de c como {}
Activa registro de mensajes sobre otros canales entrantes
Guarda mensajes registrados de c como estado de c
Regla de envío de marcas para pi
–
Tras guardar su estado
●
Enviar marca sobre todos sus c salientes
(antes de cualquier otro mensaje)
Ejemplo de instantánea
Escuela Superior de Informática
●
S0: Inicial (€1000, 0), (€50, 2000)
c1
p1
p2
●
S1: p1 compra 10 (envía €100)
●
S2: p2 envía 5
€1000
€900
€50
●
S3: p1 recibe 5
nada
2000
1995
¡El estado guardado no ha
ocurrido nunca!
Escuela Superior de Informática
●
●
c2
p1
nada
€1000
marca por c2
p2
1995
€50
marca por c1
c1
5
{5}
{}
c2
{}
{}
Diagrama de estados globales consistentes
S00
El estado almacenado es alcanzable
desde el estado inicial
S10
El estado final es alcanzable
desde el estado almacenado
S11
Historia del
sistema
p2
5
€100
p1
S01
S12
S21
S22
Corte correspondiente a la instantánea
Referencias
Escuela Superior de Informática
●
El capítulo 10 de [CDK01] cubre todos los aspectos
tratados en esta práctica.
–
Disponible en moodle en PDF
https://campusvirtual.uclm.es/mod/resource/view.php?id=603355
[CDK01] G. Coulouris, J. Dollimore, y T. Kindberg.
Distributed Systems: Concepts and Design.
Addisson Wesley, 2001
Realización de la práctica
Escuela Superior de Informática
●
2 entregas
–
Diseño de la solución
●
●
–
Sugerencias: servant locator, Freeze, IceStorm
Documento técnico, sin introducciones generales ni relleno (~5
páginas)
Prototipo con pruebas unitarias
●
Una implementación incompleta puede ser evaluada
–
–
●
●
Sugerencias: IceGrid
Imprescindible conseguir realimentación del profesor.
Escuela Superior de Informática
●
Se exige que los trabajos presentados sean originales, en caso
contrario no se evaluará ninguna otra práctica
Se podrá utilizar cualquier mezcla de lenguajes y/o
sistemas operativos soportados por ZeroC Ice
–
●
Condiciones y plazos
Trabajo a realizar por un máximo de 2 personas
–
●
Descubrimiento de la topología
Gestión de la concurrencia
Opcionalmente se puede implementar en otras plataformas
previo acuerdo
Se podrá entregar hasta el mismo día del examen
ordinario.