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

216 APÊNDICE A. DOORS
Funções do protocolo
procedure syncViewSend(view_peer)
(1) send (sync view,view_id,
unknownMembOps(view_peer))
procedure syncViewReceive()
(1) receive (sync view,view_peer,ops)
(2) memb.ops := memb_ops ∪ ops
(no protocolo local de mudança de vista)
(3) if view_id = view_peer then
(4) send (sync view,view_id,
unknownMembOps(view_peer))
(5) end if
procedure initBiEpidemic( Ob js)
(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) send (ask sync,o.id,o.l,o.a)
(7) end for
(8) send (end)
procedure stepBiEpidemic()
(1) receive (view_peer)
(2) if view_id = view_peer then
(3) syncViewSend(view_peer); return;
(4) end if
(5) receive (nStep,full)
(6) lastStep := lastStep(nStep)
(7) send0 (view_id)
(8) send0 (nStep+1,full)
(9) Ob js = /0
(10) forever do
(11) receive msg
(12) if msg.type = end then break end if
(13) processOne( msg)
(14) Ob js := Ob js ∪ {msg.id}
(15) end forever
(16) if full AND NOT lastStep then
(17) for ∀ o ∈ U : o.id /∈ Ob js do
(18) send (ask sync,o.id,o.l,o.a)
(19) end for
(20) end if
(21) send0 (end)
procedure processOne( msg)
(1) case msg of
(2) (ask sync,id,l,a):
(3) if exists(id) then
(4) o = getCoobject(id)
(5) updateClock( o); updateAck( o, a)
(6) send0 (sync,id,o.l,o.a,unknownOps(o,l))
(7) else if removed(id) then
(8) send0 (removed,id)
(9) else
(10) send0 (ask state,id)
(11) end if
(12) (sync,id,l,a,l_0,ops):
(13) if exists(id) then
(14) o = getCoobject(id)
(15) o.ops := o.ops ∪ ops
(16) updateLogged(o,l_0,l);updateClock(o);
updateAck(o,a)
(17) send0 (sync,id,o.l,o.a,l,unknownOps(o,l))
(18) else
(19) send0 (ask state,id)
(20) end if
(21) (removed,id):
(22) U := U \ {getCoob ject(id)}
(23) Del := Del ∪ {id}
(24) (ask state,id):
(25) if exists(id) then
(26) o = getCoobject(id)
(27) send0 (new state,id,o)
(28) else
(29) // do nothing
(30) end if
(31) (new state,id,o):
(32) if exists(id) then
(33) // error: do nothing
(34) else
(35) U := U ∪ {o}
(36) end if
Figura A.2: Funções do protocolo de sincronização bilateral (simplificado).