gestão de dados partilhados em ambientes de computação móvel

A.2. SINCRONIZAÇÃO EPIDÉMICA 219
Funções auxiliares
// Devolve um vector das operações que se sabe serem conhecidas no servidor to_srv
function knownOps( o, to_srv): vector // Golding
(1) return l : l[i] := o.a[to_srv], ∀ i
function knownOps( o, to_srv): vector // Matriz
(1) return l : l[i] := o.a[to_srv][i], ∀ i
// Devolve verdadeiro se se pensa que o servidor to_srv desconhece o coobjecto o
function unknownObj( o, to_srv): boolean
(1) return o.l[to_srv] = −1
Funções do protocolo
procedure uniEpidemic( Ob js,to_srv)
(1) send (view_id)
(2) nStep := 1; full := Ob js = U
(3) send (nStep,full)
(4) for ∀ o ∈ Ob js do
(5) updateClock(o)
(6) if unknownObj( o, to_srv) then
(7) send (new state,o.id,o)
(8) else
(9) l := knownOps( o, to_srv)
(10) send (sync,o.id,o.l,o.a,l,unknownOps(o,l))
(11) end if
(12) end for
(13) send (end)
Figura A.4: Funções do protocolo de sincronização unilateral (simplificado).
replicadores do volume. Assim, a política de sincronização deve ter em atenção este facto de forma a
que as mudanças no grupo de replicadores sejam propagadas para todos os servidores.
Quando, devido à informação local desactualizada, um servidor selecciona executar uma sessão de
sincronização com um outro servidor que deixou de replicar o volume, a sessão de sincronização é
recusada. No entanto, os servidores que abandonam o grupo de replicadores mantém temporariamente
a informação sobre o conjunto de servidores que replicavam o volume no momento da sua remoção —
esta informação é devolvida aos servidores que tentam estabelecer sessões de sincronização e poderá ser
usada pela política de sincronização para determinar o próximo servidor a ser contactado.
Em situações extremas, quando existem várias entradas e saídas no grupo de replicadores num curto
intervalo de tempo sem que as respectivas operações possam ser propagadas entre os servidores, é pos-
sível que existam dois servidores, i e j, que replicam um mesmo volume e que não conhecem nenhum
servidor activo que lhe permita conhecer o outro, i.e., (usando a → b para representar que a sabe que b
pertence ao grupo de replicadores e activo(a) para representar que o servidor a não abandonou o grupo
de replicadores) ¬∃s0,...,sn : i → s0 ∧ activo(s0) ∧ s0 → s1 ∧ activo(s1) ∧ ... ∧ sn → j. Nesta situação, a
execução de sessões de sincronização apenas com o conjunto dos servidores que pertencem à vista actual
poderia levar à criação de subconjuntos isolados de replicadores que não comunicam entre si.