DETI

Sistemas
Distribudos
Sincronizao
Antnio Rui Borges
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 -
Sumrio
Noes de tempo
Tempo global
Tempo local
Tempo lgico
Acerto do tempo local
Caracterizao do problema
Mtodo de Cristian
Algoritmo de Berkeley
Netork Time !rotocol
"elgios lgicos
"elgio lgico escalar
#rdenao total de acontecimentos
"elgio lgico $ectorial
%eit&ras s&geridas
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !
Noes de tempo
"s fenmenos f#sicos e, em particular, a acti$idade %umana desenrolam-se no
espao e no tempo& " tempo constitui um elemento fundamental na caracteri'a(o
dos acontecimentos, na sua ordena(o e na e$entual determina(o de relaes de
causalidade entre pares ou grupos de acontecimentos&
" tempo ) entendido de m*ltiplas formas face ao posicionamento do obser$ador
perante a realidade
tempo global + tempo perce,ido por um o,ser$ador e-terno
tempo local + tempo perce,ido em cada uma das entidades o,ser$adas
tempo lgico + tempo perce,ido em termos do flu-o informati$o&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - .
Tempo global - 1
" tempo n(o ) medido directamente&
A sua medi(o fa'-se de uma maneira indirecta, tirando partido da sua liga(o
#ntima ao espao, por considera(o de mo$imentos peridicos
tempo astronmico + ,aseia-se no mo$imento dos astros no firmamento/ mais
precisamente, o mo$imento de transla(o da terra em torno do sol 0cada
ciclo representa um ano solar1 e o mo$imento de rota(o da terra 0cada
ciclo representa um dia solar12 o dia solar ) sucessi$amente su,di$idido em
%oras, minutos e segundos 0um dia comporta . %oras, uma %ora 34 minu-
tos e um minuto 34 segundos12 o seg&ndo solar, en5uanto unidade padr(o
de medi(o do tempo, ) definido como a frac(o de 6783.44 do dia solar2 o
ano solar ) definido neste conte-to como tendo um $alor apro-imado de
!35 dias e 3 %oras
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 5
Tempo global - 2
tempo atmico + os mo$imentos peridicos dos astros n(o s(o suficientemente
constantes para ser$ir como padr(o 5uando se considera per#odos de tempo
longos2 estudos reali'ados nas *ltimas d)cadas permitiram concluir 5ue o
mo$imento de rota(o da terra tem $indo a tornar-se progressi$amente mais
lento de$ido 9 fric(o pro$ocada pelo mo$imento das mar)s e ao efeito de
arrastamento da atmosfera2 e-istem ainda oscilaes de curto pra'o
pro$ocadas, segundo se supe, por tur,ul:ncia no n*cleo da terra2 face a
isto, com o desen$ol$imento da f#sica e o surgimento de ;relgios; atmicos,
o seg&ndo padro passou a ser definido de um modo mais preciso como a
d&rao de ' (') *+( ,,- per.odos da radiao correspondente / transio
entre os dois n.$eis 0iper1inos do estado de energia m.nima do 2tomo de
csio (++3 em repo&so3 / temperat&ra de - 4&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 3
Tempo global - 3
" tempo atmico internacional 0TAI1 constitui o standard o,tido a partir de uma
m)dia pesada do tempo medido por mais de 44 relgios atmicos, locali'ados em
instituies nacionais 9 $olta do mundo& Este esforo ) coordenado pelo Instituto
Internacional de <esos e =edidas 0BI<=1, atra$)s do seu >a,inete Internacional
da ?ora 0BI?1&
A escol%a da dura(o do seg&ndo padro em @ 6@ 3!6 AA4 per#odos da radia(o
correspondente 9 transi(o entre os dois n#$eis %iperfinos do estado de energia m#-
nima do tomo de c)sio 6!!, foi feita de modo a garantir a sua coincid:ncia com o
$alor do seg&ndo solar no momento da sua introdu(o, 6 de Baneiro de 6@58&
Em 6 de Baneiro de 6@AA, foi introdu'ida uma correc(o 9 con$en(o anterior,
,aseada na teoria da relati$idade generali'ada, para minimi'ar o efeito da dilata-
(o do tempo pro$ocado por $ariaes do campo gra$itacional da terra 0os
di$ersos relgios atmicos, 5ue entram no clculo da m)dia, est(o situados a
diferentes altitudes e ;,atem;, por isso, a ritmos ligeiramente diferentes1&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - A
Tempo global - 4
" tempo &ni$ersal coordenado 0CTD1, ,aseado no tempo atmico internacional,
constitui o standard principal 5ue regula %oEe em dia a grande maioria das acti$i-
dades %umanas& " sistema ,aseia-se em seg&ndos padro e ) mantido o mais
pr-imo poss#$el do tempo astronmico atra$)s da introdu(o ou supress(o 0este
*ltimo caso ainda n(o ocorreu1 de segundos indi$iduais destinados a compensar o
a,randamento e as irregularidades ocasionais do mo$imento de rota(o da terra&
Fa escala temporal CTD, o seg&ndo e os seus su,m*ltiplos s(o sempre constan-
tes2 contudo, os seus m*ltiplos, dias, 0oras e min&tos, nem sempre o s(o por5ue,
de $e' em 5uando, para manter a rela(o de sincronismo com o tempo astron-
mico, ) acrescentado 0ou retirado1 um segundo ao *ltimo minuto de um dia,
tipicamente no *ltimo dia do m:s de Bun%o ou de De'em,ro&
" tempo CTD ) disponi,ili'ado de diferentes modos& Entre eles, destacam-se/
emissores de rdio de ondas curtas/ G64 ms
sistema de sat)lites geoestacionrios 0>E"H, ><H1/ G4,5 ms
internet 0FT<1/ G54 ms&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 8
Tempo local 1
R

co!tador de impulsos
entrada paralelo
sa.da paralelo
" relgio de um sistema computacional ) composto por dois elementos/ um
circuito oscilador, controlado por um cristal de 5uart'o, e um contador de impul-
sos& " $alor da contagem num dado instante ) lido pela sa.da paralelo e o conta-
dor pode ser colocado num dado estado, por acerto, usando a entrada paralelo&
A contagem ) con$ertida num tempo definindo uma origem 0a con$en(o em
Cni-, por e-emplo, ) fa'er corresponder a origem 9s 4% 4m 4s do dia 6 de Baneiro
de 6@A41&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - @
Tempo local 2
" relgio pode marcar um tempo incorrecto de$ido a duas ra'es diferentes
o11set + o $alor da contagem difere do $alor correcto de um n*mero de im-
pulsos fi-o 0erro na defini(o da origem1
dri1t + a fre5u:ncia do oscilador n(o ) e-actamente a nominal, $ariando ao
longo do tempo com as condies am,iente 0contagem a um ritmo
diferente1&
Tipicamente, um oscilador, controlado por um cristal de 5uart'o, apresenta um
dri1t da ordem de grande'a de uma parte em 64
3
por segundo&
"
t
#T
t
local
o$$set
dt
local
dt
5TC
6
dt
local
dt
5TC
=6
dt
local
dt
5TC
6
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 64
%certo do tempo local 1
" pro,lema do acerto dos relgios locais dos sistemas computacionais 5ue cons-
tituem os ns de uma m5uina paralela num sistema distri,u#do, pode ser encarado
de duas maneiras
acerto e6terno + dados uma fonte con%ecida de disponi,ili'a(o de tempo
CTD, S0t1, e um inter$alo m-imo de incerte'a tolerada, I, entre os
relgios locais, Ck
i
0t1, com i J 4,6, &&&, F-6, e a fonte S0t1, impor
para todo o tempo t 5ue
acerto interno + dado um inter$alo m-imo de incerte'a tolerada, I, entre
pares de relgios locais, Ck
i
0t1 e Ck
7
0t1, com i,7 J 4,6, &&&, F-6, impor
para todo o tempo t 5ue

i {4,63 3 N6}
S (t ) Ck
i
(t ) <

i 3 7 {4,63 3 N6}
Ck
i
(t ) Ck
7
(t )< &
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 66
%certo do tempo local 2
Hupe-se 5ue os ns da m5uina paralela est(o interligados por uma 5ual5uer
topologia de interliga(o e 5ue a comunica(o entre eles ) efectuada por troca de
mensagens, com tempo de transmiss(o necessariamente finito, mas sem limite
superior, isto ),
em 5ue t
M
representa o tempo de transmiss(o de uma mensagem&

%
+
t
M
t
M
> % &
!& ' !& 1 !& N-1
topologia de i!terliga(o
" acerto propriamente dito ) feito de modo a garantir 5ue o tempo local cons-
titua sempre uma fun(o montona crescente do tempo& 0)or*u+K1
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 6
,-todo de ristia! 1
Trata-se de um m)todo de sincroni'a(o e-terna onde se supe a e-ist:ncia de
um ser$idor temporal CTD acess#$el aos diferentes ns da m5uina paralela& <eri-
odicamente, numa atitude pr-acti$a para corrigir o tempo do seu relgio local,
cada n 0cliente1 consulta o ser$idor atra$)s do en$io de uma mensagem em 5ue
l%e solicita o tempo certo& " ser$idor responde-l%e com o en$io do tempo num
formato pr)-acordado&
!& ' !& 1 !& N-1
topologia de i!terliga(o
ser.idor de
tempo #T
m*ui!a paralela
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 6!
,-todo de ristia! 2
a reali'a(o de operaes decompe-se em
o pedido ) efectuado no tempo local t
(
atra$)s do en$io de uma mensagem com
tempo de transmiss(o t
M(
, a mensagem ) rece,ida pelo ser$idor no tempo CTD t
5TC(
o tempo t
5TC
, 5ue $ai ser en$iado, ) corrigido para corresponder apro-imadamente ao
meio do inter$alo de processamento
a resposta ) en$iada pelo ser$idor no tempo CTD t
5TC)
atra$)s de uma mensagem com
tempo de transmiss(o t
M)
, a mensagem ) rece,ida no tempo local t
)
&
clie!te
ser.idor
pedido do
tempo 0t
M(
1
obteno do
tempo t
5TC
en$io do
tempo 0t
M)
1
t
(
t
)
t
5TC(
t
5TC)
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 6.
,-todo de ristia! 3
o cliente tem 9 sua disposi(o os tempos t
(
, t
)
e t
5TC
para acertar o relgio local
o cliente supe 5ue o dri1t do seu relgio local origina uma $aria(o no inter$alo de
tempo t
)
+ t
(
5ue pode ser considerada despre'$el
e-primindo o o11set entre o tempo CTD e o tempo local por o11 J S0t1 + Ck0t1, a sua
estimati$a $em e-pressa por
a incerte'a associada com este $alor no pior caso poss#$el, I
est
, resulta de se supor
5ue t
)
+ t
(
L t
M(
M t
M8N
0o tempo de processamento no ser$idor ) despre'$el 5uando
comparado com o tempo de transmiss(o das mensagens e uma delas ) transmitida
no m#nimo tempo poss#$el1
5uando a incerte'a estimada ultrapassa o $alor nominal esta,elecido para a incer-
te'a, caso em 5ue o canal de comunica(o sofra oscilaes aleatrias de carga ou
ser$idor esteEa muito ocupado, o cliente pode reEeitar a estimati$a do o11set o,tida&
o11
est
= t
5TC

t
6
+ t

est
=
t

t
6

t
M8N
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 65
%lgoritmo de /er0ele1 1
Trata-se de um m)todo de sincroni'a(o interna onde se supe 5ue n(o e-iste
acess#$el um ser$idor temporal CTD& A5ui, o *nico o,Eecti$o ) manter sincroni-
'ados entre si os relgios locais dos diferentes ns da m5uina paralela& <eriodica-
mente, um processo locali'ado num dos ns, designado para o efeito de n master,
solicita numa atitude pr-acti$a a todos os ns da m5uina, o seu prprio n
inclu#do, a indica(o do tempo local& <rocede a seguir ao clculo da m)dia dos
des$ios e-istentes entre os diferentes relgios locais e o seu prprio e en$ia a cada
n a correc(o a ser introdu'ida para acerto do tempo local&
!& ' !& 1 !& N-1
topologia de i!terliga(o
!& master
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 63
%lgoritmo de /er0ele1 2
a reali'a(o de operaes decompe-se em
o pedido ) efectuado pelo n master no tempo local t
N9(3i3(
atra$)s do en$io de uma
mensagem a cada n da m5uina paralela com tempo de transmiss(o t
i3M(
, a men-
sagem ) rece,ida por cada n no tempo local t
i3(
, com i J 4,6,&&&,F-6
o tempo t
i
, 5ue $ai ser en$iado por cada n, ) corrigido para corresponder apro-ima-
damente ao meio do inter$alo de processamento
a resposta ) en$iada por cada n no tempo local t
i3)
, com i J 4,6,&&&,F-6, atra$)s de
uma mensagem com tempo de transmiss(o t
i3M)
, a mensagem ) rece,ida pelo n
master no tempo local t
N9(3i3)
o n master procede ao clculo dos des$ios relati$amente ao seu tempo local e en$ia
uma mensagem a todos os ns com o acerto 5ue de$e ser efectuado em cada caso&
!& master
!& i
com i : -3(3;;;3N9(
pedido do tempo 0t
i3M(
1
obteno do
tempo local t
i
en$io do tempo 0t
i3M)
1
t
N9(3i3(
t
N9(3i3)
t
i3(
t
i3)
en$io do acerto
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 6A
%lgoritmo de /er0ele1 3
o n master tem 9 sua disposi(o os tempos t
N9(3i3(
, t
N9(3i3)
e t
i
, com i J 4,6,&&&,F-6, para
estimar o offset, e a incerte'a associada, de cada um dos relgios locais
o n master assume 5ue o dri1t do seu relgio local origina $ariaes nos inter$alos
de tempo t
N9(3i3)
+ t
N9(3i3(
, com i J 4,6,&&&,F-6, 5ue podem ser consideradas despre'$eis
a estima(o ) efectuada segundo o m)todo de Dristian e $em e-pressa por
o n master calcula depois a m)dia das estimati$as de offset, o11
est med
, reEeitando no
clculo situaes em 5ue as incerte'as estimadas de alguns dos ns ultrapassam o
$alor nominal esta,elecido para a incerte'a
o n master en$ia finalmente a cada um dos ns a correc(o 5ue de$e ser introdu-
'ida em cada caso, o11
est med
+ o11
est
0i1
note-se 5ue, dado 5ue ) en$iado um $alor diferencial, n(o ocorre mais incerte'a face
ao tempo de transmiss(o da mensagem&
o11
est
(i) = t
i

t
N6, i ,6
+ t
N6, i ,

est
(i) =
t
N6, i ,
t
N6, i ,6

t
M8N
com i =4,6 33 N6
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 68
Net2or0 Time )rotocol 3NT)4 - 1
"s m)todos anteriores est(o $ocacionados para sincroni'a(o dos relgios locais
de plataformas %ardNare integradas em redes locais& " Netork Time !rotocol
0FT<1, por contraposi(o, tem por Om,ito a prpria internet&
" o,Eecti$o )
permitir 5ue 5ual5uer sistema computacional ligado 9 internet possa acertar o
seu relgio local com CTD com uma precis(o ra'o$el e efectuar o reacerto a
um ritmo suficientemente ele$ado 5ue impea o surgimento de discrepOncias
resultantes de drift
garantir 5ue o ser$io fornecido pode so,re$i$er a perdas de conecti$idade
mais ou menos longas de ser$idores particulares, mantendo a sua disponi,i-
lidade permanente
fornecer protec(o contra interfer:ncias espec#ficas&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 6@
Net2or0 Time )rotocol 3NT)4 2
%r*uitectura do ser.io
ser$idores
prim2rios
ser$idores
prim2rios
ser$idores
prim2rios
estrato 1
estrato 2
estrato 3
receptores de $o!te #T
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 4
Net2or0 Time )rotocol 3NT)4 3
o ser$io supe uma organi'a(o %ierr5uica dos sistemas computacionais em
diferentes n#$eis, designados de estratos
os sistemas computacionais do primeiro n#$el, estrato 6, est(o ligados directa-
mente a uma fonte CTD + s(o, por isso, designados de ser$idores prim2rios
os sistemas computacionais restantes, designados indiferentemente de ser$idores
sec&nd2rios, acertam os seus relgios locais com ser$idores pertencentes ao
estrato imediatamente acima na %ierar5uia
os sistemas computacionais em cada estrato podem tam,)m coordenar a sua
informa(o temporal com outros ser$idores no mesmo estrato para fornecer uma
informa(o glo,almente mais est$el e ro,usta
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 6
Net2or0 Time )rotocol 3NT)4 4
9 medida 5ue se desce na escala %ierr5uica, o grau de incerte'a da informa(o
temporal produ'ida $ai aumentando por5ue os erros introdu'idos em cada etapa
de sincroni'a(o s(o cumulati$os
a su,-r$ore de acerto ) reconfigur$el dinamicamente
sempre 5ue um ser$idor prim2rio dei-a de poder aceder 9 sua fonte CTD passa para
o estrato , tornando-se um ser$idor sec&nd2rio
sempre 5ue o ser$idor usado para acerto de um sistema computacional de um dado
estrato dei-a de estar dispon#$el, outro ) procurado&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 -
Net2or0 Time )rotocol 3NT)4 5
a reali'a(o de operaes supe uma troca sucessi$a de mensagens temporais
entre pares de ns 0A e B, por e-emplo1 para acerto do relgio local do n B, se
este pertencer a um estrato de $alor mais ele$ado, ou para m*tuo aEuste dos
relgios locais de am,os os ns, se pertencerem ao mesmo estrato
cada mensagem cont)m tr:s marcas temporais/ os tempos locais de transmiss(o e de
recep(o da mensagem anterior, t
B3i9+
e t
A3i9)
, e o tempo local de transmiss(o da
mensagem presente, t
A3i9(
ao rece,er uma mensagem, o n destinatrio toma nota tam,)m do tempo local da sua
recep(o, t
B3i
os 5uatro tempos, t
B3i9+
, t
A3i9)
, t
A3i9(
e t
B3i
, s(o usados simultaneamente para se o,ter uma
estimati$a do offset e da sua incerte'a&
!& %
mensagem temporal
0t
B3i9,
3 t
A3i9*
3 t
A3i9<
1
t
A3i9<
t
A3i9)
t
B3i9=
t
B3i9+
!& /
t
A3i9(
t
B3i
mensagem temporal
0t
A3i9<
3 t
B3i9=
3 t
B3i9+
1
mensagem temporal
0t
B3i9+
3 t
A3i9)
3 t
A3i9(
1
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !
Net2or0 Time )rotocol 3NT)4 6
o n B supe 5ue os dri1ts do seu relgio local e do relgio local do n A originam
$ariaes nos inter$alos de tempo, respecti$amente, t
B3i
+ t
B3i9+
e t
A3i9(
+ t
A3i9)
5ue podem
ser consideradas despre'$eis
e-primindo o o11set entre os tempos locais do n A e do n B o11 J Ck
A
0t1 + Ck
B
0t1, a
sua estimati$a $em e-pressa por
a incerte'a associada com este $alor no pior caso poss#$el, I
est
, resulta de se supor
5ue o tempo de transmiss(o de uma das duas mensagens temporais sucessi$as )
m#nimo
o n B aplica depois um algoritmo de filtragem estat#stica a pares 0o11
est
,
est
1
sucessi$amente o,tidos para esta,elecer a estimati$a final
o procedimento anterior ) efectuado com mais do 5ue um ser$idor, os resultados s(o
comparados e podem condu'ir a um altera(o do0s1 ser$idor0es1 consultados&
o11
est
=
t
A3 i6
+ t
A3 i

t
B3 i
+ t
B3 i!

est
=
t
A3 i
t
B3 i !
+ t
B 3 i
t
A3 i6

t
M8N
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - .
Si!cro!i7a(o de processos
A $aria,ilidade introdu'ida nos relgios locais dos ns de uma m5uina paralela
pelos algoritmos de acerto, fa' com 5ue n(o se possa recorrer 9 informa(o
temporal para sincroni'a(o das acti$idades de diferentes processos 5ue formam
uma aplica(o distri,u#da& " mel%or 5ue se consegue em geral ) produ'ir um grau
de incerte'a da ordem dos milisegundos, ou de de'enas de milisegundos, entre o
tempo indicado por pares de relgios, o 5ue representa uma ;eternidade; em termos
do n*mero de instrues 5ue s(o e-ecutadas por cada processador&
Pamport 06@A81 mostrou 5ue se dois processos residentes em ns distintos n(o
interactuam, n(o ) estritamente necessrio 5ue os seus relgios locais ,atam em
un#ssono/ o desacerto n(o ) o,ser$$el e, portanto, n(o originar conflitos& Assim,
o 5ue realmente importa n(o ) 5ue todos os processos en$ol$idos concordem no
$alor do tempo actual, mas 5ue ordenem do mesmo modo os acontecimentos
rele$antes 5ue t:m lugar, isto ), a5ueles 5ue resultam de algum tipo de interac(o&
A e-plora(o deste conceito condu' 9 defini(o dos c%amados relgios lgicos
5ue tradu'em t(o s o flu-o informati$o 5ue ocorre&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 5
Rel&gio l&gico escalar - 1
Define-se acontecimento como 5ual5uer acti$idade rele$ante 5ue ocorre durante
a e-ecu(o de um processo& De entre todas as acti$idades presentes, reputa-se como
especialmente significati$as para efeito de sincroni'a(o as primiti$as associadas 9
comunica(o/ en$io de uma mensagem e recepo de uma mensagem&
A ordena(o dos acontecimentos 5ue ocorrem nos ns de um sistema distri,u#do,
,aseia-se em duas o,ser$aes 5uase tri$iais
5uando dois acontecimentos ocorrem no mesmo processo, eles ocorrem na
ordem perce,ida pelo processo
5uando uma mensagem ) trocada entre processos, o acontecimento de en$io
da mensagem ocorre necessariamente antes do acontecimento de recep(o da
mesma mensagem&
<ares de acontecimentos s(o classificados para efeitos de ordena(o em
se>&enciais + se for poss#$el esta,elecer 5ual deles ocorre& antes
concorrentes + se tal n(o for poss#$el&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 3
Rel&gio l&gico escalar - 2
Pamport 06@A81 designou de ocorre& antes, e denotou de , a ordena(o parcial
de acontecimentos 5ue resulta da generali'a(o das o,ser$aes anteriores&
A rela(o ocorre& antes pode ser formalmente definida da forma seguinte

, em 5ue e , e? e e?? s(o acontecimentos&

em 5ue p
i
, com i J 4,6,&&&,F-6, s(o os processos 5ue coe-istem no Om,ito de uma
aplica(o distri,u#da e 5ue s(o e-ecutados nos diferentes ns da m5uina paralela,
e e, e? e e?? s(o acontecimentos&

p
i
{p
4
3 p
6
3 3 p
N6
}
e
i
e ? e e?

message
send(m) recei$e(m)
e e ? e ? e ? ? e e ? ?
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - A
Rel&gio l&gico escalar - 3
1 g g 0 1 0
d 7 7 k k l d l
aco!tecime!tos se*ue!ciais
( 1 c) (c 1 ) 1 c
(i e) (e i ) i e
aco!tecime!tos co!corre!tes
a b c
d e
$ g 8
l 0 9 i
p
'
p
1
p
2
p
3
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - 8
Rel&gio l&gico escalar - 4
Pamport propQs um dispositi$o, 5ue designou de relgio lgico, para e-plicitar
numericamente a ordena(o resultante da rela(o ocorre& antes& Cm relgio lgico
), no fundo, um contador local de acontecimentos, monotonamente crescente, 5ue
n(o tem 5ual5uer associa(o directa com o tempo real&
Fuma aplica(o distri,u#da, cada processo p
i
, com i J 4,6,&&&,F-6, recorre a um
relgio lgico como o seu prprio relgio local, Ck
i
, e efectua a marca(o dos
acontecimentos de acordo com as regras seguintes
inicializao/ Ck
i
J 4
ocorr@ncia de &m acontecimento localmente rele$ante/ actuali'a(o do relgio
local Ck
i
J Ck
i
MR
i
, em 5ue R
i
) uma constante inteira %a,itualmente igual a 6
en$io de &ma mensagem/ inclus(o de uma marca temporal ts, de $alor igual a
Ck
i
, na mensagem 5ue $ai ser en$iada
recepo de &ma mensagem/ acerto do relgio local com o $alor ma6 0Ck
i
, ts1
antes de efectuar a marca(o do acontecimento de recep(o&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - @
Rel&gio l&gico escalar - 5
a061 b01 c0.1
d061 e01
$061 g0!1 8344
l0.1 00!1 901 i061
041
041
041
041
p
'
p
1
p
2
p
3
S fcil pro$ar por indu(o matemtica 5ue
" con$erso, por)m, n(o ) $erdadeiro&
e e ? Ck
i
(e) < Ck
7
(e ? ) , com i 3 7 = 4,6 3 3 N6 &
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !4
"rde!a(o total de grupos de aco!tecime!tos - 1
Pamport mostrou, no entanto, 5ue grupos de acontecimentos cone-os podem ser
suEeitos a uma opera(o de ordenao total e perce,idos na mesma ordem por
processos residentes em diferentes ns de uma m5uina paralela, se relgios lgicos
do tipo por ele definido forem usados na gera(o de marcas temporais inclu#das nas
mensagens trocadas&
HeEam e
7
, com 7 J 4,6,&&&,T-6, acontecimentos associados ao en$io de mensagens m
7

entre os processos p
i
, com i J 4,6,&&&,F-6, di'-se 5ue os acontecimentos e
7
podem ser
totalmente ordenados se e s se puder esta,elecer uma correspond:ncia ,iun#$oca
entre cada acontecimento e um ponto da recta num)rica atra$)s de uma propriedade
5ue l%es est associada 0no caso $ertente, a marca temporal inclu#da na mensagem1&
e
'
e
1
e
2
e
:-2
e
:-1
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !6
"rde!a(o total de grupos de aco!tecime!tos - 2
Dado 5ue nada impede 5ue as marcas temporais associadas a duas mensagens
distintas seEam iguais, ts0m
p
1 J ts0m
>
1

, com p3 > J 4,6,&&&,T-6 e p U >, Pamport definiu
uma estrutura de dados 5ue pode ser designada de marca temporal estendida,
0ts0m
p
1,id0m
p
11, 5ue consiste no par ordenado formado pela marca temporal da
mensagem e pela identifica(o do seu remetente, e impQs a regra de ordena(o
seguinte
(ts(m
p
) 3 id (m
p
)) < (ts(m
>
) 3 id (m
>
)) ts(m
p
) < ts(m
>
)
ts(m
p
) =ts(m
>
) id (m
p
) < id (m
>
) &
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !
"rde!a(o total de grupos de aco!tecime!tos - 3
Admita-se 5ue numa dada aplica(o distri,u#da e-istem F cpias de uma mesma
regi(o de dados locali'adas em regies geograficamente distintas& Dada cpia )
acedida por um processo p
i
, com i J 4,6,&&&,F-6, espec#fico& Dada processo p
i
efectua
so,re a sua cpia operaes de escrita e de leit&ra 5ue le$am a uma e$entual
altera(o do conte*do da regi(o de dados&
;uest(o
Domo organi'ar as operaes de modo a garantir 5ue as di$ersas cpias se mant:m
permanentemente sincroni'adas, isto ), 5ue apresentam sempre o mesmo $alorK
c&pia ' c&pia 1 c&pia N-1
p
-
p
(
p
N9(
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !!
"rde!a(o total de grupos de aco!tecime!tos - 4
A sincroni'a(o permanente das cpias e-ige 5ue
sempre 5ue se pretenda modificar o $alor de um registo da cpia local, o
comando de altera(o seEa propagado primeiro aos processos 5ue gerem o
acesso a todas as outras cpias
a ordem de e-ecu(o dos comandos de altera(o seEa sempre a mesma em
todo o lado&
<ara 5ue tal suceda, tem 5ue se supor 5ue
os processos p
i
mant:m-se sempre em opera(o correcta, isto ), n(o ocorrem
1al0as catastr1icas na sua e-ecu(o
n(o % perda de mensagens&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !.
"rde!a(o total de grupos de aco!tecime!tos - 5
" algoritmo proposto por Pamport consiste em
cada processo p
i
, ao $erificar 5ue tem 5ue reali'ar um comando de altera(o,
comea por construir uma mensagem com toda a informa(o so,re a opera(o
onde inclui uma marca temporal com o $alor do seu relgio local
a mensagem ) en$iada a todos os mem,ros do grupo, incluindo ele prprio
ao rece,er a mensagem, cada processo p
i
acerta o seu relgio local segundo as
regras de acerto de Pamport e coloca a mensagem rece,ida numa fila de
espera ordenada por ordem crescente da marca temporal estendida
uma mensagem de acknoledge ) a seguir en$iada a todos os mem,ros do
grupo, incluindo ele prprio
os comandos residentes em cada fila de espera local s(o e-ecutados por cada
processo p
i
na ordem esta,elecida 5uando e s 5uando %ou$er o assentimento
de todos os processos do grupo, isto ), ti$erem sido recol%idas a totalidade
das mensagens de acknoledge associadas&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !5
Rel&gio l&gico .ectorial - 1
=attern 06@8@1 e Vidge 06@@61 introdu'iram um outro tipo de relgio lgico com o
o,Eecti$o de resol$er a limita(o e-istente no relgio lgico escalar proposto por
Pamport
ou seEa, 5uando dois acontecimentos e e e? ocorrem em processos diferentes, o facto
do $alor da marca temporal do primeiro ser menor do 5ue o $alor da marca temporal
do segundo n(o permite concluir 5ue o primeiro acontecimento ocorre& antes do
segundo&
A sua ideia foi manter, al)m do prprio relgio local, toda a informa(o poss#$el,
ainda 5ue desactuali'ada, so,re a e$olu(o dos relgios locais dos outros processos
do sistema e capturar desta forma a ca&salidade potencial 5ue possa e-istir entre
acontecimentos 5ue se desenrolam em processos residentes em ns distintos de uma
m5uina paralela&
[Ck
i
(e) < Ck
7
(e ? ) e e ? ] , com i 3 7 =4,6 3 3 N6 e i 7 ,
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !3
Rel&gio l&gico .ectorial - 2
" dispositi$o proposto para um sistema de F processos ), no fundo, um agregado
de contadores de acontecimentos, monotonamente crescentes, 5ue de no$o n(o t:m
5ual5uer associa(o directa com o tempo real&
" agregado de contadores ) organi'ado num array A em 5ue cada elemento
representa um relgio lgico do tipo proposto por Pamport&
Fuma aplica(o distri,u#da, cada processo p
i
, com i J 4,6,&&&,F-6, tem o seu
prprio relgio lgico $ectorial A
i
& "s elementos do array A
i
s(o interpretados do
modo seguinte
A
i
WiX J Ck
i
, constitui o relgio local do processo p
i
A
i
W7X J Ck
i
, com 7 U i, representa a percep(o 5ue o processo p
i
tem so,re a
e$olu(o do relgio local do processo p
7
0o processo p
7
pode entretanto ter
marcado mais acontecimentos, mas o processo p
i
n(o rece,eu ainda 5ual5uer
informa(o so,re eles nas mensagens rece,idas1&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !A
Rel&gio l&gico .ectorial - 3
A actuali'a(o do relgio $ectorial local ) reali'ada de acordo com as regras
seguintes
inicializao/ A
i
W7X J 4

, com 7 J 4,6,&&&,F-6
ocorr@ncia de &m acontecimento localmente rele$ante/ actuali'a(o do relgio
local A
i
WiX J A
i
WiXMR
i
, em 5ue R
i
) uma constante inteira %a,itualmente igual a 6
en$io de &ma mensagem/ inclus(o de uma marca temporal ts, de $alor igual a
A
i
, na mensagem 5ue $ai ser en$iada
recepo de &ma mensagem/ acerto de cada elemento do relgio $ectorial local
com o $alor ma6 0A
i
W7X, tsW7X1, com 7 J 4,6,&&&,F-6, antes de efectuar a marca(o
do acontecimento de recep(o&
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !8
Rel&gio l&gico .ectorial - 4
HeEam A e A? marcas temporais $ectoriais, a sua compara(o ) efectuada de acordo
com as regras seguintes

A =A ?
4 7 <N
A [ 7 ] =A ? [ 7 ]
A A ?
4 7 <N
A [ 7 ] A ? [ 7 ]
A < A ? A < A ? A A ? &
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - !@
Rel&gio l&gico .ectorial - 5
a06,4,4,41 b0,4,4,41 c0!,6,4,!1
d04,6,4,41 e04,,4,41
$04,4,6,41 g0,4,,41 80,4,!,41
l04,6,4,.1 004,6,4,!1 904,6,4,1 i04,4,4,61
04,4,4,41
04,4,4,41
04,4,4,41
04,4,4,41
p
'
p
1
p
2
p
3
1 0 A

( 1 ) < A

(0)
d l A
6
(d ) < A
!
(l )
aco!tecime!tos se*ue!ciais
1 c [A

( 1 ) < A
4
(c)] [A
4
(c) < A

( 1 )]
i e [A
!
(i ) < A
6
(e)] [A
6
(e) < A
!
(i )]
aco!tecime!tos co!corre!tes
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - .4
Rel&gio l&gico .ectorial - 6
S fcil pro$ar por indu(o matemtica 5ue
" con$erso ) agora tam,)m $erdadeiro&
Desa$io
Vaa a sua demonstra(oY
S precisamente este facto 5ue permite, a partir da compara(o das marcas
temporais associadas, capturar a ca&salidade potencial 5ue possa e-istir entre
acontecimentos 5ue se desenrolam em processos residentes em ns distintos de
uma m5uina paralela e efectua(o a sua ordena(o&
e e ? A
i
(e) < A
7
(e ? ) , com i 3 7 = 4,6 3 3 N6 &
A
i
(e) < A
7
(e ? ) e e ? , com i 3 7 = 4,6 3 3 N6 &
DETI
Departamento de Electrnica, Telecomunicaes e Informtica 5 - .6
<eituras sugeridas
Bistrib&ted SystemsC Concepts and Besign3 =
t0
Ddition3 Co&lo&ris, Dollimore,
Tind,erg, Addison-Zesle[
Dap#tulo 66/ Time and global states
Heces 66&6 a 66&.
Bistrib&ted SystemsC !rinciples and !aradigms3 )
nd
Ddition3 Tanen,aum, $an
Hteen, <earson Education Inc&
Dap#tulo 3/ Sync0ronization
Heces 3&6 e 3&