Chapter 3
Chapter 3
Chapter 3
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Sistemas Distribuídos<br />
Relógios Físicos : Alternativas...<br />
Sérgio Duarte<br />
Mestrado em Engenharia Informática<br />
Não sendo possível sincronizar os relógios físicos de um sistema<br />
distribuído perfeitamente como fazer para ordenar eventos de<br />
forma coerente em todo o sistema?<br />
‣ dar menos importância à qualidade física do tempo<br />
‣ centrar o problema na questão da causalidade dos eventos<br />
Sistemas Distribuídos<br />
(c) 2011 - DI / FCT / UNL<br />
Mestrado em Engenharia Informática<br />
Relação “Happened Before” (Lamport 1978)<br />
A relação aconteceu antes * (→) é uma ordem parcial que<br />
pretende respeitar a causalidade física entre os eventos de um<br />
sistema distribuído.<br />
Definição:<br />
HB1: se ∃ pi : ea →i eb então ea → eb<br />
HB2: esend(m) → ereceive(m), para qualquer mensagem m<br />
HB3: se ea → eb e eb → ec, então ea → ec (transitividade)<br />
Se ¬ ea → eb ∧ ¬ eb → ea então ea e eb dizem-se concorrentes ( ea || eb )<br />
* Happened Before<br />
Sérgio Duarte<br />
(c) 2011 - DI / FCT / UNL