blob: ff0c24371e3309b3068980f46d1ed743337d2a3e [file] [log] [blame]
Thomas Gleixner2874c5f2019-05-27 08:55:01 +02001// SPDX-License-Identifier: GPL-2.0-or-later
Robert Olsson19baf832005-06-21 12:43:18 -07002/*
Robert Olsson19baf832005-06-21 12:43:18 -07003 *
4 * Robert Olsson <robert.olsson@its.uu.se> Uppsala Universitet
5 * & Swedish University of Agricultural Sciences.
6 *
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +09007 * Jens Laas <jens.laas@data.slu.se> Swedish University of
Robert Olsson19baf832005-06-21 12:43:18 -07008 * Agricultural Sciences.
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +09009 *
Robert Olsson19baf832005-06-21 12:43:18 -070010 * Hans Liss <hans.liss@its.uu.se> Uppsala Universitet
11 *
Lucas De Marchi25985ed2011-03-30 22:57:33 -030012 * This work is based on the LPC-trie which is originally described in:
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +090013 *
Robert Olsson19baf832005-06-21 12:43:18 -070014 * An experimental study of compression methods for dynamic tries
15 * Stefan Nilsson and Matti Tikkanen. Algorithmica, 33(1):19-33, 2002.
Justin P. Mattock631dd1a2010-10-18 11:03:14 +020016 * http://www.csc.kth.se/~snilsson/software/dyntrie2/
Robert Olsson19baf832005-06-21 12:43:18 -070017 *
Robert Olsson19baf832005-06-21 12:43:18 -070018 * IP-address lookup using LC-tries. Stefan Nilsson and Gunnar Karlsson
19 * IEEE Journal on Selected Areas in Communications, 17(6):1083-1092, June 1999
20 *
Robert Olsson19baf832005-06-21 12:43:18 -070021 * Code from fib_hash has been reused which includes the following header:
22 *
Robert Olsson19baf832005-06-21 12:43:18 -070023 * INET An implementation of the TCP/IP protocol suite for the LINUX
24 * operating system. INET is implemented using the BSD Socket
25 * interface as the means of communication with the user level.
26 *
27 * IPv4 FIB: lookup engine and maintenance routines.
28 *
Robert Olsson19baf832005-06-21 12:43:18 -070029 * Authors: Alexey Kuznetsov, <kuznet@ms2.inr.ac.ru>
30 *
Robert Olssonfd966252005-12-22 11:25:10 -080031 * Substantial contributions to this work comes from:
32 *
33 * David S. Miller, <davem@davemloft.net>
34 * Stephen Hemminger <shemminger@osdl.org>
35 * Paul E. McKenney <paulmck@us.ibm.com>
36 * Patrick McHardy <kaber@trash.net>
Robert Olsson19baf832005-06-21 12:43:18 -070037 */
38
Jens Låås80b71b82009-08-28 23:57:15 -070039#define VERSION "0.409"
Robert Olsson19baf832005-06-21 12:43:18 -070040
Alexey Dobriyan08009a72018-02-24 21:20:33 +030041#include <linux/cache.h>
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080042#include <linux/uaccess.h>
Jiri Slaby1977f032007-10-18 23:40:25 -070043#include <linux/bitops.h>
Robert Olsson19baf832005-06-21 12:43:18 -070044#include <linux/types.h>
45#include <linux/kernel.h>
Robert Olsson19baf832005-06-21 12:43:18 -070046#include <linux/mm.h>
47#include <linux/string.h>
48#include <linux/socket.h>
49#include <linux/sockios.h>
50#include <linux/errno.h>
51#include <linux/in.h>
52#include <linux/inet.h>
Stephen Hemmingercd8787a2006-01-03 14:38:34 -080053#include <linux/inetdevice.h>
Robert Olsson19baf832005-06-21 12:43:18 -070054#include <linux/netdevice.h>
55#include <linux/if_arp.h>
56#include <linux/proc_fs.h>
Robert Olsson2373ce12005-08-25 13:01:29 -070057#include <linux/rcupdate.h>
Robert Olsson19baf832005-06-21 12:43:18 -070058#include <linux/skbuff.h>
59#include <linux/netlink.h>
60#include <linux/init.h>
61#include <linux/list.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090062#include <linux/slab.h>
Paul Gortmakerbc3b2d72011-07-15 11:47:34 -040063#include <linux/export.h>
David S. Millerffa915d2015-05-27 00:19:03 -040064#include <linux/vmalloc.h>
Jiri Pirkob90eb752016-09-26 12:52:29 +020065#include <linux/notifier.h>
Eric W. Biederman457c4cb2007-09-12 12:01:34 +020066#include <net/net_namespace.h>
Robert Olsson19baf832005-06-21 12:43:18 -070067#include <net/ip.h>
68#include <net/protocol.h>
69#include <net/route.h>
70#include <net/tcp.h>
71#include <net/sock.h>
72#include <net/ip_fib.h>
Ido Schimmel04b1d4e2017-08-03 13:28:11 +020073#include <net/fib_notifier.h>
David Ahernf6d3c192015-08-28 08:42:09 -070074#include <trace/events/fib.h>
Robert Olsson19baf832005-06-21 12:43:18 -070075#include "fib_lookup.h"
76
Jiri Pirko7c550da2019-10-03 11:49:27 +020077static int call_fib_entry_notifier(struct notifier_block *nb,
Ido Schimmelc3852ef2016-12-03 16:45:07 +010078 enum fib_event_type event_type, u32 dst,
Jiri Pirkob7a59552019-10-03 11:49:30 +020079 int dst_len, struct fib_alias *fa,
80 struct netlink_ext_ack *extack)
Ido Schimmelc3852ef2016-12-03 16:45:07 +010081{
82 struct fib_entry_notifier_info info = {
Jiri Pirkob7a59552019-10-03 11:49:30 +020083 .info.extack = extack,
Ido Schimmelc3852ef2016-12-03 16:45:07 +010084 .dst = dst,
85 .dst_len = dst_len,
David Ahern6eba87c2017-10-18 11:39:13 -070086 .fi = fa->fa_info,
87 .tos = fa->fa_tos,
88 .type = fa->fa_type,
89 .tb_id = fa->tb_id,
Ido Schimmelc3852ef2016-12-03 16:45:07 +010090 };
Jiri Pirko7c550da2019-10-03 11:49:27 +020091 return call_fib4_notifier(nb, event_type, &info.info);
Ido Schimmelc3852ef2016-12-03 16:45:07 +010092}
93
Jiri Pirkob90eb752016-09-26 12:52:29 +020094static int call_fib_entry_notifiers(struct net *net,
95 enum fib_event_type event_type, u32 dst,
David Ahern6c31e5a2017-10-27 17:37:13 -070096 int dst_len, struct fib_alias *fa,
97 struct netlink_ext_ack *extack)
Jiri Pirkob90eb752016-09-26 12:52:29 +020098{
99 struct fib_entry_notifier_info info = {
David Ahern6c31e5a2017-10-27 17:37:13 -0700100 .info.extack = extack,
Jiri Pirkob90eb752016-09-26 12:52:29 +0200101 .dst = dst,
102 .dst_len = dst_len,
David Ahern6eba87c2017-10-18 11:39:13 -0700103 .fi = fa->fa_info,
104 .tos = fa->fa_tos,
105 .type = fa->fa_type,
106 .tb_id = fa->tb_id,
Jiri Pirkob90eb752016-09-26 12:52:29 +0200107 };
Ido Schimmel04b1d4e2017-08-03 13:28:11 +0200108 return call_fib4_notifiers(net, event_type, &info.info);
Jiri Pirkob90eb752016-09-26 12:52:29 +0200109}
110
Robert Olsson06ef9212006-03-20 21:35:01 -0800111#define MAX_STAT_DEPTH 32
Robert Olsson19baf832005-06-21 12:43:18 -0700112
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800113#define KEYLENGTH (8*sizeof(t_key))
114#define KEY_MAX ((t_key)~0)
Robert Olsson19baf832005-06-21 12:43:18 -0700115
Robert Olsson19baf832005-06-21 12:43:18 -0700116typedef unsigned int t_key;
117
Alexander Duyck88bae712015-03-06 09:54:52 -0800118#define IS_TRIE(n) ((n)->pos >= KEYLENGTH)
119#define IS_TNODE(n) ((n)->bits)
120#define IS_LEAF(n) (!(n)->bits)
Robert Olsson2373ce12005-08-25 13:01:29 -0700121
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800122struct key_vector {
Alexander Duyck41b489f2015-03-04 15:02:33 -0800123 t_key key;
124 unsigned char pos; /* 2log(KEYLENGTH) bits needed */
125 unsigned char bits; /* 2log(KEYLENGTH) bits needed */
126 unsigned char slen;
Alexander Duyckadaf9812014-12-31 10:55:47 -0800127 union {
Alexander Duyck41b489f2015-03-04 15:02:33 -0800128 /* This list pointer if valid if (pos | bits) == 0 (LEAF) */
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800129 struct hlist_head leaf;
Alexander Duyck41b489f2015-03-04 15:02:33 -0800130 /* This array is valid if (pos | bits) > 0 (TNODE) */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800131 struct key_vector __rcu *tnode[0];
Alexander Duyckadaf9812014-12-31 10:55:47 -0800132 };
Robert Olsson19baf832005-06-21 12:43:18 -0700133};
134
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800135struct tnode {
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800136 struct rcu_head rcu;
Alexander Duyck6e22d172015-03-06 09:54:39 -0800137 t_key empty_children; /* KEYLENGTH bits needed */
138 t_key full_children; /* KEYLENGTH bits needed */
Alexander Duyckf23e59f2015-03-06 09:54:46 -0800139 struct key_vector __rcu *parent;
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800140 struct key_vector kv[1];
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800141#define tn_bits kv[0].bits
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800142};
143
144#define TNODE_SIZE(n) offsetof(struct tnode, kv[0].tnode[n])
Alexander Duyck41b489f2015-03-04 15:02:33 -0800145#define LEAF_SIZE TNODE_SIZE(1)
146
Robert Olsson19baf832005-06-21 12:43:18 -0700147#ifdef CONFIG_IP_FIB_TRIE_STATS
148struct trie_use_stats {
149 unsigned int gets;
150 unsigned int backtrack;
151 unsigned int semantic_match_passed;
152 unsigned int semantic_match_miss;
153 unsigned int null_node_hit;
Robert Olsson2f368952005-07-05 15:02:40 -0700154 unsigned int resize_node_skipped;
Robert Olsson19baf832005-06-21 12:43:18 -0700155};
156#endif
157
158struct trie_stat {
159 unsigned int totdepth;
160 unsigned int maxdepth;
161 unsigned int tnodes;
162 unsigned int leaves;
163 unsigned int nullpointers;
Stephen Hemminger93672292008-01-22 21:54:05 -0800164 unsigned int prefixes;
Robert Olsson06ef9212006-03-20 21:35:01 -0800165 unsigned int nodesizes[MAX_STAT_DEPTH];
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700166};
Robert Olsson19baf832005-06-21 12:43:18 -0700167
168struct trie {
Alexander Duyck88bae712015-03-06 09:54:52 -0800169 struct key_vector kv[1];
Robert Olsson19baf832005-06-21 12:43:18 -0700170#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8274a972014-12-31 10:55:29 -0800171 struct trie_use_stats __percpu *stats;
Robert Olsson19baf832005-06-21 12:43:18 -0700172#endif
Robert Olsson19baf832005-06-21 12:43:18 -0700173};
174
Alexander Duyck88bae712015-03-06 09:54:52 -0800175static struct key_vector *resize(struct trie *t, struct key_vector *tn);
David Ahern9ab948a2019-03-20 09:18:59 -0700176static unsigned int tnode_free_size;
Jarek Poplawskic3059472009-07-14 08:33:08 +0000177
178/*
David Ahern9ab948a2019-03-20 09:18:59 -0700179 * synchronize_rcu after call_rcu for outstanding dirty memory; it should be
180 * especially useful before resizing the root node with PREEMPT_NONE configs;
181 * the value was obtained experimentally, aiming to avoid visible slowdown.
Jarek Poplawskic3059472009-07-14 08:33:08 +0000182 */
David Ahern9ab948a2019-03-20 09:18:59 -0700183unsigned int sysctl_fib_sync_mem = 512 * 1024;
184unsigned int sysctl_fib_sync_mem_min = 64 * 1024;
185unsigned int sysctl_fib_sync_mem_max = 64 * 1024 * 1024;
Robert Olsson19baf832005-06-21 12:43:18 -0700186
Alexey Dobriyan08009a72018-02-24 21:20:33 +0300187static struct kmem_cache *fn_alias_kmem __ro_after_init;
188static struct kmem_cache *trie_leaf_kmem __ro_after_init;
Robert Olsson19baf832005-06-21 12:43:18 -0700189
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800190static inline struct tnode *tn_info(struct key_vector *kv)
191{
192 return container_of(kv, struct tnode, kv[0]);
193}
194
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800195/* caller must hold RTNL */
Alexander Duyckf23e59f2015-03-06 09:54:46 -0800196#define node_parent(tn) rtnl_dereference(tn_info(tn)->parent)
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800197#define get_child(tn, i) rtnl_dereference((tn)->tnode[i])
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700198
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800199/* caller must hold RCU read lock or RTNL */
Alexander Duyckf23e59f2015-03-06 09:54:46 -0800200#define node_parent_rcu(tn) rcu_dereference_rtnl(tn_info(tn)->parent)
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800201#define get_child_rcu(tn, i) rcu_dereference_rtnl((tn)->tnode[i])
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700202
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800203/* wrapper for rcu_assign_pointer */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800204static inline void node_set_parent(struct key_vector *n, struct key_vector *tp)
Stephen Hemminger06801912007-08-10 15:22:13 -0700205{
Alexander Duyckadaf9812014-12-31 10:55:47 -0800206 if (n)
Alexander Duyckf23e59f2015-03-06 09:54:46 -0800207 rcu_assign_pointer(tn_info(n)->parent, tp);
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800208}
209
Alexander Duyckf23e59f2015-03-06 09:54:46 -0800210#define NODE_INIT_PARENT(n, p) RCU_INIT_POINTER(tn_info(n)->parent, p)
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800211
212/* This provides us with the number of children in this node, in the case of a
213 * leaf this will return 0 meaning none of the children are accessible.
214 */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800215static inline unsigned long child_length(const struct key_vector *tn)
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800216{
217 return (1ul << tn->bits) & ~(1ul);
Stephen Hemminger06801912007-08-10 15:22:13 -0700218}
Robert Olsson2373ce12005-08-25 13:01:29 -0700219
Alexander Duyck88bae712015-03-06 09:54:52 -0800220#define get_cindex(key, kv) (((key) ^ (kv)->key) >> (kv)->pos)
221
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800222static inline unsigned long get_index(t_key key, struct key_vector *kv)
223{
224 unsigned long index = key ^ kv->key;
225
Alexander Duyck88bae712015-03-06 09:54:52 -0800226 if ((BITS_PER_LONG <= KEYLENGTH) && (KEYLENGTH == kv->pos))
227 return 0;
228
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800229 return index >> kv->pos;
230}
231
Alexander Duycke9b44012014-12-31 10:56:12 -0800232/* To understand this stuff, an understanding of keys and all their bits is
233 * necessary. Every node in the trie has a key associated with it, but not
234 * all of the bits in that key are significant.
235 *
236 * Consider a node 'n' and its parent 'tp'.
237 *
238 * If n is a leaf, every bit in its key is significant. Its presence is
239 * necessitated by path compression, since during a tree traversal (when
240 * searching for a leaf - unless we are doing an insertion) we will completely
241 * ignore all skipped bits we encounter. Thus we need to verify, at the end of
242 * a potentially successful search, that we have indeed been walking the
243 * correct key path.
244 *
245 * Note that we can never "miss" the correct key in the tree if present by
246 * following the wrong path. Path compression ensures that segments of the key
247 * that are the same for all keys with a given prefix are skipped, but the
248 * skipped part *is* identical for each node in the subtrie below the skipped
249 * bit! trie_insert() in this implementation takes care of that.
250 *
251 * if n is an internal node - a 'tnode' here, the various parts of its key
252 * have many different meanings.
253 *
254 * Example:
255 * _________________________________________________________________
256 * | i | i | i | i | i | i | i | N | N | N | S | S | S | S | S | C |
257 * -----------------------------------------------------------------
258 * 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16
259 *
260 * _________________________________________________________________
261 * | C | C | C | u | u | u | u | u | u | u | u | u | u | u | u | u |
262 * -----------------------------------------------------------------
263 * 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
264 *
265 * tp->pos = 22
266 * tp->bits = 3
267 * n->pos = 13
268 * n->bits = 4
269 *
270 * First, let's just ignore the bits that come before the parent tp, that is
271 * the bits from (tp->pos + tp->bits) to 31. They are *known* but at this
272 * point we do not use them for anything.
273 *
274 * The bits from (tp->pos) to (tp->pos + tp->bits - 1) - "N", above - are the
275 * index into the parent's child array. That is, they will be used to find
276 * 'n' among tp's children.
277 *
Xunlei Pang98a384e2016-08-18 12:33:28 +0800278 * The bits from (n->pos + n->bits) to (tp->pos - 1) - "S" - are skipped bits
Alexander Duycke9b44012014-12-31 10:56:12 -0800279 * for the node n.
280 *
281 * All the bits we have seen so far are significant to the node n. The rest
282 * of the bits are really not needed or indeed known in n->key.
283 *
284 * The bits from (n->pos) to (n->pos + n->bits - 1) - "C" - are the index into
285 * n's child array, and will of course be different for each child.
286 *
Xunlei Pang98a384e2016-08-18 12:33:28 +0800287 * The rest of the bits, from 0 to (n->pos -1) - "u" - are completely unknown
Alexander Duycke9b44012014-12-31 10:56:12 -0800288 * at this point.
289 */
Robert Olsson19baf832005-06-21 12:43:18 -0700290
Denis V. Lunevf5026fa2007-12-13 09:47:57 -0800291static const int halve_threshold = 25;
292static const int inflate_threshold = 50;
Jarek Poplawski345aa032009-07-07 19:39:16 -0700293static const int halve_threshold_root = 15;
Jens Låås80b71b82009-08-28 23:57:15 -0700294static const int inflate_threshold_root = 30;
Robert Olsson2373ce12005-08-25 13:01:29 -0700295
296static void __alias_free_mem(struct rcu_head *head)
297{
298 struct fib_alias *fa = container_of(head, struct fib_alias, rcu);
299 kmem_cache_free(fn_alias_kmem, fa);
300}
301
302static inline void alias_free_mem_rcu(struct fib_alias *fa)
303{
304 call_rcu(&fa->rcu, __alias_free_mem);
305}
306
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800307#define TNODE_KMALLOC_MAX \
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800308 ilog2((PAGE_SIZE - TNODE_SIZE(0)) / sizeof(struct key_vector *))
Alexander Duyck1de3d872015-03-04 15:04:46 -0800309#define TNODE_VMALLOC_MAX \
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800310 ilog2((SIZE_MAX - TNODE_SIZE(0)) / sizeof(struct key_vector *))
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800311
312static void __node_free_rcu(struct rcu_head *head)
Robert Olsson2373ce12005-08-25 13:01:29 -0700313{
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800314 struct tnode *n = container_of(head, struct tnode, rcu);
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800315
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800316 if (!n->tn_bits)
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800317 kmem_cache_free(trie_leaf_kmem, n);
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800318 else
Tetsuo Handa1d5cfdb2016-01-22 15:11:02 -0800319 kvfree(n);
Robert Olsson2373ce12005-08-25 13:01:29 -0700320}
321
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800322#define node_free(n) call_rcu(&tn_info(n)->rcu, __node_free_rcu)
Stephen Hemminger387a5482008-04-10 03:47:34 -0700323
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800324static struct tnode *tnode_alloc(int bits)
Robert Olsson2373ce12005-08-25 13:01:29 -0700325{
Alexander Duyck1de3d872015-03-04 15:04:46 -0800326 size_t size;
327
328 /* verify bits is within bounds */
329 if (bits > TNODE_VMALLOC_MAX)
330 return NULL;
331
332 /* determine size and verify it is non-zero and didn't overflow */
333 size = TNODE_SIZE(1ul << bits);
334
Robert Olsson2373ce12005-08-25 13:01:29 -0700335 if (size <= PAGE_SIZE)
Eric Dumazet8d9654442008-01-13 22:31:44 -0800336 return kzalloc(size, GFP_KERNEL);
Stephen Hemminger15be75c2008-04-10 02:56:38 -0700337 else
Eric Dumazet7a1c8e52010-11-20 07:46:35 +0000338 return vzalloc(size);
Stephen Hemminger15be75c2008-04-10 02:56:38 -0700339}
Robert Olsson2373ce12005-08-25 13:01:29 -0700340
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800341static inline void empty_child_inc(struct key_vector *n)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800342{
Matthias Kaehlcke25cec752019-06-18 14:14:40 -0700343 tn_info(n)->empty_children++;
344
345 if (!tn_info(n)->empty_children)
346 tn_info(n)->full_children++;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800347}
348
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800349static inline void empty_child_dec(struct key_vector *n)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800350{
Matthias Kaehlcke25cec752019-06-18 14:14:40 -0700351 if (!tn_info(n)->empty_children)
352 tn_info(n)->full_children--;
353
354 tn_info(n)->empty_children--;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800355}
356
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800357static struct key_vector *leaf_new(t_key key, struct fib_alias *fa)
Robert Olsson19baf832005-06-21 12:43:18 -0700358{
Firo Yangf38b24c2015-06-08 11:54:51 +0800359 struct key_vector *l;
360 struct tnode *kv;
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800361
Firo Yangf38b24c2015-06-08 11:54:51 +0800362 kv = kmem_cache_alloc(trie_leaf_kmem, GFP_KERNEL);
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800363 if (!kv)
364 return NULL;
365
366 /* initialize key vector */
Firo Yangf38b24c2015-06-08 11:54:51 +0800367 l = kv->kv;
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800368 l->key = key;
369 l->pos = 0;
370 l->bits = 0;
371 l->slen = fa->fa_slen;
372
373 /* link leaf to fib alias */
374 INIT_HLIST_HEAD(&l->leaf);
375 hlist_add_head(&fa->fa_list, &l->leaf);
376
Robert Olsson19baf832005-06-21 12:43:18 -0700377 return l;
378}
379
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800380static struct key_vector *tnode_new(t_key key, int pos, int bits)
Robert Olsson19baf832005-06-21 12:43:18 -0700381{
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800382 unsigned int shift = pos + bits;
Firo Yangf38b24c2015-06-08 11:54:51 +0800383 struct key_vector *tn;
384 struct tnode *tnode;
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800385
386 /* verify bits and pos their msb bits clear and values are valid */
387 BUG_ON(!bits || (shift > KEYLENGTH));
Robert Olsson19baf832005-06-21 12:43:18 -0700388
Firo Yangf38b24c2015-06-08 11:54:51 +0800389 tnode = tnode_alloc(bits);
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800390 if (!tnode)
391 return NULL;
392
Firo Yangf38b24c2015-06-08 11:54:51 +0800393 pr_debug("AT %p s=%zu %zu\n", tnode, TNODE_SIZE(0),
394 sizeof(struct key_vector *) << bits);
395
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800396 if (bits == KEYLENGTH)
Alexander Duyck6e22d172015-03-06 09:54:39 -0800397 tnode->full_children = 1;
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800398 else
Alexander Duyck6e22d172015-03-06 09:54:39 -0800399 tnode->empty_children = 1ul << bits;
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800400
Firo Yangf38b24c2015-06-08 11:54:51 +0800401 tn = tnode->kv;
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800402 tn->key = (shift < KEYLENGTH) ? (key >> shift) << shift : 0;
403 tn->pos = pos;
404 tn->bits = bits;
405 tn->slen = pos;
406
Robert Olsson19baf832005-06-21 12:43:18 -0700407 return tn;
408}
409
Alexander Duycke9b44012014-12-31 10:56:12 -0800410/* Check whether a tnode 'n' is "full", i.e. it is an internal node
Robert Olsson19baf832005-06-21 12:43:18 -0700411 * and no bits are skipped. See discussion in dyntree paper p. 6
412 */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800413static inline int tnode_full(struct key_vector *tn, struct key_vector *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700414{
Alexander Duycke9b44012014-12-31 10:56:12 -0800415 return n && ((n->pos + n->bits) == tn->pos) && IS_TNODE(n);
Robert Olsson19baf832005-06-21 12:43:18 -0700416}
417
Alexander Duyckff181ed2014-12-31 10:56:43 -0800418/* Add a child at position i overwriting the old value.
419 * Update the value of full_children and empty_children.
420 */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800421static void put_child(struct key_vector *tn, unsigned long i,
422 struct key_vector *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700423{
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800424 struct key_vector *chi = get_child(tn, i);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800425 int isfull, wasfull;
Robert Olsson19baf832005-06-21 12:43:18 -0700426
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800427 BUG_ON(i >= child_length(tn));
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700428
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800429 /* update emptyChildren, overflow into fullChildren */
Ian Morris00db4122015-04-03 09:17:27 +0100430 if (!n && chi)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800431 empty_child_inc(tn);
Ian Morris00db4122015-04-03 09:17:27 +0100432 if (n && !chi)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800433 empty_child_dec(tn);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700434
Robert Olsson19baf832005-06-21 12:43:18 -0700435 /* update fullChildren */
Alexander Duyckff181ed2014-12-31 10:56:43 -0800436 wasfull = tnode_full(tn, chi);
Robert Olsson19baf832005-06-21 12:43:18 -0700437 isfull = tnode_full(tn, n);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800438
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700439 if (wasfull && !isfull)
Alexander Duyck6e22d172015-03-06 09:54:39 -0800440 tn_info(tn)->full_children--;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700441 else if (!wasfull && isfull)
Alexander Duyck6e22d172015-03-06 09:54:39 -0800442 tn_info(tn)->full_children++;
Olof Johansson91b9a272005-08-09 20:24:39 -0700443
Alexander Duyck5405afd2014-12-31 10:57:08 -0800444 if (n && (tn->slen < n->slen))
445 tn->slen = n->slen;
446
Alexander Duyck41b489f2015-03-04 15:02:33 -0800447 rcu_assign_pointer(tn->tnode[i], n);
Robert Olsson19baf832005-06-21 12:43:18 -0700448}
449
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800450static void update_children(struct key_vector *tn)
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800451{
452 unsigned long i;
453
454 /* update all of the child parent pointers */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800455 for (i = child_length(tn); i;) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800456 struct key_vector *inode = get_child(tn, --i);
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800457
458 if (!inode)
459 continue;
460
461 /* Either update the children of a tnode that
462 * already belongs to us or update the child
463 * to point to ourselves.
464 */
465 if (node_parent(inode) == tn)
466 update_children(inode);
467 else
468 node_set_parent(inode, tn);
469 }
470}
471
Alexander Duyck88bae712015-03-06 09:54:52 -0800472static inline void put_child_root(struct key_vector *tp, t_key key,
473 struct key_vector *n)
Alexander Duyck836a0122014-12-31 10:56:06 -0800474{
Alexander Duyck88bae712015-03-06 09:54:52 -0800475 if (IS_TRIE(tp))
476 rcu_assign_pointer(tp->tnode[0], n);
Alexander Duyck836a0122014-12-31 10:56:06 -0800477 else
Alexander Duyck88bae712015-03-06 09:54:52 -0800478 put_child(tp, get_index(key, tp), n);
Alexander Duyck836a0122014-12-31 10:56:06 -0800479}
480
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800481static inline void tnode_free_init(struct key_vector *tn)
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700482{
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800483 tn_info(tn)->rcu.next = NULL;
Alexander Duyckfc86a932014-12-31 10:56:49 -0800484}
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700485
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800486static inline void tnode_free_append(struct key_vector *tn,
487 struct key_vector *n)
Alexander Duyckfc86a932014-12-31 10:56:49 -0800488{
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800489 tn_info(n)->rcu.next = tn_info(tn)->rcu.next;
490 tn_info(tn)->rcu.next = &tn_info(n)->rcu;
Alexander Duyckfc86a932014-12-31 10:56:49 -0800491}
492
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800493static void tnode_free(struct key_vector *tn)
Alexander Duyckfc86a932014-12-31 10:56:49 -0800494{
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800495 struct callback_head *head = &tn_info(tn)->rcu;
Alexander Duyckfc86a932014-12-31 10:56:49 -0800496
497 while (head) {
498 head = head->next;
Alexander Duyck41b489f2015-03-04 15:02:33 -0800499 tnode_free_size += TNODE_SIZE(1ul << tn->bits);
Alexander Duyckfc86a932014-12-31 10:56:49 -0800500 node_free(tn);
501
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800502 tn = container_of(head, struct tnode, rcu)->kv;
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700503 }
Alexander Duyckfc86a932014-12-31 10:56:49 -0800504
David Ahern9ab948a2019-03-20 09:18:59 -0700505 if (tnode_free_size >= sysctl_fib_sync_mem) {
Alexander Duyckfc86a932014-12-31 10:56:49 -0800506 tnode_free_size = 0;
507 synchronize_rcu();
508 }
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700509}
510
Alexander Duyck88bae712015-03-06 09:54:52 -0800511static struct key_vector *replace(struct trie *t,
512 struct key_vector *oldtnode,
513 struct key_vector *tn)
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800514{
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800515 struct key_vector *tp = node_parent(oldtnode);
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800516 unsigned long i;
517
518 /* setup the parent pointer out of and back into this node */
519 NODE_INIT_PARENT(tn, tp);
Alexander Duyck88bae712015-03-06 09:54:52 -0800520 put_child_root(tp, tn->key, tn);
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800521
522 /* update all of the child parent pointers */
523 update_children(tn);
524
525 /* all pointers should be clean so we are done */
526 tnode_free(oldtnode);
527
528 /* resize children now that oldtnode is freed */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800529 for (i = child_length(tn); i;) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800530 struct key_vector *inode = get_child(tn, --i);
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800531
532 /* resize child node */
533 if (tnode_full(tn, inode))
Alexander Duyck88bae712015-03-06 09:54:52 -0800534 tn = resize(t, inode);
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800535 }
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800536
Alexander Duyck88bae712015-03-06 09:54:52 -0800537 return tp;
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800538}
539
Alexander Duyck88bae712015-03-06 09:54:52 -0800540static struct key_vector *inflate(struct trie *t,
541 struct key_vector *oldtnode)
Robert Olsson19baf832005-06-21 12:43:18 -0700542{
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800543 struct key_vector *tn;
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800544 unsigned long i;
Alexander Duycke9b44012014-12-31 10:56:12 -0800545 t_key m;
Robert Olsson19baf832005-06-21 12:43:18 -0700546
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700547 pr_debug("In inflate\n");
Robert Olsson19baf832005-06-21 12:43:18 -0700548
Alexander Duycke9b44012014-12-31 10:56:12 -0800549 tn = tnode_new(oldtnode->key, oldtnode->pos - 1, oldtnode->bits + 1);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700550 if (!tn)
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800551 goto notnode;
Robert Olsson2f368952005-07-05 15:02:40 -0700552
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800553 /* prepare oldtnode to be freed */
554 tnode_free_init(oldtnode);
555
Alexander Duyck12c081a2014-12-31 10:56:55 -0800556 /* Assemble all of the pointers in our cluster, in this case that
557 * represents all of the pointers out of our allocated nodes that
558 * point to existing tnodes and the links between our allocated
559 * nodes.
Robert Olsson2f368952005-07-05 15:02:40 -0700560 */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800561 for (i = child_length(oldtnode), m = 1u << tn->pos; i;) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800562 struct key_vector *inode = get_child(oldtnode, --i);
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800563 struct key_vector *node0, *node1;
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800564 unsigned long j, k;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700565
Robert Olsson19baf832005-06-21 12:43:18 -0700566 /* An empty child */
Ian Morris51456b22015-04-03 09:17:26 +0100567 if (!inode)
Robert Olsson19baf832005-06-21 12:43:18 -0700568 continue;
569
570 /* A leaf or an internal node with skipped bits */
Alexander Duyckadaf9812014-12-31 10:55:47 -0800571 if (!tnode_full(oldtnode, inode)) {
Alexander Duycke9b44012014-12-31 10:56:12 -0800572 put_child(tn, get_index(inode->key, tn), inode);
Robert Olsson19baf832005-06-21 12:43:18 -0700573 continue;
574 }
575
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800576 /* drop the node in the old tnode free list */
577 tnode_free_append(oldtnode, inode);
578
Robert Olsson19baf832005-06-21 12:43:18 -0700579 /* An internal node with two children */
Robert Olsson19baf832005-06-21 12:43:18 -0700580 if (inode->bits == 1) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800581 put_child(tn, 2 * i + 1, get_child(inode, 1));
582 put_child(tn, 2 * i, get_child(inode, 0));
Olof Johansson91b9a272005-08-09 20:24:39 -0700583 continue;
Robert Olsson19baf832005-06-21 12:43:18 -0700584 }
585
Olof Johansson91b9a272005-08-09 20:24:39 -0700586 /* We will replace this node 'inode' with two new
Alexander Duyck12c081a2014-12-31 10:56:55 -0800587 * ones, 'node0' and 'node1', each with half of the
Olof Johansson91b9a272005-08-09 20:24:39 -0700588 * original children. The two new nodes will have
589 * a position one bit further down the key and this
590 * means that the "significant" part of their keys
591 * (see the discussion near the top of this file)
592 * will differ by one bit, which will be "0" in
Alexander Duyck12c081a2014-12-31 10:56:55 -0800593 * node0's key and "1" in node1's key. Since we are
Olof Johansson91b9a272005-08-09 20:24:39 -0700594 * moving the key position by one step, the bit that
595 * we are moving away from - the bit at position
Alexander Duyck12c081a2014-12-31 10:56:55 -0800596 * (tn->pos) - is the one that will differ between
597 * node0 and node1. So... we synthesize that bit in the
598 * two new keys.
Olof Johansson91b9a272005-08-09 20:24:39 -0700599 */
Alexander Duyck12c081a2014-12-31 10:56:55 -0800600 node1 = tnode_new(inode->key | m, inode->pos, inode->bits - 1);
601 if (!node1)
602 goto nomem;
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800603 node0 = tnode_new(inode->key, inode->pos, inode->bits - 1);
Robert Olsson19baf832005-06-21 12:43:18 -0700604
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800605 tnode_free_append(tn, node1);
Alexander Duyck12c081a2014-12-31 10:56:55 -0800606 if (!node0)
607 goto nomem;
608 tnode_free_append(tn, node0);
Robert Olsson19baf832005-06-21 12:43:18 -0700609
Alexander Duyck12c081a2014-12-31 10:56:55 -0800610 /* populate child pointers in new nodes */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800611 for (k = child_length(inode), j = k / 2; j;) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800612 put_child(node1, --j, get_child(inode, --k));
613 put_child(node0, j, get_child(inode, j));
614 put_child(node1, --j, get_child(inode, --k));
615 put_child(node0, j, get_child(inode, j));
Robert Olsson19baf832005-06-21 12:43:18 -0700616 }
Alexander Duyckff181ed2014-12-31 10:56:43 -0800617
Alexander Duyck12c081a2014-12-31 10:56:55 -0800618 /* link new nodes to parent */
619 NODE_INIT_PARENT(node1, tn);
620 NODE_INIT_PARENT(node0, tn);
Olof Johansson91b9a272005-08-09 20:24:39 -0700621
Alexander Duyck12c081a2014-12-31 10:56:55 -0800622 /* link parent to nodes */
623 put_child(tn, 2 * i + 1, node1);
624 put_child(tn, 2 * i, node0);
Robert Olsson19baf832005-06-21 12:43:18 -0700625 }
Alexander Duyckff181ed2014-12-31 10:56:43 -0800626
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800627 /* setup the parent pointers into and out of this node */
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800628 return replace(t, oldtnode, tn);
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700629nomem:
Alexander Duyckfc86a932014-12-31 10:56:49 -0800630 /* all pointers should be clean so we are done */
631 tnode_free(tn);
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800632notnode:
633 return NULL;
Robert Olsson19baf832005-06-21 12:43:18 -0700634}
635
Alexander Duyck88bae712015-03-06 09:54:52 -0800636static struct key_vector *halve(struct trie *t,
637 struct key_vector *oldtnode)
Robert Olsson19baf832005-06-21 12:43:18 -0700638{
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800639 struct key_vector *tn;
Alexander Duyck12c081a2014-12-31 10:56:55 -0800640 unsigned long i;
Robert Olsson19baf832005-06-21 12:43:18 -0700641
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700642 pr_debug("In halve\n");
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700643
Alexander Duycke9b44012014-12-31 10:56:12 -0800644 tn = tnode_new(oldtnode->key, oldtnode->pos + 1, oldtnode->bits - 1);
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700645 if (!tn)
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800646 goto notnode;
Robert Olsson2f368952005-07-05 15:02:40 -0700647
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800648 /* prepare oldtnode to be freed */
649 tnode_free_init(oldtnode);
650
Alexander Duyck12c081a2014-12-31 10:56:55 -0800651 /* Assemble all of the pointers in our cluster, in this case that
652 * represents all of the pointers out of our allocated nodes that
653 * point to existing tnodes and the links between our allocated
654 * nodes.
Robert Olsson2f368952005-07-05 15:02:40 -0700655 */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800656 for (i = child_length(oldtnode); i;) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800657 struct key_vector *node1 = get_child(oldtnode, --i);
658 struct key_vector *node0 = get_child(oldtnode, --i);
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800659 struct key_vector *inode;
Robert Olsson2f368952005-07-05 15:02:40 -0700660
Alexander Duyck12c081a2014-12-31 10:56:55 -0800661 /* At least one of the children is empty */
662 if (!node1 || !node0) {
663 put_child(tn, i / 2, node1 ? : node0);
664 continue;
Robert Olsson2f368952005-07-05 15:02:40 -0700665 }
Robert Olsson2f368952005-07-05 15:02:40 -0700666
Alexander Duyck12c081a2014-12-31 10:56:55 -0800667 /* Two nonempty children */
668 inode = tnode_new(node0->key, oldtnode->pos, 1);
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800669 if (!inode)
670 goto nomem;
Alexander Duyck12c081a2014-12-31 10:56:55 -0800671 tnode_free_append(tn, inode);
672
673 /* initialize pointers out of node */
674 put_child(inode, 1, node1);
675 put_child(inode, 0, node0);
676 NODE_INIT_PARENT(inode, tn);
677
678 /* link parent to node */
679 put_child(tn, i / 2, inode);
Robert Olsson2f368952005-07-05 15:02:40 -0700680 }
Robert Olsson19baf832005-06-21 12:43:18 -0700681
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800682 /* setup the parent pointers into and out of this node */
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800683 return replace(t, oldtnode, tn);
684nomem:
685 /* all pointers should be clean so we are done */
686 tnode_free(tn);
687notnode:
688 return NULL;
Robert Olsson19baf832005-06-21 12:43:18 -0700689}
690
Alexander Duyck88bae712015-03-06 09:54:52 -0800691static struct key_vector *collapse(struct trie *t,
692 struct key_vector *oldtnode)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800693{
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800694 struct key_vector *n, *tp;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800695 unsigned long i;
696
697 /* scan the tnode looking for that one child that might still exist */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800698 for (n = NULL, i = child_length(oldtnode); !n && i;)
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800699 n = get_child(oldtnode, --i);
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800700
701 /* compress one level */
702 tp = node_parent(oldtnode);
Alexander Duyck88bae712015-03-06 09:54:52 -0800703 put_child_root(tp, oldtnode->key, n);
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800704 node_set_parent(n, tp);
705
706 /* drop dead node */
707 node_free(oldtnode);
Alexander Duyck88bae712015-03-06 09:54:52 -0800708
709 return tp;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800710}
711
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800712static unsigned char update_suffix(struct key_vector *tn)
Alexander Duyck5405afd2014-12-31 10:57:08 -0800713{
714 unsigned char slen = tn->pos;
715 unsigned long stride, i;
Alexander Duycka52ca622016-12-01 07:27:57 -0500716 unsigned char slen_max;
717
718 /* only vector 0 can have a suffix length greater than or equal to
719 * tn->pos + tn->bits, the second highest node will have a suffix
720 * length at most of tn->pos + tn->bits - 1
721 */
722 slen_max = min_t(unsigned char, tn->pos + tn->bits - 1, tn->slen);
Alexander Duyck5405afd2014-12-31 10:57:08 -0800723
724 /* search though the list of children looking for nodes that might
725 * have a suffix greater than the one we currently have. This is
726 * why we start with a stride of 2 since a stride of 1 would
727 * represent the nodes with suffix length equal to tn->pos
728 */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800729 for (i = 0, stride = 0x2ul ; i < child_length(tn); i += stride) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800730 struct key_vector *n = get_child(tn, i);
Alexander Duyck5405afd2014-12-31 10:57:08 -0800731
732 if (!n || (n->slen <= slen))
733 continue;
734
735 /* update stride and slen based on new value */
736 stride <<= (n->slen - slen);
737 slen = n->slen;
738 i &= ~(stride - 1);
739
Alexander Duycka52ca622016-12-01 07:27:57 -0500740 /* stop searching if we have hit the maximum possible value */
741 if (slen >= slen_max)
Alexander Duyck5405afd2014-12-31 10:57:08 -0800742 break;
743 }
744
745 tn->slen = slen;
746
747 return slen;
748}
749
Alexander Duyckf05a4812014-12-31 10:56:37 -0800750/* From "Implementing a dynamic compressed trie" by Stefan Nilsson of
751 * the Helsinki University of Technology and Matti Tikkanen of Nokia
752 * Telecommunications, page 6:
753 * "A node is doubled if the ratio of non-empty children to all
754 * children in the *doubled* node is at least 'high'."
755 *
756 * 'high' in this instance is the variable 'inflate_threshold'. It
757 * is expressed as a percentage, so we multiply it with
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800758 * child_length() and instead of multiplying by 2 (since the
Alexander Duyckf05a4812014-12-31 10:56:37 -0800759 * child array will be doubled by inflate()) and multiplying
760 * the left-hand side by 100 (to handle the percentage thing) we
761 * multiply the left-hand side by 50.
762 *
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800763 * The left-hand side may look a bit weird: child_length(tn)
Alexander Duyckf05a4812014-12-31 10:56:37 -0800764 * - tn->empty_children is of course the number of non-null children
765 * in the current node. tn->full_children is the number of "full"
766 * children, that is non-null tnodes with a skip value of 0.
767 * All of those will be doubled in the resulting inflated tnode, so
768 * we just count them one extra time here.
769 *
770 * A clearer way to write this would be:
771 *
772 * to_be_doubled = tn->full_children;
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800773 * not_to_be_doubled = child_length(tn) - tn->empty_children -
Alexander Duyckf05a4812014-12-31 10:56:37 -0800774 * tn->full_children;
775 *
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800776 * new_child_length = child_length(tn) * 2;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800777 *
778 * new_fill_factor = 100 * (not_to_be_doubled + 2*to_be_doubled) /
779 * new_child_length;
780 * if (new_fill_factor >= inflate_threshold)
781 *
782 * ...and so on, tho it would mess up the while () loop.
783 *
784 * anyway,
785 * 100 * (not_to_be_doubled + 2*to_be_doubled) / new_child_length >=
786 * inflate_threshold
787 *
788 * avoid a division:
789 * 100 * (not_to_be_doubled + 2*to_be_doubled) >=
790 * inflate_threshold * new_child_length
791 *
792 * expand not_to_be_doubled and to_be_doubled, and shorten:
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800793 * 100 * (child_length(tn) - tn->empty_children +
Alexander Duyckf05a4812014-12-31 10:56:37 -0800794 * tn->full_children) >= inflate_threshold * new_child_length
795 *
796 * expand new_child_length:
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800797 * 100 * (child_length(tn) - tn->empty_children +
Alexander Duyckf05a4812014-12-31 10:56:37 -0800798 * tn->full_children) >=
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800799 * inflate_threshold * child_length(tn) * 2
Alexander Duyckf05a4812014-12-31 10:56:37 -0800800 *
801 * shorten again:
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800802 * 50 * (tn->full_children + child_length(tn) -
Alexander Duyckf05a4812014-12-31 10:56:37 -0800803 * tn->empty_children) >= inflate_threshold *
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800804 * child_length(tn)
Alexander Duyckf05a4812014-12-31 10:56:37 -0800805 *
806 */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800807static inline bool should_inflate(struct key_vector *tp, struct key_vector *tn)
Alexander Duyckf05a4812014-12-31 10:56:37 -0800808{
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800809 unsigned long used = child_length(tn);
Alexander Duyckf05a4812014-12-31 10:56:37 -0800810 unsigned long threshold = used;
811
812 /* Keep root node larger */
Alexander Duyck88bae712015-03-06 09:54:52 -0800813 threshold *= IS_TRIE(tp) ? inflate_threshold_root : inflate_threshold;
Alexander Duyck6e22d172015-03-06 09:54:39 -0800814 used -= tn_info(tn)->empty_children;
815 used += tn_info(tn)->full_children;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800816
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800817 /* if bits == KEYLENGTH then pos = 0, and will fail below */
818
819 return (used > 1) && tn->pos && ((50 * used) >= threshold);
Alexander Duyckf05a4812014-12-31 10:56:37 -0800820}
821
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800822static inline bool should_halve(struct key_vector *tp, struct key_vector *tn)
Alexander Duyckf05a4812014-12-31 10:56:37 -0800823{
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800824 unsigned long used = child_length(tn);
Alexander Duyckf05a4812014-12-31 10:56:37 -0800825 unsigned long threshold = used;
826
827 /* Keep root node larger */
Alexander Duyck88bae712015-03-06 09:54:52 -0800828 threshold *= IS_TRIE(tp) ? halve_threshold_root : halve_threshold;
Alexander Duyck6e22d172015-03-06 09:54:39 -0800829 used -= tn_info(tn)->empty_children;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800830
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800831 /* if bits == KEYLENGTH then used = 100% on wrap, and will fail below */
832
833 return (used > 1) && (tn->bits > 1) && ((100 * used) < threshold);
834}
835
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800836static inline bool should_collapse(struct key_vector *tn)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800837{
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800838 unsigned long used = child_length(tn);
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800839
Alexander Duyck6e22d172015-03-06 09:54:39 -0800840 used -= tn_info(tn)->empty_children;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800841
842 /* account for bits == KEYLENGTH case */
Alexander Duyck6e22d172015-03-06 09:54:39 -0800843 if ((tn->bits == KEYLENGTH) && tn_info(tn)->full_children)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800844 used -= KEY_MAX;
845
846 /* One child or none, time to drop us from the trie */
847 return used < 2;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800848}
849
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800850#define MAX_WORK 10
Alexander Duyck88bae712015-03-06 09:54:52 -0800851static struct key_vector *resize(struct trie *t, struct key_vector *tn)
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800852{
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800853#ifdef CONFIG_IP_FIB_TRIE_STATS
854 struct trie_use_stats __percpu *stats = t->stats;
855#endif
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800856 struct key_vector *tp = node_parent(tn);
Alexander Duyck88bae712015-03-06 09:54:52 -0800857 unsigned long cindex = get_index(tn->key, tp);
Alexander Duycka80e89d2015-01-22 15:51:20 -0800858 int max_work = MAX_WORK;
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800859
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800860 pr_debug("In tnode_resize %p inflate_threshold=%d threshold=%d\n",
861 tn, inflate_threshold, halve_threshold);
862
Alexander Duyckff181ed2014-12-31 10:56:43 -0800863 /* track the tnode via the pointer from the parent instead of
864 * doing it ourselves. This way we can let RCU fully do its
865 * thing without us interfering
866 */
Alexander Duyck88bae712015-03-06 09:54:52 -0800867 BUG_ON(tn != get_child(tp, cindex));
Alexander Duyckff181ed2014-12-31 10:56:43 -0800868
Alexander Duyckf05a4812014-12-31 10:56:37 -0800869 /* Double as long as the resulting node has a number of
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800870 * nonempty nodes that are above the threshold.
871 */
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700872 while (should_inflate(tp, tn) && max_work) {
Alexander Duyck88bae712015-03-06 09:54:52 -0800873 tp = inflate(t, tn);
874 if (!tp) {
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800875#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800876 this_cpu_inc(stats->resize_node_skipped);
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800877#endif
878 break;
879 }
Alexander Duyckff181ed2014-12-31 10:56:43 -0800880
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700881 max_work--;
Alexander Duyck88bae712015-03-06 09:54:52 -0800882 tn = get_child(tp, cindex);
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800883 }
884
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700885 /* update parent in case inflate failed */
886 tp = node_parent(tn);
887
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800888 /* Return if at least one inflate is run */
889 if (max_work != MAX_WORK)
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700890 return tp;
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800891
Alexander Duyckf05a4812014-12-31 10:56:37 -0800892 /* Halve as long as the number of empty children in this
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800893 * node is above threshold.
894 */
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700895 while (should_halve(tp, tn) && max_work) {
Alexander Duyck88bae712015-03-06 09:54:52 -0800896 tp = halve(t, tn);
897 if (!tp) {
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800898#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800899 this_cpu_inc(stats->resize_node_skipped);
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800900#endif
901 break;
902 }
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800903
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700904 max_work--;
Alexander Duyck88bae712015-03-06 09:54:52 -0800905 tn = get_child(tp, cindex);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800906 }
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800907
908 /* Only one child remains */
Alexander Duyck88bae712015-03-06 09:54:52 -0800909 if (should_collapse(tn))
910 return collapse(t, tn);
911
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700912 /* update parent in case halve failed */
Alexander Duycka52ca622016-12-01 07:27:57 -0500913 return node_parent(tn);
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800914}
915
Alexander Duyck1a239172016-12-01 07:27:52 -0500916static void node_pull_suffix(struct key_vector *tn, unsigned char slen)
Robert Olsson19baf832005-06-21 12:43:18 -0700917{
Alexander Duyck1a239172016-12-01 07:27:52 -0500918 unsigned char node_slen = tn->slen;
919
920 while ((node_slen > tn->pos) && (node_slen > slen)) {
921 slen = update_suffix(tn);
922 if (node_slen == slen)
Alexander Duyck5405afd2014-12-31 10:57:08 -0800923 break;
Alexander Duyck1a239172016-12-01 07:27:52 -0500924
925 tn = node_parent(tn);
926 node_slen = tn->slen;
Alexander Duyck5405afd2014-12-31 10:57:08 -0800927 }
928}
929
Alexander Duyck1a239172016-12-01 07:27:52 -0500930static void node_push_suffix(struct key_vector *tn, unsigned char slen)
Alexander Duyck5405afd2014-12-31 10:57:08 -0800931{
Alexander Duyck1a239172016-12-01 07:27:52 -0500932 while (tn->slen < slen) {
933 tn->slen = slen;
Alexander Duyck5405afd2014-12-31 10:57:08 -0800934 tn = node_parent(tn);
935 }
936}
937
Robert Olsson2373ce12005-08-25 13:01:29 -0700938/* rcu_read_lock needs to be hold by caller from readside */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800939static struct key_vector *fib_find_node(struct trie *t,
940 struct key_vector **tp, u32 key)
Robert Olsson19baf832005-06-21 12:43:18 -0700941{
Alexander Duyck88bae712015-03-06 09:54:52 -0800942 struct key_vector *pn, *n = t->kv;
943 unsigned long index = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700944
Alexander Duyck88bae712015-03-06 09:54:52 -0800945 do {
946 pn = n;
947 n = get_child_rcu(n, index);
948
949 if (!n)
950 break;
951
952 index = get_cindex(key, n);
Alexander Duyck939afb02014-12-31 10:56:00 -0800953
954 /* This bit of code is a bit tricky but it combines multiple
955 * checks into a single check. The prefix consists of the
956 * prefix plus zeros for the bits in the cindex. The index
957 * is the difference between the key and this value. From
958 * this we can actually derive several pieces of data.
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800959 * if (index >= (1ul << bits))
Alexander Duyck939afb02014-12-31 10:56:00 -0800960 * we have a mismatch in skip bits and failed
Alexander Duyckb3832112015-01-22 15:51:08 -0800961 * else
962 * we know the value is cindex
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800963 *
964 * This check is safe even if bits == KEYLENGTH due to the
965 * fact that we can only allocate a node with 32 bits if a
966 * long is greater than 32 bits.
Alexander Duyck939afb02014-12-31 10:56:00 -0800967 */
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800968 if (index >= (1ul << n->bits)) {
969 n = NULL;
970 break;
971 }
Alexander Duyck939afb02014-12-31 10:56:00 -0800972
Alexander Duyck88bae712015-03-06 09:54:52 -0800973 /* keep searching until we find a perfect match leaf or NULL */
974 } while (IS_TNODE(n));
Robert Olsson19baf832005-06-21 12:43:18 -0700975
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800976 *tp = pn;
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800977
Alexander Duyck939afb02014-12-31 10:56:00 -0800978 return n;
Robert Olsson19baf832005-06-21 12:43:18 -0700979}
980
Alexander Duyck02525362015-01-22 15:51:39 -0800981/* Return the first fib alias matching TOS with
982 * priority less than or equal to PRIO.
Ido Schimmelb5fc0432019-12-14 17:53:08 +0200983 * If 'find_first' is set, return the first matching
984 * fib alias, regardless of TOS and priority.
Alexander Duyck02525362015-01-22 15:51:39 -0800985 */
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800986static struct fib_alias *fib_find_alias(struct hlist_head *fah, u8 slen,
Ido Schimmelb5fc0432019-12-14 17:53:08 +0200987 u8 tos, u32 prio, u32 tb_id,
988 bool find_first)
Alexander Duyck02525362015-01-22 15:51:39 -0800989{
990 struct fib_alias *fa;
991
992 if (!fah)
993 return NULL;
994
Alexander Duyck56315f92015-02-25 15:31:31 -0800995 hlist_for_each_entry(fa, fah, fa_list) {
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800996 if (fa->fa_slen < slen)
997 continue;
998 if (fa->fa_slen != slen)
999 break;
Alexander Duyck0b65bd92015-03-12 14:46:29 -07001000 if (fa->tb_id > tb_id)
1001 continue;
1002 if (fa->tb_id != tb_id)
1003 break;
Ido Schimmelb5fc0432019-12-14 17:53:08 +02001004 if (find_first)
1005 return fa;
Alexander Duyck02525362015-01-22 15:51:39 -08001006 if (fa->fa_tos > tos)
1007 continue;
1008 if (fa->fa_info->fib_priority >= prio || fa->fa_tos < tos)
1009 return fa;
1010 }
1011
1012 return NULL;
1013}
1014
Ido Schimmel90b93f12020-01-14 13:23:11 +02001015static struct fib_alias *
1016fib_find_matching_alias(struct net *net, const struct fib_rt_info *fri)
1017{
1018 u8 slen = KEYLENGTH - fri->dst_len;
1019 struct key_vector *l, *tp;
1020 struct fib_table *tb;
1021 struct fib_alias *fa;
1022 struct trie *t;
1023
1024 tb = fib_get_table(net, fri->tb_id);
1025 if (!tb)
1026 return NULL;
1027
1028 t = (struct trie *)tb->tb_data;
1029 l = fib_find_node(t, &tp, be32_to_cpu(fri->dst));
1030 if (!l)
1031 return NULL;
1032
1033 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
1034 if (fa->fa_slen == slen && fa->tb_id == fri->tb_id &&
1035 fa->fa_tos == fri->tos && fa->fa_info == fri->fi &&
1036 fa->fa_type == fri->type)
1037 return fa;
1038 }
1039
1040 return NULL;
1041}
1042
1043void fib_alias_hw_flags_set(struct net *net, const struct fib_rt_info *fri)
1044{
1045 struct fib_alias *fa_match;
1046
1047 rcu_read_lock();
1048
1049 fa_match = fib_find_matching_alias(net, fri);
1050 if (!fa_match)
1051 goto out;
1052
1053 fa_match->offload = fri->offload;
1054 fa_match->trap = fri->trap;
1055
1056out:
1057 rcu_read_unlock();
1058}
1059EXPORT_SYMBOL_GPL(fib_alias_hw_flags_set);
1060
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001061static void trie_rebalance(struct trie *t, struct key_vector *tn)
Robert Olsson19baf832005-06-21 12:43:18 -07001062{
Alexander Duyck88bae712015-03-06 09:54:52 -08001063 while (!IS_TRIE(tn))
1064 tn = resize(t, tn);
Robert Olsson19baf832005-06-21 12:43:18 -07001065}
1066
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001067static int fib_insert_node(struct trie *t, struct key_vector *tp,
Alexander Duyckd5d64872015-03-04 15:02:18 -08001068 struct fib_alias *new, t_key key)
Robert Olsson19baf832005-06-21 12:43:18 -07001069{
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001070 struct key_vector *n, *l;
Alexander Duyck836a0122014-12-31 10:56:06 -08001071
Alexander Duyckd5d64872015-03-04 15:02:18 -08001072 l = leaf_new(key, new);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001073 if (!l)
Alexander Duyck8d8e8102015-03-06 09:54:02 -08001074 goto noleaf;
Alexander Duyckd5d64872015-03-04 15:02:18 -08001075
1076 /* retrieve child from parent node */
Alexander Duyck88bae712015-03-06 09:54:52 -08001077 n = get_child(tp, get_index(key, tp));
Alexander Duyck836a0122014-12-31 10:56:06 -08001078
1079 /* Case 2: n is a LEAF or a TNODE and the key doesn't match.
1080 *
1081 * Add a new tnode here
1082 * first tnode need some special handling
1083 * leaves us in position for handling as case 3
1084 */
1085 if (n) {
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001086 struct key_vector *tn;
Alexander Duyck836a0122014-12-31 10:56:06 -08001087
Alexander Duycke9b44012014-12-31 10:56:12 -08001088 tn = tnode_new(key, __fls(key ^ n->key), 1);
Alexander Duyck8d8e8102015-03-06 09:54:02 -08001089 if (!tn)
1090 goto notnode;
Olof Johansson91b9a272005-08-09 20:24:39 -07001091
Alexander Duyck836a0122014-12-31 10:56:06 -08001092 /* initialize routes out of node */
1093 NODE_INIT_PARENT(tn, tp);
1094 put_child(tn, get_index(key, tn) ^ 1, n);
Robert Olsson19baf832005-06-21 12:43:18 -07001095
Alexander Duyck836a0122014-12-31 10:56:06 -08001096 /* start adding routes into the node */
Alexander Duyck88bae712015-03-06 09:54:52 -08001097 put_child_root(tp, key, tn);
Alexander Duyck836a0122014-12-31 10:56:06 -08001098 node_set_parent(n, tn);
Robert Olsson19baf832005-06-21 12:43:18 -07001099
Alexander Duyck836a0122014-12-31 10:56:06 -08001100 /* parent now has a NULL spot where the leaf can go */
Alexander Duycke962f302014-12-10 21:49:22 -08001101 tp = tn;
Robert Olsson19baf832005-06-21 12:43:18 -07001102 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001103
Alexander Duyck836a0122014-12-31 10:56:06 -08001104 /* Case 3: n is NULL, and will just insert a new leaf */
Alexander Duycka52ca622016-12-01 07:27:57 -05001105 node_push_suffix(tp, new->fa_slen);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001106 NODE_INIT_PARENT(l, tp);
Alexander Duyck88bae712015-03-06 09:54:52 -08001107 put_child_root(tp, key, l);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001108 trie_rebalance(t, tp);
Olof Johansson91b9a272005-08-09 20:24:39 -07001109
Alexander Duyckd5d64872015-03-04 15:02:18 -08001110 return 0;
Alexander Duyck8d8e8102015-03-06 09:54:02 -08001111notnode:
1112 node_free(l);
1113noleaf:
1114 return -ENOMEM;
Robert Olsson19baf832005-06-21 12:43:18 -07001115}
1116
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001117static int fib_insert_alias(struct trie *t, struct key_vector *tp,
1118 struct key_vector *l, struct fib_alias *new,
Alexander Duyckd5d64872015-03-04 15:02:18 -08001119 struct fib_alias *fa, t_key key)
1120{
1121 if (!l)
1122 return fib_insert_node(t, tp, new, key);
1123
1124 if (fa) {
1125 hlist_add_before_rcu(&new->fa_list, &fa->fa_list);
1126 } else {
1127 struct fib_alias *last;
1128
1129 hlist_for_each_entry(last, &l->leaf, fa_list) {
1130 if (new->fa_slen < last->fa_slen)
1131 break;
Alexander Duyck0b65bd92015-03-12 14:46:29 -07001132 if ((new->fa_slen == last->fa_slen) &&
1133 (new->tb_id > last->tb_id))
1134 break;
Alexander Duyckd5d64872015-03-04 15:02:18 -08001135 fa = last;
1136 }
1137
1138 if (fa)
1139 hlist_add_behind_rcu(&new->fa_list, &fa->fa_list);
1140 else
1141 hlist_add_head_rcu(&new->fa_list, &l->leaf);
1142 }
1143
1144 /* if we added to the tail node then we need to update slen */
1145 if (l->slen < new->fa_slen) {
1146 l->slen = new->fa_slen;
Alexander Duyck1a239172016-12-01 07:27:52 -05001147 node_push_suffix(tp, new->fa_slen);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001148 }
1149
1150 return 0;
1151}
1152
David Ahern78055992017-05-27 16:19:26 -06001153static bool fib_valid_key_len(u32 key, u8 plen, struct netlink_ext_ack *extack)
David Ahernba277e82017-05-27 16:19:25 -06001154{
David Ahern78055992017-05-27 16:19:26 -06001155 if (plen > KEYLENGTH) {
1156 NL_SET_ERR_MSG(extack, "Invalid prefix length");
David Ahernba277e82017-05-27 16:19:25 -06001157 return false;
David Ahern78055992017-05-27 16:19:26 -06001158 }
David Ahernba277e82017-05-27 16:19:25 -06001159
David Ahern78055992017-05-27 16:19:26 -06001160 if ((plen < KEYLENGTH) && (key << plen)) {
1161 NL_SET_ERR_MSG(extack,
1162 "Invalid prefix for given prefix length");
David Ahernba277e82017-05-27 16:19:25 -06001163 return false;
David Ahern78055992017-05-27 16:19:26 -06001164 }
David Ahernba277e82017-05-27 16:19:25 -06001165
1166 return true;
1167}
1168
Ido Schimmela6c76c12019-12-14 17:53:07 +02001169static void fib_remove_alias(struct trie *t, struct key_vector *tp,
1170 struct key_vector *l, struct fib_alias *old);
1171
Alexander Duyckd5d64872015-03-04 15:02:18 -08001172/* Caller must hold RTNL. */
Jiri Pirkob90eb752016-09-26 12:52:29 +02001173int fib_table_insert(struct net *net, struct fib_table *tb,
David Ahern6d8422a12017-05-21 10:12:02 -06001174 struct fib_config *cfg, struct netlink_ext_ack *extack)
Robert Olsson19baf832005-06-21 12:43:18 -07001175{
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001176 struct trie *t = (struct trie *)tb->tb_data;
Robert Olsson19baf832005-06-21 12:43:18 -07001177 struct fib_alias *fa, *new_fa;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001178 struct key_vector *l, *tp;
Guillaume Naultb93e1fa2016-09-07 17:20:46 +02001179 u16 nlflags = NLM_F_EXCL;
Robert Olsson19baf832005-06-21 12:43:18 -07001180 struct fib_info *fi;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001181 u8 plen = cfg->fc_dst_len;
1182 u8 slen = KEYLENGTH - plen;
Thomas Graf4e902c52006-08-17 18:14:52 -07001183 u8 tos = cfg->fc_tos;
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001184 u32 key;
Robert Olsson19baf832005-06-21 12:43:18 -07001185 int err;
Robert Olsson19baf832005-06-21 12:43:18 -07001186
Thomas Graf4e902c52006-08-17 18:14:52 -07001187 key = ntohl(cfg->fc_dst);
Robert Olsson19baf832005-06-21 12:43:18 -07001188
David Ahern78055992017-05-27 16:19:26 -06001189 if (!fib_valid_key_len(key, plen, extack))
Robert Olsson19baf832005-06-21 12:43:18 -07001190 return -EINVAL;
1191
David Ahernba277e82017-05-27 16:19:25 -06001192 pr_debug("Insert table=%u %08x/%d\n", tb->tb_id, key, plen);
1193
David Ahern6d8422a12017-05-21 10:12:02 -06001194 fi = fib_create_info(cfg, extack);
Thomas Graf4e902c52006-08-17 18:14:52 -07001195 if (IS_ERR(fi)) {
1196 err = PTR_ERR(fi);
Robert Olsson19baf832005-06-21 12:43:18 -07001197 goto err;
Thomas Graf4e902c52006-08-17 18:14:52 -07001198 }
Robert Olsson19baf832005-06-21 12:43:18 -07001199
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001200 l = fib_find_node(t, &tp, key);
Alexander Duyck0b65bd92015-03-12 14:46:29 -07001201 fa = l ? fib_find_alias(&l->leaf, slen, tos, fi->fib_priority,
Ido Schimmelb5fc0432019-12-14 17:53:08 +02001202 tb->tb_id, false) : NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001203
1204 /* Now fa, if non-NULL, points to the first fib alias
1205 * with the same keys [prefix,tos,priority], if such key already
1206 * exists or to the node before which we will insert new one.
1207 *
1208 * If fa is NULL, we will need to allocate a new one and
Alexander Duyck56315f92015-02-25 15:31:31 -08001209 * insert to the tail of the section matching the suffix length
1210 * of the new alias.
Robert Olsson19baf832005-06-21 12:43:18 -07001211 */
1212
Julian Anastasov936f6f82008-01-28 21:18:06 -08001213 if (fa && fa->fa_tos == tos &&
1214 fa->fa_info->fib_priority == fi->fib_priority) {
1215 struct fib_alias *fa_first, *fa_match;
Robert Olsson19baf832005-06-21 12:43:18 -07001216
1217 err = -EEXIST;
Thomas Graf4e902c52006-08-17 18:14:52 -07001218 if (cfg->fc_nlflags & NLM_F_EXCL)
Robert Olsson19baf832005-06-21 12:43:18 -07001219 goto out;
1220
Guillaume Naultb93e1fa2016-09-07 17:20:46 +02001221 nlflags &= ~NLM_F_EXCL;
1222
Julian Anastasov936f6f82008-01-28 21:18:06 -08001223 /* We have 2 goals:
1224 * 1. Find exact match for type, scope, fib_info to avoid
1225 * duplicate routes
1226 * 2. Find next 'fa' (or head), NLM_F_APPEND inserts before it
1227 */
1228 fa_match = NULL;
1229 fa_first = fa;
Alexander Duyck56315f92015-02-25 15:31:31 -08001230 hlist_for_each_entry_from(fa, fa_list) {
Alexander Duyck0b65bd92015-03-12 14:46:29 -07001231 if ((fa->fa_slen != slen) ||
1232 (fa->tb_id != tb->tb_id) ||
1233 (fa->fa_tos != tos))
Julian Anastasov936f6f82008-01-28 21:18:06 -08001234 break;
1235 if (fa->fa_info->fib_priority != fi->fib_priority)
1236 break;
1237 if (fa->fa_type == cfg->fc_type &&
Julian Anastasov936f6f82008-01-28 21:18:06 -08001238 fa->fa_info == fi) {
1239 fa_match = fa;
1240 break;
1241 }
1242 }
1243
Thomas Graf4e902c52006-08-17 18:14:52 -07001244 if (cfg->fc_nlflags & NLM_F_REPLACE) {
Robert Olsson19baf832005-06-21 12:43:18 -07001245 struct fib_info *fi_drop;
1246 u8 state;
1247
Guillaume Naultb93e1fa2016-09-07 17:20:46 +02001248 nlflags |= NLM_F_REPLACE;
Julian Anastasov936f6f82008-01-28 21:18:06 -08001249 fa = fa_first;
1250 if (fa_match) {
1251 if (fa == fa_match)
1252 err = 0;
Joonwoo Park67250332008-01-18 03:45:18 -08001253 goto out;
Julian Anastasov936f6f82008-01-28 21:18:06 -08001254 }
Robert Olsson2373ce12005-08-25 13:01:29 -07001255 err = -ENOBUFS;
Christoph Lametere94b1762006-12-06 20:33:17 -08001256 new_fa = kmem_cache_alloc(fn_alias_kmem, GFP_KERNEL);
Ian Morris51456b22015-04-03 09:17:26 +01001257 if (!new_fa)
Robert Olsson2373ce12005-08-25 13:01:29 -07001258 goto out;
Robert Olsson19baf832005-06-21 12:43:18 -07001259
1260 fi_drop = fa->fa_info;
Robert Olsson2373ce12005-08-25 13:01:29 -07001261 new_fa->fa_tos = fa->fa_tos;
1262 new_fa->fa_info = fi;
Thomas Graf4e902c52006-08-17 18:14:52 -07001263 new_fa->fa_type = cfg->fc_type;
Robert Olsson19baf832005-06-21 12:43:18 -07001264 state = fa->fa_state;
Julian Anastasov936f6f82008-01-28 21:18:06 -08001265 new_fa->fa_state = state & ~FA_S_ACCESSED;
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001266 new_fa->fa_slen = fa->fa_slen;
Michal Kubečekd4e64c22015-05-22 13:40:09 +02001267 new_fa->tb_id = tb->tb_id;
Julian Anastasov2392deb2015-07-22 10:43:23 +03001268 new_fa->fa_default = -1;
Ido Schimmel90b93f12020-01-14 13:23:11 +02001269 new_fa->offload = 0;
1270 new_fa->trap = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001271
Ido Schimmel6324d0f2020-01-14 13:23:09 +02001272 hlist_replace_rcu(&fa->fa_list, &new_fa->fa_list);
1273
Ido Schimmelee3936d2019-12-14 17:53:09 +02001274 if (fib_find_alias(&l->leaf, fa->fa_slen, 0, 0,
Ido Schimmel6324d0f2020-01-14 13:23:09 +02001275 tb->tb_id, true) == new_fa) {
Ido Schimmelee3936d2019-12-14 17:53:09 +02001276 enum fib_event_type fib_event;
1277
Ido Schimmel446f7392019-12-14 17:53:15 +02001278 fib_event = FIB_EVENT_ENTRY_REPLACE;
Ido Schimmelee3936d2019-12-14 17:53:09 +02001279 err = call_fib_entry_notifiers(net, fib_event,
1280 key, plen,
1281 new_fa, extack);
Ido Schimmel6324d0f2020-01-14 13:23:09 +02001282 if (err) {
1283 hlist_replace_rcu(&new_fa->fa_list,
1284 &fa->fa_list);
Ido Schimmelee3936d2019-12-14 17:53:09 +02001285 goto out_free_new_fa;
Ido Schimmel6324d0f2020-01-14 13:23:09 +02001286 }
Ido Schimmelee3936d2019-12-14 17:53:09 +02001287 }
David Ahernc1d7ee62018-03-27 18:21:58 -07001288
Ido Schimmel5b7d6162017-02-09 10:28:40 +01001289 rtmsg_fib(RTM_NEWROUTE, htonl(key), new_fa, plen,
1290 tb->tb_id, &cfg->fc_nlinfo, nlflags);
1291
Robert Olsson2373ce12005-08-25 13:01:29 -07001292 alias_free_mem_rcu(fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001293
1294 fib_release_info(fi_drop);
1295 if (state & FA_S_ACCESSED)
Nicolas Dichtel4ccfe6d2012-09-07 00:45:29 +00001296 rt_cache_flush(cfg->fc_nlinfo.nl_net);
Jiri Pirkob90eb752016-09-26 12:52:29 +02001297
Olof Johansson91b9a272005-08-09 20:24:39 -07001298 goto succeeded;
Robert Olsson19baf832005-06-21 12:43:18 -07001299 }
1300 /* Error if we find a perfect match which
1301 * uses the same scope, type, and nexthop
1302 * information.
1303 */
Julian Anastasov936f6f82008-01-28 21:18:06 -08001304 if (fa_match)
1305 goto out;
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08001306
Ido Schimmel446f7392019-12-14 17:53:15 +02001307 if (cfg->fc_nlflags & NLM_F_APPEND)
Guillaume Naultb93e1fa2016-09-07 17:20:46 +02001308 nlflags |= NLM_F_APPEND;
Ido Schimmel446f7392019-12-14 17:53:15 +02001309 else
Julian Anastasov936f6f82008-01-28 21:18:06 -08001310 fa = fa_first;
Robert Olsson19baf832005-06-21 12:43:18 -07001311 }
1312 err = -ENOENT;
Thomas Graf4e902c52006-08-17 18:14:52 -07001313 if (!(cfg->fc_nlflags & NLM_F_CREATE))
Robert Olsson19baf832005-06-21 12:43:18 -07001314 goto out;
1315
Guillaume Naultb93e1fa2016-09-07 17:20:46 +02001316 nlflags |= NLM_F_CREATE;
Robert Olsson19baf832005-06-21 12:43:18 -07001317 err = -ENOBUFS;
Christoph Lametere94b1762006-12-06 20:33:17 -08001318 new_fa = kmem_cache_alloc(fn_alias_kmem, GFP_KERNEL);
Ian Morris51456b22015-04-03 09:17:26 +01001319 if (!new_fa)
Robert Olsson19baf832005-06-21 12:43:18 -07001320 goto out;
1321
1322 new_fa->fa_info = fi;
1323 new_fa->fa_tos = tos;
Thomas Graf4e902c52006-08-17 18:14:52 -07001324 new_fa->fa_type = cfg->fc_type;
Robert Olsson19baf832005-06-21 12:43:18 -07001325 new_fa->fa_state = 0;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001326 new_fa->fa_slen = slen;
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001327 new_fa->tb_id = tb->tb_id;
Julian Anastasov2392deb2015-07-22 10:43:23 +03001328 new_fa->fa_default = -1;
Ido Schimmel90b93f12020-01-14 13:23:11 +02001329 new_fa->offload = 0;
1330 new_fa->trap = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001331
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001332 /* Insert new entry to the list. */
Alexander Duyckd5d64872015-03-04 15:02:18 -08001333 err = fib_insert_alias(t, tp, l, new_fa, fa, key);
1334 if (err)
Ido Schimmela6c76c12019-12-14 17:53:07 +02001335 goto out_free_new_fa;
1336
1337 /* The alias was already inserted, so the node must exist. */
1338 l = l ? l : fib_find_node(t, &tp, key);
1339 if (WARN_ON_ONCE(!l))
1340 goto out_free_new_fa;
1341
Ido Schimmela8674f72019-12-14 17:53:10 +02001342 if (fib_find_alias(&l->leaf, new_fa->fa_slen, 0, 0, tb->tb_id, true) ==
1343 new_fa) {
1344 enum fib_event_type fib_event;
1345
Ido Schimmel446f7392019-12-14 17:53:15 +02001346 fib_event = FIB_EVENT_ENTRY_REPLACE;
Ido Schimmela8674f72019-12-14 17:53:10 +02001347 err = call_fib_entry_notifiers(net, fib_event, key, plen,
1348 new_fa, extack);
1349 if (err)
1350 goto out_remove_new_fa;
1351 }
Robert Olsson19baf832005-06-21 12:43:18 -07001352
David S. Miller21d8c492011-04-14 14:49:37 -07001353 if (!plen)
1354 tb->tb_num_default++;
1355
Nicolas Dichtel4ccfe6d2012-09-07 00:45:29 +00001356 rt_cache_flush(cfg->fc_nlinfo.nl_net);
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001357 rtmsg_fib(RTM_NEWROUTE, htonl(key), new_fa, plen, new_fa->tb_id,
Roopa Prabhua2bb6d72015-06-17 11:07:01 -07001358 &cfg->fc_nlinfo, nlflags);
Robert Olsson19baf832005-06-21 12:43:18 -07001359succeeded:
1360 return 0;
Robert Olssonf835e472005-06-28 15:00:39 -07001361
Ido Schimmela6c76c12019-12-14 17:53:07 +02001362out_remove_new_fa:
1363 fib_remove_alias(t, tp, l, new_fa);
Robert Olssonf835e472005-06-28 15:00:39 -07001364out_free_new_fa:
1365 kmem_cache_free(fn_alias_kmem, new_fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001366out:
1367 fib_release_info(fi);
Olof Johansson91b9a272005-08-09 20:24:39 -07001368err:
Robert Olsson19baf832005-06-21 12:43:18 -07001369 return err;
1370}
1371
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001372static inline t_key prefix_mismatch(t_key key, struct key_vector *n)
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001373{
1374 t_key prefix = n->key;
1375
1376 return (key ^ prefix) & (prefix | -prefix);
1377}
1378
Alexander Duyck345e9b52014-12-31 10:56:24 -08001379/* should be called with rcu_read_lock */
David S. Miller22bd5b92011-03-11 19:54:08 -05001380int fib_table_lookup(struct fib_table *tb, const struct flowi4 *flp,
Eric Dumazetebc0ffa2010-10-05 10:41:36 +00001381 struct fib_result *res, int fib_flags)
Robert Olsson19baf832005-06-21 12:43:18 -07001382{
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001383 struct trie *t = (struct trie *) tb->tb_data;
Alexander Duyck8274a972014-12-31 10:55:29 -08001384#ifdef CONFIG_IP_FIB_TRIE_STATS
1385 struct trie_use_stats __percpu *stats = t->stats;
1386#endif
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001387 const t_key key = ntohl(flp->daddr);
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001388 struct key_vector *n, *pn;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001389 struct fib_alias *fa;
Alexander Duyck71e8b672015-03-04 15:04:03 -08001390 unsigned long index;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001391 t_key cindex;
Robert Olsson19baf832005-06-21 12:43:18 -07001392
Alexander Duyck88bae712015-03-06 09:54:52 -08001393 pn = t->kv;
1394 cindex = 0;
1395
1396 n = get_child_rcu(pn, cindex);
David Ahern9f323972018-05-23 17:08:47 -07001397 if (!n) {
1398 trace_fib_table_lookup(tb->tb_id, flp, NULL, -EAGAIN);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001399 return -EAGAIN;
David Ahern9f323972018-05-23 17:08:47 -07001400 }
Robert Olsson19baf832005-06-21 12:43:18 -07001401
1402#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8274a972014-12-31 10:55:29 -08001403 this_cpu_inc(stats->gets);
Robert Olsson19baf832005-06-21 12:43:18 -07001404#endif
1405
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001406 /* Step 1: Travel to the longest prefix match in the trie */
1407 for (;;) {
Alexander Duyck88bae712015-03-06 09:54:52 -08001408 index = get_cindex(key, n);
Robert Olsson19baf832005-06-21 12:43:18 -07001409
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001410 /* This bit of code is a bit tricky but it combines multiple
1411 * checks into a single check. The prefix consists of the
1412 * prefix plus zeros for the "bits" in the prefix. The index
1413 * is the difference between the key and this value. From
1414 * this we can actually derive several pieces of data.
Alexander Duyck71e8b672015-03-04 15:04:03 -08001415 * if (index >= (1ul << bits))
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001416 * we have a mismatch in skip bits and failed
Alexander Duyckb3832112015-01-22 15:51:08 -08001417 * else
1418 * we know the value is cindex
Alexander Duyck71e8b672015-03-04 15:04:03 -08001419 *
1420 * This check is safe even if bits == KEYLENGTH due to the
1421 * fact that we can only allocate a node with 32 bits if a
1422 * long is greater than 32 bits.
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001423 */
Alexander Duyck71e8b672015-03-04 15:04:03 -08001424 if (index >= (1ul << n->bits))
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001425 break;
Robert Olsson19baf832005-06-21 12:43:18 -07001426
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001427 /* we have found a leaf. Prefixes have already been compared */
1428 if (IS_LEAF(n))
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08001429 goto found;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001430
1431 /* only record pn and cindex if we are going to be chopping
1432 * bits later. Otherwise we are just wasting cycles.
1433 */
Alexander Duyck5405afd2014-12-31 10:57:08 -08001434 if (n->slen > n->pos) {
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001435 pn = n;
1436 cindex = index;
Olof Johansson91b9a272005-08-09 20:24:39 -07001437 }
1438
Alexander Duyck754baf8d2015-03-06 09:54:14 -08001439 n = get_child_rcu(n, index);
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001440 if (unlikely(!n))
Robert Olsson19baf832005-06-21 12:43:18 -07001441 goto backtrace;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001442 }
1443
1444 /* Step 2: Sort out leaves and begin backtracing for longest prefix */
1445 for (;;) {
1446 /* record the pointer where our next node pointer is stored */
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001447 struct key_vector __rcu **cptr = n->tnode;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001448
1449 /* This test verifies that none of the bits that differ
1450 * between the key and the prefix exist in the region of
1451 * the lsb and higher in the prefix.
1452 */
Alexander Duyck5405afd2014-12-31 10:57:08 -08001453 if (unlikely(prefix_mismatch(key, n)) || (n->slen == n->pos))
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001454 goto backtrace;
1455
1456 /* exit out and process leaf */
1457 if (unlikely(IS_LEAF(n)))
1458 break;
1459
1460 /* Don't bother recording parent info. Since we are in
1461 * prefix match mode we will have to come back to wherever
1462 * we started this traversal anyway
1463 */
1464
1465 while ((n = rcu_dereference(*cptr)) == NULL) {
1466backtrace:
1467#ifdef CONFIG_IP_FIB_TRIE_STATS
1468 if (!n)
1469 this_cpu_inc(stats->null_node_hit);
1470#endif
1471 /* If we are at cindex 0 there are no more bits for
1472 * us to strip at this level so we must ascend back
1473 * up one level to see if there are any more bits to
1474 * be stripped there.
1475 */
1476 while (!cindex) {
1477 t_key pkey = pn->key;
1478
Alexander Duyck88bae712015-03-06 09:54:52 -08001479 /* If we don't have a parent then there is
1480 * nothing for us to do as we do not have any
1481 * further nodes to parse.
1482 */
David Ahern9f323972018-05-23 17:08:47 -07001483 if (IS_TRIE(pn)) {
1484 trace_fib_table_lookup(tb->tb_id, flp,
1485 NULL, -EAGAIN);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001486 return -EAGAIN;
David Ahern9f323972018-05-23 17:08:47 -07001487 }
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001488#ifdef CONFIG_IP_FIB_TRIE_STATS
1489 this_cpu_inc(stats->backtrack);
1490#endif
1491 /* Get Child's index */
Alexander Duyck88bae712015-03-06 09:54:52 -08001492 pn = node_parent_rcu(pn);
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001493 cindex = get_index(pkey, pn);
1494 }
1495
1496 /* strip the least significant bit from the cindex */
1497 cindex &= cindex - 1;
1498
1499 /* grab pointer for next child node */
Alexander Duyck41b489f2015-03-04 15:02:33 -08001500 cptr = &pn->tnode[cindex];
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001501 }
Robert Olsson19baf832005-06-21 12:43:18 -07001502 }
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001503
Robert Olsson19baf832005-06-21 12:43:18 -07001504found:
Alexander Duyck71e8b672015-03-04 15:04:03 -08001505 /* this line carries forward the xor from earlier in the function */
1506 index = key ^ n->key;
1507
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001508 /* Step 3: Process the leaf, if that fails fall back to backtracing */
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001509 hlist_for_each_entry_rcu(fa, &n->leaf, fa_list) {
1510 struct fib_info *fi = fa->fa_info;
1511 int nhsel, err;
Alexander Duyck345e9b52014-12-31 10:56:24 -08001512
Alexander Duycka5829f52016-01-28 13:42:24 -08001513 if ((BITS_PER_LONG > KEYLENGTH) || (fa->fa_slen < KEYLENGTH)) {
1514 if (index >= (1ul << fa->fa_slen))
1515 continue;
1516 }
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001517 if (fa->fa_tos && fa->fa_tos != flp->flowi4_tos)
1518 continue;
1519 if (fi->fib_dead)
1520 continue;
1521 if (fa->fa_info->fib_scope < flp->flowi4_scope)
1522 continue;
1523 fib_alias_accessed(fa);
1524 err = fib_props[fa->fa_type].error;
1525 if (unlikely(err < 0)) {
David Ahern4c7e8082019-06-03 20:19:51 -07001526out_reject:
Alexander Duyck345e9b52014-12-31 10:56:24 -08001527#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001528 this_cpu_inc(stats->semantic_match_passed);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001529#endif
David Ahern9f323972018-05-23 17:08:47 -07001530 trace_fib_table_lookup(tb->tb_id, flp, NULL, err);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001531 return err;
1532 }
1533 if (fi->fib_flags & RTNH_F_DEAD)
1534 continue;
David Ahern4c7e8082019-06-03 20:19:51 -07001535
1536 if (unlikely(fi->nh && nexthop_is_blackhole(fi->nh))) {
1537 err = fib_props[RTN_BLACKHOLE].error;
1538 goto out_reject;
1539 }
1540
David Ahern5481d732019-06-03 20:19:49 -07001541 for (nhsel = 0; nhsel < fib_info_num_path(fi); nhsel++) {
David Aherneba618a2019-04-02 14:11:55 -07001542 struct fib_nh_common *nhc = fib_info_nhc(fi, nhsel);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001543
David Aherneba618a2019-04-02 14:11:55 -07001544 if (nhc->nhc_flags & RTNH_F_DEAD)
Alexander Duyck345e9b52014-12-31 10:56:24 -08001545 continue;
David Aherneba618a2019-04-02 14:11:55 -07001546 if (ip_ignore_linkdown(nhc->nhc_dev) &&
1547 nhc->nhc_flags & RTNH_F_LINKDOWN &&
Andy Gospodarek0eeb0752015-06-23 13:45:37 -04001548 !(fib_flags & FIB_LOOKUP_IGNORE_LINKSTATE))
1549 continue;
David Ahern58189ca2015-09-15 15:10:50 -07001550 if (!(flp->flowi4_flags & FLOWI_FLAG_SKIP_NH_OIF)) {
David Ahern613d09b2015-08-13 14:59:02 -06001551 if (flp->flowi4_oif &&
David Aherneba618a2019-04-02 14:11:55 -07001552 flp->flowi4_oif != nhc->nhc_oif)
David Ahern613d09b2015-08-13 14:59:02 -06001553 continue;
1554 }
Alexander Duyck345e9b52014-12-31 10:56:24 -08001555
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001556 if (!(fib_flags & FIB_LOOKUP_NOREF))
Reshetova, Elena0029c0d2017-07-04 09:35:02 +03001557 refcount_inc(&fi->fib_clntref);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001558
David Ahern6ffd9032017-05-25 10:42:37 -07001559 res->prefix = htonl(n->key);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001560 res->prefixlen = KEYLENGTH - fa->fa_slen;
1561 res->nh_sel = nhsel;
David Aherneba618a2019-04-02 14:11:55 -07001562 res->nhc = nhc;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001563 res->type = fa->fa_type;
1564 res->scope = fi->fib_scope;
1565 res->fi = fi;
1566 res->table = tb;
1567 res->fa_head = &n->leaf;
Alexander Duyck345e9b52014-12-31 10:56:24 -08001568#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001569 this_cpu_inc(stats->semantic_match_passed);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001570#endif
David Aherneba618a2019-04-02 14:11:55 -07001571 trace_fib_table_lookup(tb->tb_id, flp, nhc, err);
David Ahernf6d3c192015-08-28 08:42:09 -07001572
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001573 return err;
Alexander Duyck345e9b52014-12-31 10:56:24 -08001574 }
Alexander Duyck345e9b52014-12-31 10:56:24 -08001575 }
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001576#ifdef CONFIG_IP_FIB_TRIE_STATS
1577 this_cpu_inc(stats->semantic_match_miss);
1578#endif
Alexander Duyck345e9b52014-12-31 10:56:24 -08001579 goto backtrace;
Robert Olsson19baf832005-06-21 12:43:18 -07001580}
Florian Westphal6fc01432011-08-25 13:46:12 +02001581EXPORT_SYMBOL_GPL(fib_table_lookup);
Robert Olsson19baf832005-06-21 12:43:18 -07001582
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001583static void fib_remove_alias(struct trie *t, struct key_vector *tp,
1584 struct key_vector *l, struct fib_alias *old)
Alexander Duyckd5d64872015-03-04 15:02:18 -08001585{
1586 /* record the location of the previous list_info entry */
1587 struct hlist_node **pprev = old->fa_list.pprev;
1588 struct fib_alias *fa = hlist_entry(pprev, typeof(*fa), fa_list.next);
1589
1590 /* remove the fib_alias from the list */
1591 hlist_del_rcu(&old->fa_list);
1592
1593 /* if we emptied the list this leaf will be freed and we can sort
1594 * out parent suffix lengths as a part of trie_rebalance
1595 */
1596 if (hlist_empty(&l->leaf)) {
Alexander Duycka52ca622016-12-01 07:27:57 -05001597 if (tp->slen == l->slen)
1598 node_pull_suffix(tp, tp->pos);
Alexander Duyck88bae712015-03-06 09:54:52 -08001599 put_child_root(tp, l->key, NULL);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001600 node_free(l);
1601 trie_rebalance(t, tp);
1602 return;
1603 }
1604
1605 /* only access fa if it is pointing at the last valid hlist_node */
1606 if (*pprev)
1607 return;
1608
1609 /* update the trie with the latest suffix length */
1610 l->slen = fa->fa_slen;
Alexander Duyck1a239172016-12-01 07:27:52 -05001611 node_pull_suffix(tp, fa->fa_slen);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001612}
1613
Ido Schimmelf613b6e2019-12-14 17:53:11 +02001614static void fib_notify_alias_delete(struct net *net, u32 key,
1615 struct hlist_head *fah,
1616 struct fib_alias *fa_to_delete,
1617 struct netlink_ext_ack *extack)
1618{
1619 struct fib_alias *fa_next, *fa_to_notify;
1620 u32 tb_id = fa_to_delete->tb_id;
1621 u8 slen = fa_to_delete->fa_slen;
1622 enum fib_event_type fib_event;
1623
1624 /* Do not notify if we do not care about the route. */
1625 if (fib_find_alias(fah, slen, 0, 0, tb_id, true) != fa_to_delete)
1626 return;
1627
1628 /* Determine if the route should be replaced by the next route in the
1629 * list.
1630 */
1631 fa_next = hlist_entry_safe(fa_to_delete->fa_list.next,
1632 struct fib_alias, fa_list);
1633 if (fa_next && fa_next->fa_slen == slen && fa_next->tb_id == tb_id) {
Ido Schimmel446f7392019-12-14 17:53:15 +02001634 fib_event = FIB_EVENT_ENTRY_REPLACE;
Ido Schimmelf613b6e2019-12-14 17:53:11 +02001635 fa_to_notify = fa_next;
1636 } else {
Ido Schimmel446f7392019-12-14 17:53:15 +02001637 fib_event = FIB_EVENT_ENTRY_DEL;
Ido Schimmelf613b6e2019-12-14 17:53:11 +02001638 fa_to_notify = fa_to_delete;
1639 }
1640 call_fib_entry_notifiers(net, fib_event, key, KEYLENGTH - slen,
1641 fa_to_notify, extack);
1642}
1643
Alexander Duyckd5d64872015-03-04 15:02:18 -08001644/* Caller must hold RTNL. */
Jiri Pirkob90eb752016-09-26 12:52:29 +02001645int fib_table_delete(struct net *net, struct fib_table *tb,
David Ahern78055992017-05-27 16:19:26 -06001646 struct fib_config *cfg, struct netlink_ext_ack *extack)
Robert Olsson19baf832005-06-21 12:43:18 -07001647{
1648 struct trie *t = (struct trie *) tb->tb_data;
Robert Olsson19baf832005-06-21 12:43:18 -07001649 struct fib_alias *fa, *fa_to_delete;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001650 struct key_vector *l, *tp;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001651 u8 plen = cfg->fc_dst_len;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001652 u8 slen = KEYLENGTH - plen;
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001653 u8 tos = cfg->fc_tos;
1654 u32 key;
Olof Johansson91b9a272005-08-09 20:24:39 -07001655
Thomas Graf4e902c52006-08-17 18:14:52 -07001656 key = ntohl(cfg->fc_dst);
Robert Olsson19baf832005-06-21 12:43:18 -07001657
David Ahern78055992017-05-27 16:19:26 -06001658 if (!fib_valid_key_len(key, plen, extack))
Robert Olsson19baf832005-06-21 12:43:18 -07001659 return -EINVAL;
1660
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001661 l = fib_find_node(t, &tp, key);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001662 if (!l)
Robert Olsson19baf832005-06-21 12:43:18 -07001663 return -ESRCH;
1664
Ido Schimmelb5fc0432019-12-14 17:53:08 +02001665 fa = fib_find_alias(&l->leaf, slen, tos, 0, tb->tb_id, false);
Robert Olsson19baf832005-06-21 12:43:18 -07001666 if (!fa)
1667 return -ESRCH;
1668
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001669 pr_debug("Deleting %08x/%d tos=%d t=%p\n", key, plen, tos, t);
Robert Olsson19baf832005-06-21 12:43:18 -07001670
1671 fa_to_delete = NULL;
Alexander Duyck56315f92015-02-25 15:31:31 -08001672 hlist_for_each_entry_from(fa, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07001673 struct fib_info *fi = fa->fa_info;
1674
Alexander Duyck0b65bd92015-03-12 14:46:29 -07001675 if ((fa->fa_slen != slen) ||
1676 (fa->tb_id != tb->tb_id) ||
1677 (fa->fa_tos != tos))
Robert Olsson19baf832005-06-21 12:43:18 -07001678 break;
1679
Thomas Graf4e902c52006-08-17 18:14:52 -07001680 if ((!cfg->fc_type || fa->fa_type == cfg->fc_type) &&
1681 (cfg->fc_scope == RT_SCOPE_NOWHERE ||
David S. Miller37e826c2011-03-24 18:06:47 -07001682 fa->fa_info->fib_scope == cfg->fc_scope) &&
Julian Anastasov74cb3c12011-03-19 12:13:46 +00001683 (!cfg->fc_prefsrc ||
1684 fi->fib_prefsrc == cfg->fc_prefsrc) &&
Thomas Graf4e902c52006-08-17 18:14:52 -07001685 (!cfg->fc_protocol ||
1686 fi->fib_protocol == cfg->fc_protocol) &&
Xin Long5f9ae3d2017-08-23 10:07:26 +08001687 fib_nh_match(cfg, fi, extack) == 0 &&
1688 fib_metrics_match(cfg, fi)) {
Robert Olsson19baf832005-06-21 12:43:18 -07001689 fa_to_delete = fa;
1690 break;
1691 }
1692 }
1693
Olof Johansson91b9a272005-08-09 20:24:39 -07001694 if (!fa_to_delete)
1695 return -ESRCH;
Robert Olsson19baf832005-06-21 12:43:18 -07001696
Ido Schimmelf613b6e2019-12-14 17:53:11 +02001697 fib_notify_alias_delete(net, key, &l->leaf, fa_to_delete, extack);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001698 rtmsg_fib(RTM_DELROUTE, htonl(key), fa_to_delete, plen, tb->tb_id,
Milan Kocianb8f55832007-05-23 14:55:06 -07001699 &cfg->fc_nlinfo, 0);
Robert Olsson19baf832005-06-21 12:43:18 -07001700
David S. Miller21d8c492011-04-14 14:49:37 -07001701 if (!plen)
1702 tb->tb_num_default--;
1703
Alexander Duyckd5d64872015-03-04 15:02:18 -08001704 fib_remove_alias(t, tp, l, fa_to_delete);
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001705
Alexander Duyckd5d64872015-03-04 15:02:18 -08001706 if (fa_to_delete->fa_state & FA_S_ACCESSED)
Nicolas Dichtel4ccfe6d2012-09-07 00:45:29 +00001707 rt_cache_flush(cfg->fc_nlinfo.nl_net);
Olof Johansson91b9a272005-08-09 20:24:39 -07001708
Alexander Duyckd5d64872015-03-04 15:02:18 -08001709 fib_release_info(fa_to_delete->fa_info);
1710 alias_free_mem_rcu(fa_to_delete);
Olof Johansson91b9a272005-08-09 20:24:39 -07001711 return 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001712}
1713
Alexander Duyck8be33e92015-03-04 14:59:19 -08001714/* Scan for the next leaf starting at the provided key value */
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001715static struct key_vector *leaf_walk_rcu(struct key_vector **tn, t_key key)
Robert Olsson19baf832005-06-21 12:43:18 -07001716{
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001717 struct key_vector *pn, *n = *tn;
Alexander Duyck8be33e92015-03-04 14:59:19 -08001718 unsigned long cindex;
Robert Olsson19baf832005-06-21 12:43:18 -07001719
Alexander Duyck8be33e92015-03-04 14:59:19 -08001720 /* this loop is meant to try and find the key in the trie */
Alexander Duyck88bae712015-03-06 09:54:52 -08001721 do {
1722 /* record parent and next child index */
1723 pn = n;
Alexander Duyckc2229fe2015-10-27 15:06:45 -07001724 cindex = (key > pn->key) ? get_index(key, pn) : 0;
Alexander Duyck88bae712015-03-06 09:54:52 -08001725
1726 if (cindex >> pn->bits)
1727 break;
1728
1729 /* descend into the next child */
1730 n = get_child_rcu(pn, cindex++);
1731 if (!n)
1732 break;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001733
Alexander Duyck8be33e92015-03-04 14:59:19 -08001734 /* guarantee forward progress on the keys */
1735 if (IS_LEAF(n) && (n->key >= key))
1736 goto found;
Alexander Duyck88bae712015-03-06 09:54:52 -08001737 } while (IS_TNODE(n));
Alexander Duyck8be33e92015-03-04 14:59:19 -08001738
1739 /* this loop will search for the next leaf with a greater key */
Alexander Duyck88bae712015-03-06 09:54:52 -08001740 while (!IS_TRIE(pn)) {
Alexander Duyck8be33e92015-03-04 14:59:19 -08001741 /* if we exhausted the parent node we will need to climb */
1742 if (cindex >= (1ul << pn->bits)) {
1743 t_key pkey = pn->key;
1744
1745 pn = node_parent_rcu(pn);
Alexander Duyck8be33e92015-03-04 14:59:19 -08001746 cindex = get_index(pkey, pn) + 1;
1747 continue;
Robert Olsson19baf832005-06-21 12:43:18 -07001748 }
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001749
Alexander Duyck8be33e92015-03-04 14:59:19 -08001750 /* grab the next available node */
Alexander Duyck754baf8d2015-03-06 09:54:14 -08001751 n = get_child_rcu(pn, cindex++);
Alexander Duyck8be33e92015-03-04 14:59:19 -08001752 if (!n)
1753 continue;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001754
Alexander Duyck8be33e92015-03-04 14:59:19 -08001755 /* no need to compare keys since we bumped the index */
1756 if (IS_LEAF(n))
1757 goto found;
1758
1759 /* Rescan start scanning in new node */
1760 pn = n;
1761 cindex = 0;
1762 }
1763
1764 *tn = pn;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001765 return NULL; /* Root of trie */
Alexander Duyck8be33e92015-03-04 14:59:19 -08001766found:
1767 /* if we are at the limit for keys just return NULL for the tnode */
Alexander Duyck88bae712015-03-06 09:54:52 -08001768 *tn = pn;
Alexander Duyck8be33e92015-03-04 14:59:19 -08001769 return n;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001770}
1771
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001772static void fib_trie_free(struct fib_table *tb)
1773{
1774 struct trie *t = (struct trie *)tb->tb_data;
1775 struct key_vector *pn = t->kv;
1776 unsigned long cindex = 1;
1777 struct hlist_node *tmp;
1778 struct fib_alias *fa;
1779
1780 /* walk trie in reverse order and free everything */
1781 for (;;) {
1782 struct key_vector *n;
1783
1784 if (!(cindex--)) {
1785 t_key pkey = pn->key;
1786
1787 if (IS_TRIE(pn))
1788 break;
1789
1790 n = pn;
1791 pn = node_parent(pn);
1792
1793 /* drop emptied tnode */
1794 put_child_root(pn, n->key, NULL);
1795 node_free(n);
1796
1797 cindex = get_index(pkey, pn);
1798
1799 continue;
1800 }
1801
1802 /* grab the next available node */
1803 n = get_child(pn, cindex);
1804 if (!n)
1805 continue;
1806
1807 if (IS_TNODE(n)) {
1808 /* record pn and cindex for leaf walking */
1809 pn = n;
1810 cindex = 1ul << n->bits;
1811
1812 continue;
1813 }
1814
1815 hlist_for_each_entry_safe(fa, tmp, &n->leaf, fa_list) {
1816 hlist_del_rcu(&fa->fa_list);
1817 alias_free_mem_rcu(fa);
1818 }
1819
1820 put_child_root(pn, n->key, NULL);
1821 node_free(n);
1822 }
1823
1824#ifdef CONFIG_IP_FIB_TRIE_STATS
1825 free_percpu(t->stats);
1826#endif
1827 kfree(tb);
1828}
1829
1830struct fib_table *fib_trie_unmerge(struct fib_table *oldtb)
1831{
1832 struct trie *ot = (struct trie *)oldtb->tb_data;
1833 struct key_vector *l, *tp = ot->kv;
1834 struct fib_table *local_tb;
1835 struct fib_alias *fa;
1836 struct trie *lt;
1837 t_key key = 0;
1838
1839 if (oldtb->tb_data == oldtb->__data)
1840 return oldtb;
1841
1842 local_tb = fib_trie_table(RT_TABLE_LOCAL, NULL);
1843 if (!local_tb)
1844 return NULL;
1845
1846 lt = (struct trie *)local_tb->tb_data;
1847
1848 while ((l = leaf_walk_rcu(&tp, key)) != NULL) {
1849 struct key_vector *local_l = NULL, *local_tp;
1850
1851 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
1852 struct fib_alias *new_fa;
1853
1854 if (local_tb->tb_id != fa->tb_id)
1855 continue;
1856
1857 /* clone fa for new local table */
1858 new_fa = kmem_cache_alloc(fn_alias_kmem, GFP_KERNEL);
1859 if (!new_fa)
1860 goto out;
1861
1862 memcpy(new_fa, fa, sizeof(*fa));
1863
1864 /* insert clone into table */
1865 if (!local_l)
1866 local_l = fib_find_node(lt, &local_tp, l->key);
1867
1868 if (fib_insert_alias(lt, local_tp, local_l, new_fa,
Alexander Duyck3114cdf2016-11-15 05:46:12 -05001869 NULL, l->key)) {
1870 kmem_cache_free(fn_alias_kmem, new_fa);
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001871 goto out;
Alexander Duyck3114cdf2016-11-15 05:46:12 -05001872 }
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001873 }
1874
1875 /* stop loop if key wrapped back to 0 */
1876 key = l->key + 1;
1877 if (key < l->key)
1878 break;
1879 }
1880
1881 return local_tb;
1882out:
1883 fib_trie_free(local_tb);
1884
1885 return NULL;
1886}
1887
Alexander Duyck3b709332016-11-15 05:46:06 -05001888/* Caller must hold RTNL */
1889void fib_table_flush_external(struct fib_table *tb)
1890{
1891 struct trie *t = (struct trie *)tb->tb_data;
1892 struct key_vector *pn = t->kv;
1893 unsigned long cindex = 1;
1894 struct hlist_node *tmp;
1895 struct fib_alias *fa;
1896
1897 /* walk trie in reverse order */
1898 for (;;) {
1899 unsigned char slen = 0;
1900 struct key_vector *n;
1901
1902 if (!(cindex--)) {
1903 t_key pkey = pn->key;
1904
1905 /* cannot resize the trie vector */
1906 if (IS_TRIE(pn))
1907 break;
1908
Alexander Duycka52ca622016-12-01 07:27:57 -05001909 /* update the suffix to address pulled leaves */
1910 if (pn->slen > pn->pos)
1911 update_suffix(pn);
1912
Alexander Duyck3b709332016-11-15 05:46:06 -05001913 /* resize completed node */
1914 pn = resize(t, pn);
1915 cindex = get_index(pkey, pn);
1916
1917 continue;
1918 }
1919
1920 /* grab the next available node */
1921 n = get_child(pn, cindex);
1922 if (!n)
1923 continue;
1924
1925 if (IS_TNODE(n)) {
1926 /* record pn and cindex for leaf walking */
1927 pn = n;
1928 cindex = 1ul << n->bits;
1929
1930 continue;
1931 }
1932
1933 hlist_for_each_entry_safe(fa, tmp, &n->leaf, fa_list) {
1934 /* if alias was cloned to local then we just
1935 * need to remove the local copy from main
1936 */
1937 if (tb->tb_id != fa->tb_id) {
1938 hlist_del_rcu(&fa->fa_list);
1939 alias_free_mem_rcu(fa);
1940 continue;
1941 }
1942
1943 /* record local slen */
1944 slen = fa->fa_slen;
1945 }
1946
1947 /* update leaf slen */
1948 n->slen = slen;
1949
1950 if (hlist_empty(&n->leaf)) {
1951 put_child_root(pn, n->key, NULL);
1952 node_free(n);
1953 }
1954 }
1955}
1956
Alexander Duyck8be33e92015-03-04 14:59:19 -08001957/* Caller must hold RTNL. */
Ido Schimmelf97f4dd2019-01-09 09:57:39 +00001958int fib_table_flush(struct net *net, struct fib_table *tb, bool flush_all)
Robert Olsson19baf832005-06-21 12:43:18 -07001959{
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001960 struct trie *t = (struct trie *)tb->tb_data;
Alexander Duyck88bae712015-03-06 09:54:52 -08001961 struct key_vector *pn = t->kv;
1962 unsigned long cindex = 1;
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001963 struct hlist_node *tmp;
1964 struct fib_alias *fa;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001965 int found = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001966
Alexander Duyck88bae712015-03-06 09:54:52 -08001967 /* walk trie in reverse order */
1968 for (;;) {
1969 unsigned char slen = 0;
1970 struct key_vector *n;
Robert Olsson19baf832005-06-21 12:43:18 -07001971
Alexander Duyck88bae712015-03-06 09:54:52 -08001972 if (!(cindex--)) {
1973 t_key pkey = pn->key;
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001974
Alexander Duyck88bae712015-03-06 09:54:52 -08001975 /* cannot resize the trie vector */
1976 if (IS_TRIE(pn))
1977 break;
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001978
Alexander Duycka52ca622016-12-01 07:27:57 -05001979 /* update the suffix to address pulled leaves */
1980 if (pn->slen > pn->pos)
1981 update_suffix(pn);
1982
Alexander Duyck88bae712015-03-06 09:54:52 -08001983 /* resize completed node */
1984 pn = resize(t, pn);
1985 cindex = get_index(pkey, pn);
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001986
Alexander Duyck88bae712015-03-06 09:54:52 -08001987 continue;
1988 }
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001989
Alexander Duyck88bae712015-03-06 09:54:52 -08001990 /* grab the next available node */
1991 n = get_child(pn, cindex);
1992 if (!n)
1993 continue;
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001994
Alexander Duyck88bae712015-03-06 09:54:52 -08001995 if (IS_TNODE(n)) {
1996 /* record pn and cindex for leaf walking */
1997 pn = n;
1998 cindex = 1ul << n->bits;
1999
2000 continue;
2001 }
2002
2003 hlist_for_each_entry_safe(fa, tmp, &n->leaf, fa_list) {
2004 struct fib_info *fi = fa->fa_info;
2005
Ido Schimmelf97f4dd2019-01-09 09:57:39 +00002006 if (!fi || tb->tb_id != fa->tb_id ||
2007 (!(fi->fib_flags & RTNH_F_DEAD) &&
2008 !fib_props[fa->fa_type].error)) {
2009 slen = fa->fa_slen;
2010 continue;
2011 }
2012
2013 /* Do not flush error routes if network namespace is
2014 * not being dismantled
2015 */
2016 if (!flush_all && fib_props[fa->fa_type].error) {
Alexander Duyck88bae712015-03-06 09:54:52 -08002017 slen = fa->fa_slen;
2018 continue;
Alexander Duyck7289e6d2015-03-04 14:58:19 -08002019 }
2020
Ido Schimmel525bc342019-12-14 17:53:12 +02002021 fib_notify_alias_delete(net, n->key, &n->leaf, fa,
2022 NULL);
Alexander Duyck7289e6d2015-03-04 14:58:19 -08002023 hlist_del_rcu(&fa->fa_list);
2024 fib_release_info(fa->fa_info);
2025 alias_free_mem_rcu(fa);
2026 found++;
Alexander Duyck64c62722015-01-22 15:51:45 -08002027 }
2028
Alexander Duyck88bae712015-03-06 09:54:52 -08002029 /* update leaf slen */
2030 n->slen = slen;
2031
2032 if (hlist_empty(&n->leaf)) {
2033 put_child_root(pn, n->key, NULL);
2034 node_free(n);
Alexander Duyck88bae712015-03-06 09:54:52 -08002035 }
Robert Olsson19baf832005-06-21 12:43:18 -07002036 }
2037
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07002038 pr_debug("trie_flush found=%d\n", found);
Robert Olsson19baf832005-06-21 12:43:18 -07002039 return found;
2040}
2041
David Ahern1bff1a02019-05-22 12:04:42 -07002042/* derived from fib_trie_free */
2043static void __fib_info_notify_update(struct net *net, struct fib_table *tb,
2044 struct nl_info *info)
2045{
2046 struct trie *t = (struct trie *)tb->tb_data;
2047 struct key_vector *pn = t->kv;
2048 unsigned long cindex = 1;
2049 struct fib_alias *fa;
2050
2051 for (;;) {
2052 struct key_vector *n;
2053
2054 if (!(cindex--)) {
2055 t_key pkey = pn->key;
2056
2057 if (IS_TRIE(pn))
2058 break;
2059
David Ahern1bff1a02019-05-22 12:04:42 -07002060 pn = node_parent(pn);
2061 cindex = get_index(pkey, pn);
2062 continue;
2063 }
2064
2065 /* grab the next available node */
2066 n = get_child(pn, cindex);
2067 if (!n)
2068 continue;
2069
2070 if (IS_TNODE(n)) {
2071 /* record pn and cindex for leaf walking */
2072 pn = n;
2073 cindex = 1ul << n->bits;
2074
2075 continue;
2076 }
2077
2078 hlist_for_each_entry(fa, &n->leaf, fa_list) {
2079 struct fib_info *fi = fa->fa_info;
2080
2081 if (!fi || !fi->nh_updated || fa->tb_id != tb->tb_id)
2082 continue;
2083
2084 rtmsg_fib(RTM_NEWROUTE, htonl(n->key), fa,
2085 KEYLENGTH - fa->fa_slen, tb->tb_id,
2086 info, NLM_F_REPLACE);
2087
2088 /* call_fib_entry_notifiers will be removed when
2089 * in-kernel notifier is implemented and supported
2090 * for nexthop objects
2091 */
2092 call_fib_entry_notifiers(net, FIB_EVENT_ENTRY_REPLACE,
2093 n->key,
2094 KEYLENGTH - fa->fa_slen, fa,
2095 NULL);
2096 }
2097 }
2098}
2099
2100void fib_info_notify_update(struct net *net, struct nl_info *info)
2101{
2102 unsigned int h;
2103
2104 for (h = 0; h < FIB_TABLE_HASHSZ; h++) {
2105 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
2106 struct fib_table *tb;
2107
2108 hlist_for_each_entry_rcu(tb, head, tb_hlist)
2109 __fib_info_notify_update(net, tb, info);
2110 }
2111}
2112
Jiri Pirko55c894f2019-10-03 11:49:28 +02002113static int fib_leaf_notify(struct key_vector *l, struct fib_table *tb,
Jiri Pirkob7a59552019-10-03 11:49:30 +02002114 struct notifier_block *nb,
2115 struct netlink_ext_ack *extack)
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002116{
2117 struct fib_alias *fa;
Ido Schimmel20d15652019-12-14 17:53:13 +02002118 int last_slen = -1;
Jiri Pirko55c894f2019-10-03 11:49:28 +02002119 int err;
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002120
2121 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
2122 struct fib_info *fi = fa->fa_info;
2123
2124 if (!fi)
2125 continue;
2126
2127 /* local and main table can share the same trie,
2128 * so don't notify twice for the same entry.
2129 */
2130 if (tb->tb_id != fa->tb_id)
2131 continue;
2132
Ido Schimmel20d15652019-12-14 17:53:13 +02002133 if (fa->fa_slen == last_slen)
2134 continue;
2135
2136 last_slen = fa->fa_slen;
Ido Schimmel446f7392019-12-14 17:53:15 +02002137 err = call_fib_entry_notifier(nb, FIB_EVENT_ENTRY_REPLACE,
Ido Schimmel20d15652019-12-14 17:53:13 +02002138 l->key, KEYLENGTH - fa->fa_slen,
2139 fa, extack);
2140 if (err)
2141 return err;
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002142 }
Jiri Pirko55c894f2019-10-03 11:49:28 +02002143 return 0;
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002144}
2145
Jiri Pirkob7a59552019-10-03 11:49:30 +02002146static int fib_table_notify(struct fib_table *tb, struct notifier_block *nb,
2147 struct netlink_ext_ack *extack)
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002148{
2149 struct trie *t = (struct trie *)tb->tb_data;
2150 struct key_vector *l, *tp = t->kv;
2151 t_key key = 0;
Jiri Pirko55c894f2019-10-03 11:49:28 +02002152 int err;
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002153
2154 while ((l = leaf_walk_rcu(&tp, key)) != NULL) {
Jiri Pirkob7a59552019-10-03 11:49:30 +02002155 err = fib_leaf_notify(l, tb, nb, extack);
Jiri Pirko55c894f2019-10-03 11:49:28 +02002156 if (err)
2157 return err;
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002158
2159 key = l->key + 1;
2160 /* stop in case of wrap around */
2161 if (key < l->key)
2162 break;
2163 }
Jiri Pirko55c894f2019-10-03 11:49:28 +02002164 return 0;
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002165}
2166
Jiri Pirkob7a59552019-10-03 11:49:30 +02002167int fib_notify(struct net *net, struct notifier_block *nb,
2168 struct netlink_ext_ack *extack)
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002169{
2170 unsigned int h;
Jiri Pirko55c894f2019-10-03 11:49:28 +02002171 int err;
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002172
2173 for (h = 0; h < FIB_TABLE_HASHSZ; h++) {
2174 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
2175 struct fib_table *tb;
2176
Jiri Pirko55c894f2019-10-03 11:49:28 +02002177 hlist_for_each_entry_rcu(tb, head, tb_hlist) {
Jiri Pirkob7a59552019-10-03 11:49:30 +02002178 err = fib_table_notify(tb, nb, extack);
Jiri Pirko55c894f2019-10-03 11:49:28 +02002179 if (err)
2180 return err;
2181 }
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002182 }
Jiri Pirko55c894f2019-10-03 11:49:28 +02002183 return 0;
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002184}
2185
Alexander Duycka7e53532015-03-04 15:02:44 -08002186static void __trie_free_rcu(struct rcu_head *head)
Pavel Emelyanov4aa2c462010-10-28 02:00:43 +00002187{
Alexander Duycka7e53532015-03-04 15:02:44 -08002188 struct fib_table *tb = container_of(head, struct fib_table, rcu);
Alexander Duyck8274a972014-12-31 10:55:29 -08002189#ifdef CONFIG_IP_FIB_TRIE_STATS
2190 struct trie *t = (struct trie *)tb->tb_data;
2191
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002192 if (tb->tb_data == tb->__data)
2193 free_percpu(t->stats);
Alexander Duyck8274a972014-12-31 10:55:29 -08002194#endif /* CONFIG_IP_FIB_TRIE_STATS */
Pavel Emelyanov4aa2c462010-10-28 02:00:43 +00002195 kfree(tb);
2196}
2197
Alexander Duycka7e53532015-03-04 15:02:44 -08002198void fib_free_table(struct fib_table *tb)
2199{
2200 call_rcu(&tb->rcu, __trie_free_rcu);
2201}
2202
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002203static int fn_trie_dump_leaf(struct key_vector *l, struct fib_table *tb,
David Ahern18a80212018-10-15 18:56:43 -07002204 struct sk_buff *skb, struct netlink_callback *cb,
2205 struct fib_dump_filter *filter)
Robert Olsson19baf832005-06-21 12:43:18 -07002206{
David Ahern18a80212018-10-15 18:56:43 -07002207 unsigned int flags = NLM_F_MULTI;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002208 __be32 xkey = htonl(l->key);
Stefano Brivioee289062019-06-21 17:45:23 +02002209 int i, s_i, i_fa, s_fa, err;
Robert Olsson19baf832005-06-21 12:43:18 -07002210 struct fib_alias *fa;
Robert Olsson19baf832005-06-21 12:43:18 -07002211
Stefano Brivioee289062019-06-21 17:45:23 +02002212 if (filter->filter_set ||
2213 !filter->dump_exceptions || !filter->dump_routes)
David Ahern18a80212018-10-15 18:56:43 -07002214 flags |= NLM_F_DUMP_FILTERED;
2215
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002216 s_i = cb->args[4];
Stefano Brivioee289062019-06-21 17:45:23 +02002217 s_fa = cb->args[5];
Robert Olsson19baf832005-06-21 12:43:18 -07002218 i = 0;
2219
Robert Olsson2373ce12005-08-25 13:01:29 -07002220 /* rcu_read_lock is hold by caller */
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002221 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
Stefano Brivioee289062019-06-21 17:45:23 +02002222 struct fib_info *fi = fa->fa_info;
David Ahernf6c57752017-05-15 23:19:17 -07002223
David Ahern18a80212018-10-15 18:56:43 -07002224 if (i < s_i)
2225 goto next;
Robert Olsson19baf832005-06-21 12:43:18 -07002226
Stefano Brivioee289062019-06-21 17:45:23 +02002227 i_fa = 0;
2228
David Ahern18a80212018-10-15 18:56:43 -07002229 if (tb->tb_id != fa->tb_id)
2230 goto next;
2231
2232 if (filter->filter_set) {
2233 if (filter->rt_type && fa->fa_type != filter->rt_type)
2234 goto next;
2235
2236 if ((filter->protocol &&
Stefano Brivioee289062019-06-21 17:45:23 +02002237 fi->fib_protocol != filter->protocol))
David Ahern18a80212018-10-15 18:56:43 -07002238 goto next;
2239
2240 if (filter->dev &&
Stefano Brivioee289062019-06-21 17:45:23 +02002241 !fib_info_nh_uses_dev(fi, filter->dev))
David Ahern18a80212018-10-15 18:56:43 -07002242 goto next;
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002243 }
2244
Stefano Brivio885b8b42019-06-29 19:55:08 +02002245 if (filter->dump_routes) {
2246 if (!s_fa) {
Ido Schimmel1e301fd2020-01-14 13:23:10 +02002247 struct fib_rt_info fri;
2248
2249 fri.fi = fi;
2250 fri.tb_id = tb->tb_id;
2251 fri.dst = xkey;
2252 fri.dst_len = KEYLENGTH - fa->fa_slen;
2253 fri.tos = fa->fa_tos;
2254 fri.type = fa->fa_type;
Ido Schimmel90b93f12020-01-14 13:23:11 +02002255 fri.offload = fa->offload;
2256 fri.trap = fa->trap;
Stefano Brivio885b8b42019-06-29 19:55:08 +02002257 err = fib_dump_info(skb,
2258 NETLINK_CB(cb->skb).portid,
2259 cb->nlh->nlmsg_seq,
Ido Schimmel1e301fd2020-01-14 13:23:10 +02002260 RTM_NEWROUTE, &fri, flags);
Stefano Brivio885b8b42019-06-29 19:55:08 +02002261 if (err < 0)
2262 goto stop;
2263 }
2264
Stefano Brivioee289062019-06-21 17:45:23 +02002265 i_fa++;
Robert Olsson19baf832005-06-21 12:43:18 -07002266 }
Stefano Brivioee289062019-06-21 17:45:23 +02002267
2268 if (filter->dump_exceptions) {
2269 err = fib_dump_info_fnhe(skb, cb, tb->tb_id, fi,
John Fastabende93fb3e2019-08-23 17:11:38 -07002270 &i_fa, s_fa, flags);
Stefano Brivioee289062019-06-21 17:45:23 +02002271 if (err < 0)
2272 goto stop;
2273 }
2274
David Ahern18a80212018-10-15 18:56:43 -07002275next:
Stephen Hemmingera88ee222008-01-22 21:56:11 -08002276 i++;
Robert Olsson19baf832005-06-21 12:43:18 -07002277 }
Stephen Hemmingera88ee222008-01-22 21:56:11 -08002278
Stephen Hemminger71d67e62008-01-31 16:45:47 -08002279 cb->args[4] = i;
Robert Olsson19baf832005-06-21 12:43:18 -07002280 return skb->len;
Stefano Brivioee289062019-06-21 17:45:23 +02002281
2282stop:
2283 cb->args[4] = i;
2284 cb->args[5] = i_fa;
2285 return err;
Robert Olsson19baf832005-06-21 12:43:18 -07002286}
2287
Alexander Duycka7e53532015-03-04 15:02:44 -08002288/* rcu_read_lock needs to be hold by caller from readside */
Stephen Hemminger16c6cf82009-09-20 10:35:36 +00002289int fib_table_dump(struct fib_table *tb, struct sk_buff *skb,
David Ahern18a80212018-10-15 18:56:43 -07002290 struct netlink_callback *cb, struct fib_dump_filter *filter)
Robert Olsson19baf832005-06-21 12:43:18 -07002291{
Alexander Duyck8be33e92015-03-04 14:59:19 -08002292 struct trie *t = (struct trie *)tb->tb_data;
Alexander Duyck88bae712015-03-06 09:54:52 -08002293 struct key_vector *l, *tp = t->kv;
Stephen Hemmingerd5ce8a02008-01-22 21:57:22 -08002294 /* Dump starting at last key.
2295 * Note: 0.0.0.0/0 (ie default) is first key.
2296 */
Alexander Duyck8be33e92015-03-04 14:59:19 -08002297 int count = cb->args[2];
2298 t_key key = cb->args[3];
Stephen Hemmingera88ee222008-01-22 21:56:11 -08002299
David Ahern9827c062020-01-10 09:03:58 -08002300 /* First time here, count and key are both always 0. Count > 0
2301 * and key == 0 means the dump has wrapped around and we are done.
2302 */
2303 if (count && !key)
2304 return skb->len;
2305
Alexander Duyck8be33e92015-03-04 14:59:19 -08002306 while ((l = leaf_walk_rcu(&tp, key)) != NULL) {
David Ahernf6c57752017-05-15 23:19:17 -07002307 int err;
2308
David Ahern18a80212018-10-15 18:56:43 -07002309 err = fn_trie_dump_leaf(l, tb, skb, cb, filter);
David Ahernf6c57752017-05-15 23:19:17 -07002310 if (err < 0) {
Alexander Duyck8be33e92015-03-04 14:59:19 -08002311 cb->args[3] = key;
2312 cb->args[2] = count;
David Ahernf6c57752017-05-15 23:19:17 -07002313 return err;
Robert Olsson19baf832005-06-21 12:43:18 -07002314 }
Stephen Hemmingerd5ce8a02008-01-22 21:57:22 -08002315
Stephen Hemminger71d67e62008-01-31 16:45:47 -08002316 ++count;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002317 key = l->key + 1;
2318
Stephen Hemminger71d67e62008-01-31 16:45:47 -08002319 memset(&cb->args[4], 0,
2320 sizeof(cb->args) - 4*sizeof(cb->args[0]));
Alexander Duyck8be33e92015-03-04 14:59:19 -08002321
2322 /* stop loop if key wrapped back to 0 */
2323 if (key < l->key)
2324 break;
Robert Olsson19baf832005-06-21 12:43:18 -07002325 }
Alexander Duyck8be33e92015-03-04 14:59:19 -08002326
Alexander Duyck8be33e92015-03-04 14:59:19 -08002327 cb->args[3] = key;
2328 cb->args[2] = count;
2329
Robert Olsson19baf832005-06-21 12:43:18 -07002330 return skb->len;
Robert Olsson19baf832005-06-21 12:43:18 -07002331}
2332
David S. Miller5348ba82011-02-01 15:30:56 -08002333void __init fib_trie_init(void)
Stephen Hemminger7f9b8052008-01-14 23:14:20 -08002334{
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08002335 fn_alias_kmem = kmem_cache_create("ip_fib_alias",
2336 sizeof(struct fib_alias),
Stephen Hemmingerbc3c8c12008-01-22 21:51:50 -08002337 0, SLAB_PANIC, NULL);
2338
2339 trie_leaf_kmem = kmem_cache_create("ip_fib_trie",
Alexander Duyck41b489f2015-03-04 15:02:33 -08002340 LEAF_SIZE,
Stephen Hemmingerbc3c8c12008-01-22 21:51:50 -08002341 0, SLAB_PANIC, NULL);
Stephen Hemminger7f9b8052008-01-14 23:14:20 -08002342}
Robert Olsson19baf832005-06-21 12:43:18 -07002343
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002344struct fib_table *fib_trie_table(u32 id, struct fib_table *alias)
Robert Olsson19baf832005-06-21 12:43:18 -07002345{
2346 struct fib_table *tb;
2347 struct trie *t;
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002348 size_t sz = sizeof(*tb);
Robert Olsson19baf832005-06-21 12:43:18 -07002349
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002350 if (!alias)
2351 sz += sizeof(struct trie);
2352
2353 tb = kzalloc(sz, GFP_KERNEL);
Ian Morris51456b22015-04-03 09:17:26 +01002354 if (!tb)
Robert Olsson19baf832005-06-21 12:43:18 -07002355 return NULL;
2356
2357 tb->tb_id = id;
David S. Miller21d8c492011-04-14 14:49:37 -07002358 tb->tb_num_default = 0;
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002359 tb->tb_data = (alias ? alias->__data : tb->__data);
2360
2361 if (alias)
2362 return tb;
Robert Olsson19baf832005-06-21 12:43:18 -07002363
2364 t = (struct trie *) tb->tb_data;
Alexander Duyck88bae712015-03-06 09:54:52 -08002365 t->kv[0].pos = KEYLENGTH;
2366 t->kv[0].slen = KEYLENGTH;
Alexander Duyck8274a972014-12-31 10:55:29 -08002367#ifdef CONFIG_IP_FIB_TRIE_STATS
2368 t->stats = alloc_percpu(struct trie_use_stats);
2369 if (!t->stats) {
2370 kfree(tb);
2371 tb = NULL;
2372 }
2373#endif
Robert Olsson19baf832005-06-21 12:43:18 -07002374
Robert Olsson19baf832005-06-21 12:43:18 -07002375 return tb;
2376}
2377
Robert Olsson19baf832005-06-21 12:43:18 -07002378#ifdef CONFIG_PROC_FS
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002379/* Depth first Trie walk iterator */
2380struct fib_trie_iter {
Denis V. Lunev1c340b22008-01-10 03:27:17 -08002381 struct seq_net_private p;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002382 struct fib_table *tb;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002383 struct key_vector *tnode;
Eric Dumazeta034ee32010-09-09 23:32:28 +00002384 unsigned int index;
2385 unsigned int depth;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002386};
Robert Olsson19baf832005-06-21 12:43:18 -07002387
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002388static struct key_vector *fib_trie_get_next(struct fib_trie_iter *iter)
Robert Olsson19baf832005-06-21 12:43:18 -07002389{
Alexander Duyck98293e82014-12-31 10:56:18 -08002390 unsigned long cindex = iter->index;
Alexander Duyck88bae712015-03-06 09:54:52 -08002391 struct key_vector *pn = iter->tnode;
2392 t_key pkey;
Eric W. Biederman6640e692007-01-24 14:42:04 -08002393
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002394 pr_debug("get_next iter={node=%p index=%d depth=%d}\n",
2395 iter->tnode, iter->index, iter->depth);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002396
Alexander Duyck88bae712015-03-06 09:54:52 -08002397 while (!IS_TRIE(pn)) {
2398 while (cindex < child_length(pn)) {
2399 struct key_vector *n = get_child_rcu(pn, cindex++);
2400
2401 if (!n)
2402 continue;
2403
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002404 if (IS_LEAF(n)) {
Alexander Duyck88bae712015-03-06 09:54:52 -08002405 iter->tnode = pn;
2406 iter->index = cindex;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002407 } else {
2408 /* push down one level */
Alexander Duyckadaf9812014-12-31 10:55:47 -08002409 iter->tnode = n;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002410 iter->index = 0;
2411 ++iter->depth;
2412 }
Alexander Duyck88bae712015-03-06 09:54:52 -08002413
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002414 return n;
2415 }
2416
Alexander Duyck88bae712015-03-06 09:54:52 -08002417 /* Current node exhausted, pop back up */
2418 pkey = pn->key;
2419 pn = node_parent_rcu(pn);
2420 cindex = get_index(pkey, pn) + 1;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002421 --iter->depth;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002422 }
2423
Alexander Duyck88bae712015-03-06 09:54:52 -08002424 /* record root node so further searches know we are done */
2425 iter->tnode = pn;
2426 iter->index = 0;
2427
Robert Olsson19baf832005-06-21 12:43:18 -07002428 return NULL;
2429}
2430
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002431static struct key_vector *fib_trie_get_first(struct fib_trie_iter *iter,
2432 struct trie *t)
Robert Olsson19baf832005-06-21 12:43:18 -07002433{
Firo Yangf38b24c2015-06-08 11:54:51 +08002434 struct key_vector *n, *pn;
Robert Olsson5ddf0eb2006-03-20 21:34:12 -08002435
Stephen Hemminger132adf52007-03-08 20:44:43 -08002436 if (!t)
Robert Olsson5ddf0eb2006-03-20 21:34:12 -08002437 return NULL;
2438
Firo Yangf38b24c2015-06-08 11:54:51 +08002439 pn = t->kv;
Alexander Duyck88bae712015-03-06 09:54:52 -08002440 n = rcu_dereference(pn->tnode[0]);
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002441 if (!n)
Robert Olsson5ddf0eb2006-03-20 21:34:12 -08002442 return NULL;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002443
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002444 if (IS_TNODE(n)) {
Alexander Duyckadaf9812014-12-31 10:55:47 -08002445 iter->tnode = n;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002446 iter->index = 0;
2447 iter->depth = 1;
2448 } else {
Alexander Duyck88bae712015-03-06 09:54:52 -08002449 iter->tnode = pn;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002450 iter->index = 0;
2451 iter->depth = 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002452 }
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002453
2454 return n;
Robert Olsson19baf832005-06-21 12:43:18 -07002455}
2456
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002457static void trie_collect_stats(struct trie *t, struct trie_stat *s)
Robert Olsson19baf832005-06-21 12:43:18 -07002458{
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002459 struct key_vector *n;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002460 struct fib_trie_iter iter;
Robert Olsson19baf832005-06-21 12:43:18 -07002461
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002462 memset(s, 0, sizeof(*s));
Robert Olsson19baf832005-06-21 12:43:18 -07002463
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002464 rcu_read_lock();
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002465 for (n = fib_trie_get_first(&iter, t); n; n = fib_trie_get_next(&iter)) {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002466 if (IS_LEAF(n)) {
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002467 struct fib_alias *fa;
Stephen Hemminger93672292008-01-22 21:54:05 -08002468
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002469 s->leaves++;
2470 s->totdepth += iter.depth;
2471 if (iter.depth > s->maxdepth)
2472 s->maxdepth = iter.depth;
Stephen Hemminger93672292008-01-22 21:54:05 -08002473
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002474 hlist_for_each_entry_rcu(fa, &n->leaf, fa_list)
Stephen Hemminger93672292008-01-22 21:54:05 -08002475 ++s->prefixes;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002476 } else {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002477 s->tnodes++;
Alexander Duyckadaf9812014-12-31 10:55:47 -08002478 if (n->bits < MAX_STAT_DEPTH)
2479 s->nodesizes[n->bits]++;
Alexander Duyck6e22d172015-03-06 09:54:39 -08002480 s->nullpointers += tn_info(n)->empty_children;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002481 }
2482 }
2483 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002484}
2485
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002486/*
Robert Olsson19baf832005-06-21 12:43:18 -07002487 * This outputs /proc/net/fib_triestats
Robert Olsson19baf832005-06-21 12:43:18 -07002488 */
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002489static void trie_show_stats(struct seq_file *seq, struct trie_stat *stat)
Robert Olsson19baf832005-06-21 12:43:18 -07002490{
Eric Dumazeta034ee32010-09-09 23:32:28 +00002491 unsigned int i, max, pointers, bytes, avdepth;
Robert Olsson19baf832005-06-21 12:43:18 -07002492
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002493 if (stat->leaves)
2494 avdepth = stat->totdepth*100 / stat->leaves;
2495 else
2496 avdepth = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07002497
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08002498 seq_printf(seq, "\tAver depth: %u.%02d\n",
2499 avdepth / 100, avdepth % 100);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002500 seq_printf(seq, "\tMax depth: %u\n", stat->maxdepth);
Robert Olsson19baf832005-06-21 12:43:18 -07002501
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002502 seq_printf(seq, "\tLeaves: %u\n", stat->leaves);
Alexander Duyck41b489f2015-03-04 15:02:33 -08002503 bytes = LEAF_SIZE * stat->leaves;
Stephen Hemminger93672292008-01-22 21:54:05 -08002504
2505 seq_printf(seq, "\tPrefixes: %u\n", stat->prefixes);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002506 bytes += sizeof(struct fib_alias) * stat->prefixes;
Stephen Hemminger93672292008-01-22 21:54:05 -08002507
Stephen Hemminger187b5182008-01-12 20:55:55 -08002508 seq_printf(seq, "\tInternal nodes: %u\n\t", stat->tnodes);
Alexander Duyck41b489f2015-03-04 15:02:33 -08002509 bytes += TNODE_SIZE(0) * stat->tnodes;
Robert Olsson19baf832005-06-21 12:43:18 -07002510
Robert Olsson06ef9212006-03-20 21:35:01 -08002511 max = MAX_STAT_DEPTH;
2512 while (max > 0 && stat->nodesizes[max-1] == 0)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002513 max--;
Robert Olsson19baf832005-06-21 12:43:18 -07002514
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002515 pointers = 0;
Jerry Snitselaarf585a992013-07-22 12:01:58 -07002516 for (i = 1; i < max; i++)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002517 if (stat->nodesizes[i] != 0) {
Stephen Hemminger187b5182008-01-12 20:55:55 -08002518 seq_printf(seq, " %u: %u", i, stat->nodesizes[i]);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002519 pointers += (1<<i) * stat->nodesizes[i];
2520 }
2521 seq_putc(seq, '\n');
Stephen Hemminger187b5182008-01-12 20:55:55 -08002522 seq_printf(seq, "\tPointers: %u\n", pointers);
Robert Olsson19baf832005-06-21 12:43:18 -07002523
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002524 bytes += sizeof(struct key_vector *) * pointers;
Stephen Hemminger187b5182008-01-12 20:55:55 -08002525 seq_printf(seq, "Null ptrs: %u\n", stat->nullpointers);
2526 seq_printf(seq, "Total size: %u kB\n", (bytes + 1023) / 1024);
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08002527}
Robert Olsson19baf832005-06-21 12:43:18 -07002528
2529#ifdef CONFIG_IP_FIB_TRIE_STATS
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08002530static void trie_show_usage(struct seq_file *seq,
Alexander Duyck8274a972014-12-31 10:55:29 -08002531 const struct trie_use_stats __percpu *stats)
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08002532{
Alexander Duyck8274a972014-12-31 10:55:29 -08002533 struct trie_use_stats s = { 0 };
2534 int cpu;
2535
2536 /* loop through all of the CPUs and gather up the stats */
2537 for_each_possible_cpu(cpu) {
2538 const struct trie_use_stats *pcpu = per_cpu_ptr(stats, cpu);
2539
2540 s.gets += pcpu->gets;
2541 s.backtrack += pcpu->backtrack;
2542 s.semantic_match_passed += pcpu->semantic_match_passed;
2543 s.semantic_match_miss += pcpu->semantic_match_miss;
2544 s.null_node_hit += pcpu->null_node_hit;
2545 s.resize_node_skipped += pcpu->resize_node_skipped;
2546 }
2547
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08002548 seq_printf(seq, "\nCounters:\n---------\n");
Alexander Duyck8274a972014-12-31 10:55:29 -08002549 seq_printf(seq, "gets = %u\n", s.gets);
2550 seq_printf(seq, "backtracks = %u\n", s.backtrack);
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08002551 seq_printf(seq, "semantic match passed = %u\n",
Alexander Duyck8274a972014-12-31 10:55:29 -08002552 s.semantic_match_passed);
2553 seq_printf(seq, "semantic match miss = %u\n", s.semantic_match_miss);
2554 seq_printf(seq, "null node hit= %u\n", s.null_node_hit);
2555 seq_printf(seq, "skipped node resize = %u\n\n", s.resize_node_skipped);
Robert Olsson19baf832005-06-21 12:43:18 -07002556}
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08002557#endif /* CONFIG_IP_FIB_TRIE_STATS */
2558
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002559static void fib_table_print(struct seq_file *seq, struct fib_table *tb)
Stephen Hemmingerd717a9a2008-01-14 23:11:54 -08002560{
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002561 if (tb->tb_id == RT_TABLE_LOCAL)
2562 seq_puts(seq, "Local:\n");
2563 else if (tb->tb_id == RT_TABLE_MAIN)
2564 seq_puts(seq, "Main:\n");
2565 else
2566 seq_printf(seq, "Id %d:\n", tb->tb_id);
Stephen Hemmingerd717a9a2008-01-14 23:11:54 -08002567}
Robert Olsson19baf832005-06-21 12:43:18 -07002568
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002569
Robert Olsson19baf832005-06-21 12:43:18 -07002570static int fib_triestat_seq_show(struct seq_file *seq, void *v)
2571{
Denis V. Lunev1c340b22008-01-10 03:27:17 -08002572 struct net *net = (struct net *)seq->private;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002573 unsigned int h;
Eric W. Biederman877a9bf2007-12-07 00:47:47 -08002574
Stephen Hemmingerd717a9a2008-01-14 23:11:54 -08002575 seq_printf(seq,
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08002576 "Basic info: size of leaf:"
Alexey Dobriyan5b5e0922017-02-27 14:30:02 -08002577 " %zd bytes, size of tnode: %zd bytes.\n",
Alexander Duyck41b489f2015-03-04 15:02:33 -08002578 LEAF_SIZE, TNODE_SIZE(0));
Olof Johansson91b9a272005-08-09 20:24:39 -07002579
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002580 for (h = 0; h < FIB_TABLE_HASHSZ; h++) {
2581 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002582 struct fib_table *tb;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002583
Sasha Levinb67bfe02013-02-27 17:06:00 -08002584 hlist_for_each_entry_rcu(tb, head, tb_hlist) {
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002585 struct trie *t = (struct trie *) tb->tb_data;
2586 struct trie_stat stat;
2587
2588 if (!t)
2589 continue;
2590
2591 fib_table_print(seq, tb);
2592
2593 trie_collect_stats(t, &stat);
2594 trie_show_stats(seq, &stat);
2595#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8274a972014-12-31 10:55:29 -08002596 trie_show_usage(seq, t->stats);
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002597#endif
2598 }
2599 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002600
Robert Olsson19baf832005-06-21 12:43:18 -07002601 return 0;
2602}
2603
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002604static struct key_vector *fib_trie_get_idx(struct seq_file *seq, loff_t pos)
Robert Olsson19baf832005-06-21 12:43:18 -07002605{
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09002606 struct fib_trie_iter *iter = seq->private;
2607 struct net *net = seq_file_net(seq);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002608 loff_t idx = 0;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002609 unsigned int h;
Robert Olsson19baf832005-06-21 12:43:18 -07002610
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002611 for (h = 0; h < FIB_TABLE_HASHSZ; h++) {
2612 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002613 struct fib_table *tb;
2614
Sasha Levinb67bfe02013-02-27 17:06:00 -08002615 hlist_for_each_entry_rcu(tb, head, tb_hlist) {
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002616 struct key_vector *n;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002617
2618 for (n = fib_trie_get_first(iter,
2619 (struct trie *) tb->tb_data);
2620 n; n = fib_trie_get_next(iter))
2621 if (pos == idx++) {
2622 iter->tb = tb;
2623 return n;
2624 }
2625 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002626 }
Robert Olsson19baf832005-06-21 12:43:18 -07002627
Robert Olsson19baf832005-06-21 12:43:18 -07002628 return NULL;
2629}
2630
2631static void *fib_trie_seq_start(struct seq_file *seq, loff_t *pos)
Stephen Hemmingerc95aaf92008-01-12 21:25:02 -08002632 __acquires(RCU)
Robert Olsson19baf832005-06-21 12:43:18 -07002633{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002634 rcu_read_lock();
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09002635 return fib_trie_get_idx(seq, *pos);
Robert Olsson19baf832005-06-21 12:43:18 -07002636}
2637
2638static void *fib_trie_seq_next(struct seq_file *seq, void *v, loff_t *pos)
2639{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002640 struct fib_trie_iter *iter = seq->private;
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09002641 struct net *net = seq_file_net(seq);
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002642 struct fib_table *tb = iter->tb;
2643 struct hlist_node *tb_node;
2644 unsigned int h;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002645 struct key_vector *n;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002646
Robert Olsson19baf832005-06-21 12:43:18 -07002647 ++*pos;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002648 /* next node in same table */
2649 n = fib_trie_get_next(iter);
2650 if (n)
2651 return n;
Olof Johansson91b9a272005-08-09 20:24:39 -07002652
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002653 /* walk rest of this hash chain */
2654 h = tb->tb_id & (FIB_TABLE_HASHSZ - 1);
Eric Dumazet0a5c0472011-03-31 01:51:35 -07002655 while ((tb_node = rcu_dereference(hlist_next_rcu(&tb->tb_hlist)))) {
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002656 tb = hlist_entry(tb_node, struct fib_table, tb_hlist);
2657 n = fib_trie_get_first(iter, (struct trie *) tb->tb_data);
2658 if (n)
2659 goto found;
2660 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002661
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002662 /* new hash chain */
2663 while (++h < FIB_TABLE_HASHSZ) {
2664 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
Sasha Levinb67bfe02013-02-27 17:06:00 -08002665 hlist_for_each_entry_rcu(tb, head, tb_hlist) {
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002666 n = fib_trie_get_first(iter, (struct trie *) tb->tb_data);
2667 if (n)
2668 goto found;
2669 }
2670 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002671 return NULL;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002672
2673found:
2674 iter->tb = tb;
2675 return n;
Robert Olsson19baf832005-06-21 12:43:18 -07002676}
2677
2678static void fib_trie_seq_stop(struct seq_file *seq, void *v)
Stephen Hemmingerc95aaf92008-01-12 21:25:02 -08002679 __releases(RCU)
Robert Olsson19baf832005-06-21 12:43:18 -07002680{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002681 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002682}
2683
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002684static void seq_indent(struct seq_file *seq, int n)
2685{
Eric Dumazeta034ee32010-09-09 23:32:28 +00002686 while (n-- > 0)
2687 seq_puts(seq, " ");
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002688}
Robert Olsson19baf832005-06-21 12:43:18 -07002689
Eric Dumazet28d36e32008-01-14 23:09:56 -08002690static inline const char *rtn_scope(char *buf, size_t len, enum rt_scope_t s)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002691{
Stephen Hemminger132adf52007-03-08 20:44:43 -08002692 switch (s) {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002693 case RT_SCOPE_UNIVERSE: return "universe";
2694 case RT_SCOPE_SITE: return "site";
2695 case RT_SCOPE_LINK: return "link";
2696 case RT_SCOPE_HOST: return "host";
2697 case RT_SCOPE_NOWHERE: return "nowhere";
2698 default:
Eric Dumazet28d36e32008-01-14 23:09:56 -08002699 snprintf(buf, len, "scope=%d", s);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002700 return buf;
2701 }
2702}
2703
Jan Engelhardt36cbd3d2009-08-05 10:42:58 -07002704static const char *const rtn_type_names[__RTN_MAX] = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002705 [RTN_UNSPEC] = "UNSPEC",
2706 [RTN_UNICAST] = "UNICAST",
2707 [RTN_LOCAL] = "LOCAL",
2708 [RTN_BROADCAST] = "BROADCAST",
2709 [RTN_ANYCAST] = "ANYCAST",
2710 [RTN_MULTICAST] = "MULTICAST",
2711 [RTN_BLACKHOLE] = "BLACKHOLE",
2712 [RTN_UNREACHABLE] = "UNREACHABLE",
2713 [RTN_PROHIBIT] = "PROHIBIT",
2714 [RTN_THROW] = "THROW",
2715 [RTN_NAT] = "NAT",
2716 [RTN_XRESOLVE] = "XRESOLVE",
2717};
2718
Eric Dumazeta034ee32010-09-09 23:32:28 +00002719static inline const char *rtn_type(char *buf, size_t len, unsigned int t)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002720{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002721 if (t < __RTN_MAX && rtn_type_names[t])
2722 return rtn_type_names[t];
Eric Dumazet28d36e32008-01-14 23:09:56 -08002723 snprintf(buf, len, "type %u", t);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002724 return buf;
2725}
2726
2727/* Pretty print the trie */
Robert Olsson19baf832005-06-21 12:43:18 -07002728static int fib_trie_seq_show(struct seq_file *seq, void *v)
2729{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002730 const struct fib_trie_iter *iter = seq->private;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002731 struct key_vector *n = v;
Robert Olsson19baf832005-06-21 12:43:18 -07002732
Alexander Duyck88bae712015-03-06 09:54:52 -08002733 if (IS_TRIE(node_parent_rcu(n)))
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002734 fib_table_print(seq, iter->tb);
Robert Olsson095b8502007-01-26 19:06:01 -08002735
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002736 if (IS_TNODE(n)) {
Alexander Duyckadaf9812014-12-31 10:55:47 -08002737 __be32 prf = htonl(n->key);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002738
Alexander Duycke9b44012014-12-31 10:56:12 -08002739 seq_indent(seq, iter->depth-1);
2740 seq_printf(seq, " +-- %pI4/%zu %u %u %u\n",
2741 &prf, KEYLENGTH - n->pos - n->bits, n->bits,
Alexander Duyck6e22d172015-03-06 09:54:39 -08002742 tn_info(n)->full_children,
2743 tn_info(n)->empty_children);
Olof Johansson91b9a272005-08-09 20:24:39 -07002744 } else {
Alexander Duyckadaf9812014-12-31 10:55:47 -08002745 __be32 val = htonl(n->key);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002746 struct fib_alias *fa;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002747
2748 seq_indent(seq, iter->depth);
Harvey Harrison673d57e2008-10-31 00:53:57 -07002749 seq_printf(seq, " |-- %pI4\n", &val);
Eric Dumazet28d36e32008-01-14 23:09:56 -08002750
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002751 hlist_for_each_entry_rcu(fa, &n->leaf, fa_list) {
2752 char buf1[32], buf2[32];
Eric Dumazet28d36e32008-01-14 23:09:56 -08002753
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002754 seq_indent(seq, iter->depth + 1);
2755 seq_printf(seq, " /%zu %s %s",
2756 KEYLENGTH - fa->fa_slen,
2757 rtn_scope(buf1, sizeof(buf1),
2758 fa->fa_info->fib_scope),
2759 rtn_type(buf2, sizeof(buf2),
2760 fa->fa_type));
2761 if (fa->fa_tos)
2762 seq_printf(seq, " tos=%d", fa->fa_tos);
2763 seq_putc(seq, '\n');
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002764 }
Robert Olsson19baf832005-06-21 12:43:18 -07002765 }
2766
2767 return 0;
2768}
2769
Stephen Hemmingerf6908082007-03-12 14:34:29 -07002770static const struct seq_operations fib_trie_seq_ops = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002771 .start = fib_trie_seq_start,
2772 .next = fib_trie_seq_next,
2773 .stop = fib_trie_seq_stop,
2774 .show = fib_trie_seq_show,
Robert Olsson19baf832005-06-21 12:43:18 -07002775};
2776
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002777struct fib_route_iter {
2778 struct seq_net_private p;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002779 struct fib_table *main_tb;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002780 struct key_vector *tnode;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002781 loff_t pos;
2782 t_key key;
2783};
2784
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002785static struct key_vector *fib_route_get_idx(struct fib_route_iter *iter,
2786 loff_t pos)
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002787{
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002788 struct key_vector *l, **tp = &iter->tnode;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002789 t_key key;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002790
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002791 /* use cached location of previously found key */
Alexander Duyck8be33e92015-03-04 14:59:19 -08002792 if (iter->pos > 0 && pos >= iter->pos) {
Alexander Duyck8be33e92015-03-04 14:59:19 -08002793 key = iter->key;
2794 } else {
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002795 iter->pos = 1;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002796 key = 0;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002797 }
2798
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002799 pos -= iter->pos;
2800
2801 while ((l = leaf_walk_rcu(tp, key)) && (pos-- > 0)) {
Alexander Duyck8be33e92015-03-04 14:59:19 -08002802 key = l->key + 1;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002803 iter->pos++;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002804 l = NULL;
2805
2806 /* handle unlikely case of a key wrap */
2807 if (!key)
2808 break;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002809 }
2810
2811 if (l)
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002812 iter->key = l->key; /* remember it */
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002813 else
2814 iter->pos = 0; /* forget it */
2815
2816 return l;
2817}
2818
2819static void *fib_route_seq_start(struct seq_file *seq, loff_t *pos)
2820 __acquires(RCU)
2821{
2822 struct fib_route_iter *iter = seq->private;
2823 struct fib_table *tb;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002824 struct trie *t;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002825
2826 rcu_read_lock();
Alexander Duyck8be33e92015-03-04 14:59:19 -08002827
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09002828 tb = fib_get_table(seq_file_net(seq), RT_TABLE_MAIN);
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002829 if (!tb)
2830 return NULL;
2831
Alexander Duyck8be33e92015-03-04 14:59:19 -08002832 iter->main_tb = tb;
David Forster94d9f1c2016-08-03 15:13:01 +01002833 t = (struct trie *)tb->tb_data;
2834 iter->tnode = t->kv;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002835
2836 if (*pos != 0)
2837 return fib_route_get_idx(iter, *pos);
2838
Alexander Duyck8be33e92015-03-04 14:59:19 -08002839 iter->pos = 0;
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002840 iter->key = KEY_MAX;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002841
2842 return SEQ_START_TOKEN;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002843}
2844
2845static void *fib_route_seq_next(struct seq_file *seq, void *v, loff_t *pos)
2846{
2847 struct fib_route_iter *iter = seq->private;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002848 struct key_vector *l = NULL;
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002849 t_key key = iter->key + 1;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002850
2851 ++*pos;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002852
2853 /* only allow key of 0 for start of sequence */
2854 if ((v == SEQ_START_TOKEN) || key)
2855 l = leaf_walk_rcu(&iter->tnode, key);
2856
2857 if (l) {
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002858 iter->key = l->key;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002859 iter->pos++;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002860 } else {
2861 iter->pos = 0;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002862 }
2863
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002864 return l;
2865}
2866
2867static void fib_route_seq_stop(struct seq_file *seq, void *v)
2868 __releases(RCU)
2869{
2870 rcu_read_unlock();
2871}
2872
David Ahern5481d732019-06-03 20:19:49 -07002873static unsigned int fib_flag_trans(int type, __be32 mask, struct fib_info *fi)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002874{
Eric Dumazeta034ee32010-09-09 23:32:28 +00002875 unsigned int flags = 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002876
Eric Dumazeta034ee32010-09-09 23:32:28 +00002877 if (type == RTN_UNREACHABLE || type == RTN_PROHIBIT)
2878 flags = RTF_REJECT;
David Ahern5481d732019-06-03 20:19:49 -07002879 if (fi) {
David Aherndcb1ecb2019-06-03 20:19:50 -07002880 const struct fib_nh_common *nhc = fib_info_nhc(fi, 0);
David Ahern5481d732019-06-03 20:19:49 -07002881
David Aherndcb1ecb2019-06-03 20:19:50 -07002882 if (nhc->nhc_gw.ipv4)
David Ahern5481d732019-06-03 20:19:49 -07002883 flags |= RTF_GATEWAY;
2884 }
Al Viro32ab5f82006-09-26 22:21:45 -07002885 if (mask == htonl(0xFFFFFFFF))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002886 flags |= RTF_HOST;
2887 flags |= RTF_UP;
2888 return flags;
2889}
2890
2891/*
2892 * This outputs /proc/net/route.
2893 * The format of the file is not supposed to be changed
Eric Dumazeta034ee32010-09-09 23:32:28 +00002894 * and needs to be same as fib_hash output to avoid breaking
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002895 * legacy utilities
2896 */
2897static int fib_route_seq_show(struct seq_file *seq, void *v)
2898{
Alexander Duyck654eff42015-03-11 16:36:08 -07002899 struct fib_route_iter *iter = seq->private;
2900 struct fib_table *tb = iter->main_tb;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002901 struct fib_alias *fa;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002902 struct key_vector *l = v;
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08002903 __be32 prefix;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002904
2905 if (v == SEQ_START_TOKEN) {
2906 seq_printf(seq, "%-127s\n", "Iface\tDestination\tGateway "
2907 "\tFlags\tRefCnt\tUse\tMetric\tMask\t\tMTU"
2908 "\tWindow\tIRTT");
2909 return 0;
2910 }
2911
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08002912 prefix = htonl(l->key);
2913
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002914 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
David Ahern5481d732019-06-03 20:19:49 -07002915 struct fib_info *fi = fa->fa_info;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002916 __be32 mask = inet_make_mask(KEYLENGTH - fa->fa_slen);
2917 unsigned int flags = fib_flag_trans(fa->fa_type, mask, fi);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002918
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002919 if ((fa->fa_type == RTN_BROADCAST) ||
2920 (fa->fa_type == RTN_MULTICAST))
2921 continue;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002922
Alexander Duyck654eff42015-03-11 16:36:08 -07002923 if (fa->tb_id != tb->tb_id)
2924 continue;
2925
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002926 seq_setwidth(seq, 127);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002927
David Ahern5481d732019-06-03 20:19:49 -07002928 if (fi) {
David Aherndcb1ecb2019-06-03 20:19:50 -07002929 struct fib_nh_common *nhc = fib_info_nhc(fi, 0);
2930 __be32 gw = 0;
2931
2932 if (nhc->nhc_gw_family == AF_INET)
2933 gw = nhc->nhc_gw.ipv4;
David Ahern5481d732019-06-03 20:19:49 -07002934
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002935 seq_printf(seq,
2936 "%s\t%08X\t%08X\t%04X\t%d\t%u\t"
2937 "%d\t%08X\t%d\t%u\t%u",
David Aherndcb1ecb2019-06-03 20:19:50 -07002938 nhc->nhc_dev ? nhc->nhc_dev->name : "*",
2939 prefix, gw, flags, 0, 0,
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002940 fi->fib_priority,
2941 mask,
2942 (fi->fib_advmss ?
2943 fi->fib_advmss + 40 : 0),
2944 fi->fib_window,
2945 fi->fib_rtt >> 3);
David Ahern5481d732019-06-03 20:19:49 -07002946 } else {
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002947 seq_printf(seq,
2948 "*\t%08X\t%08X\t%04X\t%d\t%u\t"
2949 "%d\t%08X\t%d\t%u\t%u",
2950 prefix, 0, flags, 0, 0, 0,
2951 mask, 0, 0, 0);
David Ahern5481d732019-06-03 20:19:49 -07002952 }
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002953 seq_pad(seq, '\n');
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002954 }
2955
2956 return 0;
2957}
2958
Stephen Hemmingerf6908082007-03-12 14:34:29 -07002959static const struct seq_operations fib_route_seq_ops = {
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002960 .start = fib_route_seq_start,
2961 .next = fib_route_seq_next,
2962 .stop = fib_route_seq_stop,
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002963 .show = fib_route_seq_show,
2964};
2965
Denis V. Lunev61a02652008-01-10 03:21:09 -08002966int __net_init fib_proc_init(struct net *net)
Robert Olsson19baf832005-06-21 12:43:18 -07002967{
Christoph Hellwigc3506372018-04-10 19:42:55 +02002968 if (!proc_create_net("fib_trie", 0444, net->proc_net, &fib_trie_seq_ops,
2969 sizeof(struct fib_trie_iter)))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002970 goto out1;
2971
Christoph Hellwig3617d942018-04-13 20:38:35 +02002972 if (!proc_create_net_single("fib_triestat", 0444, net->proc_net,
2973 fib_triestat_seq_show, NULL))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002974 goto out2;
2975
Christoph Hellwigc3506372018-04-10 19:42:55 +02002976 if (!proc_create_net("route", 0444, net->proc_net, &fib_route_seq_ops,
2977 sizeof(struct fib_route_iter)))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002978 goto out3;
2979
Robert Olsson19baf832005-06-21 12:43:18 -07002980 return 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002981
2982out3:
Gao fengece31ff2013-02-18 01:34:56 +00002983 remove_proc_entry("fib_triestat", net->proc_net);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002984out2:
Gao fengece31ff2013-02-18 01:34:56 +00002985 remove_proc_entry("fib_trie", net->proc_net);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002986out1:
2987 return -ENOMEM;
Robert Olsson19baf832005-06-21 12:43:18 -07002988}
2989
Denis V. Lunev61a02652008-01-10 03:21:09 -08002990void __net_exit fib_proc_exit(struct net *net)
Robert Olsson19baf832005-06-21 12:43:18 -07002991{
Gao fengece31ff2013-02-18 01:34:56 +00002992 remove_proc_entry("fib_trie", net->proc_net);
2993 remove_proc_entry("fib_triestat", net->proc_net);
2994 remove_proc_entry("route", net->proc_net);
Robert Olsson19baf832005-06-21 12:43:18 -07002995}
2996
2997#endif /* CONFIG_PROC_FS */