Hello Rules - receive hello

rl [nhello] :

< xid:Hello-Node | idcounter:k , up:true, timerSet:xTS,

interfaces: xNIL1 @

mkInterfaceBuffer(xidN,

mkPacket(lanAddress,hello,xHelloTime,xidI) @ xinQ,

xoutQ) @

xNIL2 ,

neighbors:xNL, neighborTimers:xNTL > xConf

=>

< xid:Hello-Node | idcounter:k+1,

interfaces:

xNIL1 @ mkInterfaceBuffer(xidN,xinQ,xoutQ) @ xNIL2 ,

neighbors: xNL@xidI, neighborTimers: xNTL@newId(xid,k),

timerSet: xTS U newTimer(xid,k,xHelloTime) > xConf

if not(member(xidI,xNL))

Previous slide

Next slide

Back to first slide

View graphic version