Chapter 3

More documents

Recommendations

Info

Sistemas Distribuídos Mestrado em Engenharia Informática Relógios Lógicos : Ordenação Total Por vezes, é interessante ordenar totalmente os eventos que ocorrem num sistema distribuído Tal é possível juntando às estampilhas de Lamport um qualquer identificador extra que torne os seus valores globalmente únicos ‣ O identificador do processo (guid), por exemplo. ‣ Dado um evento e, executado no processo pi ( i = 1, 2, 3, ..n) com estampilha temporal Le, a estampilha temporal global é: (Le, i). ‣ A ordem global das estampilhas temporais é definida por: (La, i) < (Le2, j), sse La < Lb ∨ La = Lb e i < j Sérgio Duarte Sistemas Distribuídos Relógios Lógicos Sérgio Duarte (c) 2011 - DI / FCT / UNL Mestrado em Engenharia Informática Dados dois eventos, ea e eb, tem-se ea → eb C(ea) < C(eb) ‣ Pode-se demonstrar por indução no comprimento da sequência de eventos que estabelecem ea → eb O inverso não é necessariamente verdadeiro! ‣ C(ea) < C(eb) ea → eb 1 2 3 a c 1 b C(b) < C(f) ∧ ¬(b → f) 3 4 d e (c) 2011 - DI / FCT / UNL f 5 g
Sistemas Distribuídos Relógios Lógicos: Limitações Sérgio Duarte Mestrado em Engenharia Informática Os relógios lógicos não permitem decidir se dois eventos são concorrentes... Sistemas Distribuídos Relógios Lógicos: Limitações Sérgio Duarte (c) 2011 - DI / FCT / UNL Mestrado em Engenharia Informática Os relógios lógicos não permitem decidir se dois eventos são concorrentes... Esta limitação pode ser resolvida usando relógios vectoriais (c) 2011 - DI / FCT / UNL
Page 17 and 18: Sistemas Distribuídos Relógios L
Page 19 and 20: Sistemas Distribuídos Tempo: Event
Page 21 and 22: Sistemas Distribuídos Relógios F
Page 23: Sistemas Distribuídos Relógios L

Chapter 3

Create successful ePaper yourself

Delete template?

Save as template?