[Top] [All Lists]

Re: [IPv4]: More fib_alias insertion fixes

To: Herbert Xu <herbert@xxxxxxxxxxxxxxxxxxx>
Subject: Re: [IPv4]: More fib_alias insertion fixes
From: Julian Anastasov <ja@xxxxxx>
Date: Sun, 26 Sep 2004 17:07:59 +0300 (EEST)
Cc: davem@xxxxxxxxxxxxx, netdev@xxxxxxxxxxx
In-reply-to: <E1CBYCg-0000RG-00@xxxxxxxxxxxxxxxxxxxxxxxx>
References: <E1CBYCg-0000RG-00@xxxxxxxxxxxxxxxxxxxxxxxx>
Sender: netdev-bounce@xxxxxxxxxxx

        attaching version with fib_alias ordered by TOS ...

On Sun, 26 Sep 2004, Herbert Xu wrote:

> >        here prev_fa can be NULL but we require to stop at fa.
> > It happens when we are creating first entry in our subchain.
> If fa->fa_tos < tos, then we should add the new entry before fa.

        True, but in your patch2 you return fa after
list_for_each_entry which is not valid when the loop terminates.
Just change it to return the fa into the loop.

> If prev_fa is not NULL, then adding after prev_fa is obviously
> correct.  If prev_fa is NULL, the caller will add it after the

        May be there are two varaints when we do not return list_head
but fa:

- "insert before": find a place to "insert before" else add in tail

- "insert after": find a place to "insert after" else add in top

        but as fib_find_alias is used also for deletion I do
not think we have many choices, we return the node to insert
before, as in the comment.

> head of the list which is also correct since fa must've been the
> first element in the list.
> >> +                               break;
> >>                         prev_fa = fa;
> >> +                       if (fa->fa_tos > tos)
> >> +                               continue;
> >>                         if (prio <= fa->fa_info->fib_priority)
> >>                                 break;
> >
> >        here if fa is the last one it is wrong to return prev_fa!=NULL,
> > we need to return NULL (append) because we have to append
> > new entry in our subchain (which is last in this case).
> I still haven't figured out what you mean here, but I've found a bug :)
> When prio < fa->fa_info->fib_priority, this returns the wrong entry.

        Yes, this is one of the original problems :) If you have the
kernel running you can try the posted test script.

> > - the return value should be used in this way: if NULL then we have
> > to append the new entry at end of list. Else, it is a fa with
> Not quite.  If it's NULL we add it at the *head* of the list.  We
> call list_add and not list_add_tail.  Actually your patch changes the
> list_add call to list_add_tail so your comment would be correct if your
> patch had been applied :)

        It seems there are too many wishes currently in fib_find_alias.
list_add can be used for "insert after" but fa is declared to be for
"insert before fa". I think, fib_find_alias was originally designed
to be used for "insert before fa".

> > fa_tos<desired_TOS || (fa_tos==desired_TOS && fib_priority >= desired PRIO)
> > We are going to insert the new entry before this fa (even if it is
> > not exact match, even if it is from next subchain). Saying it in
> > another way: use append only if there is no place to insert.
> Again this is only true if we apply your patch.  As it is find_alias
> returns (and is expected to return) the entry *before* where the new
> entry should be added.

        Yes, "insert before fa", then why list_add is used?

> Whether it *should* be before or after is obviously a deep philosophical
> question :)
> So here are two patches to fix the fib_priority problem.  The first one
> returns the entry before as we do now while the second one returns the
> entry afterwards.
> Actually, I just noticed that this philosophical question does have
> practical implications :) The list_for_each_entry_continue() loop in
> fn_hash_delete will fail if fa is the entry before the correct position.

        There are simply no alternatives :) I'm attaching version
with TOS ordering for review.

> Therefore I withdraw my endorsement for the "entry before" interpretation :)
> So patch 1 is only present for review purposes, please don't apply it.
> Patch 2 is good as far as I can see.  So,

        return fa in loop

> Signed-off-by: Herbert Xu <herbert@xxxxxxxxxxxxxxxxxxx>
> Cheers,


Julian Anastasov <ja@xxxxxx>

Attachment: fib_ins3.diff
Description: fib_alias ordered by TOS

<Prev in Thread] Current Thread [Next in Thread>