blob: 2b2b3d291ab061a916ce9aa0371a865cf7eb8107 [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
Ido Schimmelc3852ef2016-12-03 16:45:07 +010077static int call_fib_entry_notifier(struct notifier_block *nb, struct net *net,
78 enum fib_event_type event_type, u32 dst,
David Ahern6eba87c2017-10-18 11:39:13 -070079 int dst_len, struct fib_alias *fa)
Ido Schimmelc3852ef2016-12-03 16:45:07 +010080{
81 struct fib_entry_notifier_info info = {
82 .dst = dst,
83 .dst_len = dst_len,
David Ahern6eba87c2017-10-18 11:39:13 -070084 .fi = fa->fa_info,
85 .tos = fa->fa_tos,
86 .type = fa->fa_type,
87 .tb_id = fa->tb_id,
Ido Schimmelc3852ef2016-12-03 16:45:07 +010088 };
Ido Schimmel04b1d4e2017-08-03 13:28:11 +020089 return call_fib4_notifier(nb, net, event_type, &info.info);
Ido Schimmelc3852ef2016-12-03 16:45:07 +010090}
91
Jiri Pirkob90eb752016-09-26 12:52:29 +020092static int call_fib_entry_notifiers(struct net *net,
93 enum fib_event_type event_type, u32 dst,
David Ahern6c31e5a2017-10-27 17:37:13 -070094 int dst_len, struct fib_alias *fa,
95 struct netlink_ext_ack *extack)
Jiri Pirkob90eb752016-09-26 12:52:29 +020096{
97 struct fib_entry_notifier_info info = {
David Ahern6c31e5a2017-10-27 17:37:13 -070098 .info.extack = extack,
Jiri Pirkob90eb752016-09-26 12:52:29 +020099 .dst = dst,
100 .dst_len = dst_len,
David Ahern6eba87c2017-10-18 11:39:13 -0700101 .fi = fa->fa_info,
102 .tos = fa->fa_tos,
103 .type = fa->fa_type,
104 .tb_id = fa->tb_id,
Jiri Pirkob90eb752016-09-26 12:52:29 +0200105 };
Ido Schimmel04b1d4e2017-08-03 13:28:11 +0200106 return call_fib4_notifiers(net, event_type, &info.info);
Jiri Pirkob90eb752016-09-26 12:52:29 +0200107}
108
Robert Olsson06ef9212006-03-20 21:35:01 -0800109#define MAX_STAT_DEPTH 32
Robert Olsson19baf832005-06-21 12:43:18 -0700110
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800111#define KEYLENGTH (8*sizeof(t_key))
112#define KEY_MAX ((t_key)~0)
Robert Olsson19baf832005-06-21 12:43:18 -0700113
Robert Olsson19baf832005-06-21 12:43:18 -0700114typedef unsigned int t_key;
115
Alexander Duyck88bae712015-03-06 09:54:52 -0800116#define IS_TRIE(n) ((n)->pos >= KEYLENGTH)
117#define IS_TNODE(n) ((n)->bits)
118#define IS_LEAF(n) (!(n)->bits)
Robert Olsson2373ce12005-08-25 13:01:29 -0700119
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800120struct key_vector {
Alexander Duyck41b489f2015-03-04 15:02:33 -0800121 t_key key;
122 unsigned char pos; /* 2log(KEYLENGTH) bits needed */
123 unsigned char bits; /* 2log(KEYLENGTH) bits needed */
124 unsigned char slen;
Alexander Duyckadaf9812014-12-31 10:55:47 -0800125 union {
Alexander Duyck41b489f2015-03-04 15:02:33 -0800126 /* This list pointer if valid if (pos | bits) == 0 (LEAF) */
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800127 struct hlist_head leaf;
Alexander Duyck41b489f2015-03-04 15:02:33 -0800128 /* This array is valid if (pos | bits) > 0 (TNODE) */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800129 struct key_vector __rcu *tnode[0];
Alexander Duyckadaf9812014-12-31 10:55:47 -0800130 };
Robert Olsson19baf832005-06-21 12:43:18 -0700131};
132
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800133struct tnode {
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800134 struct rcu_head rcu;
Alexander Duyck6e22d172015-03-06 09:54:39 -0800135 t_key empty_children; /* KEYLENGTH bits needed */
136 t_key full_children; /* KEYLENGTH bits needed */
Alexander Duyckf23e59f2015-03-06 09:54:46 -0800137 struct key_vector __rcu *parent;
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800138 struct key_vector kv[1];
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800139#define tn_bits kv[0].bits
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800140};
141
142#define TNODE_SIZE(n) offsetof(struct tnode, kv[0].tnode[n])
Alexander Duyck41b489f2015-03-04 15:02:33 -0800143#define LEAF_SIZE TNODE_SIZE(1)
144
Robert Olsson19baf832005-06-21 12:43:18 -0700145#ifdef CONFIG_IP_FIB_TRIE_STATS
146struct trie_use_stats {
147 unsigned int gets;
148 unsigned int backtrack;
149 unsigned int semantic_match_passed;
150 unsigned int semantic_match_miss;
151 unsigned int null_node_hit;
Robert Olsson2f368952005-07-05 15:02:40 -0700152 unsigned int resize_node_skipped;
Robert Olsson19baf832005-06-21 12:43:18 -0700153};
154#endif
155
156struct trie_stat {
157 unsigned int totdepth;
158 unsigned int maxdepth;
159 unsigned int tnodes;
160 unsigned int leaves;
161 unsigned int nullpointers;
Stephen Hemminger93672292008-01-22 21:54:05 -0800162 unsigned int prefixes;
Robert Olsson06ef9212006-03-20 21:35:01 -0800163 unsigned int nodesizes[MAX_STAT_DEPTH];
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700164};
Robert Olsson19baf832005-06-21 12:43:18 -0700165
166struct trie {
Alexander Duyck88bae712015-03-06 09:54:52 -0800167 struct key_vector kv[1];
Robert Olsson19baf832005-06-21 12:43:18 -0700168#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8274a972014-12-31 10:55:29 -0800169 struct trie_use_stats __percpu *stats;
Robert Olsson19baf832005-06-21 12:43:18 -0700170#endif
Robert Olsson19baf832005-06-21 12:43:18 -0700171};
172
Alexander Duyck88bae712015-03-06 09:54:52 -0800173static struct key_vector *resize(struct trie *t, struct key_vector *tn);
David Ahern9ab948a2019-03-20 09:18:59 -0700174static unsigned int tnode_free_size;
Jarek Poplawskic3059472009-07-14 08:33:08 +0000175
176/*
David Ahern9ab948a2019-03-20 09:18:59 -0700177 * synchronize_rcu after call_rcu for outstanding dirty memory; it should be
178 * especially useful before resizing the root node with PREEMPT_NONE configs;
179 * the value was obtained experimentally, aiming to avoid visible slowdown.
Jarek Poplawskic3059472009-07-14 08:33:08 +0000180 */
David Ahern9ab948a2019-03-20 09:18:59 -0700181unsigned int sysctl_fib_sync_mem = 512 * 1024;
182unsigned int sysctl_fib_sync_mem_min = 64 * 1024;
183unsigned int sysctl_fib_sync_mem_max = 64 * 1024 * 1024;
Robert Olsson19baf832005-06-21 12:43:18 -0700184
Alexey Dobriyan08009a72018-02-24 21:20:33 +0300185static struct kmem_cache *fn_alias_kmem __ro_after_init;
186static struct kmem_cache *trie_leaf_kmem __ro_after_init;
Robert Olsson19baf832005-06-21 12:43:18 -0700187
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800188static inline struct tnode *tn_info(struct key_vector *kv)
189{
190 return container_of(kv, struct tnode, kv[0]);
191}
192
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800193/* caller must hold RTNL */
Alexander Duyckf23e59f2015-03-06 09:54:46 -0800194#define node_parent(tn) rtnl_dereference(tn_info(tn)->parent)
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800195#define get_child(tn, i) rtnl_dereference((tn)->tnode[i])
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700196
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800197/* caller must hold RCU read lock or RTNL */
Alexander Duyckf23e59f2015-03-06 09:54:46 -0800198#define node_parent_rcu(tn) rcu_dereference_rtnl(tn_info(tn)->parent)
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800199#define get_child_rcu(tn, i) rcu_dereference_rtnl((tn)->tnode[i])
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700200
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800201/* wrapper for rcu_assign_pointer */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800202static inline void node_set_parent(struct key_vector *n, struct key_vector *tp)
Stephen Hemminger06801912007-08-10 15:22:13 -0700203{
Alexander Duyckadaf9812014-12-31 10:55:47 -0800204 if (n)
Alexander Duyckf23e59f2015-03-06 09:54:46 -0800205 rcu_assign_pointer(tn_info(n)->parent, tp);
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800206}
207
Alexander Duyckf23e59f2015-03-06 09:54:46 -0800208#define NODE_INIT_PARENT(n, p) RCU_INIT_POINTER(tn_info(n)->parent, p)
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800209
210/* This provides us with the number of children in this node, in the case of a
211 * leaf this will return 0 meaning none of the children are accessible.
212 */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800213static inline unsigned long child_length(const struct key_vector *tn)
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800214{
215 return (1ul << tn->bits) & ~(1ul);
Stephen Hemminger06801912007-08-10 15:22:13 -0700216}
Robert Olsson2373ce12005-08-25 13:01:29 -0700217
Alexander Duyck88bae712015-03-06 09:54:52 -0800218#define get_cindex(key, kv) (((key) ^ (kv)->key) >> (kv)->pos)
219
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800220static inline unsigned long get_index(t_key key, struct key_vector *kv)
221{
222 unsigned long index = key ^ kv->key;
223
Alexander Duyck88bae712015-03-06 09:54:52 -0800224 if ((BITS_PER_LONG <= KEYLENGTH) && (KEYLENGTH == kv->pos))
225 return 0;
226
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800227 return index >> kv->pos;
228}
229
Alexander Duycke9b44012014-12-31 10:56:12 -0800230/* To understand this stuff, an understanding of keys and all their bits is
231 * necessary. Every node in the trie has a key associated with it, but not
232 * all of the bits in that key are significant.
233 *
234 * Consider a node 'n' and its parent 'tp'.
235 *
236 * If n is a leaf, every bit in its key is significant. Its presence is
237 * necessitated by path compression, since during a tree traversal (when
238 * searching for a leaf - unless we are doing an insertion) we will completely
239 * ignore all skipped bits we encounter. Thus we need to verify, at the end of
240 * a potentially successful search, that we have indeed been walking the
241 * correct key path.
242 *
243 * Note that we can never "miss" the correct key in the tree if present by
244 * following the wrong path. Path compression ensures that segments of the key
245 * that are the same for all keys with a given prefix are skipped, but the
246 * skipped part *is* identical for each node in the subtrie below the skipped
247 * bit! trie_insert() in this implementation takes care of that.
248 *
249 * if n is an internal node - a 'tnode' here, the various parts of its key
250 * have many different meanings.
251 *
252 * Example:
253 * _________________________________________________________________
254 * | i | i | i | i | i | i | i | N | N | N | S | S | S | S | S | C |
255 * -----------------------------------------------------------------
256 * 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16
257 *
258 * _________________________________________________________________
259 * | C | C | C | u | u | u | u | u | u | u | u | u | u | u | u | u |
260 * -----------------------------------------------------------------
261 * 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
262 *
263 * tp->pos = 22
264 * tp->bits = 3
265 * n->pos = 13
266 * n->bits = 4
267 *
268 * First, let's just ignore the bits that come before the parent tp, that is
269 * the bits from (tp->pos + tp->bits) to 31. They are *known* but at this
270 * point we do not use them for anything.
271 *
272 * The bits from (tp->pos) to (tp->pos + tp->bits - 1) - "N", above - are the
273 * index into the parent's child array. That is, they will be used to find
274 * 'n' among tp's children.
275 *
Xunlei Pang98a384e2016-08-18 12:33:28 +0800276 * The bits from (n->pos + n->bits) to (tp->pos - 1) - "S" - are skipped bits
Alexander Duycke9b44012014-12-31 10:56:12 -0800277 * for the node n.
278 *
279 * All the bits we have seen so far are significant to the node n. The rest
280 * of the bits are really not needed or indeed known in n->key.
281 *
282 * The bits from (n->pos) to (n->pos + n->bits - 1) - "C" - are the index into
283 * n's child array, and will of course be different for each child.
284 *
Xunlei Pang98a384e2016-08-18 12:33:28 +0800285 * The rest of the bits, from 0 to (n->pos -1) - "u" - are completely unknown
Alexander Duycke9b44012014-12-31 10:56:12 -0800286 * at this point.
287 */
Robert Olsson19baf832005-06-21 12:43:18 -0700288
Denis V. Lunevf5026fa2007-12-13 09:47:57 -0800289static const int halve_threshold = 25;
290static const int inflate_threshold = 50;
Jarek Poplawski345aa032009-07-07 19:39:16 -0700291static const int halve_threshold_root = 15;
Jens Låås80b71b82009-08-28 23:57:15 -0700292static const int inflate_threshold_root = 30;
Robert Olsson2373ce12005-08-25 13:01:29 -0700293
294static void __alias_free_mem(struct rcu_head *head)
295{
296 struct fib_alias *fa = container_of(head, struct fib_alias, rcu);
297 kmem_cache_free(fn_alias_kmem, fa);
298}
299
300static inline void alias_free_mem_rcu(struct fib_alias *fa)
301{
302 call_rcu(&fa->rcu, __alias_free_mem);
303}
304
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800305#define TNODE_KMALLOC_MAX \
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800306 ilog2((PAGE_SIZE - TNODE_SIZE(0)) / sizeof(struct key_vector *))
Alexander Duyck1de3d872015-03-04 15:04:46 -0800307#define TNODE_VMALLOC_MAX \
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800308 ilog2((SIZE_MAX - TNODE_SIZE(0)) / sizeof(struct key_vector *))
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800309
310static void __node_free_rcu(struct rcu_head *head)
Robert Olsson2373ce12005-08-25 13:01:29 -0700311{
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800312 struct tnode *n = container_of(head, struct tnode, rcu);
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800313
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800314 if (!n->tn_bits)
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800315 kmem_cache_free(trie_leaf_kmem, n);
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800316 else
Tetsuo Handa1d5cfdb2016-01-22 15:11:02 -0800317 kvfree(n);
Robert Olsson2373ce12005-08-25 13:01:29 -0700318}
319
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800320#define node_free(n) call_rcu(&tn_info(n)->rcu, __node_free_rcu)
Stephen Hemminger387a5482008-04-10 03:47:34 -0700321
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800322static struct tnode *tnode_alloc(int bits)
Robert Olsson2373ce12005-08-25 13:01:29 -0700323{
Alexander Duyck1de3d872015-03-04 15:04:46 -0800324 size_t size;
325
326 /* verify bits is within bounds */
327 if (bits > TNODE_VMALLOC_MAX)
328 return NULL;
329
330 /* determine size and verify it is non-zero and didn't overflow */
331 size = TNODE_SIZE(1ul << bits);
332
Robert Olsson2373ce12005-08-25 13:01:29 -0700333 if (size <= PAGE_SIZE)
Eric Dumazet8d9654442008-01-13 22:31:44 -0800334 return kzalloc(size, GFP_KERNEL);
Stephen Hemminger15be75c2008-04-10 02:56:38 -0700335 else
Eric Dumazet7a1c8e52010-11-20 07:46:35 +0000336 return vzalloc(size);
Stephen Hemminger15be75c2008-04-10 02:56:38 -0700337}
Robert Olsson2373ce12005-08-25 13:01:29 -0700338
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800339static inline void empty_child_inc(struct key_vector *n)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800340{
Matthias Kaehlcke25cec752019-06-18 14:14:40 -0700341 tn_info(n)->empty_children++;
342
343 if (!tn_info(n)->empty_children)
344 tn_info(n)->full_children++;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800345}
346
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800347static inline void empty_child_dec(struct key_vector *n)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800348{
Matthias Kaehlcke25cec752019-06-18 14:14:40 -0700349 if (!tn_info(n)->empty_children)
350 tn_info(n)->full_children--;
351
352 tn_info(n)->empty_children--;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800353}
354
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800355static struct key_vector *leaf_new(t_key key, struct fib_alias *fa)
Robert Olsson19baf832005-06-21 12:43:18 -0700356{
Firo Yangf38b24c2015-06-08 11:54:51 +0800357 struct key_vector *l;
358 struct tnode *kv;
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800359
Firo Yangf38b24c2015-06-08 11:54:51 +0800360 kv = kmem_cache_alloc(trie_leaf_kmem, GFP_KERNEL);
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800361 if (!kv)
362 return NULL;
363
364 /* initialize key vector */
Firo Yangf38b24c2015-06-08 11:54:51 +0800365 l = kv->kv;
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800366 l->key = key;
367 l->pos = 0;
368 l->bits = 0;
369 l->slen = fa->fa_slen;
370
371 /* link leaf to fib alias */
372 INIT_HLIST_HEAD(&l->leaf);
373 hlist_add_head(&fa->fa_list, &l->leaf);
374
Robert Olsson19baf832005-06-21 12:43:18 -0700375 return l;
376}
377
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800378static struct key_vector *tnode_new(t_key key, int pos, int bits)
Robert Olsson19baf832005-06-21 12:43:18 -0700379{
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800380 unsigned int shift = pos + bits;
Firo Yangf38b24c2015-06-08 11:54:51 +0800381 struct key_vector *tn;
382 struct tnode *tnode;
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800383
384 /* verify bits and pos their msb bits clear and values are valid */
385 BUG_ON(!bits || (shift > KEYLENGTH));
Robert Olsson19baf832005-06-21 12:43:18 -0700386
Firo Yangf38b24c2015-06-08 11:54:51 +0800387 tnode = tnode_alloc(bits);
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800388 if (!tnode)
389 return NULL;
390
Firo Yangf38b24c2015-06-08 11:54:51 +0800391 pr_debug("AT %p s=%zu %zu\n", tnode, TNODE_SIZE(0),
392 sizeof(struct key_vector *) << bits);
393
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800394 if (bits == KEYLENGTH)
Alexander Duyck6e22d172015-03-06 09:54:39 -0800395 tnode->full_children = 1;
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800396 else
Alexander Duyck6e22d172015-03-06 09:54:39 -0800397 tnode->empty_children = 1ul << bits;
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800398
Firo Yangf38b24c2015-06-08 11:54:51 +0800399 tn = tnode->kv;
Alexander Duyckdc35dbe2015-03-06 09:54:27 -0800400 tn->key = (shift < KEYLENGTH) ? (key >> shift) << shift : 0;
401 tn->pos = pos;
402 tn->bits = bits;
403 tn->slen = pos;
404
Robert Olsson19baf832005-06-21 12:43:18 -0700405 return tn;
406}
407
Alexander Duycke9b44012014-12-31 10:56:12 -0800408/* Check whether a tnode 'n' is "full", i.e. it is an internal node
Robert Olsson19baf832005-06-21 12:43:18 -0700409 * and no bits are skipped. See discussion in dyntree paper p. 6
410 */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800411static inline int tnode_full(struct key_vector *tn, struct key_vector *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700412{
Alexander Duycke9b44012014-12-31 10:56:12 -0800413 return n && ((n->pos + n->bits) == tn->pos) && IS_TNODE(n);
Robert Olsson19baf832005-06-21 12:43:18 -0700414}
415
Alexander Duyckff181ed2014-12-31 10:56:43 -0800416/* Add a child at position i overwriting the old value.
417 * Update the value of full_children and empty_children.
418 */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800419static void put_child(struct key_vector *tn, unsigned long i,
420 struct key_vector *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700421{
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800422 struct key_vector *chi = get_child(tn, i);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800423 int isfull, wasfull;
Robert Olsson19baf832005-06-21 12:43:18 -0700424
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800425 BUG_ON(i >= child_length(tn));
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700426
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800427 /* update emptyChildren, overflow into fullChildren */
Ian Morris00db4122015-04-03 09:17:27 +0100428 if (!n && chi)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800429 empty_child_inc(tn);
Ian Morris00db4122015-04-03 09:17:27 +0100430 if (n && !chi)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800431 empty_child_dec(tn);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700432
Robert Olsson19baf832005-06-21 12:43:18 -0700433 /* update fullChildren */
Alexander Duyckff181ed2014-12-31 10:56:43 -0800434 wasfull = tnode_full(tn, chi);
Robert Olsson19baf832005-06-21 12:43:18 -0700435 isfull = tnode_full(tn, n);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800436
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700437 if (wasfull && !isfull)
Alexander Duyck6e22d172015-03-06 09:54:39 -0800438 tn_info(tn)->full_children--;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700439 else if (!wasfull && isfull)
Alexander Duyck6e22d172015-03-06 09:54:39 -0800440 tn_info(tn)->full_children++;
Olof Johansson91b9a272005-08-09 20:24:39 -0700441
Alexander Duyck5405afd2014-12-31 10:57:08 -0800442 if (n && (tn->slen < n->slen))
443 tn->slen = n->slen;
444
Alexander Duyck41b489f2015-03-04 15:02:33 -0800445 rcu_assign_pointer(tn->tnode[i], n);
Robert Olsson19baf832005-06-21 12:43:18 -0700446}
447
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800448static void update_children(struct key_vector *tn)
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800449{
450 unsigned long i;
451
452 /* update all of the child parent pointers */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800453 for (i = child_length(tn); i;) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800454 struct key_vector *inode = get_child(tn, --i);
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800455
456 if (!inode)
457 continue;
458
459 /* Either update the children of a tnode that
460 * already belongs to us or update the child
461 * to point to ourselves.
462 */
463 if (node_parent(inode) == tn)
464 update_children(inode);
465 else
466 node_set_parent(inode, tn);
467 }
468}
469
Alexander Duyck88bae712015-03-06 09:54:52 -0800470static inline void put_child_root(struct key_vector *tp, t_key key,
471 struct key_vector *n)
Alexander Duyck836a0122014-12-31 10:56:06 -0800472{
Alexander Duyck88bae712015-03-06 09:54:52 -0800473 if (IS_TRIE(tp))
474 rcu_assign_pointer(tp->tnode[0], n);
Alexander Duyck836a0122014-12-31 10:56:06 -0800475 else
Alexander Duyck88bae712015-03-06 09:54:52 -0800476 put_child(tp, get_index(key, tp), n);
Alexander Duyck836a0122014-12-31 10:56:06 -0800477}
478
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800479static inline void tnode_free_init(struct key_vector *tn)
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700480{
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800481 tn_info(tn)->rcu.next = NULL;
Alexander Duyckfc86a932014-12-31 10:56:49 -0800482}
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700483
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800484static inline void tnode_free_append(struct key_vector *tn,
485 struct key_vector *n)
Alexander Duyckfc86a932014-12-31 10:56:49 -0800486{
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800487 tn_info(n)->rcu.next = tn_info(tn)->rcu.next;
488 tn_info(tn)->rcu.next = &tn_info(n)->rcu;
Alexander Duyckfc86a932014-12-31 10:56:49 -0800489}
490
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800491static void tnode_free(struct key_vector *tn)
Alexander Duyckfc86a932014-12-31 10:56:49 -0800492{
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800493 struct callback_head *head = &tn_info(tn)->rcu;
Alexander Duyckfc86a932014-12-31 10:56:49 -0800494
495 while (head) {
496 head = head->next;
Alexander Duyck41b489f2015-03-04 15:02:33 -0800497 tnode_free_size += TNODE_SIZE(1ul << tn->bits);
Alexander Duyckfc86a932014-12-31 10:56:49 -0800498 node_free(tn);
499
Alexander Duyck56ca2ad2015-03-06 09:54:33 -0800500 tn = container_of(head, struct tnode, rcu)->kv;
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700501 }
Alexander Duyckfc86a932014-12-31 10:56:49 -0800502
David Ahern9ab948a2019-03-20 09:18:59 -0700503 if (tnode_free_size >= sysctl_fib_sync_mem) {
Alexander Duyckfc86a932014-12-31 10:56:49 -0800504 tnode_free_size = 0;
505 synchronize_rcu();
506 }
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700507}
508
Alexander Duyck88bae712015-03-06 09:54:52 -0800509static struct key_vector *replace(struct trie *t,
510 struct key_vector *oldtnode,
511 struct key_vector *tn)
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800512{
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800513 struct key_vector *tp = node_parent(oldtnode);
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800514 unsigned long i;
515
516 /* setup the parent pointer out of and back into this node */
517 NODE_INIT_PARENT(tn, tp);
Alexander Duyck88bae712015-03-06 09:54:52 -0800518 put_child_root(tp, tn->key, tn);
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800519
520 /* update all of the child parent pointers */
521 update_children(tn);
522
523 /* all pointers should be clean so we are done */
524 tnode_free(oldtnode);
525
526 /* resize children now that oldtnode is freed */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800527 for (i = child_length(tn); i;) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800528 struct key_vector *inode = get_child(tn, --i);
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800529
530 /* resize child node */
531 if (tnode_full(tn, inode))
Alexander Duyck88bae712015-03-06 09:54:52 -0800532 tn = resize(t, inode);
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800533 }
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800534
Alexander Duyck88bae712015-03-06 09:54:52 -0800535 return tp;
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800536}
537
Alexander Duyck88bae712015-03-06 09:54:52 -0800538static struct key_vector *inflate(struct trie *t,
539 struct key_vector *oldtnode)
Robert Olsson19baf832005-06-21 12:43:18 -0700540{
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800541 struct key_vector *tn;
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800542 unsigned long i;
Alexander Duycke9b44012014-12-31 10:56:12 -0800543 t_key m;
Robert Olsson19baf832005-06-21 12:43:18 -0700544
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700545 pr_debug("In inflate\n");
Robert Olsson19baf832005-06-21 12:43:18 -0700546
Alexander Duycke9b44012014-12-31 10:56:12 -0800547 tn = tnode_new(oldtnode->key, oldtnode->pos - 1, oldtnode->bits + 1);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700548 if (!tn)
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800549 goto notnode;
Robert Olsson2f368952005-07-05 15:02:40 -0700550
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800551 /* prepare oldtnode to be freed */
552 tnode_free_init(oldtnode);
553
Alexander Duyck12c081a2014-12-31 10:56:55 -0800554 /* Assemble all of the pointers in our cluster, in this case that
555 * represents all of the pointers out of our allocated nodes that
556 * point to existing tnodes and the links between our allocated
557 * nodes.
Robert Olsson2f368952005-07-05 15:02:40 -0700558 */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800559 for (i = child_length(oldtnode), m = 1u << tn->pos; i;) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800560 struct key_vector *inode = get_child(oldtnode, --i);
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800561 struct key_vector *node0, *node1;
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800562 unsigned long j, k;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700563
Robert Olsson19baf832005-06-21 12:43:18 -0700564 /* An empty child */
Ian Morris51456b22015-04-03 09:17:26 +0100565 if (!inode)
Robert Olsson19baf832005-06-21 12:43:18 -0700566 continue;
567
568 /* A leaf or an internal node with skipped bits */
Alexander Duyckadaf9812014-12-31 10:55:47 -0800569 if (!tnode_full(oldtnode, inode)) {
Alexander Duycke9b44012014-12-31 10:56:12 -0800570 put_child(tn, get_index(inode->key, tn), inode);
Robert Olsson19baf832005-06-21 12:43:18 -0700571 continue;
572 }
573
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800574 /* drop the node in the old tnode free list */
575 tnode_free_append(oldtnode, inode);
576
Robert Olsson19baf832005-06-21 12:43:18 -0700577 /* An internal node with two children */
Robert Olsson19baf832005-06-21 12:43:18 -0700578 if (inode->bits == 1) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800579 put_child(tn, 2 * i + 1, get_child(inode, 1));
580 put_child(tn, 2 * i, get_child(inode, 0));
Olof Johansson91b9a272005-08-09 20:24:39 -0700581 continue;
Robert Olsson19baf832005-06-21 12:43:18 -0700582 }
583
Olof Johansson91b9a272005-08-09 20:24:39 -0700584 /* We will replace this node 'inode' with two new
Alexander Duyck12c081a2014-12-31 10:56:55 -0800585 * ones, 'node0' and 'node1', each with half of the
Olof Johansson91b9a272005-08-09 20:24:39 -0700586 * original children. The two new nodes will have
587 * a position one bit further down the key and this
588 * means that the "significant" part of their keys
589 * (see the discussion near the top of this file)
590 * will differ by one bit, which will be "0" in
Alexander Duyck12c081a2014-12-31 10:56:55 -0800591 * node0's key and "1" in node1's key. Since we are
Olof Johansson91b9a272005-08-09 20:24:39 -0700592 * moving the key position by one step, the bit that
593 * we are moving away from - the bit at position
Alexander Duyck12c081a2014-12-31 10:56:55 -0800594 * (tn->pos) - is the one that will differ between
595 * node0 and node1. So... we synthesize that bit in the
596 * two new keys.
Olof Johansson91b9a272005-08-09 20:24:39 -0700597 */
Alexander Duyck12c081a2014-12-31 10:56:55 -0800598 node1 = tnode_new(inode->key | m, inode->pos, inode->bits - 1);
599 if (!node1)
600 goto nomem;
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800601 node0 = tnode_new(inode->key, inode->pos, inode->bits - 1);
Robert Olsson19baf832005-06-21 12:43:18 -0700602
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800603 tnode_free_append(tn, node1);
Alexander Duyck12c081a2014-12-31 10:56:55 -0800604 if (!node0)
605 goto nomem;
606 tnode_free_append(tn, node0);
Robert Olsson19baf832005-06-21 12:43:18 -0700607
Alexander Duyck12c081a2014-12-31 10:56:55 -0800608 /* populate child pointers in new nodes */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800609 for (k = child_length(inode), j = k / 2; j;) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800610 put_child(node1, --j, get_child(inode, --k));
611 put_child(node0, j, get_child(inode, j));
612 put_child(node1, --j, get_child(inode, --k));
613 put_child(node0, j, get_child(inode, j));
Robert Olsson19baf832005-06-21 12:43:18 -0700614 }
Alexander Duyckff181ed2014-12-31 10:56:43 -0800615
Alexander Duyck12c081a2014-12-31 10:56:55 -0800616 /* link new nodes to parent */
617 NODE_INIT_PARENT(node1, tn);
618 NODE_INIT_PARENT(node0, tn);
Olof Johansson91b9a272005-08-09 20:24:39 -0700619
Alexander Duyck12c081a2014-12-31 10:56:55 -0800620 /* link parent to nodes */
621 put_child(tn, 2 * i + 1, node1);
622 put_child(tn, 2 * i, node0);
Robert Olsson19baf832005-06-21 12:43:18 -0700623 }
Alexander Duyckff181ed2014-12-31 10:56:43 -0800624
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800625 /* setup the parent pointers into and out of this node */
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800626 return replace(t, oldtnode, tn);
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700627nomem:
Alexander Duyckfc86a932014-12-31 10:56:49 -0800628 /* all pointers should be clean so we are done */
629 tnode_free(tn);
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800630notnode:
631 return NULL;
Robert Olsson19baf832005-06-21 12:43:18 -0700632}
633
Alexander Duyck88bae712015-03-06 09:54:52 -0800634static struct key_vector *halve(struct trie *t,
635 struct key_vector *oldtnode)
Robert Olsson19baf832005-06-21 12:43:18 -0700636{
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800637 struct key_vector *tn;
Alexander Duyck12c081a2014-12-31 10:56:55 -0800638 unsigned long i;
Robert Olsson19baf832005-06-21 12:43:18 -0700639
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700640 pr_debug("In halve\n");
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700641
Alexander Duycke9b44012014-12-31 10:56:12 -0800642 tn = tnode_new(oldtnode->key, oldtnode->pos + 1, oldtnode->bits - 1);
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700643 if (!tn)
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800644 goto notnode;
Robert Olsson2f368952005-07-05 15:02:40 -0700645
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800646 /* prepare oldtnode to be freed */
647 tnode_free_init(oldtnode);
648
Alexander Duyck12c081a2014-12-31 10:56:55 -0800649 /* Assemble all of the pointers in our cluster, in this case that
650 * represents all of the pointers out of our allocated nodes that
651 * point to existing tnodes and the links between our allocated
652 * nodes.
Robert Olsson2f368952005-07-05 15:02:40 -0700653 */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800654 for (i = child_length(oldtnode); i;) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800655 struct key_vector *node1 = get_child(oldtnode, --i);
656 struct key_vector *node0 = get_child(oldtnode, --i);
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800657 struct key_vector *inode;
Robert Olsson2f368952005-07-05 15:02:40 -0700658
Alexander Duyck12c081a2014-12-31 10:56:55 -0800659 /* At least one of the children is empty */
660 if (!node1 || !node0) {
661 put_child(tn, i / 2, node1 ? : node0);
662 continue;
Robert Olsson2f368952005-07-05 15:02:40 -0700663 }
Robert Olsson2f368952005-07-05 15:02:40 -0700664
Alexander Duyck12c081a2014-12-31 10:56:55 -0800665 /* Two nonempty children */
666 inode = tnode_new(node0->key, oldtnode->pos, 1);
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800667 if (!inode)
668 goto nomem;
Alexander Duyck12c081a2014-12-31 10:56:55 -0800669 tnode_free_append(tn, inode);
670
671 /* initialize pointers out of node */
672 put_child(inode, 1, node1);
673 put_child(inode, 0, node0);
674 NODE_INIT_PARENT(inode, tn);
675
676 /* link parent to node */
677 put_child(tn, i / 2, inode);
Robert Olsson2f368952005-07-05 15:02:40 -0700678 }
Robert Olsson19baf832005-06-21 12:43:18 -0700679
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800680 /* setup the parent pointers into and out of this node */
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800681 return replace(t, oldtnode, tn);
682nomem:
683 /* all pointers should be clean so we are done */
684 tnode_free(tn);
685notnode:
686 return NULL;
Robert Olsson19baf832005-06-21 12:43:18 -0700687}
688
Alexander Duyck88bae712015-03-06 09:54:52 -0800689static struct key_vector *collapse(struct trie *t,
690 struct key_vector *oldtnode)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800691{
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800692 struct key_vector *n, *tp;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800693 unsigned long i;
694
695 /* scan the tnode looking for that one child that might still exist */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800696 for (n = NULL, i = child_length(oldtnode); !n && i;)
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800697 n = get_child(oldtnode, --i);
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800698
699 /* compress one level */
700 tp = node_parent(oldtnode);
Alexander Duyck88bae712015-03-06 09:54:52 -0800701 put_child_root(tp, oldtnode->key, n);
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800702 node_set_parent(n, tp);
703
704 /* drop dead node */
705 node_free(oldtnode);
Alexander Duyck88bae712015-03-06 09:54:52 -0800706
707 return tp;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800708}
709
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800710static unsigned char update_suffix(struct key_vector *tn)
Alexander Duyck5405afd2014-12-31 10:57:08 -0800711{
712 unsigned char slen = tn->pos;
713 unsigned long stride, i;
Alexander Duycka52ca622016-12-01 07:27:57 -0500714 unsigned char slen_max;
715
716 /* only vector 0 can have a suffix length greater than or equal to
717 * tn->pos + tn->bits, the second highest node will have a suffix
718 * length at most of tn->pos + tn->bits - 1
719 */
720 slen_max = min_t(unsigned char, tn->pos + tn->bits - 1, tn->slen);
Alexander Duyck5405afd2014-12-31 10:57:08 -0800721
722 /* search though the list of children looking for nodes that might
723 * have a suffix greater than the one we currently have. This is
724 * why we start with a stride of 2 since a stride of 1 would
725 * represent the nodes with suffix length equal to tn->pos
726 */
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800727 for (i = 0, stride = 0x2ul ; i < child_length(tn); i += stride) {
Alexander Duyck754baf8d2015-03-06 09:54:14 -0800728 struct key_vector *n = get_child(tn, i);
Alexander Duyck5405afd2014-12-31 10:57:08 -0800729
730 if (!n || (n->slen <= slen))
731 continue;
732
733 /* update stride and slen based on new value */
734 stride <<= (n->slen - slen);
735 slen = n->slen;
736 i &= ~(stride - 1);
737
Alexander Duycka52ca622016-12-01 07:27:57 -0500738 /* stop searching if we have hit the maximum possible value */
739 if (slen >= slen_max)
Alexander Duyck5405afd2014-12-31 10:57:08 -0800740 break;
741 }
742
743 tn->slen = slen;
744
745 return slen;
746}
747
Alexander Duyckf05a4812014-12-31 10:56:37 -0800748/* From "Implementing a dynamic compressed trie" by Stefan Nilsson of
749 * the Helsinki University of Technology and Matti Tikkanen of Nokia
750 * Telecommunications, page 6:
751 * "A node is doubled if the ratio of non-empty children to all
752 * children in the *doubled* node is at least 'high'."
753 *
754 * 'high' in this instance is the variable 'inflate_threshold'. It
755 * is expressed as a percentage, so we multiply it with
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800756 * child_length() and instead of multiplying by 2 (since the
Alexander Duyckf05a4812014-12-31 10:56:37 -0800757 * child array will be doubled by inflate()) and multiplying
758 * the left-hand side by 100 (to handle the percentage thing) we
759 * multiply the left-hand side by 50.
760 *
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800761 * The left-hand side may look a bit weird: child_length(tn)
Alexander Duyckf05a4812014-12-31 10:56:37 -0800762 * - tn->empty_children is of course the number of non-null children
763 * in the current node. tn->full_children is the number of "full"
764 * children, that is non-null tnodes with a skip value of 0.
765 * All of those will be doubled in the resulting inflated tnode, so
766 * we just count them one extra time here.
767 *
768 * A clearer way to write this would be:
769 *
770 * to_be_doubled = tn->full_children;
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800771 * not_to_be_doubled = child_length(tn) - tn->empty_children -
Alexander Duyckf05a4812014-12-31 10:56:37 -0800772 * tn->full_children;
773 *
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800774 * new_child_length = child_length(tn) * 2;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800775 *
776 * new_fill_factor = 100 * (not_to_be_doubled + 2*to_be_doubled) /
777 * new_child_length;
778 * if (new_fill_factor >= inflate_threshold)
779 *
780 * ...and so on, tho it would mess up the while () loop.
781 *
782 * anyway,
783 * 100 * (not_to_be_doubled + 2*to_be_doubled) / new_child_length >=
784 * inflate_threshold
785 *
786 * avoid a division:
787 * 100 * (not_to_be_doubled + 2*to_be_doubled) >=
788 * inflate_threshold * new_child_length
789 *
790 * expand not_to_be_doubled and to_be_doubled, and shorten:
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800791 * 100 * (child_length(tn) - tn->empty_children +
Alexander Duyckf05a4812014-12-31 10:56:37 -0800792 * tn->full_children) >= inflate_threshold * new_child_length
793 *
794 * expand new_child_length:
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800795 * 100 * (child_length(tn) - tn->empty_children +
Alexander Duyckf05a4812014-12-31 10:56:37 -0800796 * tn->full_children) >=
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800797 * inflate_threshold * child_length(tn) * 2
Alexander Duyckf05a4812014-12-31 10:56:37 -0800798 *
799 * shorten again:
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800800 * 50 * (tn->full_children + child_length(tn) -
Alexander Duyckf05a4812014-12-31 10:56:37 -0800801 * tn->empty_children) >= inflate_threshold *
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800802 * child_length(tn)
Alexander Duyckf05a4812014-12-31 10:56:37 -0800803 *
804 */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800805static inline bool should_inflate(struct key_vector *tp, struct key_vector *tn)
Alexander Duyckf05a4812014-12-31 10:56:37 -0800806{
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800807 unsigned long used = child_length(tn);
Alexander Duyckf05a4812014-12-31 10:56:37 -0800808 unsigned long threshold = used;
809
810 /* Keep root node larger */
Alexander Duyck88bae712015-03-06 09:54:52 -0800811 threshold *= IS_TRIE(tp) ? inflate_threshold_root : inflate_threshold;
Alexander Duyck6e22d172015-03-06 09:54:39 -0800812 used -= tn_info(tn)->empty_children;
813 used += tn_info(tn)->full_children;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800814
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800815 /* if bits == KEYLENGTH then pos = 0, and will fail below */
816
817 return (used > 1) && tn->pos && ((50 * used) >= threshold);
Alexander Duyckf05a4812014-12-31 10:56:37 -0800818}
819
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800820static inline bool should_halve(struct key_vector *tp, struct key_vector *tn)
Alexander Duyckf05a4812014-12-31 10:56:37 -0800821{
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800822 unsigned long used = child_length(tn);
Alexander Duyckf05a4812014-12-31 10:56:37 -0800823 unsigned long threshold = used;
824
825 /* Keep root node larger */
Alexander Duyck88bae712015-03-06 09:54:52 -0800826 threshold *= IS_TRIE(tp) ? halve_threshold_root : halve_threshold;
Alexander Duyck6e22d172015-03-06 09:54:39 -0800827 used -= tn_info(tn)->empty_children;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800828
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800829 /* if bits == KEYLENGTH then used = 100% on wrap, and will fail below */
830
831 return (used > 1) && (tn->bits > 1) && ((100 * used) < threshold);
832}
833
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800834static inline bool should_collapse(struct key_vector *tn)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800835{
Alexander Duyck2e1ac882015-03-06 09:54:21 -0800836 unsigned long used = child_length(tn);
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800837
Alexander Duyck6e22d172015-03-06 09:54:39 -0800838 used -= tn_info(tn)->empty_children;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800839
840 /* account for bits == KEYLENGTH case */
Alexander Duyck6e22d172015-03-06 09:54:39 -0800841 if ((tn->bits == KEYLENGTH) && tn_info(tn)->full_children)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800842 used -= KEY_MAX;
843
844 /* One child or none, time to drop us from the trie */
845 return used < 2;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800846}
847
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800848#define MAX_WORK 10
Alexander Duyck88bae712015-03-06 09:54:52 -0800849static struct key_vector *resize(struct trie *t, struct key_vector *tn)
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800850{
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800851#ifdef CONFIG_IP_FIB_TRIE_STATS
852 struct trie_use_stats __percpu *stats = t->stats;
853#endif
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800854 struct key_vector *tp = node_parent(tn);
Alexander Duyck88bae712015-03-06 09:54:52 -0800855 unsigned long cindex = get_index(tn->key, tp);
Alexander Duycka80e89d2015-01-22 15:51:20 -0800856 int max_work = MAX_WORK;
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800857
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800858 pr_debug("In tnode_resize %p inflate_threshold=%d threshold=%d\n",
859 tn, inflate_threshold, halve_threshold);
860
Alexander Duyckff181ed2014-12-31 10:56:43 -0800861 /* track the tnode via the pointer from the parent instead of
862 * doing it ourselves. This way we can let RCU fully do its
863 * thing without us interfering
864 */
Alexander Duyck88bae712015-03-06 09:54:52 -0800865 BUG_ON(tn != get_child(tp, cindex));
Alexander Duyckff181ed2014-12-31 10:56:43 -0800866
Alexander Duyckf05a4812014-12-31 10:56:37 -0800867 /* Double as long as the resulting node has a number of
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800868 * nonempty nodes that are above the threshold.
869 */
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700870 while (should_inflate(tp, tn) && max_work) {
Alexander Duyck88bae712015-03-06 09:54:52 -0800871 tp = inflate(t, tn);
872 if (!tp) {
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800873#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800874 this_cpu_inc(stats->resize_node_skipped);
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800875#endif
876 break;
877 }
Alexander Duyckff181ed2014-12-31 10:56:43 -0800878
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700879 max_work--;
Alexander Duyck88bae712015-03-06 09:54:52 -0800880 tn = get_child(tp, cindex);
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800881 }
882
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700883 /* update parent in case inflate failed */
884 tp = node_parent(tn);
885
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800886 /* Return if at least one inflate is run */
887 if (max_work != MAX_WORK)
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700888 return tp;
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800889
Alexander Duyckf05a4812014-12-31 10:56:37 -0800890 /* Halve as long as the number of empty children in this
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800891 * node is above threshold.
892 */
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700893 while (should_halve(tp, tn) && max_work) {
Alexander Duyck88bae712015-03-06 09:54:52 -0800894 tp = halve(t, tn);
895 if (!tp) {
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800896#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8d8e8102015-03-06 09:54:02 -0800897 this_cpu_inc(stats->resize_node_skipped);
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800898#endif
899 break;
900 }
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800901
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700902 max_work--;
Alexander Duyck88bae712015-03-06 09:54:52 -0800903 tn = get_child(tp, cindex);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800904 }
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800905
906 /* Only one child remains */
Alexander Duyck88bae712015-03-06 09:54:52 -0800907 if (should_collapse(tn))
908 return collapse(t, tn);
909
Alexander Duyckb6f15f82015-03-23 11:51:53 -0700910 /* update parent in case halve failed */
Alexander Duycka52ca622016-12-01 07:27:57 -0500911 return node_parent(tn);
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800912}
913
Alexander Duyck1a239172016-12-01 07:27:52 -0500914static void node_pull_suffix(struct key_vector *tn, unsigned char slen)
Robert Olsson19baf832005-06-21 12:43:18 -0700915{
Alexander Duyck1a239172016-12-01 07:27:52 -0500916 unsigned char node_slen = tn->slen;
917
918 while ((node_slen > tn->pos) && (node_slen > slen)) {
919 slen = update_suffix(tn);
920 if (node_slen == slen)
Alexander Duyck5405afd2014-12-31 10:57:08 -0800921 break;
Alexander Duyck1a239172016-12-01 07:27:52 -0500922
923 tn = node_parent(tn);
924 node_slen = tn->slen;
Alexander Duyck5405afd2014-12-31 10:57:08 -0800925 }
926}
927
Alexander Duyck1a239172016-12-01 07:27:52 -0500928static void node_push_suffix(struct key_vector *tn, unsigned char slen)
Alexander Duyck5405afd2014-12-31 10:57:08 -0800929{
Alexander Duyck1a239172016-12-01 07:27:52 -0500930 while (tn->slen < slen) {
931 tn->slen = slen;
Alexander Duyck5405afd2014-12-31 10:57:08 -0800932 tn = node_parent(tn);
933 }
934}
935
Robert Olsson2373ce12005-08-25 13:01:29 -0700936/* rcu_read_lock needs to be hold by caller from readside */
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800937static struct key_vector *fib_find_node(struct trie *t,
938 struct key_vector **tp, u32 key)
Robert Olsson19baf832005-06-21 12:43:18 -0700939{
Alexander Duyck88bae712015-03-06 09:54:52 -0800940 struct key_vector *pn, *n = t->kv;
941 unsigned long index = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700942
Alexander Duyck88bae712015-03-06 09:54:52 -0800943 do {
944 pn = n;
945 n = get_child_rcu(n, index);
946
947 if (!n)
948 break;
949
950 index = get_cindex(key, n);
Alexander Duyck939afb02014-12-31 10:56:00 -0800951
952 /* This bit of code is a bit tricky but it combines multiple
953 * checks into a single check. The prefix consists of the
954 * prefix plus zeros for the bits in the cindex. The index
955 * is the difference between the key and this value. From
956 * this we can actually derive several pieces of data.
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800957 * if (index >= (1ul << bits))
Alexander Duyck939afb02014-12-31 10:56:00 -0800958 * we have a mismatch in skip bits and failed
Alexander Duyckb3832112015-01-22 15:51:08 -0800959 * else
960 * we know the value is cindex
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800961 *
962 * This check is safe even if bits == KEYLENGTH due to the
963 * fact that we can only allocate a node with 32 bits if a
964 * long is greater than 32 bits.
Alexander Duyck939afb02014-12-31 10:56:00 -0800965 */
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800966 if (index >= (1ul << n->bits)) {
967 n = NULL;
968 break;
969 }
Alexander Duyck939afb02014-12-31 10:56:00 -0800970
Alexander Duyck88bae712015-03-06 09:54:52 -0800971 /* keep searching until we find a perfect match leaf or NULL */
972 } while (IS_TNODE(n));
Robert Olsson19baf832005-06-21 12:43:18 -0700973
Alexander Duyck35c6eda2015-03-06 09:54:08 -0800974 *tp = pn;
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800975
Alexander Duyck939afb02014-12-31 10:56:00 -0800976 return n;
Robert Olsson19baf832005-06-21 12:43:18 -0700977}
978
Alexander Duyck02525362015-01-22 15:51:39 -0800979/* Return the first fib alias matching TOS with
980 * priority less than or equal to PRIO.
981 */
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800982static struct fib_alias *fib_find_alias(struct hlist_head *fah, u8 slen,
Alexander Duyck0b65bd92015-03-12 14:46:29 -0700983 u8 tos, u32 prio, u32 tb_id)
Alexander Duyck02525362015-01-22 15:51:39 -0800984{
985 struct fib_alias *fa;
986
987 if (!fah)
988 return NULL;
989
Alexander Duyck56315f92015-02-25 15:31:31 -0800990 hlist_for_each_entry(fa, fah, fa_list) {
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800991 if (fa->fa_slen < slen)
992 continue;
993 if (fa->fa_slen != slen)
994 break;
Alexander Duyck0b65bd92015-03-12 14:46:29 -0700995 if (fa->tb_id > tb_id)
996 continue;
997 if (fa->tb_id != tb_id)
998 break;
Alexander Duyck02525362015-01-22 15:51:39 -0800999 if (fa->fa_tos > tos)
1000 continue;
1001 if (fa->fa_info->fib_priority >= prio || fa->fa_tos < tos)
1002 return fa;
1003 }
1004
1005 return NULL;
1006}
1007
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001008static void trie_rebalance(struct trie *t, struct key_vector *tn)
Robert Olsson19baf832005-06-21 12:43:18 -07001009{
Alexander Duyck88bae712015-03-06 09:54:52 -08001010 while (!IS_TRIE(tn))
1011 tn = resize(t, tn);
Robert Olsson19baf832005-06-21 12:43:18 -07001012}
1013
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001014static int fib_insert_node(struct trie *t, struct key_vector *tp,
Alexander Duyckd5d64872015-03-04 15:02:18 -08001015 struct fib_alias *new, t_key key)
Robert Olsson19baf832005-06-21 12:43:18 -07001016{
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001017 struct key_vector *n, *l;
Alexander Duyck836a0122014-12-31 10:56:06 -08001018
Alexander Duyckd5d64872015-03-04 15:02:18 -08001019 l = leaf_new(key, new);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001020 if (!l)
Alexander Duyck8d8e8102015-03-06 09:54:02 -08001021 goto noleaf;
Alexander Duyckd5d64872015-03-04 15:02:18 -08001022
1023 /* retrieve child from parent node */
Alexander Duyck88bae712015-03-06 09:54:52 -08001024 n = get_child(tp, get_index(key, tp));
Alexander Duyck836a0122014-12-31 10:56:06 -08001025
1026 /* Case 2: n is a LEAF or a TNODE and the key doesn't match.
1027 *
1028 * Add a new tnode here
1029 * first tnode need some special handling
1030 * leaves us in position for handling as case 3
1031 */
1032 if (n) {
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001033 struct key_vector *tn;
Alexander Duyck836a0122014-12-31 10:56:06 -08001034
Alexander Duycke9b44012014-12-31 10:56:12 -08001035 tn = tnode_new(key, __fls(key ^ n->key), 1);
Alexander Duyck8d8e8102015-03-06 09:54:02 -08001036 if (!tn)
1037 goto notnode;
Olof Johansson91b9a272005-08-09 20:24:39 -07001038
Alexander Duyck836a0122014-12-31 10:56:06 -08001039 /* initialize routes out of node */
1040 NODE_INIT_PARENT(tn, tp);
1041 put_child(tn, get_index(key, tn) ^ 1, n);
Robert Olsson19baf832005-06-21 12:43:18 -07001042
Alexander Duyck836a0122014-12-31 10:56:06 -08001043 /* start adding routes into the node */
Alexander Duyck88bae712015-03-06 09:54:52 -08001044 put_child_root(tp, key, tn);
Alexander Duyck836a0122014-12-31 10:56:06 -08001045 node_set_parent(n, tn);
Robert Olsson19baf832005-06-21 12:43:18 -07001046
Alexander Duyck836a0122014-12-31 10:56:06 -08001047 /* parent now has a NULL spot where the leaf can go */
Alexander Duycke962f302014-12-10 21:49:22 -08001048 tp = tn;
Robert Olsson19baf832005-06-21 12:43:18 -07001049 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001050
Alexander Duyck836a0122014-12-31 10:56:06 -08001051 /* Case 3: n is NULL, and will just insert a new leaf */
Alexander Duycka52ca622016-12-01 07:27:57 -05001052 node_push_suffix(tp, new->fa_slen);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001053 NODE_INIT_PARENT(l, tp);
Alexander Duyck88bae712015-03-06 09:54:52 -08001054 put_child_root(tp, key, l);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001055 trie_rebalance(t, tp);
Olof Johansson91b9a272005-08-09 20:24:39 -07001056
Alexander Duyckd5d64872015-03-04 15:02:18 -08001057 return 0;
Alexander Duyck8d8e8102015-03-06 09:54:02 -08001058notnode:
1059 node_free(l);
1060noleaf:
1061 return -ENOMEM;
Robert Olsson19baf832005-06-21 12:43:18 -07001062}
1063
David Ahern6635f312018-03-27 18:21:57 -07001064/* fib notifier for ADD is sent before calling fib_insert_alias with
1065 * the expectation that the only possible failure ENOMEM
1066 */
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001067static int fib_insert_alias(struct trie *t, struct key_vector *tp,
1068 struct key_vector *l, struct fib_alias *new,
Alexander Duyckd5d64872015-03-04 15:02:18 -08001069 struct fib_alias *fa, t_key key)
1070{
1071 if (!l)
1072 return fib_insert_node(t, tp, new, key);
1073
1074 if (fa) {
1075 hlist_add_before_rcu(&new->fa_list, &fa->fa_list);
1076 } else {
1077 struct fib_alias *last;
1078
1079 hlist_for_each_entry(last, &l->leaf, fa_list) {
1080 if (new->fa_slen < last->fa_slen)
1081 break;
Alexander Duyck0b65bd92015-03-12 14:46:29 -07001082 if ((new->fa_slen == last->fa_slen) &&
1083 (new->tb_id > last->tb_id))
1084 break;
Alexander Duyckd5d64872015-03-04 15:02:18 -08001085 fa = last;
1086 }
1087
1088 if (fa)
1089 hlist_add_behind_rcu(&new->fa_list, &fa->fa_list);
1090 else
1091 hlist_add_head_rcu(&new->fa_list, &l->leaf);
1092 }
1093
1094 /* if we added to the tail node then we need to update slen */
1095 if (l->slen < new->fa_slen) {
1096 l->slen = new->fa_slen;
Alexander Duyck1a239172016-12-01 07:27:52 -05001097 node_push_suffix(tp, new->fa_slen);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001098 }
1099
1100 return 0;
1101}
1102
David Ahern78055992017-05-27 16:19:26 -06001103static bool fib_valid_key_len(u32 key, u8 plen, struct netlink_ext_ack *extack)
David Ahernba277e82017-05-27 16:19:25 -06001104{
David Ahern78055992017-05-27 16:19:26 -06001105 if (plen > KEYLENGTH) {
1106 NL_SET_ERR_MSG(extack, "Invalid prefix length");
David Ahernba277e82017-05-27 16:19:25 -06001107 return false;
David Ahern78055992017-05-27 16:19:26 -06001108 }
David Ahernba277e82017-05-27 16:19:25 -06001109
David Ahern78055992017-05-27 16:19:26 -06001110 if ((plen < KEYLENGTH) && (key << plen)) {
1111 NL_SET_ERR_MSG(extack,
1112 "Invalid prefix for given prefix length");
David Ahernba277e82017-05-27 16:19:25 -06001113 return false;
David Ahern78055992017-05-27 16:19:26 -06001114 }
David Ahernba277e82017-05-27 16:19:25 -06001115
1116 return true;
1117}
1118
Alexander Duyckd5d64872015-03-04 15:02:18 -08001119/* Caller must hold RTNL. */
Jiri Pirkob90eb752016-09-26 12:52:29 +02001120int fib_table_insert(struct net *net, struct fib_table *tb,
David Ahern6d8422a12017-05-21 10:12:02 -06001121 struct fib_config *cfg, struct netlink_ext_ack *extack)
Robert Olsson19baf832005-06-21 12:43:18 -07001122{
Ido Schimmel2f3a5272017-02-09 10:28:41 +01001123 enum fib_event_type event = FIB_EVENT_ENTRY_ADD;
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001124 struct trie *t = (struct trie *)tb->tb_data;
Robert Olsson19baf832005-06-21 12:43:18 -07001125 struct fib_alias *fa, *new_fa;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001126 struct key_vector *l, *tp;
Guillaume Naultb93e1fa2016-09-07 17:20:46 +02001127 u16 nlflags = NLM_F_EXCL;
Robert Olsson19baf832005-06-21 12:43:18 -07001128 struct fib_info *fi;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001129 u8 plen = cfg->fc_dst_len;
1130 u8 slen = KEYLENGTH - plen;
Thomas Graf4e902c52006-08-17 18:14:52 -07001131 u8 tos = cfg->fc_tos;
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001132 u32 key;
Robert Olsson19baf832005-06-21 12:43:18 -07001133 int err;
Robert Olsson19baf832005-06-21 12:43:18 -07001134
Thomas Graf4e902c52006-08-17 18:14:52 -07001135 key = ntohl(cfg->fc_dst);
Robert Olsson19baf832005-06-21 12:43:18 -07001136
David Ahern78055992017-05-27 16:19:26 -06001137 if (!fib_valid_key_len(key, plen, extack))
Robert Olsson19baf832005-06-21 12:43:18 -07001138 return -EINVAL;
1139
David Ahernba277e82017-05-27 16:19:25 -06001140 pr_debug("Insert table=%u %08x/%d\n", tb->tb_id, key, plen);
1141
David Ahern6d8422a12017-05-21 10:12:02 -06001142 fi = fib_create_info(cfg, extack);
Thomas Graf4e902c52006-08-17 18:14:52 -07001143 if (IS_ERR(fi)) {
1144 err = PTR_ERR(fi);
Robert Olsson19baf832005-06-21 12:43:18 -07001145 goto err;
Thomas Graf4e902c52006-08-17 18:14:52 -07001146 }
Robert Olsson19baf832005-06-21 12:43:18 -07001147
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001148 l = fib_find_node(t, &tp, key);
Alexander Duyck0b65bd92015-03-12 14:46:29 -07001149 fa = l ? fib_find_alias(&l->leaf, slen, tos, fi->fib_priority,
1150 tb->tb_id) : NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001151
1152 /* Now fa, if non-NULL, points to the first fib alias
1153 * with the same keys [prefix,tos,priority], if such key already
1154 * exists or to the node before which we will insert new one.
1155 *
1156 * If fa is NULL, we will need to allocate a new one and
Alexander Duyck56315f92015-02-25 15:31:31 -08001157 * insert to the tail of the section matching the suffix length
1158 * of the new alias.
Robert Olsson19baf832005-06-21 12:43:18 -07001159 */
1160
Julian Anastasov936f6f82008-01-28 21:18:06 -08001161 if (fa && fa->fa_tos == tos &&
1162 fa->fa_info->fib_priority == fi->fib_priority) {
1163 struct fib_alias *fa_first, *fa_match;
Robert Olsson19baf832005-06-21 12:43:18 -07001164
1165 err = -EEXIST;
Thomas Graf4e902c52006-08-17 18:14:52 -07001166 if (cfg->fc_nlflags & NLM_F_EXCL)
Robert Olsson19baf832005-06-21 12:43:18 -07001167 goto out;
1168
Guillaume Naultb93e1fa2016-09-07 17:20:46 +02001169 nlflags &= ~NLM_F_EXCL;
1170
Julian Anastasov936f6f82008-01-28 21:18:06 -08001171 /* We have 2 goals:
1172 * 1. Find exact match for type, scope, fib_info to avoid
1173 * duplicate routes
1174 * 2. Find next 'fa' (or head), NLM_F_APPEND inserts before it
1175 */
1176 fa_match = NULL;
1177 fa_first = fa;
Alexander Duyck56315f92015-02-25 15:31:31 -08001178 hlist_for_each_entry_from(fa, fa_list) {
Alexander Duyck0b65bd92015-03-12 14:46:29 -07001179 if ((fa->fa_slen != slen) ||
1180 (fa->tb_id != tb->tb_id) ||
1181 (fa->fa_tos != tos))
Julian Anastasov936f6f82008-01-28 21:18:06 -08001182 break;
1183 if (fa->fa_info->fib_priority != fi->fib_priority)
1184 break;
1185 if (fa->fa_type == cfg->fc_type &&
Julian Anastasov936f6f82008-01-28 21:18:06 -08001186 fa->fa_info == fi) {
1187 fa_match = fa;
1188 break;
1189 }
1190 }
1191
Thomas Graf4e902c52006-08-17 18:14:52 -07001192 if (cfg->fc_nlflags & NLM_F_REPLACE) {
Robert Olsson19baf832005-06-21 12:43:18 -07001193 struct fib_info *fi_drop;
1194 u8 state;
1195
Guillaume Naultb93e1fa2016-09-07 17:20:46 +02001196 nlflags |= NLM_F_REPLACE;
Julian Anastasov936f6f82008-01-28 21:18:06 -08001197 fa = fa_first;
1198 if (fa_match) {
1199 if (fa == fa_match)
1200 err = 0;
Joonwoo Park67250332008-01-18 03:45:18 -08001201 goto out;
Julian Anastasov936f6f82008-01-28 21:18:06 -08001202 }
Robert Olsson2373ce12005-08-25 13:01:29 -07001203 err = -ENOBUFS;
Christoph Lametere94b1762006-12-06 20:33:17 -08001204 new_fa = kmem_cache_alloc(fn_alias_kmem, GFP_KERNEL);
Ian Morris51456b22015-04-03 09:17:26 +01001205 if (!new_fa)
Robert Olsson2373ce12005-08-25 13:01:29 -07001206 goto out;
Robert Olsson19baf832005-06-21 12:43:18 -07001207
1208 fi_drop = fa->fa_info;
Robert Olsson2373ce12005-08-25 13:01:29 -07001209 new_fa->fa_tos = fa->fa_tos;
1210 new_fa->fa_info = fi;
Thomas Graf4e902c52006-08-17 18:14:52 -07001211 new_fa->fa_type = cfg->fc_type;
Robert Olsson19baf832005-06-21 12:43:18 -07001212 state = fa->fa_state;
Julian Anastasov936f6f82008-01-28 21:18:06 -08001213 new_fa->fa_state = state & ~FA_S_ACCESSED;
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001214 new_fa->fa_slen = fa->fa_slen;
Michal Kubečekd4e64c22015-05-22 13:40:09 +02001215 new_fa->tb_id = tb->tb_id;
Julian Anastasov2392deb2015-07-22 10:43:23 +03001216 new_fa->fa_default = -1;
Robert Olsson19baf832005-06-21 12:43:18 -07001217
David Ahernc1d7ee62018-03-27 18:21:58 -07001218 err = call_fib_entry_notifiers(net,
1219 FIB_EVENT_ENTRY_REPLACE,
1220 key, plen, new_fa,
1221 extack);
1222 if (err)
1223 goto out_free_new_fa;
1224
Ido Schimmel5b7d6162017-02-09 10:28:40 +01001225 rtmsg_fib(RTM_NEWROUTE, htonl(key), new_fa, plen,
1226 tb->tb_id, &cfg->fc_nlinfo, nlflags);
1227
Alexander Duyck56315f92015-02-25 15:31:31 -08001228 hlist_replace_rcu(&fa->fa_list, &new_fa->fa_list);
Scott Feldman8e05fd72015-03-05 21:21:19 -08001229
Robert Olsson2373ce12005-08-25 13:01:29 -07001230 alias_free_mem_rcu(fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001231
1232 fib_release_info(fi_drop);
1233 if (state & FA_S_ACCESSED)
Nicolas Dichtel4ccfe6d2012-09-07 00:45:29 +00001234 rt_cache_flush(cfg->fc_nlinfo.nl_net);
Jiri Pirkob90eb752016-09-26 12:52:29 +02001235
Olof Johansson91b9a272005-08-09 20:24:39 -07001236 goto succeeded;
Robert Olsson19baf832005-06-21 12:43:18 -07001237 }
1238 /* Error if we find a perfect match which
1239 * uses the same scope, type, and nexthop
1240 * information.
1241 */
Julian Anastasov936f6f82008-01-28 21:18:06 -08001242 if (fa_match)
1243 goto out;
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08001244
Ido Schimmel2f3a5272017-02-09 10:28:41 +01001245 if (cfg->fc_nlflags & NLM_F_APPEND) {
1246 event = FIB_EVENT_ENTRY_APPEND;
Guillaume Naultb93e1fa2016-09-07 17:20:46 +02001247 nlflags |= NLM_F_APPEND;
Ido Schimmel2f3a5272017-02-09 10:28:41 +01001248 } else {
Julian Anastasov936f6f82008-01-28 21:18:06 -08001249 fa = fa_first;
Ido Schimmel2f3a5272017-02-09 10:28:41 +01001250 }
Robert Olsson19baf832005-06-21 12:43:18 -07001251 }
1252 err = -ENOENT;
Thomas Graf4e902c52006-08-17 18:14:52 -07001253 if (!(cfg->fc_nlflags & NLM_F_CREATE))
Robert Olsson19baf832005-06-21 12:43:18 -07001254 goto out;
1255
Guillaume Naultb93e1fa2016-09-07 17:20:46 +02001256 nlflags |= NLM_F_CREATE;
Robert Olsson19baf832005-06-21 12:43:18 -07001257 err = -ENOBUFS;
Christoph Lametere94b1762006-12-06 20:33:17 -08001258 new_fa = kmem_cache_alloc(fn_alias_kmem, GFP_KERNEL);
Ian Morris51456b22015-04-03 09:17:26 +01001259 if (!new_fa)
Robert Olsson19baf832005-06-21 12:43:18 -07001260 goto out;
1261
1262 new_fa->fa_info = fi;
1263 new_fa->fa_tos = tos;
Thomas Graf4e902c52006-08-17 18:14:52 -07001264 new_fa->fa_type = cfg->fc_type;
Robert Olsson19baf832005-06-21 12:43:18 -07001265 new_fa->fa_state = 0;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001266 new_fa->fa_slen = slen;
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001267 new_fa->tb_id = tb->tb_id;
Julian Anastasov2392deb2015-07-22 10:43:23 +03001268 new_fa->fa_default = -1;
Robert Olsson19baf832005-06-21 12:43:18 -07001269
David Ahern6635f312018-03-27 18:21:57 -07001270 err = call_fib_entry_notifiers(net, event, key, plen, new_fa, extack);
1271 if (err)
1272 goto out_free_new_fa;
1273
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001274 /* Insert new entry to the list. */
Alexander Duyckd5d64872015-03-04 15:02:18 -08001275 err = fib_insert_alias(t, tp, l, new_fa, fa, key);
1276 if (err)
David Ahern6635f312018-03-27 18:21:57 -07001277 goto out_fib_notif;
Robert Olsson19baf832005-06-21 12:43:18 -07001278
David S. Miller21d8c492011-04-14 14:49:37 -07001279 if (!plen)
1280 tb->tb_num_default++;
1281
Nicolas Dichtel4ccfe6d2012-09-07 00:45:29 +00001282 rt_cache_flush(cfg->fc_nlinfo.nl_net);
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001283 rtmsg_fib(RTM_NEWROUTE, htonl(key), new_fa, plen, new_fa->tb_id,
Roopa Prabhua2bb6d72015-06-17 11:07:01 -07001284 &cfg->fc_nlinfo, nlflags);
Robert Olsson19baf832005-06-21 12:43:18 -07001285succeeded:
1286 return 0;
Robert Olssonf835e472005-06-28 15:00:39 -07001287
David Ahern6635f312018-03-27 18:21:57 -07001288out_fib_notif:
1289 /* notifier was sent that entry would be added to trie, but
1290 * the add failed and need to recover. Only failure for
1291 * fib_insert_alias is ENOMEM.
1292 */
1293 NL_SET_ERR_MSG(extack, "Failed to insert route into trie");
1294 call_fib_entry_notifiers(net, FIB_EVENT_ENTRY_DEL, key,
1295 plen, new_fa, NULL);
Robert Olssonf835e472005-06-28 15:00:39 -07001296out_free_new_fa:
1297 kmem_cache_free(fn_alias_kmem, new_fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001298out:
1299 fib_release_info(fi);
Olof Johansson91b9a272005-08-09 20:24:39 -07001300err:
Robert Olsson19baf832005-06-21 12:43:18 -07001301 return err;
1302}
1303
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001304static inline t_key prefix_mismatch(t_key key, struct key_vector *n)
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001305{
1306 t_key prefix = n->key;
1307
1308 return (key ^ prefix) & (prefix | -prefix);
1309}
1310
Alexander Duyck345e9b52014-12-31 10:56:24 -08001311/* should be called with rcu_read_lock */
David S. Miller22bd5b92011-03-11 19:54:08 -05001312int fib_table_lookup(struct fib_table *tb, const struct flowi4 *flp,
Eric Dumazetebc0ffa2010-10-05 10:41:36 +00001313 struct fib_result *res, int fib_flags)
Robert Olsson19baf832005-06-21 12:43:18 -07001314{
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001315 struct trie *t = (struct trie *) tb->tb_data;
Alexander Duyck8274a972014-12-31 10:55:29 -08001316#ifdef CONFIG_IP_FIB_TRIE_STATS
1317 struct trie_use_stats __percpu *stats = t->stats;
1318#endif
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001319 const t_key key = ntohl(flp->daddr);
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001320 struct key_vector *n, *pn;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001321 struct fib_alias *fa;
Alexander Duyck71e8b672015-03-04 15:04:03 -08001322 unsigned long index;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001323 t_key cindex;
Robert Olsson19baf832005-06-21 12:43:18 -07001324
Alexander Duyck88bae712015-03-06 09:54:52 -08001325 pn = t->kv;
1326 cindex = 0;
1327
1328 n = get_child_rcu(pn, cindex);
David Ahern9f323972018-05-23 17:08:47 -07001329 if (!n) {
1330 trace_fib_table_lookup(tb->tb_id, flp, NULL, -EAGAIN);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001331 return -EAGAIN;
David Ahern9f323972018-05-23 17:08:47 -07001332 }
Robert Olsson19baf832005-06-21 12:43:18 -07001333
1334#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8274a972014-12-31 10:55:29 -08001335 this_cpu_inc(stats->gets);
Robert Olsson19baf832005-06-21 12:43:18 -07001336#endif
1337
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001338 /* Step 1: Travel to the longest prefix match in the trie */
1339 for (;;) {
Alexander Duyck88bae712015-03-06 09:54:52 -08001340 index = get_cindex(key, n);
Robert Olsson19baf832005-06-21 12:43:18 -07001341
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001342 /* This bit of code is a bit tricky but it combines multiple
1343 * checks into a single check. The prefix consists of the
1344 * prefix plus zeros for the "bits" in the prefix. The index
1345 * is the difference between the key and this value. From
1346 * this we can actually derive several pieces of data.
Alexander Duyck71e8b672015-03-04 15:04:03 -08001347 * if (index >= (1ul << bits))
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001348 * we have a mismatch in skip bits and failed
Alexander Duyckb3832112015-01-22 15:51:08 -08001349 * else
1350 * we know the value is cindex
Alexander Duyck71e8b672015-03-04 15:04:03 -08001351 *
1352 * This check is safe even if bits == KEYLENGTH due to the
1353 * fact that we can only allocate a node with 32 bits if a
1354 * long is greater than 32 bits.
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001355 */
Alexander Duyck71e8b672015-03-04 15:04:03 -08001356 if (index >= (1ul << n->bits))
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001357 break;
Robert Olsson19baf832005-06-21 12:43:18 -07001358
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001359 /* we have found a leaf. Prefixes have already been compared */
1360 if (IS_LEAF(n))
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08001361 goto found;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001362
1363 /* only record pn and cindex if we are going to be chopping
1364 * bits later. Otherwise we are just wasting cycles.
1365 */
Alexander Duyck5405afd2014-12-31 10:57:08 -08001366 if (n->slen > n->pos) {
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001367 pn = n;
1368 cindex = index;
Olof Johansson91b9a272005-08-09 20:24:39 -07001369 }
1370
Alexander Duyck754baf8d2015-03-06 09:54:14 -08001371 n = get_child_rcu(n, index);
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001372 if (unlikely(!n))
Robert Olsson19baf832005-06-21 12:43:18 -07001373 goto backtrace;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001374 }
1375
1376 /* Step 2: Sort out leaves and begin backtracing for longest prefix */
1377 for (;;) {
1378 /* record the pointer where our next node pointer is stored */
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001379 struct key_vector __rcu **cptr = n->tnode;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001380
1381 /* This test verifies that none of the bits that differ
1382 * between the key and the prefix exist in the region of
1383 * the lsb and higher in the prefix.
1384 */
Alexander Duyck5405afd2014-12-31 10:57:08 -08001385 if (unlikely(prefix_mismatch(key, n)) || (n->slen == n->pos))
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001386 goto backtrace;
1387
1388 /* exit out and process leaf */
1389 if (unlikely(IS_LEAF(n)))
1390 break;
1391
1392 /* Don't bother recording parent info. Since we are in
1393 * prefix match mode we will have to come back to wherever
1394 * we started this traversal anyway
1395 */
1396
1397 while ((n = rcu_dereference(*cptr)) == NULL) {
1398backtrace:
1399#ifdef CONFIG_IP_FIB_TRIE_STATS
1400 if (!n)
1401 this_cpu_inc(stats->null_node_hit);
1402#endif
1403 /* If we are at cindex 0 there are no more bits for
1404 * us to strip at this level so we must ascend back
1405 * up one level to see if there are any more bits to
1406 * be stripped there.
1407 */
1408 while (!cindex) {
1409 t_key pkey = pn->key;
1410
Alexander Duyck88bae712015-03-06 09:54:52 -08001411 /* If we don't have a parent then there is
1412 * nothing for us to do as we do not have any
1413 * further nodes to parse.
1414 */
David Ahern9f323972018-05-23 17:08:47 -07001415 if (IS_TRIE(pn)) {
1416 trace_fib_table_lookup(tb->tb_id, flp,
1417 NULL, -EAGAIN);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001418 return -EAGAIN;
David Ahern9f323972018-05-23 17:08:47 -07001419 }
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001420#ifdef CONFIG_IP_FIB_TRIE_STATS
1421 this_cpu_inc(stats->backtrack);
1422#endif
1423 /* Get Child's index */
Alexander Duyck88bae712015-03-06 09:54:52 -08001424 pn = node_parent_rcu(pn);
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001425 cindex = get_index(pkey, pn);
1426 }
1427
1428 /* strip the least significant bit from the cindex */
1429 cindex &= cindex - 1;
1430
1431 /* grab pointer for next child node */
Alexander Duyck41b489f2015-03-04 15:02:33 -08001432 cptr = &pn->tnode[cindex];
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001433 }
Robert Olsson19baf832005-06-21 12:43:18 -07001434 }
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001435
Robert Olsson19baf832005-06-21 12:43:18 -07001436found:
Alexander Duyck71e8b672015-03-04 15:04:03 -08001437 /* this line carries forward the xor from earlier in the function */
1438 index = key ^ n->key;
1439
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001440 /* Step 3: Process the leaf, if that fails fall back to backtracing */
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001441 hlist_for_each_entry_rcu(fa, &n->leaf, fa_list) {
1442 struct fib_info *fi = fa->fa_info;
1443 int nhsel, err;
Alexander Duyck345e9b52014-12-31 10:56:24 -08001444
Alexander Duycka5829f52016-01-28 13:42:24 -08001445 if ((BITS_PER_LONG > KEYLENGTH) || (fa->fa_slen < KEYLENGTH)) {
1446 if (index >= (1ul << fa->fa_slen))
1447 continue;
1448 }
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001449 if (fa->fa_tos && fa->fa_tos != flp->flowi4_tos)
1450 continue;
1451 if (fi->fib_dead)
1452 continue;
1453 if (fa->fa_info->fib_scope < flp->flowi4_scope)
1454 continue;
1455 fib_alias_accessed(fa);
1456 err = fib_props[fa->fa_type].error;
1457 if (unlikely(err < 0)) {
David Ahern4c7e8082019-06-03 20:19:51 -07001458out_reject:
Alexander Duyck345e9b52014-12-31 10:56:24 -08001459#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001460 this_cpu_inc(stats->semantic_match_passed);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001461#endif
David Ahern9f323972018-05-23 17:08:47 -07001462 trace_fib_table_lookup(tb->tb_id, flp, NULL, err);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001463 return err;
1464 }
1465 if (fi->fib_flags & RTNH_F_DEAD)
1466 continue;
David Ahern4c7e8082019-06-03 20:19:51 -07001467
1468 if (unlikely(fi->nh && nexthop_is_blackhole(fi->nh))) {
1469 err = fib_props[RTN_BLACKHOLE].error;
1470 goto out_reject;
1471 }
1472
David Ahern5481d732019-06-03 20:19:49 -07001473 for (nhsel = 0; nhsel < fib_info_num_path(fi); nhsel++) {
David Aherneba618a2019-04-02 14:11:55 -07001474 struct fib_nh_common *nhc = fib_info_nhc(fi, nhsel);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001475
David Aherneba618a2019-04-02 14:11:55 -07001476 if (nhc->nhc_flags & RTNH_F_DEAD)
Alexander Duyck345e9b52014-12-31 10:56:24 -08001477 continue;
David Aherneba618a2019-04-02 14:11:55 -07001478 if (ip_ignore_linkdown(nhc->nhc_dev) &&
1479 nhc->nhc_flags & RTNH_F_LINKDOWN &&
Andy Gospodarek0eeb0752015-06-23 13:45:37 -04001480 !(fib_flags & FIB_LOOKUP_IGNORE_LINKSTATE))
1481 continue;
David Ahern58189ca2015-09-15 15:10:50 -07001482 if (!(flp->flowi4_flags & FLOWI_FLAG_SKIP_NH_OIF)) {
David Ahern613d09b2015-08-13 14:59:02 -06001483 if (flp->flowi4_oif &&
David Aherneba618a2019-04-02 14:11:55 -07001484 flp->flowi4_oif != nhc->nhc_oif)
David Ahern613d09b2015-08-13 14:59:02 -06001485 continue;
1486 }
Alexander Duyck345e9b52014-12-31 10:56:24 -08001487
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001488 if (!(fib_flags & FIB_LOOKUP_NOREF))
Reshetova, Elena0029c0d2017-07-04 09:35:02 +03001489 refcount_inc(&fi->fib_clntref);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001490
David Ahern6ffd9032017-05-25 10:42:37 -07001491 res->prefix = htonl(n->key);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001492 res->prefixlen = KEYLENGTH - fa->fa_slen;
1493 res->nh_sel = nhsel;
David Aherneba618a2019-04-02 14:11:55 -07001494 res->nhc = nhc;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001495 res->type = fa->fa_type;
1496 res->scope = fi->fib_scope;
1497 res->fi = fi;
1498 res->table = tb;
1499 res->fa_head = &n->leaf;
Alexander Duyck345e9b52014-12-31 10:56:24 -08001500#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001501 this_cpu_inc(stats->semantic_match_passed);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001502#endif
David Aherneba618a2019-04-02 14:11:55 -07001503 trace_fib_table_lookup(tb->tb_id, flp, nhc, err);
David Ahernf6d3c192015-08-28 08:42:09 -07001504
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001505 return err;
Alexander Duyck345e9b52014-12-31 10:56:24 -08001506 }
Alexander Duyck345e9b52014-12-31 10:56:24 -08001507 }
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001508#ifdef CONFIG_IP_FIB_TRIE_STATS
1509 this_cpu_inc(stats->semantic_match_miss);
1510#endif
Alexander Duyck345e9b52014-12-31 10:56:24 -08001511 goto backtrace;
Robert Olsson19baf832005-06-21 12:43:18 -07001512}
Florian Westphal6fc01432011-08-25 13:46:12 +02001513EXPORT_SYMBOL_GPL(fib_table_lookup);
Robert Olsson19baf832005-06-21 12:43:18 -07001514
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001515static void fib_remove_alias(struct trie *t, struct key_vector *tp,
1516 struct key_vector *l, struct fib_alias *old)
Alexander Duyckd5d64872015-03-04 15:02:18 -08001517{
1518 /* record the location of the previous list_info entry */
1519 struct hlist_node **pprev = old->fa_list.pprev;
1520 struct fib_alias *fa = hlist_entry(pprev, typeof(*fa), fa_list.next);
1521
1522 /* remove the fib_alias from the list */
1523 hlist_del_rcu(&old->fa_list);
1524
1525 /* if we emptied the list this leaf will be freed and we can sort
1526 * out parent suffix lengths as a part of trie_rebalance
1527 */
1528 if (hlist_empty(&l->leaf)) {
Alexander Duycka52ca622016-12-01 07:27:57 -05001529 if (tp->slen == l->slen)
1530 node_pull_suffix(tp, tp->pos);
Alexander Duyck88bae712015-03-06 09:54:52 -08001531 put_child_root(tp, l->key, NULL);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001532 node_free(l);
1533 trie_rebalance(t, tp);
1534 return;
1535 }
1536
1537 /* only access fa if it is pointing at the last valid hlist_node */
1538 if (*pprev)
1539 return;
1540
1541 /* update the trie with the latest suffix length */
1542 l->slen = fa->fa_slen;
Alexander Duyck1a239172016-12-01 07:27:52 -05001543 node_pull_suffix(tp, fa->fa_slen);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001544}
1545
1546/* Caller must hold RTNL. */
Jiri Pirkob90eb752016-09-26 12:52:29 +02001547int fib_table_delete(struct net *net, struct fib_table *tb,
David Ahern78055992017-05-27 16:19:26 -06001548 struct fib_config *cfg, struct netlink_ext_ack *extack)
Robert Olsson19baf832005-06-21 12:43:18 -07001549{
1550 struct trie *t = (struct trie *) tb->tb_data;
Robert Olsson19baf832005-06-21 12:43:18 -07001551 struct fib_alias *fa, *fa_to_delete;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001552 struct key_vector *l, *tp;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001553 u8 plen = cfg->fc_dst_len;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001554 u8 slen = KEYLENGTH - plen;
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001555 u8 tos = cfg->fc_tos;
1556 u32 key;
Olof Johansson91b9a272005-08-09 20:24:39 -07001557
Thomas Graf4e902c52006-08-17 18:14:52 -07001558 key = ntohl(cfg->fc_dst);
Robert Olsson19baf832005-06-21 12:43:18 -07001559
David Ahern78055992017-05-27 16:19:26 -06001560 if (!fib_valid_key_len(key, plen, extack))
Robert Olsson19baf832005-06-21 12:43:18 -07001561 return -EINVAL;
1562
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001563 l = fib_find_node(t, &tp, key);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001564 if (!l)
Robert Olsson19baf832005-06-21 12:43:18 -07001565 return -ESRCH;
1566
Alexander Duyck0b65bd92015-03-12 14:46:29 -07001567 fa = fib_find_alias(&l->leaf, slen, tos, 0, tb->tb_id);
Robert Olsson19baf832005-06-21 12:43:18 -07001568 if (!fa)
1569 return -ESRCH;
1570
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001571 pr_debug("Deleting %08x/%d tos=%d t=%p\n", key, plen, tos, t);
Robert Olsson19baf832005-06-21 12:43:18 -07001572
1573 fa_to_delete = NULL;
Alexander Duyck56315f92015-02-25 15:31:31 -08001574 hlist_for_each_entry_from(fa, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07001575 struct fib_info *fi = fa->fa_info;
1576
Alexander Duyck0b65bd92015-03-12 14:46:29 -07001577 if ((fa->fa_slen != slen) ||
1578 (fa->tb_id != tb->tb_id) ||
1579 (fa->fa_tos != tos))
Robert Olsson19baf832005-06-21 12:43:18 -07001580 break;
1581
Thomas Graf4e902c52006-08-17 18:14:52 -07001582 if ((!cfg->fc_type || fa->fa_type == cfg->fc_type) &&
1583 (cfg->fc_scope == RT_SCOPE_NOWHERE ||
David S. Miller37e826c2011-03-24 18:06:47 -07001584 fa->fa_info->fib_scope == cfg->fc_scope) &&
Julian Anastasov74cb3c12011-03-19 12:13:46 +00001585 (!cfg->fc_prefsrc ||
1586 fi->fib_prefsrc == cfg->fc_prefsrc) &&
Thomas Graf4e902c52006-08-17 18:14:52 -07001587 (!cfg->fc_protocol ||
1588 fi->fib_protocol == cfg->fc_protocol) &&
Xin Long5f9ae3d2017-08-23 10:07:26 +08001589 fib_nh_match(cfg, fi, extack) == 0 &&
1590 fib_metrics_match(cfg, fi)) {
Robert Olsson19baf832005-06-21 12:43:18 -07001591 fa_to_delete = fa;
1592 break;
1593 }
1594 }
1595
Olof Johansson91b9a272005-08-09 20:24:39 -07001596 if (!fa_to_delete)
1597 return -ESRCH;
Robert Olsson19baf832005-06-21 12:43:18 -07001598
Jiri Pirkob90eb752016-09-26 12:52:29 +02001599 call_fib_entry_notifiers(net, FIB_EVENT_ENTRY_DEL, key, plen,
David Ahern6c31e5a2017-10-27 17:37:13 -07001600 fa_to_delete, extack);
Alexander Duyckd5d64872015-03-04 15:02:18 -08001601 rtmsg_fib(RTM_DELROUTE, htonl(key), fa_to_delete, plen, tb->tb_id,
Milan Kocianb8f55832007-05-23 14:55:06 -07001602 &cfg->fc_nlinfo, 0);
Robert Olsson19baf832005-06-21 12:43:18 -07001603
David S. Miller21d8c492011-04-14 14:49:37 -07001604 if (!plen)
1605 tb->tb_num_default--;
1606
Alexander Duyckd5d64872015-03-04 15:02:18 -08001607 fib_remove_alias(t, tp, l, fa_to_delete);
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001608
Alexander Duyckd5d64872015-03-04 15:02:18 -08001609 if (fa_to_delete->fa_state & FA_S_ACCESSED)
Nicolas Dichtel4ccfe6d2012-09-07 00:45:29 +00001610 rt_cache_flush(cfg->fc_nlinfo.nl_net);
Olof Johansson91b9a272005-08-09 20:24:39 -07001611
Alexander Duyckd5d64872015-03-04 15:02:18 -08001612 fib_release_info(fa_to_delete->fa_info);
1613 alias_free_mem_rcu(fa_to_delete);
Olof Johansson91b9a272005-08-09 20:24:39 -07001614 return 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001615}
1616
Alexander Duyck8be33e92015-03-04 14:59:19 -08001617/* Scan for the next leaf starting at the provided key value */
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001618static struct key_vector *leaf_walk_rcu(struct key_vector **tn, t_key key)
Robert Olsson19baf832005-06-21 12:43:18 -07001619{
Alexander Duyck35c6eda2015-03-06 09:54:08 -08001620 struct key_vector *pn, *n = *tn;
Alexander Duyck8be33e92015-03-04 14:59:19 -08001621 unsigned long cindex;
Robert Olsson19baf832005-06-21 12:43:18 -07001622
Alexander Duyck8be33e92015-03-04 14:59:19 -08001623 /* this loop is meant to try and find the key in the trie */
Alexander Duyck88bae712015-03-06 09:54:52 -08001624 do {
1625 /* record parent and next child index */
1626 pn = n;
Alexander Duyckc2229fe2015-10-27 15:06:45 -07001627 cindex = (key > pn->key) ? get_index(key, pn) : 0;
Alexander Duyck88bae712015-03-06 09:54:52 -08001628
1629 if (cindex >> pn->bits)
1630 break;
1631
1632 /* descend into the next child */
1633 n = get_child_rcu(pn, cindex++);
1634 if (!n)
1635 break;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001636
Alexander Duyck8be33e92015-03-04 14:59:19 -08001637 /* guarantee forward progress on the keys */
1638 if (IS_LEAF(n) && (n->key >= key))
1639 goto found;
Alexander Duyck88bae712015-03-06 09:54:52 -08001640 } while (IS_TNODE(n));
Alexander Duyck8be33e92015-03-04 14:59:19 -08001641
1642 /* this loop will search for the next leaf with a greater key */
Alexander Duyck88bae712015-03-06 09:54:52 -08001643 while (!IS_TRIE(pn)) {
Alexander Duyck8be33e92015-03-04 14:59:19 -08001644 /* if we exhausted the parent node we will need to climb */
1645 if (cindex >= (1ul << pn->bits)) {
1646 t_key pkey = pn->key;
1647
1648 pn = node_parent_rcu(pn);
Alexander Duyck8be33e92015-03-04 14:59:19 -08001649 cindex = get_index(pkey, pn) + 1;
1650 continue;
Robert Olsson19baf832005-06-21 12:43:18 -07001651 }
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001652
Alexander Duyck8be33e92015-03-04 14:59:19 -08001653 /* grab the next available node */
Alexander Duyck754baf8d2015-03-06 09:54:14 -08001654 n = get_child_rcu(pn, cindex++);
Alexander Duyck8be33e92015-03-04 14:59:19 -08001655 if (!n)
1656 continue;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001657
Alexander Duyck8be33e92015-03-04 14:59:19 -08001658 /* no need to compare keys since we bumped the index */
1659 if (IS_LEAF(n))
1660 goto found;
1661
1662 /* Rescan start scanning in new node */
1663 pn = n;
1664 cindex = 0;
1665 }
1666
1667 *tn = pn;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001668 return NULL; /* Root of trie */
Alexander Duyck8be33e92015-03-04 14:59:19 -08001669found:
1670 /* if we are at the limit for keys just return NULL for the tnode */
Alexander Duyck88bae712015-03-06 09:54:52 -08001671 *tn = pn;
Alexander Duyck8be33e92015-03-04 14:59:19 -08001672 return n;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001673}
1674
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001675static void fib_trie_free(struct fib_table *tb)
1676{
1677 struct trie *t = (struct trie *)tb->tb_data;
1678 struct key_vector *pn = t->kv;
1679 unsigned long cindex = 1;
1680 struct hlist_node *tmp;
1681 struct fib_alias *fa;
1682
1683 /* walk trie in reverse order and free everything */
1684 for (;;) {
1685 struct key_vector *n;
1686
1687 if (!(cindex--)) {
1688 t_key pkey = pn->key;
1689
1690 if (IS_TRIE(pn))
1691 break;
1692
1693 n = pn;
1694 pn = node_parent(pn);
1695
1696 /* drop emptied tnode */
1697 put_child_root(pn, n->key, NULL);
1698 node_free(n);
1699
1700 cindex = get_index(pkey, pn);
1701
1702 continue;
1703 }
1704
1705 /* grab the next available node */
1706 n = get_child(pn, cindex);
1707 if (!n)
1708 continue;
1709
1710 if (IS_TNODE(n)) {
1711 /* record pn and cindex for leaf walking */
1712 pn = n;
1713 cindex = 1ul << n->bits;
1714
1715 continue;
1716 }
1717
1718 hlist_for_each_entry_safe(fa, tmp, &n->leaf, fa_list) {
1719 hlist_del_rcu(&fa->fa_list);
1720 alias_free_mem_rcu(fa);
1721 }
1722
1723 put_child_root(pn, n->key, NULL);
1724 node_free(n);
1725 }
1726
1727#ifdef CONFIG_IP_FIB_TRIE_STATS
1728 free_percpu(t->stats);
1729#endif
1730 kfree(tb);
1731}
1732
1733struct fib_table *fib_trie_unmerge(struct fib_table *oldtb)
1734{
1735 struct trie *ot = (struct trie *)oldtb->tb_data;
1736 struct key_vector *l, *tp = ot->kv;
1737 struct fib_table *local_tb;
1738 struct fib_alias *fa;
1739 struct trie *lt;
1740 t_key key = 0;
1741
1742 if (oldtb->tb_data == oldtb->__data)
1743 return oldtb;
1744
1745 local_tb = fib_trie_table(RT_TABLE_LOCAL, NULL);
1746 if (!local_tb)
1747 return NULL;
1748
1749 lt = (struct trie *)local_tb->tb_data;
1750
1751 while ((l = leaf_walk_rcu(&tp, key)) != NULL) {
1752 struct key_vector *local_l = NULL, *local_tp;
1753
1754 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
1755 struct fib_alias *new_fa;
1756
1757 if (local_tb->tb_id != fa->tb_id)
1758 continue;
1759
1760 /* clone fa for new local table */
1761 new_fa = kmem_cache_alloc(fn_alias_kmem, GFP_KERNEL);
1762 if (!new_fa)
1763 goto out;
1764
1765 memcpy(new_fa, fa, sizeof(*fa));
1766
1767 /* insert clone into table */
1768 if (!local_l)
1769 local_l = fib_find_node(lt, &local_tp, l->key);
1770
1771 if (fib_insert_alias(lt, local_tp, local_l, new_fa,
Alexander Duyck3114cdf2016-11-15 05:46:12 -05001772 NULL, l->key)) {
1773 kmem_cache_free(fn_alias_kmem, new_fa);
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001774 goto out;
Alexander Duyck3114cdf2016-11-15 05:46:12 -05001775 }
Alexander Duyck0ddcf432015-03-06 13:47:00 -08001776 }
1777
1778 /* stop loop if key wrapped back to 0 */
1779 key = l->key + 1;
1780 if (key < l->key)
1781 break;
1782 }
1783
1784 return local_tb;
1785out:
1786 fib_trie_free(local_tb);
1787
1788 return NULL;
1789}
1790
Alexander Duyck3b709332016-11-15 05:46:06 -05001791/* Caller must hold RTNL */
1792void fib_table_flush_external(struct fib_table *tb)
1793{
1794 struct trie *t = (struct trie *)tb->tb_data;
1795 struct key_vector *pn = t->kv;
1796 unsigned long cindex = 1;
1797 struct hlist_node *tmp;
1798 struct fib_alias *fa;
1799
1800 /* walk trie in reverse order */
1801 for (;;) {
1802 unsigned char slen = 0;
1803 struct key_vector *n;
1804
1805 if (!(cindex--)) {
1806 t_key pkey = pn->key;
1807
1808 /* cannot resize the trie vector */
1809 if (IS_TRIE(pn))
1810 break;
1811
Alexander Duycka52ca622016-12-01 07:27:57 -05001812 /* update the suffix to address pulled leaves */
1813 if (pn->slen > pn->pos)
1814 update_suffix(pn);
1815
Alexander Duyck3b709332016-11-15 05:46:06 -05001816 /* resize completed node */
1817 pn = resize(t, pn);
1818 cindex = get_index(pkey, pn);
1819
1820 continue;
1821 }
1822
1823 /* grab the next available node */
1824 n = get_child(pn, cindex);
1825 if (!n)
1826 continue;
1827
1828 if (IS_TNODE(n)) {
1829 /* record pn and cindex for leaf walking */
1830 pn = n;
1831 cindex = 1ul << n->bits;
1832
1833 continue;
1834 }
1835
1836 hlist_for_each_entry_safe(fa, tmp, &n->leaf, fa_list) {
1837 /* if alias was cloned to local then we just
1838 * need to remove the local copy from main
1839 */
1840 if (tb->tb_id != fa->tb_id) {
1841 hlist_del_rcu(&fa->fa_list);
1842 alias_free_mem_rcu(fa);
1843 continue;
1844 }
1845
1846 /* record local slen */
1847 slen = fa->fa_slen;
1848 }
1849
1850 /* update leaf slen */
1851 n->slen = slen;
1852
1853 if (hlist_empty(&n->leaf)) {
1854 put_child_root(pn, n->key, NULL);
1855 node_free(n);
1856 }
1857 }
1858}
1859
Alexander Duyck8be33e92015-03-04 14:59:19 -08001860/* Caller must hold RTNL. */
Ido Schimmelf97f4dd2019-01-09 09:57:39 +00001861int fib_table_flush(struct net *net, struct fib_table *tb, bool flush_all)
Robert Olsson19baf832005-06-21 12:43:18 -07001862{
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001863 struct trie *t = (struct trie *)tb->tb_data;
Alexander Duyck88bae712015-03-06 09:54:52 -08001864 struct key_vector *pn = t->kv;
1865 unsigned long cindex = 1;
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001866 struct hlist_node *tmp;
1867 struct fib_alias *fa;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001868 int found = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001869
Alexander Duyck88bae712015-03-06 09:54:52 -08001870 /* walk trie in reverse order */
1871 for (;;) {
1872 unsigned char slen = 0;
1873 struct key_vector *n;
Robert Olsson19baf832005-06-21 12:43:18 -07001874
Alexander Duyck88bae712015-03-06 09:54:52 -08001875 if (!(cindex--)) {
1876 t_key pkey = pn->key;
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001877
Alexander Duyck88bae712015-03-06 09:54:52 -08001878 /* cannot resize the trie vector */
1879 if (IS_TRIE(pn))
1880 break;
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001881
Alexander Duycka52ca622016-12-01 07:27:57 -05001882 /* update the suffix to address pulled leaves */
1883 if (pn->slen > pn->pos)
1884 update_suffix(pn);
1885
Alexander Duyck88bae712015-03-06 09:54:52 -08001886 /* resize completed node */
1887 pn = resize(t, pn);
1888 cindex = get_index(pkey, pn);
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001889
Alexander Duyck88bae712015-03-06 09:54:52 -08001890 continue;
1891 }
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001892
Alexander Duyck88bae712015-03-06 09:54:52 -08001893 /* grab the next available node */
1894 n = get_child(pn, cindex);
1895 if (!n)
1896 continue;
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001897
Alexander Duyck88bae712015-03-06 09:54:52 -08001898 if (IS_TNODE(n)) {
1899 /* record pn and cindex for leaf walking */
1900 pn = n;
1901 cindex = 1ul << n->bits;
1902
1903 continue;
1904 }
1905
1906 hlist_for_each_entry_safe(fa, tmp, &n->leaf, fa_list) {
1907 struct fib_info *fi = fa->fa_info;
1908
Ido Schimmelf97f4dd2019-01-09 09:57:39 +00001909 if (!fi || tb->tb_id != fa->tb_id ||
1910 (!(fi->fib_flags & RTNH_F_DEAD) &&
1911 !fib_props[fa->fa_type].error)) {
1912 slen = fa->fa_slen;
1913 continue;
1914 }
1915
1916 /* Do not flush error routes if network namespace is
1917 * not being dismantled
1918 */
1919 if (!flush_all && fib_props[fa->fa_type].error) {
Alexander Duyck88bae712015-03-06 09:54:52 -08001920 slen = fa->fa_slen;
1921 continue;
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001922 }
1923
Jiri Pirkob90eb752016-09-26 12:52:29 +02001924 call_fib_entry_notifiers(net, FIB_EVENT_ENTRY_DEL,
1925 n->key,
David Ahern6c31e5a2017-10-27 17:37:13 -07001926 KEYLENGTH - fa->fa_slen, fa,
1927 NULL);
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001928 hlist_del_rcu(&fa->fa_list);
1929 fib_release_info(fa->fa_info);
1930 alias_free_mem_rcu(fa);
1931 found++;
Alexander Duyck64c62722015-01-22 15:51:45 -08001932 }
1933
Alexander Duyck88bae712015-03-06 09:54:52 -08001934 /* update leaf slen */
1935 n->slen = slen;
1936
1937 if (hlist_empty(&n->leaf)) {
1938 put_child_root(pn, n->key, NULL);
1939 node_free(n);
Alexander Duyck88bae712015-03-06 09:54:52 -08001940 }
Robert Olsson19baf832005-06-21 12:43:18 -07001941 }
1942
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001943 pr_debug("trie_flush found=%d\n", found);
Robert Olsson19baf832005-06-21 12:43:18 -07001944 return found;
1945}
1946
David Ahern1bff1a02019-05-22 12:04:42 -07001947/* derived from fib_trie_free */
1948static void __fib_info_notify_update(struct net *net, struct fib_table *tb,
1949 struct nl_info *info)
1950{
1951 struct trie *t = (struct trie *)tb->tb_data;
1952 struct key_vector *pn = t->kv;
1953 unsigned long cindex = 1;
1954 struct fib_alias *fa;
1955
1956 for (;;) {
1957 struct key_vector *n;
1958
1959 if (!(cindex--)) {
1960 t_key pkey = pn->key;
1961
1962 if (IS_TRIE(pn))
1963 break;
1964
David Ahern1bff1a02019-05-22 12:04:42 -07001965 pn = node_parent(pn);
1966 cindex = get_index(pkey, pn);
1967 continue;
1968 }
1969
1970 /* grab the next available node */
1971 n = get_child(pn, cindex);
1972 if (!n)
1973 continue;
1974
1975 if (IS_TNODE(n)) {
1976 /* record pn and cindex for leaf walking */
1977 pn = n;
1978 cindex = 1ul << n->bits;
1979
1980 continue;
1981 }
1982
1983 hlist_for_each_entry(fa, &n->leaf, fa_list) {
1984 struct fib_info *fi = fa->fa_info;
1985
1986 if (!fi || !fi->nh_updated || fa->tb_id != tb->tb_id)
1987 continue;
1988
1989 rtmsg_fib(RTM_NEWROUTE, htonl(n->key), fa,
1990 KEYLENGTH - fa->fa_slen, tb->tb_id,
1991 info, NLM_F_REPLACE);
1992
1993 /* call_fib_entry_notifiers will be removed when
1994 * in-kernel notifier is implemented and supported
1995 * for nexthop objects
1996 */
1997 call_fib_entry_notifiers(net, FIB_EVENT_ENTRY_REPLACE,
1998 n->key,
1999 KEYLENGTH - fa->fa_slen, fa,
2000 NULL);
2001 }
2002 }
2003}
2004
2005void fib_info_notify_update(struct net *net, struct nl_info *info)
2006{
2007 unsigned int h;
2008
2009 for (h = 0; h < FIB_TABLE_HASHSZ; h++) {
2010 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
2011 struct fib_table *tb;
2012
2013 hlist_for_each_entry_rcu(tb, head, tb_hlist)
2014 __fib_info_notify_update(net, tb, info);
2015 }
2016}
2017
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002018static void fib_leaf_notify(struct net *net, struct key_vector *l,
Ido Schimmeld05f7a72017-03-10 08:56:19 +01002019 struct fib_table *tb, struct notifier_block *nb)
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002020{
2021 struct fib_alias *fa;
2022
2023 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
2024 struct fib_info *fi = fa->fa_info;
2025
2026 if (!fi)
2027 continue;
2028
2029 /* local and main table can share the same trie,
2030 * so don't notify twice for the same entry.
2031 */
2032 if (tb->tb_id != fa->tb_id)
2033 continue;
2034
Ido Schimmeld05f7a72017-03-10 08:56:19 +01002035 call_fib_entry_notifier(nb, net, FIB_EVENT_ENTRY_ADD, l->key,
David Ahern6eba87c2017-10-18 11:39:13 -07002036 KEYLENGTH - fa->fa_slen, fa);
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002037 }
2038}
2039
2040static void fib_table_notify(struct net *net, struct fib_table *tb,
Ido Schimmeld05f7a72017-03-10 08:56:19 +01002041 struct notifier_block *nb)
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002042{
2043 struct trie *t = (struct trie *)tb->tb_data;
2044 struct key_vector *l, *tp = t->kv;
2045 t_key key = 0;
2046
2047 while ((l = leaf_walk_rcu(&tp, key)) != NULL) {
Ido Schimmeld05f7a72017-03-10 08:56:19 +01002048 fib_leaf_notify(net, l, tb, nb);
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002049
2050 key = l->key + 1;
2051 /* stop in case of wrap around */
2052 if (key < l->key)
2053 break;
2054 }
2055}
2056
Ido Schimmeld05f7a72017-03-10 08:56:19 +01002057void fib_notify(struct net *net, struct notifier_block *nb)
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002058{
2059 unsigned int h;
2060
2061 for (h = 0; h < FIB_TABLE_HASHSZ; h++) {
2062 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
2063 struct fib_table *tb;
2064
2065 hlist_for_each_entry_rcu(tb, head, tb_hlist)
Ido Schimmeld05f7a72017-03-10 08:56:19 +01002066 fib_table_notify(net, tb, nb);
Ido Schimmelc3852ef2016-12-03 16:45:07 +01002067 }
2068}
2069
Alexander Duycka7e53532015-03-04 15:02:44 -08002070static void __trie_free_rcu(struct rcu_head *head)
Pavel Emelyanov4aa2c462010-10-28 02:00:43 +00002071{
Alexander Duycka7e53532015-03-04 15:02:44 -08002072 struct fib_table *tb = container_of(head, struct fib_table, rcu);
Alexander Duyck8274a972014-12-31 10:55:29 -08002073#ifdef CONFIG_IP_FIB_TRIE_STATS
2074 struct trie *t = (struct trie *)tb->tb_data;
2075
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002076 if (tb->tb_data == tb->__data)
2077 free_percpu(t->stats);
Alexander Duyck8274a972014-12-31 10:55:29 -08002078#endif /* CONFIG_IP_FIB_TRIE_STATS */
Pavel Emelyanov4aa2c462010-10-28 02:00:43 +00002079 kfree(tb);
2080}
2081
Alexander Duycka7e53532015-03-04 15:02:44 -08002082void fib_free_table(struct fib_table *tb)
2083{
2084 call_rcu(&tb->rcu, __trie_free_rcu);
2085}
2086
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002087static int fn_trie_dump_leaf(struct key_vector *l, struct fib_table *tb,
David Ahern18a80212018-10-15 18:56:43 -07002088 struct sk_buff *skb, struct netlink_callback *cb,
2089 struct fib_dump_filter *filter)
Robert Olsson19baf832005-06-21 12:43:18 -07002090{
David Ahern18a80212018-10-15 18:56:43 -07002091 unsigned int flags = NLM_F_MULTI;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002092 __be32 xkey = htonl(l->key);
Stefano Brivioee289062019-06-21 17:45:23 +02002093 int i, s_i, i_fa, s_fa, err;
Robert Olsson19baf832005-06-21 12:43:18 -07002094 struct fib_alias *fa;
Robert Olsson19baf832005-06-21 12:43:18 -07002095
Stefano Brivioee289062019-06-21 17:45:23 +02002096 if (filter->filter_set ||
2097 !filter->dump_exceptions || !filter->dump_routes)
David Ahern18a80212018-10-15 18:56:43 -07002098 flags |= NLM_F_DUMP_FILTERED;
2099
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002100 s_i = cb->args[4];
Stefano Brivioee289062019-06-21 17:45:23 +02002101 s_fa = cb->args[5];
Robert Olsson19baf832005-06-21 12:43:18 -07002102 i = 0;
2103
Robert Olsson2373ce12005-08-25 13:01:29 -07002104 /* rcu_read_lock is hold by caller */
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002105 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
Stefano Brivioee289062019-06-21 17:45:23 +02002106 struct fib_info *fi = fa->fa_info;
David Ahernf6c57752017-05-15 23:19:17 -07002107
David Ahern18a80212018-10-15 18:56:43 -07002108 if (i < s_i)
2109 goto next;
Robert Olsson19baf832005-06-21 12:43:18 -07002110
Stefano Brivioee289062019-06-21 17:45:23 +02002111 i_fa = 0;
2112
David Ahern18a80212018-10-15 18:56:43 -07002113 if (tb->tb_id != fa->tb_id)
2114 goto next;
2115
2116 if (filter->filter_set) {
2117 if (filter->rt_type && fa->fa_type != filter->rt_type)
2118 goto next;
2119
2120 if ((filter->protocol &&
Stefano Brivioee289062019-06-21 17:45:23 +02002121 fi->fib_protocol != filter->protocol))
David Ahern18a80212018-10-15 18:56:43 -07002122 goto next;
2123
2124 if (filter->dev &&
Stefano Brivioee289062019-06-21 17:45:23 +02002125 !fib_info_nh_uses_dev(fi, filter->dev))
David Ahern18a80212018-10-15 18:56:43 -07002126 goto next;
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002127 }
2128
Stefano Brivio885b8b42019-06-29 19:55:08 +02002129 if (filter->dump_routes) {
2130 if (!s_fa) {
2131 err = fib_dump_info(skb,
2132 NETLINK_CB(cb->skb).portid,
2133 cb->nlh->nlmsg_seq,
2134 RTM_NEWROUTE,
2135 tb->tb_id, fa->fa_type,
2136 xkey,
2137 KEYLENGTH - fa->fa_slen,
2138 fa->fa_tos, fi, flags);
2139 if (err < 0)
2140 goto stop;
2141 }
2142
Stefano Brivioee289062019-06-21 17:45:23 +02002143 i_fa++;
Robert Olsson19baf832005-06-21 12:43:18 -07002144 }
Stefano Brivioee289062019-06-21 17:45:23 +02002145
2146 if (filter->dump_exceptions) {
2147 err = fib_dump_info_fnhe(skb, cb, tb->tb_id, fi,
2148 &i_fa, s_fa);
2149 if (err < 0)
2150 goto stop;
2151 }
2152
David Ahern18a80212018-10-15 18:56:43 -07002153next:
Stephen Hemmingera88ee222008-01-22 21:56:11 -08002154 i++;
Robert Olsson19baf832005-06-21 12:43:18 -07002155 }
Stephen Hemmingera88ee222008-01-22 21:56:11 -08002156
Stephen Hemminger71d67e62008-01-31 16:45:47 -08002157 cb->args[4] = i;
Robert Olsson19baf832005-06-21 12:43:18 -07002158 return skb->len;
Stefano Brivioee289062019-06-21 17:45:23 +02002159
2160stop:
2161 cb->args[4] = i;
2162 cb->args[5] = i_fa;
2163 return err;
Robert Olsson19baf832005-06-21 12:43:18 -07002164}
2165
Alexander Duycka7e53532015-03-04 15:02:44 -08002166/* rcu_read_lock needs to be hold by caller from readside */
Stephen Hemminger16c6cf82009-09-20 10:35:36 +00002167int fib_table_dump(struct fib_table *tb, struct sk_buff *skb,
David Ahern18a80212018-10-15 18:56:43 -07002168 struct netlink_callback *cb, struct fib_dump_filter *filter)
Robert Olsson19baf832005-06-21 12:43:18 -07002169{
Alexander Duyck8be33e92015-03-04 14:59:19 -08002170 struct trie *t = (struct trie *)tb->tb_data;
Alexander Duyck88bae712015-03-06 09:54:52 -08002171 struct key_vector *l, *tp = t->kv;
Stephen Hemmingerd5ce8a02008-01-22 21:57:22 -08002172 /* Dump starting at last key.
2173 * Note: 0.0.0.0/0 (ie default) is first key.
2174 */
Alexander Duyck8be33e92015-03-04 14:59:19 -08002175 int count = cb->args[2];
2176 t_key key = cb->args[3];
Stephen Hemmingera88ee222008-01-22 21:56:11 -08002177
Alexander Duyck8be33e92015-03-04 14:59:19 -08002178 while ((l = leaf_walk_rcu(&tp, key)) != NULL) {
David Ahernf6c57752017-05-15 23:19:17 -07002179 int err;
2180
David Ahern18a80212018-10-15 18:56:43 -07002181 err = fn_trie_dump_leaf(l, tb, skb, cb, filter);
David Ahernf6c57752017-05-15 23:19:17 -07002182 if (err < 0) {
Alexander Duyck8be33e92015-03-04 14:59:19 -08002183 cb->args[3] = key;
2184 cb->args[2] = count;
David Ahernf6c57752017-05-15 23:19:17 -07002185 return err;
Robert Olsson19baf832005-06-21 12:43:18 -07002186 }
Stephen Hemmingerd5ce8a02008-01-22 21:57:22 -08002187
Stephen Hemminger71d67e62008-01-31 16:45:47 -08002188 ++count;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002189 key = l->key + 1;
2190
Stephen Hemminger71d67e62008-01-31 16:45:47 -08002191 memset(&cb->args[4], 0,
2192 sizeof(cb->args) - 4*sizeof(cb->args[0]));
Alexander Duyck8be33e92015-03-04 14:59:19 -08002193
2194 /* stop loop if key wrapped back to 0 */
2195 if (key < l->key)
2196 break;
Robert Olsson19baf832005-06-21 12:43:18 -07002197 }
Alexander Duyck8be33e92015-03-04 14:59:19 -08002198
Alexander Duyck8be33e92015-03-04 14:59:19 -08002199 cb->args[3] = key;
2200 cb->args[2] = count;
2201
Robert Olsson19baf832005-06-21 12:43:18 -07002202 return skb->len;
Robert Olsson19baf832005-06-21 12:43:18 -07002203}
2204
David S. Miller5348ba82011-02-01 15:30:56 -08002205void __init fib_trie_init(void)
Stephen Hemminger7f9b8052008-01-14 23:14:20 -08002206{
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08002207 fn_alias_kmem = kmem_cache_create("ip_fib_alias",
2208 sizeof(struct fib_alias),
Stephen Hemmingerbc3c8c12008-01-22 21:51:50 -08002209 0, SLAB_PANIC, NULL);
2210
2211 trie_leaf_kmem = kmem_cache_create("ip_fib_trie",
Alexander Duyck41b489f2015-03-04 15:02:33 -08002212 LEAF_SIZE,
Stephen Hemmingerbc3c8c12008-01-22 21:51:50 -08002213 0, SLAB_PANIC, NULL);
Stephen Hemminger7f9b8052008-01-14 23:14:20 -08002214}
Robert Olsson19baf832005-06-21 12:43:18 -07002215
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002216struct fib_table *fib_trie_table(u32 id, struct fib_table *alias)
Robert Olsson19baf832005-06-21 12:43:18 -07002217{
2218 struct fib_table *tb;
2219 struct trie *t;
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002220 size_t sz = sizeof(*tb);
Robert Olsson19baf832005-06-21 12:43:18 -07002221
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002222 if (!alias)
2223 sz += sizeof(struct trie);
2224
2225 tb = kzalloc(sz, GFP_KERNEL);
Ian Morris51456b22015-04-03 09:17:26 +01002226 if (!tb)
Robert Olsson19baf832005-06-21 12:43:18 -07002227 return NULL;
2228
2229 tb->tb_id = id;
David S. Miller21d8c492011-04-14 14:49:37 -07002230 tb->tb_num_default = 0;
Alexander Duyck0ddcf432015-03-06 13:47:00 -08002231 tb->tb_data = (alias ? alias->__data : tb->__data);
2232
2233 if (alias)
2234 return tb;
Robert Olsson19baf832005-06-21 12:43:18 -07002235
2236 t = (struct trie *) tb->tb_data;
Alexander Duyck88bae712015-03-06 09:54:52 -08002237 t->kv[0].pos = KEYLENGTH;
2238 t->kv[0].slen = KEYLENGTH;
Alexander Duyck8274a972014-12-31 10:55:29 -08002239#ifdef CONFIG_IP_FIB_TRIE_STATS
2240 t->stats = alloc_percpu(struct trie_use_stats);
2241 if (!t->stats) {
2242 kfree(tb);
2243 tb = NULL;
2244 }
2245#endif
Robert Olsson19baf832005-06-21 12:43:18 -07002246
Robert Olsson19baf832005-06-21 12:43:18 -07002247 return tb;
2248}
2249
Robert Olsson19baf832005-06-21 12:43:18 -07002250#ifdef CONFIG_PROC_FS
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002251/* Depth first Trie walk iterator */
2252struct fib_trie_iter {
Denis V. Lunev1c340b22008-01-10 03:27:17 -08002253 struct seq_net_private p;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002254 struct fib_table *tb;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002255 struct key_vector *tnode;
Eric Dumazeta034ee32010-09-09 23:32:28 +00002256 unsigned int index;
2257 unsigned int depth;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002258};
Robert Olsson19baf832005-06-21 12:43:18 -07002259
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002260static struct key_vector *fib_trie_get_next(struct fib_trie_iter *iter)
Robert Olsson19baf832005-06-21 12:43:18 -07002261{
Alexander Duyck98293e82014-12-31 10:56:18 -08002262 unsigned long cindex = iter->index;
Alexander Duyck88bae712015-03-06 09:54:52 -08002263 struct key_vector *pn = iter->tnode;
2264 t_key pkey;
Eric W. Biederman6640e692007-01-24 14:42:04 -08002265
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002266 pr_debug("get_next iter={node=%p index=%d depth=%d}\n",
2267 iter->tnode, iter->index, iter->depth);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002268
Alexander Duyck88bae712015-03-06 09:54:52 -08002269 while (!IS_TRIE(pn)) {
2270 while (cindex < child_length(pn)) {
2271 struct key_vector *n = get_child_rcu(pn, cindex++);
2272
2273 if (!n)
2274 continue;
2275
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002276 if (IS_LEAF(n)) {
Alexander Duyck88bae712015-03-06 09:54:52 -08002277 iter->tnode = pn;
2278 iter->index = cindex;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002279 } else {
2280 /* push down one level */
Alexander Duyckadaf9812014-12-31 10:55:47 -08002281 iter->tnode = n;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002282 iter->index = 0;
2283 ++iter->depth;
2284 }
Alexander Duyck88bae712015-03-06 09:54:52 -08002285
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002286 return n;
2287 }
2288
Alexander Duyck88bae712015-03-06 09:54:52 -08002289 /* Current node exhausted, pop back up */
2290 pkey = pn->key;
2291 pn = node_parent_rcu(pn);
2292 cindex = get_index(pkey, pn) + 1;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002293 --iter->depth;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002294 }
2295
Alexander Duyck88bae712015-03-06 09:54:52 -08002296 /* record root node so further searches know we are done */
2297 iter->tnode = pn;
2298 iter->index = 0;
2299
Robert Olsson19baf832005-06-21 12:43:18 -07002300 return NULL;
2301}
2302
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002303static struct key_vector *fib_trie_get_first(struct fib_trie_iter *iter,
2304 struct trie *t)
Robert Olsson19baf832005-06-21 12:43:18 -07002305{
Firo Yangf38b24c2015-06-08 11:54:51 +08002306 struct key_vector *n, *pn;
Robert Olsson5ddf0eb2006-03-20 21:34:12 -08002307
Stephen Hemminger132adf52007-03-08 20:44:43 -08002308 if (!t)
Robert Olsson5ddf0eb2006-03-20 21:34:12 -08002309 return NULL;
2310
Firo Yangf38b24c2015-06-08 11:54:51 +08002311 pn = t->kv;
Alexander Duyck88bae712015-03-06 09:54:52 -08002312 n = rcu_dereference(pn->tnode[0]);
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002313 if (!n)
Robert Olsson5ddf0eb2006-03-20 21:34:12 -08002314 return NULL;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002315
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002316 if (IS_TNODE(n)) {
Alexander Duyckadaf9812014-12-31 10:55:47 -08002317 iter->tnode = n;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002318 iter->index = 0;
2319 iter->depth = 1;
2320 } else {
Alexander Duyck88bae712015-03-06 09:54:52 -08002321 iter->tnode = pn;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002322 iter->index = 0;
2323 iter->depth = 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002324 }
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002325
2326 return n;
Robert Olsson19baf832005-06-21 12:43:18 -07002327}
2328
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002329static void trie_collect_stats(struct trie *t, struct trie_stat *s)
Robert Olsson19baf832005-06-21 12:43:18 -07002330{
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002331 struct key_vector *n;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002332 struct fib_trie_iter iter;
Robert Olsson19baf832005-06-21 12:43:18 -07002333
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002334 memset(s, 0, sizeof(*s));
Robert Olsson19baf832005-06-21 12:43:18 -07002335
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002336 rcu_read_lock();
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002337 for (n = fib_trie_get_first(&iter, t); n; n = fib_trie_get_next(&iter)) {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002338 if (IS_LEAF(n)) {
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002339 struct fib_alias *fa;
Stephen Hemminger93672292008-01-22 21:54:05 -08002340
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002341 s->leaves++;
2342 s->totdepth += iter.depth;
2343 if (iter.depth > s->maxdepth)
2344 s->maxdepth = iter.depth;
Stephen Hemminger93672292008-01-22 21:54:05 -08002345
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002346 hlist_for_each_entry_rcu(fa, &n->leaf, fa_list)
Stephen Hemminger93672292008-01-22 21:54:05 -08002347 ++s->prefixes;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002348 } else {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002349 s->tnodes++;
Alexander Duyckadaf9812014-12-31 10:55:47 -08002350 if (n->bits < MAX_STAT_DEPTH)
2351 s->nodesizes[n->bits]++;
Alexander Duyck6e22d172015-03-06 09:54:39 -08002352 s->nullpointers += tn_info(n)->empty_children;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002353 }
2354 }
2355 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002356}
2357
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002358/*
Robert Olsson19baf832005-06-21 12:43:18 -07002359 * This outputs /proc/net/fib_triestats
Robert Olsson19baf832005-06-21 12:43:18 -07002360 */
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002361static void trie_show_stats(struct seq_file *seq, struct trie_stat *stat)
Robert Olsson19baf832005-06-21 12:43:18 -07002362{
Eric Dumazeta034ee32010-09-09 23:32:28 +00002363 unsigned int i, max, pointers, bytes, avdepth;
Robert Olsson19baf832005-06-21 12:43:18 -07002364
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002365 if (stat->leaves)
2366 avdepth = stat->totdepth*100 / stat->leaves;
2367 else
2368 avdepth = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07002369
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08002370 seq_printf(seq, "\tAver depth: %u.%02d\n",
2371 avdepth / 100, avdepth % 100);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002372 seq_printf(seq, "\tMax depth: %u\n", stat->maxdepth);
Robert Olsson19baf832005-06-21 12:43:18 -07002373
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002374 seq_printf(seq, "\tLeaves: %u\n", stat->leaves);
Alexander Duyck41b489f2015-03-04 15:02:33 -08002375 bytes = LEAF_SIZE * stat->leaves;
Stephen Hemminger93672292008-01-22 21:54:05 -08002376
2377 seq_printf(seq, "\tPrefixes: %u\n", stat->prefixes);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002378 bytes += sizeof(struct fib_alias) * stat->prefixes;
Stephen Hemminger93672292008-01-22 21:54:05 -08002379
Stephen Hemminger187b5182008-01-12 20:55:55 -08002380 seq_printf(seq, "\tInternal nodes: %u\n\t", stat->tnodes);
Alexander Duyck41b489f2015-03-04 15:02:33 -08002381 bytes += TNODE_SIZE(0) * stat->tnodes;
Robert Olsson19baf832005-06-21 12:43:18 -07002382
Robert Olsson06ef9212006-03-20 21:35:01 -08002383 max = MAX_STAT_DEPTH;
2384 while (max > 0 && stat->nodesizes[max-1] == 0)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002385 max--;
Robert Olsson19baf832005-06-21 12:43:18 -07002386
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002387 pointers = 0;
Jerry Snitselaarf585a992013-07-22 12:01:58 -07002388 for (i = 1; i < max; i++)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002389 if (stat->nodesizes[i] != 0) {
Stephen Hemminger187b5182008-01-12 20:55:55 -08002390 seq_printf(seq, " %u: %u", i, stat->nodesizes[i]);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002391 pointers += (1<<i) * stat->nodesizes[i];
2392 }
2393 seq_putc(seq, '\n');
Stephen Hemminger187b5182008-01-12 20:55:55 -08002394 seq_printf(seq, "\tPointers: %u\n", pointers);
Robert Olsson19baf832005-06-21 12:43:18 -07002395
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002396 bytes += sizeof(struct key_vector *) * pointers;
Stephen Hemminger187b5182008-01-12 20:55:55 -08002397 seq_printf(seq, "Null ptrs: %u\n", stat->nullpointers);
2398 seq_printf(seq, "Total size: %u kB\n", (bytes + 1023) / 1024);
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08002399}
Robert Olsson19baf832005-06-21 12:43:18 -07002400
2401#ifdef CONFIG_IP_FIB_TRIE_STATS
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08002402static void trie_show_usage(struct seq_file *seq,
Alexander Duyck8274a972014-12-31 10:55:29 -08002403 const struct trie_use_stats __percpu *stats)
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08002404{
Alexander Duyck8274a972014-12-31 10:55:29 -08002405 struct trie_use_stats s = { 0 };
2406 int cpu;
2407
2408 /* loop through all of the CPUs and gather up the stats */
2409 for_each_possible_cpu(cpu) {
2410 const struct trie_use_stats *pcpu = per_cpu_ptr(stats, cpu);
2411
2412 s.gets += pcpu->gets;
2413 s.backtrack += pcpu->backtrack;
2414 s.semantic_match_passed += pcpu->semantic_match_passed;
2415 s.semantic_match_miss += pcpu->semantic_match_miss;
2416 s.null_node_hit += pcpu->null_node_hit;
2417 s.resize_node_skipped += pcpu->resize_node_skipped;
2418 }
2419
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08002420 seq_printf(seq, "\nCounters:\n---------\n");
Alexander Duyck8274a972014-12-31 10:55:29 -08002421 seq_printf(seq, "gets = %u\n", s.gets);
2422 seq_printf(seq, "backtracks = %u\n", s.backtrack);
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08002423 seq_printf(seq, "semantic match passed = %u\n",
Alexander Duyck8274a972014-12-31 10:55:29 -08002424 s.semantic_match_passed);
2425 seq_printf(seq, "semantic match miss = %u\n", s.semantic_match_miss);
2426 seq_printf(seq, "null node hit= %u\n", s.null_node_hit);
2427 seq_printf(seq, "skipped node resize = %u\n\n", s.resize_node_skipped);
Robert Olsson19baf832005-06-21 12:43:18 -07002428}
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08002429#endif /* CONFIG_IP_FIB_TRIE_STATS */
2430
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002431static void fib_table_print(struct seq_file *seq, struct fib_table *tb)
Stephen Hemmingerd717a9a2008-01-14 23:11:54 -08002432{
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002433 if (tb->tb_id == RT_TABLE_LOCAL)
2434 seq_puts(seq, "Local:\n");
2435 else if (tb->tb_id == RT_TABLE_MAIN)
2436 seq_puts(seq, "Main:\n");
2437 else
2438 seq_printf(seq, "Id %d:\n", tb->tb_id);
Stephen Hemmingerd717a9a2008-01-14 23:11:54 -08002439}
Robert Olsson19baf832005-06-21 12:43:18 -07002440
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002441
Robert Olsson19baf832005-06-21 12:43:18 -07002442static int fib_triestat_seq_show(struct seq_file *seq, void *v)
2443{
Denis V. Lunev1c340b22008-01-10 03:27:17 -08002444 struct net *net = (struct net *)seq->private;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002445 unsigned int h;
Eric W. Biederman877a9bf2007-12-07 00:47:47 -08002446
Stephen Hemmingerd717a9a2008-01-14 23:11:54 -08002447 seq_printf(seq,
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08002448 "Basic info: size of leaf:"
Alexey Dobriyan5b5e0922017-02-27 14:30:02 -08002449 " %zd bytes, size of tnode: %zd bytes.\n",
Alexander Duyck41b489f2015-03-04 15:02:33 -08002450 LEAF_SIZE, TNODE_SIZE(0));
Olof Johansson91b9a272005-08-09 20:24:39 -07002451
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002452 for (h = 0; h < FIB_TABLE_HASHSZ; h++) {
2453 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002454 struct fib_table *tb;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002455
Sasha Levinb67bfe02013-02-27 17:06:00 -08002456 hlist_for_each_entry_rcu(tb, head, tb_hlist) {
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002457 struct trie *t = (struct trie *) tb->tb_data;
2458 struct trie_stat stat;
2459
2460 if (!t)
2461 continue;
2462
2463 fib_table_print(seq, tb);
2464
2465 trie_collect_stats(t, &stat);
2466 trie_show_stats(seq, &stat);
2467#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8274a972014-12-31 10:55:29 -08002468 trie_show_usage(seq, t->stats);
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002469#endif
2470 }
2471 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002472
Robert Olsson19baf832005-06-21 12:43:18 -07002473 return 0;
2474}
2475
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002476static struct key_vector *fib_trie_get_idx(struct seq_file *seq, loff_t pos)
Robert Olsson19baf832005-06-21 12:43:18 -07002477{
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09002478 struct fib_trie_iter *iter = seq->private;
2479 struct net *net = seq_file_net(seq);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002480 loff_t idx = 0;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002481 unsigned int h;
Robert Olsson19baf832005-06-21 12:43:18 -07002482
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002483 for (h = 0; h < FIB_TABLE_HASHSZ; h++) {
2484 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002485 struct fib_table *tb;
2486
Sasha Levinb67bfe02013-02-27 17:06:00 -08002487 hlist_for_each_entry_rcu(tb, head, tb_hlist) {
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002488 struct key_vector *n;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002489
2490 for (n = fib_trie_get_first(iter,
2491 (struct trie *) tb->tb_data);
2492 n; n = fib_trie_get_next(iter))
2493 if (pos == idx++) {
2494 iter->tb = tb;
2495 return n;
2496 }
2497 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002498 }
Robert Olsson19baf832005-06-21 12:43:18 -07002499
Robert Olsson19baf832005-06-21 12:43:18 -07002500 return NULL;
2501}
2502
2503static void *fib_trie_seq_start(struct seq_file *seq, loff_t *pos)
Stephen Hemmingerc95aaf92008-01-12 21:25:02 -08002504 __acquires(RCU)
Robert Olsson19baf832005-06-21 12:43:18 -07002505{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002506 rcu_read_lock();
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09002507 return fib_trie_get_idx(seq, *pos);
Robert Olsson19baf832005-06-21 12:43:18 -07002508}
2509
2510static void *fib_trie_seq_next(struct seq_file *seq, void *v, loff_t *pos)
2511{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002512 struct fib_trie_iter *iter = seq->private;
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09002513 struct net *net = seq_file_net(seq);
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002514 struct fib_table *tb = iter->tb;
2515 struct hlist_node *tb_node;
2516 unsigned int h;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002517 struct key_vector *n;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002518
Robert Olsson19baf832005-06-21 12:43:18 -07002519 ++*pos;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002520 /* next node in same table */
2521 n = fib_trie_get_next(iter);
2522 if (n)
2523 return n;
Olof Johansson91b9a272005-08-09 20:24:39 -07002524
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002525 /* walk rest of this hash chain */
2526 h = tb->tb_id & (FIB_TABLE_HASHSZ - 1);
Eric Dumazet0a5c0472011-03-31 01:51:35 -07002527 while ((tb_node = rcu_dereference(hlist_next_rcu(&tb->tb_hlist)))) {
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002528 tb = hlist_entry(tb_node, struct fib_table, tb_hlist);
2529 n = fib_trie_get_first(iter, (struct trie *) tb->tb_data);
2530 if (n)
2531 goto found;
2532 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002533
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002534 /* new hash chain */
2535 while (++h < FIB_TABLE_HASHSZ) {
2536 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
Sasha Levinb67bfe02013-02-27 17:06:00 -08002537 hlist_for_each_entry_rcu(tb, head, tb_hlist) {
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002538 n = fib_trie_get_first(iter, (struct trie *) tb->tb_data);
2539 if (n)
2540 goto found;
2541 }
2542 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002543 return NULL;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002544
2545found:
2546 iter->tb = tb;
2547 return n;
Robert Olsson19baf832005-06-21 12:43:18 -07002548}
2549
2550static void fib_trie_seq_stop(struct seq_file *seq, void *v)
Stephen Hemmingerc95aaf92008-01-12 21:25:02 -08002551 __releases(RCU)
Robert Olsson19baf832005-06-21 12:43:18 -07002552{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002553 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002554}
2555
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002556static void seq_indent(struct seq_file *seq, int n)
2557{
Eric Dumazeta034ee32010-09-09 23:32:28 +00002558 while (n-- > 0)
2559 seq_puts(seq, " ");
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002560}
Robert Olsson19baf832005-06-21 12:43:18 -07002561
Eric Dumazet28d36e32008-01-14 23:09:56 -08002562static inline const char *rtn_scope(char *buf, size_t len, enum rt_scope_t s)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002563{
Stephen Hemminger132adf52007-03-08 20:44:43 -08002564 switch (s) {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002565 case RT_SCOPE_UNIVERSE: return "universe";
2566 case RT_SCOPE_SITE: return "site";
2567 case RT_SCOPE_LINK: return "link";
2568 case RT_SCOPE_HOST: return "host";
2569 case RT_SCOPE_NOWHERE: return "nowhere";
2570 default:
Eric Dumazet28d36e32008-01-14 23:09:56 -08002571 snprintf(buf, len, "scope=%d", s);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002572 return buf;
2573 }
2574}
2575
Jan Engelhardt36cbd3d2009-08-05 10:42:58 -07002576static const char *const rtn_type_names[__RTN_MAX] = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002577 [RTN_UNSPEC] = "UNSPEC",
2578 [RTN_UNICAST] = "UNICAST",
2579 [RTN_LOCAL] = "LOCAL",
2580 [RTN_BROADCAST] = "BROADCAST",
2581 [RTN_ANYCAST] = "ANYCAST",
2582 [RTN_MULTICAST] = "MULTICAST",
2583 [RTN_BLACKHOLE] = "BLACKHOLE",
2584 [RTN_UNREACHABLE] = "UNREACHABLE",
2585 [RTN_PROHIBIT] = "PROHIBIT",
2586 [RTN_THROW] = "THROW",
2587 [RTN_NAT] = "NAT",
2588 [RTN_XRESOLVE] = "XRESOLVE",
2589};
2590
Eric Dumazeta034ee32010-09-09 23:32:28 +00002591static inline const char *rtn_type(char *buf, size_t len, unsigned int t)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002592{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002593 if (t < __RTN_MAX && rtn_type_names[t])
2594 return rtn_type_names[t];
Eric Dumazet28d36e32008-01-14 23:09:56 -08002595 snprintf(buf, len, "type %u", t);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002596 return buf;
2597}
2598
2599/* Pretty print the trie */
Robert Olsson19baf832005-06-21 12:43:18 -07002600static int fib_trie_seq_show(struct seq_file *seq, void *v)
2601{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002602 const struct fib_trie_iter *iter = seq->private;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002603 struct key_vector *n = v;
Robert Olsson19baf832005-06-21 12:43:18 -07002604
Alexander Duyck88bae712015-03-06 09:54:52 -08002605 if (IS_TRIE(node_parent_rcu(n)))
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002606 fib_table_print(seq, iter->tb);
Robert Olsson095b8502007-01-26 19:06:01 -08002607
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002608 if (IS_TNODE(n)) {
Alexander Duyckadaf9812014-12-31 10:55:47 -08002609 __be32 prf = htonl(n->key);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002610
Alexander Duycke9b44012014-12-31 10:56:12 -08002611 seq_indent(seq, iter->depth-1);
2612 seq_printf(seq, " +-- %pI4/%zu %u %u %u\n",
2613 &prf, KEYLENGTH - n->pos - n->bits, n->bits,
Alexander Duyck6e22d172015-03-06 09:54:39 -08002614 tn_info(n)->full_children,
2615 tn_info(n)->empty_children);
Olof Johansson91b9a272005-08-09 20:24:39 -07002616 } else {
Alexander Duyckadaf9812014-12-31 10:55:47 -08002617 __be32 val = htonl(n->key);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002618 struct fib_alias *fa;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002619
2620 seq_indent(seq, iter->depth);
Harvey Harrison673d57e2008-10-31 00:53:57 -07002621 seq_printf(seq, " |-- %pI4\n", &val);
Eric Dumazet28d36e32008-01-14 23:09:56 -08002622
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002623 hlist_for_each_entry_rcu(fa, &n->leaf, fa_list) {
2624 char buf1[32], buf2[32];
Eric Dumazet28d36e32008-01-14 23:09:56 -08002625
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002626 seq_indent(seq, iter->depth + 1);
2627 seq_printf(seq, " /%zu %s %s",
2628 KEYLENGTH - fa->fa_slen,
2629 rtn_scope(buf1, sizeof(buf1),
2630 fa->fa_info->fib_scope),
2631 rtn_type(buf2, sizeof(buf2),
2632 fa->fa_type));
2633 if (fa->fa_tos)
2634 seq_printf(seq, " tos=%d", fa->fa_tos);
2635 seq_putc(seq, '\n');
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002636 }
Robert Olsson19baf832005-06-21 12:43:18 -07002637 }
2638
2639 return 0;
2640}
2641
Stephen Hemmingerf6908082007-03-12 14:34:29 -07002642static const struct seq_operations fib_trie_seq_ops = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002643 .start = fib_trie_seq_start,
2644 .next = fib_trie_seq_next,
2645 .stop = fib_trie_seq_stop,
2646 .show = fib_trie_seq_show,
Robert Olsson19baf832005-06-21 12:43:18 -07002647};
2648
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002649struct fib_route_iter {
2650 struct seq_net_private p;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002651 struct fib_table *main_tb;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002652 struct key_vector *tnode;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002653 loff_t pos;
2654 t_key key;
2655};
2656
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002657static struct key_vector *fib_route_get_idx(struct fib_route_iter *iter,
2658 loff_t pos)
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002659{
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002660 struct key_vector *l, **tp = &iter->tnode;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002661 t_key key;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002662
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002663 /* use cached location of previously found key */
Alexander Duyck8be33e92015-03-04 14:59:19 -08002664 if (iter->pos > 0 && pos >= iter->pos) {
Alexander Duyck8be33e92015-03-04 14:59:19 -08002665 key = iter->key;
2666 } else {
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002667 iter->pos = 1;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002668 key = 0;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002669 }
2670
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002671 pos -= iter->pos;
2672
2673 while ((l = leaf_walk_rcu(tp, key)) && (pos-- > 0)) {
Alexander Duyck8be33e92015-03-04 14:59:19 -08002674 key = l->key + 1;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002675 iter->pos++;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002676 l = NULL;
2677
2678 /* handle unlikely case of a key wrap */
2679 if (!key)
2680 break;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002681 }
2682
2683 if (l)
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002684 iter->key = l->key; /* remember it */
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002685 else
2686 iter->pos = 0; /* forget it */
2687
2688 return l;
2689}
2690
2691static void *fib_route_seq_start(struct seq_file *seq, loff_t *pos)
2692 __acquires(RCU)
2693{
2694 struct fib_route_iter *iter = seq->private;
2695 struct fib_table *tb;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002696 struct trie *t;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002697
2698 rcu_read_lock();
Alexander Duyck8be33e92015-03-04 14:59:19 -08002699
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09002700 tb = fib_get_table(seq_file_net(seq), RT_TABLE_MAIN);
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002701 if (!tb)
2702 return NULL;
2703
Alexander Duyck8be33e92015-03-04 14:59:19 -08002704 iter->main_tb = tb;
David Forster94d9f1c2016-08-03 15:13:01 +01002705 t = (struct trie *)tb->tb_data;
2706 iter->tnode = t->kv;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002707
2708 if (*pos != 0)
2709 return fib_route_get_idx(iter, *pos);
2710
Alexander Duyck8be33e92015-03-04 14:59:19 -08002711 iter->pos = 0;
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002712 iter->key = KEY_MAX;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002713
2714 return SEQ_START_TOKEN;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002715}
2716
2717static void *fib_route_seq_next(struct seq_file *seq, void *v, loff_t *pos)
2718{
2719 struct fib_route_iter *iter = seq->private;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002720 struct key_vector *l = NULL;
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002721 t_key key = iter->key + 1;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002722
2723 ++*pos;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002724
2725 /* only allow key of 0 for start of sequence */
2726 if ((v == SEQ_START_TOKEN) || key)
2727 l = leaf_walk_rcu(&iter->tnode, key);
2728
2729 if (l) {
Alexander Duyckfd0285a2016-11-04 15:11:57 -04002730 iter->key = l->key;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002731 iter->pos++;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002732 } else {
2733 iter->pos = 0;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002734 }
2735
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002736 return l;
2737}
2738
2739static void fib_route_seq_stop(struct seq_file *seq, void *v)
2740 __releases(RCU)
2741{
2742 rcu_read_unlock();
2743}
2744
David Ahern5481d732019-06-03 20:19:49 -07002745static unsigned int fib_flag_trans(int type, __be32 mask, struct fib_info *fi)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002746{
Eric Dumazeta034ee32010-09-09 23:32:28 +00002747 unsigned int flags = 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002748
Eric Dumazeta034ee32010-09-09 23:32:28 +00002749 if (type == RTN_UNREACHABLE || type == RTN_PROHIBIT)
2750 flags = RTF_REJECT;
David Ahern5481d732019-06-03 20:19:49 -07002751 if (fi) {
David Aherndcb1ecb2019-06-03 20:19:50 -07002752 const struct fib_nh_common *nhc = fib_info_nhc(fi, 0);
David Ahern5481d732019-06-03 20:19:49 -07002753
David Aherndcb1ecb2019-06-03 20:19:50 -07002754 if (nhc->nhc_gw.ipv4)
David Ahern5481d732019-06-03 20:19:49 -07002755 flags |= RTF_GATEWAY;
2756 }
Al Viro32ab5f82006-09-26 22:21:45 -07002757 if (mask == htonl(0xFFFFFFFF))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002758 flags |= RTF_HOST;
2759 flags |= RTF_UP;
2760 return flags;
2761}
2762
2763/*
2764 * This outputs /proc/net/route.
2765 * The format of the file is not supposed to be changed
Eric Dumazeta034ee32010-09-09 23:32:28 +00002766 * and needs to be same as fib_hash output to avoid breaking
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002767 * legacy utilities
2768 */
2769static int fib_route_seq_show(struct seq_file *seq, void *v)
2770{
Alexander Duyck654eff42015-03-11 16:36:08 -07002771 struct fib_route_iter *iter = seq->private;
2772 struct fib_table *tb = iter->main_tb;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002773 struct fib_alias *fa;
Alexander Duyck35c6eda2015-03-06 09:54:08 -08002774 struct key_vector *l = v;
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08002775 __be32 prefix;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002776
2777 if (v == SEQ_START_TOKEN) {
2778 seq_printf(seq, "%-127s\n", "Iface\tDestination\tGateway "
2779 "\tFlags\tRefCnt\tUse\tMetric\tMask\t\tMTU"
2780 "\tWindow\tIRTT");
2781 return 0;
2782 }
2783
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08002784 prefix = htonl(l->key);
2785
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002786 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
David Ahern5481d732019-06-03 20:19:49 -07002787 struct fib_info *fi = fa->fa_info;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002788 __be32 mask = inet_make_mask(KEYLENGTH - fa->fa_slen);
2789 unsigned int flags = fib_flag_trans(fa->fa_type, mask, fi);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002790
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002791 if ((fa->fa_type == RTN_BROADCAST) ||
2792 (fa->fa_type == RTN_MULTICAST))
2793 continue;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002794
Alexander Duyck654eff42015-03-11 16:36:08 -07002795 if (fa->tb_id != tb->tb_id)
2796 continue;
2797
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002798 seq_setwidth(seq, 127);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002799
David Ahern5481d732019-06-03 20:19:49 -07002800 if (fi) {
David Aherndcb1ecb2019-06-03 20:19:50 -07002801 struct fib_nh_common *nhc = fib_info_nhc(fi, 0);
2802 __be32 gw = 0;
2803
2804 if (nhc->nhc_gw_family == AF_INET)
2805 gw = nhc->nhc_gw.ipv4;
David Ahern5481d732019-06-03 20:19:49 -07002806
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002807 seq_printf(seq,
2808 "%s\t%08X\t%08X\t%04X\t%d\t%u\t"
2809 "%d\t%08X\t%d\t%u\t%u",
David Aherndcb1ecb2019-06-03 20:19:50 -07002810 nhc->nhc_dev ? nhc->nhc_dev->name : "*",
2811 prefix, gw, flags, 0, 0,
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002812 fi->fib_priority,
2813 mask,
2814 (fi->fib_advmss ?
2815 fi->fib_advmss + 40 : 0),
2816 fi->fib_window,
2817 fi->fib_rtt >> 3);
David Ahern5481d732019-06-03 20:19:49 -07002818 } else {
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002819 seq_printf(seq,
2820 "*\t%08X\t%08X\t%04X\t%d\t%u\t"
2821 "%d\t%08X\t%d\t%u\t%u",
2822 prefix, 0, flags, 0, 0, 0,
2823 mask, 0, 0, 0);
David Ahern5481d732019-06-03 20:19:49 -07002824 }
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002825 seq_pad(seq, '\n');
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002826 }
2827
2828 return 0;
2829}
2830
Stephen Hemmingerf6908082007-03-12 14:34:29 -07002831static const struct seq_operations fib_route_seq_ops = {
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002832 .start = fib_route_seq_start,
2833 .next = fib_route_seq_next,
2834 .stop = fib_route_seq_stop,
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002835 .show = fib_route_seq_show,
2836};
2837
Denis V. Lunev61a02652008-01-10 03:21:09 -08002838int __net_init fib_proc_init(struct net *net)
Robert Olsson19baf832005-06-21 12:43:18 -07002839{
Christoph Hellwigc3506372018-04-10 19:42:55 +02002840 if (!proc_create_net("fib_trie", 0444, net->proc_net, &fib_trie_seq_ops,
2841 sizeof(struct fib_trie_iter)))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002842 goto out1;
2843
Christoph Hellwig3617d942018-04-13 20:38:35 +02002844 if (!proc_create_net_single("fib_triestat", 0444, net->proc_net,
2845 fib_triestat_seq_show, NULL))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002846 goto out2;
2847
Christoph Hellwigc3506372018-04-10 19:42:55 +02002848 if (!proc_create_net("route", 0444, net->proc_net, &fib_route_seq_ops,
2849 sizeof(struct fib_route_iter)))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002850 goto out3;
2851
Robert Olsson19baf832005-06-21 12:43:18 -07002852 return 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002853
2854out3:
Gao fengece31ff2013-02-18 01:34:56 +00002855 remove_proc_entry("fib_triestat", net->proc_net);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002856out2:
Gao fengece31ff2013-02-18 01:34:56 +00002857 remove_proc_entry("fib_trie", net->proc_net);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002858out1:
2859 return -ENOMEM;
Robert Olsson19baf832005-06-21 12:43:18 -07002860}
2861
Denis V. Lunev61a02652008-01-10 03:21:09 -08002862void __net_exit fib_proc_exit(struct net *net)
Robert Olsson19baf832005-06-21 12:43:18 -07002863{
Gao fengece31ff2013-02-18 01:34:56 +00002864 remove_proc_entry("fib_trie", net->proc_net);
2865 remove_proc_entry("fib_triestat", net->proc_net);
2866 remove_proc_entry("route", net->proc_net);
Robert Olsson19baf832005-06-21 12:43:18 -07002867}
2868
2869#endif /* CONFIG_PROC_FS */