Algortimos de Sincronizacion

aplicados a relojes en Sistemas Distribuidos

Daniel Corzo, Juan Pablo Duque, Stefania Garzon, Diego Aguilar, Marilyn Ruiz.
Universidad Católica de Colombia.
decorzo73@ucatolica.edu.co, jpduque86@ucatolica.edu.co, tsgarzon15@ucatolica.edu.co,
dfaguilar24@ucatolica.edu.com, druiz52@ucatolica.edu.co

Abstract. Algorithms are defined as processes that were executed in an orderly manner and with a
chronological time within a team, these allowed processes to be carried out periodically in all the
components that work within the system. In the last decade different points of view have been seen, the
comparison to the synchronization of the algorithms, from the point of view of balanced communication,
to advance the times in the clocks and adjust with synchronization for the rest of the components. The
concepts of signaling, CTU or central time reference, physical clocks, deviation, time, are concepts that
should be clear when venturing into synchronization algorithms.

Keywords: synchronization, logical clocks, physical clocks, memory management, threading, process,
LAN,

1 Introduction probability of synchronization, indicating if the time

An example of synchronization algorithm are the
computer clocks that make balanced communication
possible and an order in the relation between
components, it is like a mechanism, a network with
the control of the actions that must be followed and
taking the chronological times which takes every
action. At the beginning measure the time between
the clocks of the computers and get synchrony in the
communication of components, this indicating that
they know the only language between them,
maintaining the integrity of the information and using
protocols to achieve the complete synchronization of
the process between components.
Several researchers implemented their own algorithm
and studied what can happen between the relationship
between the messages sent and the time it takes to
respond in relation to another component,
establishing algorithms of logical clocks, where there
will always be an order in the relation of sending or
receiving messages, solving characteristics of
chronological, coordination, or the periodicity and
synchronism that take when processing your signal.
Others for example related the internal
synchronization, in which they could place many
clocks regardless of the time, but internally all are in
the same group of hours, this is known as the
is sufficient, short with the maximum precision. This
algorithm advances in its connection with CTU that
will be a unique guide to obtain a signal in
synchrony. This linking that must be measured the
time it takes to get the message to the receiver,
through the ease of creating a cycle of sending and
receiving.
2 Estado del arte
Con la implementación de los sistemas centralizados,
estos procesan en una localización central, usando
terminales conectados a una computadora central. Es
decir, la computadora en sí misma puede controlar
todos los periféricos directamente, o pueden ser
conectados vía un servidor de terminal. Si los
terminales tienen la capacidad, pueden ser conectados
con la computadora central sobre la red, los
terminales pueden ser terminales de texto o clientes
ligeros. Entonces surge la necesidad de interconectar
los equipos, y se desarrollaron las redes de área local
(LAN), como Ethernet. En la actualidad, Internet es
la red de mayor tamaño y la más usada, gracias a esta
se pueden prestar diversos servicios a los usuarios de
la red.
Aunque los actuales sistemas en red solucionan parte
de las necesidades actuales de comunicación entre
computadoras, tienen importantes limitaciones, y no
permiten desarrollar gran cantidad de aplicaciones,
principalmente aquellas que por sus características,
requieren estar disponibles de forma ininterrumpida.
Es en estos casos dónde los sistemas distribuidos se
incorporan, además, que ofrece tolerancia a fallos.
El proceso es el concepto básico para expresar
concurrencia, tanto en un sistema centralizado como
en uno distribuido. Con la introducción de los
procesos se permite dividir el software en módulos,
cada uno de los cuales expresa una actividad
lógicamente concurrente con el resto.
La diferencia más importante entre un sistema
distribuido y uno centralizado es precisamente cómo
se realiza la comunicación entre procesos. En un
sistema centralizado, las interacciones entre procesos
se hacen sobre memoria compartida, [9] mientras que
en un sistema distribuido se necesita intercambio de
mensajes.
3 Marco Teórico
Algoritmos de Sincronización
La sincronización en sistemas distribuidos consiste en
garantizar que los procesos se ejecuten en forma
cronológica y a la misma vez respetar el orden de los
eventos dentro del sistema. En el caso de sistemas de
una sola CPU, este problema se resuelve usando
semáforos, pero en sistemas de múltiples CPUs la
solución ya implica el uso de otros métodos o
algoritmos, para garantizar no solo la comunicación
entre procesos sino también la forma como estos
cooperan entre sí.
Esta sincronización, en sistemas distribuidos, se hace
más compleja que en los sistemas centralizados
puesto que la información y el procesamiento se
mantienen en diferentes nodos. La sincronización de
relojes en sistemas distribuidos nos permite
garantizar que los procesos se ejecutan
cronológicamente y además respetar el orden de los
eventos dentro del sistema.
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ón sometido a una tensión eléctrica.
Para una computadora y un reloj no interesan
pequeños desfasajes del reloj porque:
Todos los procesos de la máquina usan el mismo
reloj y tendrán consistencia interna.
Importan 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. Procesos concurrentes con estructuras de
datos compartidas generan problemas de
sincronización de procesos.
Relojes de HW y SW
Relojes de HW Constan de un oscilador electrónico,
estabilizado por lo general con un cristal de cuarzo y
un contador de ciclos
Relojes SW son dispositivos derivados a partir de los
de HW, a través de operaciones matemáticas sobre
los datos suministrados por los mismos, tomando
como referencia una o más señales emitidas por los
relojes de HW.
3.1 Tipos de Algoritmos de Sincronización
3.1.1 Algoritmo de Cristian
Este algoritmo está pensado para entornos donde un
computador hace el trabajo de servidor de tiempo,
sincronizándose con la hora UTC y el resto de las
estaciones quieren sincronizarse con él.
Periódicamente, cada computador cliente envía un
mensaje al Servidor de Tiempo solicitando la hora
actual. El Servidor de Tiempo envía un mensaje que
contiene la hora actual TUTC. Cuando se recibe el
mensaje, el computador debe ajustar su reloj. Ahora
se debe considerar el error cometido, ya se que tomó
un tiempo en la transmisión del mensaje con la hora
UTC desde el servidor hasta el computador cliente,
siendo éste un retardo variable, dependiendo de la
demora en la red. El cálculo del retraso mide el
tiempo que se tarda en recibir la respuesta desde que
se envía el mensaje de petición, para ello se anota la
hora de envío TE y de recepción TR. En ausencia de
otra información, el tiempo estimado de propagación
del mensaje será:
(TR - TE) / 2
Así, cuando el computador cliente recibe el mensaje
con la hora actual, tiene que añadirle el retardo
calculado. La duración estimada del retardo puede
mejorarse si se sabe lo que tarda el servidor de
tiempo en tratar la interrupción que genera la llegada
del mensaje y atender la petición. Si a este tiempo lo
llamamos I, el tiempo estimado de propagación del
mensaje será:
(TR – TE - I) / 2
Tenemos un problema, el que se presenta en todos los
servicios ofrecidos por un único servidor: la
posibilidad de fallo. Cristian sugiere que la hora debe
ser suministrada por varios servidores de tiempo
sincronizados mediante receptores de tiempo UTC; el
cliente envía su petición a todos los servidores y toma
la primera respuesta recibida.
Este algoritmo no contempla problemas de fraude o
malfuncionamiento por parte del servidor. Hay
algoritmos (Marzullo [1984]) para distinguir los
servidores válidos de los que funcionan mal o son
impostores.
3.1.2 Algoritmo de Berkeley
El algoritmo de Berkeley (Gusella y Zatti [1989])
está diseñado para entornos en los que no hay ningún
receptor de tiempo UTC y el único objetivo es que
todos los computadores se mantengan sincronizados
con una misma hora. Entre todos los equipos del
sistema distribuido eligen un coordinador que hará el
rol de maestro o Servidor de Tiempo. En este caso el
coordinador elegido pregunta la hora, periódicamente
al resto de las estaciones. Cuando las estaciones
responden, cada una con su hora local, el coordinador
estima los retardos de propagación de los mensajes
con cada uno de las estaciones y calcula un tiempo
promedio con las horas recibidas y la suya propia.
Queda por actualizar los relojes de las estaciones.
Ahora el coordinador, no envía la hora coordinada
porque introduciría un cierto error debido al tiempo
de transmisión, sino que envía a cada uno el desfase
que tiene con la hora promedio calculada. Recibido
este desfase, cada equipo actualiza su reloj.
Aunque no se está teniendo en cuenta el tiempo de
propagación en el envío del mensaje desde la estación
al coordinador, no importa, pues lo que se quiere
calcular es la hora promedio de entre las recibidas de
todas las estaciones. El algoritmo realiza un
“promedio tolerante a fallos” con los tiempos
recibidos de las estaciones, es decir, que considera
solamente el subconjunto de relojes que no difieren
entre sí más de una cierta cantidad, considerando que
los demás no están funcionando bien.
Si el coordinador falla (no pregunta, no envía
modificaciones de tiempos, o éstas son “demasiado
extrañas”), simplemente se elige otro coordinador.
3.1.3 Algoritmos Distribuidos
En este algoritmo, todos los equipos conectados al
sistema deben sincronizarse cada cierto intervalo de
tiempo I, de tal manera que el enésimo intervalo o
momento de sincronización tiene lugar en el
momento:
T0 + n · I
Donde T0 es el momento en el que los equipos
comienzan a sincronizarse tras su arranque.
Cada nodo debe conocer cuál es el tiempo de
propagación del mensaje desde cada origen a cada
destino, para lo cual debe conocerse bien la topología
de la red, o calcularlo mediante mensajes que se
envían y se devuelven para calcular simplemente el
tiempo de propagación.
En cada intervalo, cada computador envía un mensaje
a todo el grupo, incluido él mismo, indicando su hora
local. Como todos los relojes son distintos y la
velocidad es diferente, la difusión no se produce
exactamente de una manera simultánea. Para cada
uno de los mensajes que se recibe, sabiendo el tiempo
de propagación desde su nodo y comparando con la
hora local, se calcula la desviación propia respecto
al nodo del mensaje recibido. Cuando un computador
ha enviado el mensaje de difusión de su hora,
arranca un temporizador y se pone a esperar los
mensajes de difusión del resto de los equipos, los
cuales deberán llegar dentro de un cierto intervalo de
tiempo. Cuando han llegado todos los mensajes del
resto de las computadores ó ha vencido la
temporización, se calcula el valor medio de las
desviaciones y se ajusta el tiempo local.
Como todos los nodos reciben el mismo conjunto de
mensajes, después de cada sincronización todos
deben tener la misma hora. Pueden descartarse los
valores más extremos recibidos, por suponer que
puedan deberse a relojes que están fallando o
mintiendo.
3.1.4 Relojes Lógicos
No es fácil, sincronizar múltiples relojes distribuidos
para mantener una única hora estándar con la
suficiente precisión.
Lamport señaló que la sincronización de relojes no
necesita ser absoluta. Por una parte, si dos procesos
no interactúan, no tienen ninguna necesidad de que
sus relojes respectivos estén sincronizados, pues la
no interacción no requiere sincronización, ésta no
será observable y no causará problemas. Por otra
parte, lo realmente importante es todos estén de
acuerdo sobre el orden en el que se suceden y
producen los eventos y no que todos los procesos
estén sincronizados según una misma hora exacta
Como ejemplo, podemos tener dos eventos, un
ocurrido después del otro pero con diferencia en la
hora local, lo significativo es saber cuál ocurrió
primero, sin tener en cuenta la hora local, que puede
estar desfasada.
Para algunos entornos en los que no se requiere una
sincronización exacta con una hora externa de
referencia (tiempo UTC), en lugar de tratar con los
relojes físicos se trabaja con relojes lógicos, en los
que solamente tiene importancia el orden de los
eventos y no la medida del momento exacto en el
que se producen.
Para sincronizar relojes lógicos, Lamport definió
la relación “sucedió antes”, según la cual, la
expresión a → b quiere decir “a sucedió antes que
b”, y significa que todos los procesos coinciden
en que primero sucedió el evento a y
posteriormente el evento b. Esta relación se observa
directamente en dos situaciones:
1. Si dos eventos se producen en el mismo
proceso, tiene lugar en el orden que indica su
reloj común.
2. Cuando dos procesos se comunican mediante un
mensaje, el evento de enviarlo se produce siempre
antes del evento de recibirlo.
Si dos eventos, x e y, se producen en procesos
diferentes que no intercambian mensajes (ni directa
ni indirectamente), entonces no es cierto x → y, ni
y → x. En este caso se dice que tales eventos son
concurrentes, lo que significa que sencillamente no se
sabe nada y para el caso ni se necesita saber, sobre
cuál de ellos sucedió primero.
Se debe observar que la relación “sucedió antes”
es transitiva, es decir, si a → b y b → c,
entonces a → c.
Lo que se necesita entonces, es una forma de
medir el tiempo tal que para todo evento a, se
le pueda asignar un valor de tiempo R(a) en el
que todos los procesos estén de acuerdo.
Dichos valores deben tener la propiedad que si:
a → b ⇒ R(a) < R(b).
Además, como ya sabemos, el reloj R siempre
debe ir hacia delante, nunca hacia atrás.
Lamport inventó un mecanismo denominado reloj
lógico, el cual es un contador de software
monótono creciente, cuyo valor no requiere tener
ninguna relación concreta con ningún reloj físico.
En cada ordenador hay un reloj lógico R que se
utiliza para poner marcas de tiempo a los eventos que
se producen (stamp), tal que Rp(a) indica la marca de
tiempo del evento a en el proceso p.
Así, las dos situaciones en las que se observa la
relación “sucedió antes” se tratan de la siguiente
manera con los relojes lógicos:
1. Rp se incrementa en una unidad antes de que
se produzca cada evento en el proceso, es
decir, Rp = Rp + 1
2. a) Cuando un proceso p envía un mensaje m,
se le pega al mensaje el valor t = Rp.
b) Cuando el proceso q recibe el mensaje
(m, t ), calcula Rq := max(Rq, t), y
aplica el paso 1 antes de marcar el evento
de recepción del mensaje (m,t).
4 Conclusiones
La sincronización de procesos en ambientes
distribuidos es muy importante, ya que garantiza que
los eventos o marcas de tiempo ocurrirán y se
marcarán en el respectivo orden. Dependiendo del
tipo de problema a solucionar, dependerá el algoritmo
seleccionado para sincronizar. Existen muchos más
algoritmos que solucionan problemas de
sincronización, de los vistos en este artículo y cada
uno merece más revisión y un estudio más detallado.
Comparar o decir cuál es mejor, no sería lo adecuado
porque cada uno puede aplicarse y solucionar un
problema específico.
Apéndice I
En caso de ser necesario, los apéndices irán ubicados
después de las Conclusiones, y antes de los
Agradecimientos y las Referencias. Se numerarán
con números romanos, tal como en el título de esta
sección.

