Sincronizacion

SINCRONIZACION EN SISTEMAS DISTRIBUIDOS
Un algoritmo distribuido es aquel algoritmo que ha sido diseñado para aprovechar las características delos sistemas distribuidos.

1. SINCRONIZACION
La sincronización en SD es mas complicada que en los S. Centralizados. No es deseable coleccionar toda la información del SD en un único lugar y dejar que un único proceso examine todo el SD y tome lasdesiciones como es en el caso de un SC. Los algoritmos distribuidos generalmente tienen las siguientes propiedades:
* La información relevante se distribuye entre múltiples máquinas.
* Los procesos toman las desiciones solo con base en la información disponible en forma local.
* Debe evitarse un único punto de fallo en el sistema
Estas propiedades indican que es inaceptable reunir todala información en un solo lugar para su procesamiento. Además un SD debería ser mas confiable que un SC. Lograr la sincronización sin centralización requiere hacer actividades distintas al caso de los sistemas operativos tradicionales.
* No existe un reloj común o alguna otra fuente precisa del tiempo global.
Esta última propiedad también es crucial:
En un sistema centralizado el tiempo noes ambiguo.
En un sistema distribuido no es trivial poner de acuerdo a todas las máquinas en una hora sincronizada.
Se requiere un acuerdo global en el tiempo, pues la falta de sincronización en los relojes puede ser drástica en procesos dependientes del tiempo.
Es posible sincronizar todos los relojes en un SD?
1.1 RELOJES LOGICOS
1.1.a) Defina:
1.1.a.1 Clocks Lógicos
Lascomputadoras poseen un circuito para el registro del tiempo conocido como dispositivo reloj . Es un cronómetro consistente en un cristal de cuarzo de precisión sometido a una tensión eléctrica que:
* Oscila con una frecuencia bien definida que depende de:
o Al forma en que se corte el cristal.
o El tipo de cristal.
o La magnitud de la tensión.
* A cadacristal se le asocian dos registros:
o Registro contador.
o Registro mantenedor.
1.1.a.2. Timer
El timer de un computador es generalmente una máquina precisa de cristal de cuarzo. Asociado a cada cristal existen 2 registros : Un contador y un "holding register".
1.1.a.3. Ticks del Clock
El contador se decrementa con cada oscilación del cristal y cuando llega a cero produceuna interrupción y
se lo carga de nuevo con el valor del registro holding. Cada interrupción es llamada un golpe de reloj (clock tick)
1.1.a.4. Clocks Físicos
Los Relojes Físicos son relojes que:
* Deben ser iguales (estar sincronizados).
* No deben desviarse del tiempo real más allá de cierta magnitud.
1.1.a.5. Relación el algoritmo de “Hapens-before”
Para sincronizar losrelojes lógicos, Lamport definió la relación ocurre antes de (happens-before):
* Si “a” y “b” son eventos en el mismo proceso y “a” ocurre antes de “b”, entonces “a –> b” es verdadero.
* “Ocurre antes de” es una relación transitiva:
* Si “a –> b” y “b –> c”, entonces “a –> c”.
* Si dos eventos “x” e “y” están en procesos diferentes que no intercambian mensajes,entonces “x –> y” no es verdadero, pero tampoco lo es “y –> x”:
* Se dice que son eventos concurrentes.
Necesitamos una forma de medir el tiempo tal que a cada evento “a”, le podamos asociar un valor del tiempo “C(a)” en el que todos los procesos estén de acuerdo: Se debe cumplir que:
* Si “a –> b” entonces “C(a) < C(b)”.
* El tiempo del reloj, “C”, siempre debe ir haciaadelante (creciente), y nunca hacia atrás (decreciente).
1.1.b) Describa el algoritmo de “Lamport”
El algoritmo de Lamport asigna tiempos a los eventos.
Consideramos tres procesos que se ejecutan en diferentes máquinas, cada una con su propio reloj y velocidad:
* El proceso “0” envía el mensaje “a” al proceso “1” cuando el reloj de “0” marca “6”.
* El proceso “1” recibe el...