Opened 6 years ago

#57 new defect

Need to further restrict "LoopFree" condition

Reported by: charliep@… Owned by: charliep@…
Priority: blocker Milestone:
Component: aodvv2 Version:
Severity: Active WG Document Keywords: loop freedom


Kedar Namjoshi (Bell Labs) and Richard Trefler (University of Waterloo) have demonstrated a counterexample to the "LoopFree" condition in the AODVv2 document. As a result, it is necessary to further restrict the condition as follows:

LoopFree (R1, R2) is true if

Cost(R1) <= Cost(R2)

or, in context

Cost(RteMsg) <= Cost(Route)

With this formulation, loop freedom can be guaranteed. A proof has been submitted.

Change History (0)

Note: See TracTickets for help on using tickets.