Exercícios de revisão sobre relógios lógicos e físicos Prof. Alcides Calsavara
Exercício 1 Considere a relação acontece-antes (-->), na qual relógicos lógicos se baseiam. Suponha que os eventos a, b, c, d, e, f ocorram tal que a-->b, b-->c, d-->e, e-->f, b-->e. A relação a-->f é verdadeira? Determine os pares de eventos concorrentes.
Solução do Exercício 1 a b c m d e f Pares de eventos concorrentes: ( a, d ) ( b, d ) ( c, e ) ( c, f ) ( c, d )
Exercício 2 Aplique o algoritmo de implementação de relógios lógicos para corrigir os relógios dos processos P1, P2 e P3, ilustrados abaixo. P1 P2 P3 1 2 3 4 5 6 7 8 4 8 12 16 2 4 6 8 10 12 14 16 m1 m2 m3
Solução do Exercício 2 a mensagem m2 sai no instante 12 é deve chegar depois a mensagem m3 sai no instante 15 é deve chegar depois P1 P2 P3 1 2 3 4 5 6 7 16 4 8 12 16 2 4 6 8 10 13 15 17 m1, 1 m2, 12 m3, 15
Exercício 3 Em uma rede que utiliza o Algoritmo de Cristian para sincronização de relógios físicos, uma máquina M envia uma mensagem r ao time server solicitando a hora certa, o qual responde com uma mensagem s, contendo a informação solicitada. Quando r é enviada, o relógio de M marca 3004, e quando s é recebida o relógio de M marca 3050. Supondo que o time server consome um tempo de 8 entre o recebimento da mensagem vinda de M e o envio da mensagem resposta para M, para qual valor deve M ajustar o seu relógio se o time server respondeu que a hora certa era 3035?
Solução do Exercício 3 Máquina M Timer Server R ? T0 = 3004 d I = 8 d T1 = 3050 R = 3035 T = R + d T = 3035 + 19 T = 3054 d = ( T1 – T0 – I ) / 2 d = ( 3050 – 3004 – 8 ) / 2 d = 19