ipv6: Start path selection from the first nexthop

Cited commit transitioned IPv6 path selection to use hash-threshold
instead of modulo-N. With hash-threshold, each nexthop is assigned a
region boundary in the multipath hash function's output space and a
nexthop is chosen if the calculated hash is smaller than the nexthop's
region boundary.

Hash-threshold does not work correctly if path selection does not start
with the first nexthop. For example, if fib6_select_path() is always
passed the last nexthop in the group, then it will always be chosen
because its region boundary covers the entire hash function's output
space.

Fix this by starting the selection process from the first nexthop and do
not consider nexthops for which rt6_score_route() provided a negative
score.

Fixes: 3d709f69a3e7 ("ipv6: Use hash-threshold instead of modulo-N")
Reported-by: Stanislav Fomichev <stfomichev@gmail.com>
Closes: https://lore.kernel.org/netdev/Z9RIyKZDNoka53EO@mini-arch/
Signed-off-by: Ido Schimmel <idosch@nvidia.com>
Link: https://patch.msgid.link/20250402114224.293392-2-idosch@nvidia.com
Signed-off-by: Jakub Kicinski <kuba@kernel.org>

diff --git a/net/ipv6/route.c b/net/ipv6/route.c
index c3406a0d45bd9dc69b5bb4564352cbf62ede49d8..864f0002034becaeab55eef6b993268b3d60f52d 100644 (file)
--- a/net/ipv6/route.c
+++ b/net/ipv6/route.c
@@ -412,11 +412,35 @@ static bool rt6_check_expired(const struct rt6_info *rt)
        return false;
 }
 
+static struct fib6_info *
+rt6_multipath_first_sibling_rcu(const struct fib6_info *rt)
+{
+       struct fib6_info *iter;
+       struct fib6_node *fn;
+
+       fn = rcu_dereference(rt->fib6_node);
+       if (!fn)
+               goto out;
+       iter = rcu_dereference(fn->leaf);
+       if (!iter)
+               goto out;
+
+       while (iter) {
+               if (iter->fib6_metric == rt->fib6_metric &&
+                   rt6_qualify_for_ecmp(iter))
+                       return iter;
+               iter = rcu_dereference(iter->fib6_next);
+       }
+
+out:
+       return NULL;
+}
+
 void fib6_select_path(const struct net *net, struct fib6_result *res,
                      struct flowi6 *fl6, int oif, bool have_oif_match,
                      const struct sk_buff *skb, int strict)
 {
-       struct fib6_info *match = res->f6i;
+       struct fib6_info *first, *match = res->f6i;
        struct fib6_info *sibling;
 
        if (!match->nh && (!match->fib6_nsiblings || have_oif_match))
@@ -440,10 +464,18 @@ void fib6_select_path(const struct net *net, struct fib6_result *res,
                return;
        }
 
-       if (fl6->mp_hash <= atomic_read(&match->fib6_nh->fib_nh_upper_bound))
+       first = rt6_multipath_first_sibling_rcu(match);
+       if (!first)
                goto out;
 
-       list_for_each_entry_rcu(sibling, &match->fib6_siblings,
+       if (fl6->mp_hash <= atomic_read(&first->fib6_nh->fib_nh_upper_bound) &&
+           rt6_score_route(first->fib6_nh, first->fib6_flags, oif,
+                           strict) >= 0) {
+               match = first;
+               goto out;
+       }
+
+       list_for_each_entry_rcu(sibling, &first->fib6_siblings,
                                fib6_siblings) {
                const struct fib6_nh *nh = sibling->fib6_nh;
                int nh_upper_bound;