Tiempo y causalidad

Solo disponible en BuenasTareas
  • Páginas : 12 (2866 palabras )
  • Descarga(s) : 0
  • Publicado : 15 de mayo de 2011
Leer documento completo
Vista previa del texto
Tiempo, causalidad y estado global
Sistemas Distribuidos
Alberto Lafuente, Mikel Larrea Dpto. ATC, UPV/EHU

Tiempo, causalidad y estado global
1 Introducción 2 Tiempo físico
2.1 Sincronización externa 2.2 Sincronización interna 2.3 Compensación de desviaciones 2.4 Ejemplos

3 Tiempo lógico y orden de eventos
3.1 Modelo de eventos 3.2 Relojes lógicos de Lamport 3.3 Vectores de tiempos4 Estado global y consistencia
4.1 Modelo del sistema 4.2 Determinación de estados globales consistentes 4.3 Algoritmo de Chandy y Lamport
Tiempo, causalidad y estado global - Alberto Lafuente, Mikel Larrea, UPV/EHU 2

1 Introducción
• En un sistema distribuido el estado global se encuentra distribuido entre los nodos
– reloj estándar en cada nodo – comunicación entre nodos: retardos –cada nodo posee una visión subjetiva del estado global

• Ejemplos:
– en el instante t1 se manda un mensaje desde el nodo A al nodo B, que lo recibe en el instante t2, con t2 < t1 – establecer con precisión absoluta el montante de los depósitos en todas las cuentas bancarias de todos los bancos del mundo en un instante de tiempo dado
Tiempo, causalidad y estado global - Alberto Lafuente, MikelLarrea, UPV/EHU 3

1 Introducción
• Propuesta de solución: un único reloj preciso + red dedicada para transmitir la señal sin retardos
– no es práctico (coste), o es inviable (Internet)

• Solución: tiempo distribuido
– cada nodo posee su propio reloj (tiempo físico local) – los relojes son imprecisos: necesario ajustarlos periódicamente a un tiempo físico de referencia

• Por otra parte,la gestión consistente del estado global requiere al menos ordenar los eventos producidos por los nodos (causalidad)
– tiempo lógico
Tiempo, causalidad y estado global - Alberto Lafuente, Mikel Larrea, UPV/EHU 4

Clock Synchronization

• When each machine has its own clock, an event that occurred after another event may nevertheless be assigned an earlier time.
Tiempo, causalidad y estadoglobal - Alberto Lafuente, Mikel Larrea, UPV/EHU 5

2 Tiempo físico
• Los relojes de los computadores son de cuarzo
• La frecuencia de oscilación varía con la temperatura • deriva: ~10-6 (90ms en un día, 1s cada 11,6 días)

• Relojes atómicos: gran precisión, muy caros
• deriva: ~10-13 (9ns en un día, 1s cada 300000 años) • precio: $50.000 - $100.000 !!!

• Tipos de sincronización:
•conocer el instante preciso en que se produce un evento en un nodo: sincronización externa • medir el intervalo entre dos eventos producidos en nodos diferentes (por ejemplo, envío y recepción de un mensaje), usando los relojes locales de cada nodo: sincronización interna • la interna no implica la externa, pero al revés sí
Tiempo, causalidad y estado global - Alberto Lafuente, Mikel Larrea,UPV/EHU 6

Relojes atómicos

NIST-7 (1993) Deriva: 5 x 10-15

NIST-F1 (2005) Deriva: 5 x 10-16
7

Tiempo, causalidad y estado global - Alberto Lafuente, Mikel Larrea, UPV/EHU

2 Tiempo físico
• Definiciones:
– Segundo solar o astronómico: 1/86.400 del periodo de rotación de la Tierra (mean solar second)
• pese a ser perfectamente válido para las situaciones de la vida cotidiana, laTierra no gira a velocidad constante (va perdiendo lentamente velocidad), por lo que no sirve como referencia

– Segundo atómico (IAT, 1967): 9.192.631.770 periodos de transición en un átomo de Cesio-133. Los relojes atómicos miden este tiempo
• deriva de 3*10-8 con el segundo solar (~1 s al año)

– Tiempo universal coordinado (UTC): medido en segundos atómicos, sincronizado con tiempo astronómico(diferencia > 900 ms ⇒ inserción de 1 s)
Tiempo, causalidad y estado global - Alberto Lafuente, Mikel Larrea, UPV/EHU 8

2 Tiempo físico
• Definiciones:
– Tiempo físico de referencia: normalmente UTC – Resolución: periodo entre dos actualizaciones del registro del tiempo local
• debe ser menor que el intervalo de tiempo mínimo entre dos eventos producidos consecutivamente en el nodo

–...
tracking img