Sincronizacion

SISTEMAS OPERATIVOS 2 Introducción a la Sincronización en Sistemas Distribuidos Además de la comunicación, es fundamental la forma en que los procesos:
 

Cooperan. Se sincronizan entre sí.

Ejemplos:
 

Forma de implantar las regiones críticas. Forma de asignar recursos en un sistema distribuido.

Los problemas relativos a las regiones críticas, exclusión mutua y la sincronización:

Generalmente se resuelven en sistemas de una sola cpu con métodos como los semáforos y los monitores: o Se basan en la memoria compartida. o No son aplicables a sistemas distribuidos.

Otro problema de gran importancia es el tiempo y la forma de medirlo, ya que juega un papel fundamental en algunos modelos de sincronización. Sincronización de Relojes Generalmente los algoritmosdistribuidos tienen las siguientes propiedades
   

La información relevante se distribuye entre varias máquinas. Los procesos toman las decisiones solo con base en la información disponible en forma local. Debe evitarse un único punto de fallo en el sistema. No existe un reloj común o alguna otra fuente precisa del tiempo global.

Los primeros tres puntos indican que es inaceptable reunir toda lainformación en un solo lugar para su procesamiento, pero lograr la sincronización sin centralización requiere hacer las cosas distintas al caso de los sistemas operativos tradicionales. El último punto también es crucial:
  

En un sistema centralizado el tiempo no es ambiguo. En un sistema distribuido no es trivial poner de acuerdo a todas las máquinas en la hora. Se requiere un acuerdoglobal en el tiempo, pues la falta de sincronización en los relojes puede ser drástica en procesos dependientes del tiempo.

La pregunta es si es posible sincronizar todos los relojes en un sistema distribuido.

Relojes Lógicos Las computadoras poseen un circuito para el registro del tiempo conocido como dispositivo reloj. Es un cronómetro consistente en un cristal de cuarzo de precisiónsometido 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 cada cristal se le asocian dos registros: o Registro contador. o Registro mantenedor. Cada oscilación del cristal decrementa en “1” al contador. Cuando el contador llega a “0”: o Se genera unainterrupción. o El contador se vuelve a cargar mediante el registro mantenedor. Se puede programar un cronómetro para que genere una interrupción “x” veces por segundo. Cada interrupción se denomina marca de reloj.

Para una computadora y un reloj:


No interesan pequeños desfasajes del reloj porque: o Todos los procesos de la máquina usan el mismo reloj y tendrán consistencia interna. oImportan los tiempos relativos.

Para varias computadoras con sus respectivos relojes:
 

Es imposible garantizar que los cristales de computadoras distintas oscilen con la misma frecuencia. Habrá una pérdida de sincronía en los relojes (de software), es decir que tendrán valores distintos al ser leidos.

La diferencia entre los valores del tiempo se llama distorsión del reloj y podría generarfallas en los programas dependientes del tiempo. Lamport demostró que la sincronización de relojes es posible y presentó un algoritmo para lograrlo. Lamport señaló que la sincronización de relojes no tiene que ser absoluta:


Si 2 procesos no interactúan no es necesario que sus relojes estén sincronizados.



Generalmente lo importante no es que los procesos estén de acuerdo en la hora,pero sí importa que coincidan en el orden en que ocurren los eventos.

Para ciertos algoritmos lo que importa es la consistencia interna de los relojes:
 

No interesa su cercanía particular al tiempo real (oficial). Los relojes se denominan relojes lógicos.

Los relojes físicos son relojes que:
 

Deben ser iguales (estar sincronizados). No deben desviarse del tiempo real más allá...