Agradecimientos
Si los hay, los agradecimientos deberán ubicarse al
final del trabajo, justo antes de las referencias. Esta
sección no llevará numeración.
Utilice el formato estándar de IEEE Computer o
Communications of the ACM para las referencias, es
decir, una lista numerada, ordenada alfabéticamente
por apellido del primer autor y referenciada en el
texto por un número entre corchetes (ejem., “[1]”).
Todas las referencias deben ser documentos
accesibles públicamente.
Finalmente, note que el título de esta sección no lleva
numeración. Considere el siguiente ejemplo:

Referencias
[1] Anderson, R.E. Social impacts of
computing: Codes of professional ethics. Social
Science Computing Review. Vol. 10, No. 2,
(Winter 1992), pp.453-469.
[2] Harmon, J.E. The Structure of Scientific and
Engineering Papers: A Historical Perspective.
IEEE Trans. On Professional Communication.
Vol 32, No. 2, (September, 1989), pp. 132-138.
[3] Pierson, M.M. and Pierson, B.L. Beginnings
and Endings: Keys to Better Engineering
Technical Writing. IEEE Trans. On
Professional Communication. Vol 40, No. 4,
(December, 1997), pp. 299-304.
[4] Strunk, W. and White, E.B. The Elements of
Style. Fourth Edition, Boston: Allyn and Bacon.
2000.