08

Question 1

Propiedades de sincronismo

Answer 1

• Steadiness (sigma): se define como la máxima diferencia entre el mínimo y máximo tiempo de delivery de cualquier mensaje recibido por un proceso. Define la varianza con la cual un proceso observa que recibe los mensajes. En otras palabras, define qué tan constante (steady) es la recepción de mensajes.
• Tightness (thau): Máxima diferencia entre los tiempos de delivery para cualquier mensaje m. Define la simultaneidad con la cual los mensajes son recibidos por múltiples procesos.

Question 2

Corte y corte consistente

Answer 2

Se define como corte a la unión del subconjunto de historias de todos los procesos del sistema hasta cierto evento k de cada proceso. Un corte es consistente si por cada evento que contiene, también contiene a aquellos que ‘ocurren antes’ que dicho evento.

Question 3

Algoritmo de Chany & Lamport

Answer 3

Es un algoritmo que permite obtener snapshots de estados globales en sistemas distribuidos, cuyo objetivo es almacenar estados de un conjunto de procesos y estados de canales (snapshots) de forma que, aunque los estados no hayan ocurrido al mismo tiempo, el estado global almacenado sea consistente.
Se plantean las siguientes hipótesis:
Los procesos y los canales de comunicación no fallan
Canales son unidireccionales y poseen orden FIFO
Grafo fuertemente conexo (caminos de ida y vuelta definidos)
Cada proceso puede iniciar un snapshot en cualquier momento

Question 4

Defina comunicación reliable

Answer 4

Significa que se garantiza integridad, validez y atomicidad en el delivery (no envío) de mensajes. Esto es trivial en el caso de la comunicación uno a uno, porque podemos apoyarnos sobre TCP por ejemplo. Pero en el caso de uno a muchos no es nada trivial. El grupo debe proveer las 3 propiedades y definir el orden entre mensajes garantizando FIFO, orden causal, total, etc.