The Algorithm

Daemon Time-Manager

s=0, Joined = False

bcast(“new”), TJ.set(NDEL+TDEL)

do forever

select event:

case Timeout TJ:

joined = True

case Timeout TP or recv(“new”,l):

s++

L = C.read

bcast((s,L))

case recv((s’,T),l)

*** next slide ***

TP.set(PER)

end loop

Ndel = (1+r)ndel

Tdel = 2(1+r)ndel