blob: 5be88df02b27986e28cc1f8f04b21fd0f89bcf0e [file] [log] [blame]
Robert Olsson19baf832005-06-21 12:43:18 -07001/*
2 * This program is free software; you can redistribute it and/or
3 * modify it under the terms of the GNU General Public License
4 * as published by the Free Software Foundation; either version
5 * 2 of the License, or (at your option) any later version.
6 *
7 * Robert Olsson <robert.olsson@its.uu.se> Uppsala Universitet
8 * & Swedish University of Agricultural Sciences.
9 *
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +090010 * Jens Laas <jens.laas@data.slu.se> Swedish University of
Robert Olsson19baf832005-06-21 12:43:18 -070011 * Agricultural Sciences.
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +090012 *
Robert Olsson19baf832005-06-21 12:43:18 -070013 * Hans Liss <hans.liss@its.uu.se> Uppsala Universitet
14 *
Lucas De Marchi25985ed2011-03-30 22:57:33 -030015 * This work is based on the LPC-trie which is originally described in:
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +090016 *
Robert Olsson19baf832005-06-21 12:43:18 -070017 * An experimental study of compression methods for dynamic tries
18 * Stefan Nilsson and Matti Tikkanen. Algorithmica, 33(1):19-33, 2002.
Justin P. Mattock631dd1a2010-10-18 11:03:14 +020019 * http://www.csc.kth.se/~snilsson/software/dyntrie2/
Robert Olsson19baf832005-06-21 12:43:18 -070020 *
21 *
22 * IP-address lookup using LC-tries. Stefan Nilsson and Gunnar Karlsson
23 * IEEE Journal on Selected Areas in Communications, 17(6):1083-1092, June 1999
24 *
Robert Olsson19baf832005-06-21 12:43:18 -070025 *
26 * Code from fib_hash has been reused which includes the following header:
27 *
28 *
29 * INET An implementation of the TCP/IP protocol suite for the LINUX
30 * operating system. INET is implemented using the BSD Socket
31 * interface as the means of communication with the user level.
32 *
33 * IPv4 FIB: lookup engine and maintenance routines.
34 *
35 *
36 * Authors: Alexey Kuznetsov, <kuznet@ms2.inr.ac.ru>
37 *
38 * This program is free software; you can redistribute it and/or
39 * modify it under the terms of the GNU General Public License
40 * as published by the Free Software Foundation; either version
41 * 2 of the License, or (at your option) any later version.
Robert Olssonfd966252005-12-22 11:25:10 -080042 *
43 * Substantial contributions to this work comes from:
44 *
45 * David S. Miller, <davem@davemloft.net>
46 * Stephen Hemminger <shemminger@osdl.org>
47 * Paul E. McKenney <paulmck@us.ibm.com>
48 * Patrick McHardy <kaber@trash.net>
Robert Olsson19baf832005-06-21 12:43:18 -070049 */
50
Jens Låås80b71b82009-08-28 23:57:15 -070051#define VERSION "0.409"
Robert Olsson19baf832005-06-21 12:43:18 -070052
Robert Olsson19baf832005-06-21 12:43:18 -070053#include <asm/uaccess.h>
Jiri Slaby1977f032007-10-18 23:40:25 -070054#include <linux/bitops.h>
Robert Olsson19baf832005-06-21 12:43:18 -070055#include <linux/types.h>
56#include <linux/kernel.h>
Robert Olsson19baf832005-06-21 12:43:18 -070057#include <linux/mm.h>
58#include <linux/string.h>
59#include <linux/socket.h>
60#include <linux/sockios.h>
61#include <linux/errno.h>
62#include <linux/in.h>
63#include <linux/inet.h>
Stephen Hemmingercd8787a2006-01-03 14:38:34 -080064#include <linux/inetdevice.h>
Robert Olsson19baf832005-06-21 12:43:18 -070065#include <linux/netdevice.h>
66#include <linux/if_arp.h>
67#include <linux/proc_fs.h>
Robert Olsson2373ce12005-08-25 13:01:29 -070068#include <linux/rcupdate.h>
Robert Olsson19baf832005-06-21 12:43:18 -070069#include <linux/skbuff.h>
70#include <linux/netlink.h>
71#include <linux/init.h>
72#include <linux/list.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090073#include <linux/slab.h>
Paul Gortmakerbc3b2d72011-07-15 11:47:34 -040074#include <linux/export.h>
Eric W. Biederman457c4cb2007-09-12 12:01:34 +020075#include <net/net_namespace.h>
Robert Olsson19baf832005-06-21 12:43:18 -070076#include <net/ip.h>
77#include <net/protocol.h>
78#include <net/route.h>
79#include <net/tcp.h>
80#include <net/sock.h>
81#include <net/ip_fib.h>
82#include "fib_lookup.h"
83
Robert Olsson06ef9212006-03-20 21:35:01 -080084#define MAX_STAT_DEPTH 32
Robert Olsson19baf832005-06-21 12:43:18 -070085
Alexander Duyck95f60ea2015-01-22 15:51:26 -080086#define KEYLENGTH (8*sizeof(t_key))
87#define KEY_MAX ((t_key)~0)
Robert Olsson19baf832005-06-21 12:43:18 -070088
Robert Olsson19baf832005-06-21 12:43:18 -070089typedef unsigned int t_key;
90
Alexander Duyck64c9b6f2014-12-31 10:55:35 -080091#define IS_TNODE(n) ((n)->bits)
92#define IS_LEAF(n) (!(n)->bits)
Robert Olsson2373ce12005-08-25 13:01:29 -070093
Alexander Duycke9b44012014-12-31 10:56:12 -080094#define get_index(_key, _kv) (((_key) ^ (_kv)->key) >> (_kv)->pos)
Alexander Duyck9f9e6362014-12-31 10:55:54 -080095
Alexander Duyck64c9b6f2014-12-31 10:55:35 -080096struct tnode {
97 t_key key;
98 unsigned char bits; /* 2log(KEYLENGTH) bits needed */
99 unsigned char pos; /* 2log(KEYLENGTH) bits needed */
Alexander Duyck5405afd2014-12-31 10:57:08 -0800100 unsigned char slen;
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800101 struct tnode __rcu *parent;
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800102 struct rcu_head rcu;
Alexander Duyckadaf9812014-12-31 10:55:47 -0800103 union {
104 /* The fields in this struct are valid if bits > 0 (TNODE) */
105 struct {
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800106 t_key empty_children; /* KEYLENGTH bits needed */
107 t_key full_children; /* KEYLENGTH bits needed */
Alexander Duyckadaf9812014-12-31 10:55:47 -0800108 struct tnode __rcu *child[0];
109 };
110 /* This list pointer if valid if bits == 0 (LEAF) */
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800111 struct hlist_head leaf;
Alexander Duyckadaf9812014-12-31 10:55:47 -0800112 };
Robert Olsson19baf832005-06-21 12:43:18 -0700113};
114
Robert Olsson19baf832005-06-21 12:43:18 -0700115#ifdef CONFIG_IP_FIB_TRIE_STATS
116struct trie_use_stats {
117 unsigned int gets;
118 unsigned int backtrack;
119 unsigned int semantic_match_passed;
120 unsigned int semantic_match_miss;
121 unsigned int null_node_hit;
Robert Olsson2f368952005-07-05 15:02:40 -0700122 unsigned int resize_node_skipped;
Robert Olsson19baf832005-06-21 12:43:18 -0700123};
124#endif
125
126struct trie_stat {
127 unsigned int totdepth;
128 unsigned int maxdepth;
129 unsigned int tnodes;
130 unsigned int leaves;
131 unsigned int nullpointers;
Stephen Hemminger93672292008-01-22 21:54:05 -0800132 unsigned int prefixes;
Robert Olsson06ef9212006-03-20 21:35:01 -0800133 unsigned int nodesizes[MAX_STAT_DEPTH];
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700134};
Robert Olsson19baf832005-06-21 12:43:18 -0700135
136struct trie {
Alexander Duyckadaf9812014-12-31 10:55:47 -0800137 struct tnode __rcu *trie;
Robert Olsson19baf832005-06-21 12:43:18 -0700138#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8274a972014-12-31 10:55:29 -0800139 struct trie_use_stats __percpu *stats;
Robert Olsson19baf832005-06-21 12:43:18 -0700140#endif
Robert Olsson19baf832005-06-21 12:43:18 -0700141};
142
Alexander Duyckff181ed2014-12-31 10:56:43 -0800143static void resize(struct trie *t, struct tnode *tn);
Jarek Poplawskic3059472009-07-14 08:33:08 +0000144static size_t tnode_free_size;
145
146/*
147 * synchronize_rcu after call_rcu for that many pages; it should be especially
148 * useful before resizing the root node with PREEMPT_NONE configs; the value was
149 * obtained experimentally, aiming to avoid visible slowdown.
150 */
151static const int sync_pages = 128;
Robert Olsson19baf832005-06-21 12:43:18 -0700152
Christoph Lametere18b8902006-12-06 20:33:20 -0800153static struct kmem_cache *fn_alias_kmem __read_mostly;
Stephen Hemmingerbc3c8c12008-01-22 21:51:50 -0800154static struct kmem_cache *trie_leaf_kmem __read_mostly;
Robert Olsson19baf832005-06-21 12:43:18 -0700155
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800156/* caller must hold RTNL */
157#define node_parent(n) rtnl_dereference((n)->parent)
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700158
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800159/* caller must hold RCU read lock or RTNL */
160#define node_parent_rcu(n) rcu_dereference_rtnl((n)->parent)
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700161
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800162/* wrapper for rcu_assign_pointer */
Alexander Duyckadaf9812014-12-31 10:55:47 -0800163static inline void node_set_parent(struct tnode *n, struct tnode *tp)
Stephen Hemminger06801912007-08-10 15:22:13 -0700164{
Alexander Duyckadaf9812014-12-31 10:55:47 -0800165 if (n)
166 rcu_assign_pointer(n->parent, tp);
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800167}
168
169#define NODE_INIT_PARENT(n, p) RCU_INIT_POINTER((n)->parent, p)
170
171/* This provides us with the number of children in this node, in the case of a
172 * leaf this will return 0 meaning none of the children are accessible.
173 */
Alexander Duyck98293e82014-12-31 10:56:18 -0800174static inline unsigned long tnode_child_length(const struct tnode *tn)
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800175{
176 return (1ul << tn->bits) & ~(1ul);
Stephen Hemminger06801912007-08-10 15:22:13 -0700177}
Robert Olsson2373ce12005-08-25 13:01:29 -0700178
Alexander Duyck98293e82014-12-31 10:56:18 -0800179/* caller must hold RTNL */
180static inline struct tnode *tnode_get_child(const struct tnode *tn,
181 unsigned long i)
Robert Olsson19baf832005-06-21 12:43:18 -0700182{
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700183 return rtnl_dereference(tn->child[i]);
Eric Dumazetb59cfbf2008-01-18 03:31:36 -0800184}
185
Alexander Duyck98293e82014-12-31 10:56:18 -0800186/* caller must hold RCU read lock or RTNL */
187static inline struct tnode *tnode_get_child_rcu(const struct tnode *tn,
188 unsigned long i)
Eric Dumazetb59cfbf2008-01-18 03:31:36 -0800189{
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700190 return rcu_dereference_rtnl(tn->child[i]);
Robert Olsson19baf832005-06-21 12:43:18 -0700191}
192
Alexander Duycke9b44012014-12-31 10:56:12 -0800193/* To understand this stuff, an understanding of keys and all their bits is
194 * necessary. Every node in the trie has a key associated with it, but not
195 * all of the bits in that key are significant.
196 *
197 * Consider a node 'n' and its parent 'tp'.
198 *
199 * If n is a leaf, every bit in its key is significant. Its presence is
200 * necessitated by path compression, since during a tree traversal (when
201 * searching for a leaf - unless we are doing an insertion) we will completely
202 * ignore all skipped bits we encounter. Thus we need to verify, at the end of
203 * a potentially successful search, that we have indeed been walking the
204 * correct key path.
205 *
206 * Note that we can never "miss" the correct key in the tree if present by
207 * following the wrong path. Path compression ensures that segments of the key
208 * that are the same for all keys with a given prefix are skipped, but the
209 * skipped part *is* identical for each node in the subtrie below the skipped
210 * bit! trie_insert() in this implementation takes care of that.
211 *
212 * if n is an internal node - a 'tnode' here, the various parts of its key
213 * have many different meanings.
214 *
215 * Example:
216 * _________________________________________________________________
217 * | i | i | i | i | i | i | i | N | N | N | S | S | S | S | S | C |
218 * -----------------------------------------------------------------
219 * 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16
220 *
221 * _________________________________________________________________
222 * | C | C | C | u | u | u | u | u | u | u | u | u | u | u | u | u |
223 * -----------------------------------------------------------------
224 * 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
225 *
226 * tp->pos = 22
227 * tp->bits = 3
228 * n->pos = 13
229 * n->bits = 4
230 *
231 * First, let's just ignore the bits that come before the parent tp, that is
232 * the bits from (tp->pos + tp->bits) to 31. They are *known* but at this
233 * point we do not use them for anything.
234 *
235 * The bits from (tp->pos) to (tp->pos + tp->bits - 1) - "N", above - are the
236 * index into the parent's child array. That is, they will be used to find
237 * 'n' among tp's children.
238 *
239 * The bits from (n->pos + n->bits) to (tn->pos - 1) - "S" - are skipped bits
240 * for the node n.
241 *
242 * All the bits we have seen so far are significant to the node n. The rest
243 * of the bits are really not needed or indeed known in n->key.
244 *
245 * The bits from (n->pos) to (n->pos + n->bits - 1) - "C" - are the index into
246 * n's child array, and will of course be different for each child.
247 *
248 * The rest of the bits, from 0 to (n->pos + n->bits), are completely unknown
249 * at this point.
250 */
Robert Olsson19baf832005-06-21 12:43:18 -0700251
Denis V. Lunevf5026fa2007-12-13 09:47:57 -0800252static const int halve_threshold = 25;
253static const int inflate_threshold = 50;
Jarek Poplawski345aa032009-07-07 19:39:16 -0700254static const int halve_threshold_root = 15;
Jens Låås80b71b82009-08-28 23:57:15 -0700255static const int inflate_threshold_root = 30;
Robert Olsson2373ce12005-08-25 13:01:29 -0700256
257static void __alias_free_mem(struct rcu_head *head)
258{
259 struct fib_alias *fa = container_of(head, struct fib_alias, rcu);
260 kmem_cache_free(fn_alias_kmem, fa);
261}
262
263static inline void alias_free_mem_rcu(struct fib_alias *fa)
264{
265 call_rcu(&fa->rcu, __alias_free_mem);
266}
267
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800268#define TNODE_KMALLOC_MAX \
Alexander Duyckadaf9812014-12-31 10:55:47 -0800269 ilog2((PAGE_SIZE - sizeof(struct tnode)) / sizeof(struct tnode *))
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800270
271static void __node_free_rcu(struct rcu_head *head)
Robert Olsson2373ce12005-08-25 13:01:29 -0700272{
Alexander Duyckadaf9812014-12-31 10:55:47 -0800273 struct tnode *n = container_of(head, struct tnode, rcu);
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800274
275 if (IS_LEAF(n))
276 kmem_cache_free(trie_leaf_kmem, n);
277 else if (n->bits <= TNODE_KMALLOC_MAX)
278 kfree(n);
279 else
280 vfree(n);
Robert Olsson2373ce12005-08-25 13:01:29 -0700281}
282
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800283#define node_free(n) call_rcu(&n->rcu, __node_free_rcu)
Stephen Hemminger387a5482008-04-10 03:47:34 -0700284
Eric Dumazet8d965442008-01-13 22:31:44 -0800285static struct tnode *tnode_alloc(size_t size)
Robert Olsson2373ce12005-08-25 13:01:29 -0700286{
Robert Olsson2373ce12005-08-25 13:01:29 -0700287 if (size <= PAGE_SIZE)
Eric Dumazet8d965442008-01-13 22:31:44 -0800288 return kzalloc(size, GFP_KERNEL);
Stephen Hemminger15be75c2008-04-10 02:56:38 -0700289 else
Eric Dumazet7a1c8e52010-11-20 07:46:35 +0000290 return vzalloc(size);
Stephen Hemminger15be75c2008-04-10 02:56:38 -0700291}
Robert Olsson2373ce12005-08-25 13:01:29 -0700292
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800293static inline void empty_child_inc(struct tnode *n)
294{
295 ++n->empty_children ? : ++n->full_children;
296}
297
298static inline void empty_child_dec(struct tnode *n)
299{
300 n->empty_children-- ? : n->full_children--;
301}
302
Alexander Duyckd5d64872015-03-04 15:02:18 -0800303static struct tnode *leaf_new(t_key key, struct fib_alias *fa)
Robert Olsson19baf832005-06-21 12:43:18 -0700304{
Alexander Duyckadaf9812014-12-31 10:55:47 -0800305 struct tnode *l = kmem_cache_alloc(trie_leaf_kmem, GFP_KERNEL);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700306 if (l) {
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800307 l->parent = NULL;
308 /* set key and pos to reflect full key value
309 * any trailing zeros in the key should be ignored
310 * as the nodes are searched
311 */
312 l->key = key;
Alexander Duyckd5d64872015-03-04 15:02:18 -0800313 l->slen = fa->fa_slen;
Alexander Duycke9b44012014-12-31 10:56:12 -0800314 l->pos = 0;
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800315 /* set bits to 0 indicating we are not a tnode */
316 l->bits = 0;
317
Alexander Duyckd5d64872015-03-04 15:02:18 -0800318 /* link leaf to fib alias */
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800319 INIT_HLIST_HEAD(&l->leaf);
Alexander Duyckd5d64872015-03-04 15:02:18 -0800320 hlist_add_head(&fa->fa_list, &l->leaf);
Robert Olsson19baf832005-06-21 12:43:18 -0700321 }
322 return l;
323}
324
Stephen Hemmingera07f5f52008-01-22 21:53:36 -0800325static struct tnode *tnode_new(t_key key, int pos, int bits)
Robert Olsson19baf832005-06-21 12:43:18 -0700326{
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800327 size_t sz = offsetof(struct tnode, child[1ul << bits]);
Patrick McHardyf0e36f82005-07-05 14:44:55 -0700328 struct tnode *tn = tnode_alloc(sz);
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800329 unsigned int shift = pos + bits;
330
331 /* verify bits and pos their msb bits clear and values are valid */
332 BUG_ON(!bits || (shift > KEYLENGTH));
Robert Olsson19baf832005-06-21 12:43:18 -0700333
Olof Johansson91b9a272005-08-09 20:24:39 -0700334 if (tn) {
Alexander Duyck64c9b6f2014-12-31 10:55:35 -0800335 tn->parent = NULL;
Alexander Duyck5405afd2014-12-31 10:57:08 -0800336 tn->slen = pos;
Robert Olsson19baf832005-06-21 12:43:18 -0700337 tn->pos = pos;
338 tn->bits = bits;
Alexander Duycke9b44012014-12-31 10:56:12 -0800339 tn->key = (shift < KEYLENGTH) ? (key >> shift) << shift : 0;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800340 if (bits == KEYLENGTH)
341 tn->full_children = 1;
342 else
343 tn->empty_children = 1ul << bits;
Robert Olsson19baf832005-06-21 12:43:18 -0700344 }
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700345
Eric Dumazeta034ee32010-09-09 23:32:28 +0000346 pr_debug("AT %p s=%zu %zu\n", tn, sizeof(struct tnode),
Alexander Duyckadaf9812014-12-31 10:55:47 -0800347 sizeof(struct tnode *) << bits);
Robert Olsson19baf832005-06-21 12:43:18 -0700348 return tn;
349}
350
Alexander Duycke9b44012014-12-31 10:56:12 -0800351/* Check whether a tnode 'n' is "full", i.e. it is an internal node
Robert Olsson19baf832005-06-21 12:43:18 -0700352 * and no bits are skipped. See discussion in dyntree paper p. 6
353 */
Alexander Duyckadaf9812014-12-31 10:55:47 -0800354static inline int tnode_full(const struct tnode *tn, const struct tnode *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700355{
Alexander Duycke9b44012014-12-31 10:56:12 -0800356 return n && ((n->pos + n->bits) == tn->pos) && IS_TNODE(n);
Robert Olsson19baf832005-06-21 12:43:18 -0700357}
358
Alexander Duyckff181ed2014-12-31 10:56:43 -0800359/* Add a child at position i overwriting the old value.
360 * Update the value of full_children and empty_children.
361 */
362static void put_child(struct tnode *tn, unsigned long i, struct tnode *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700363{
Alexander Duyck21d1f112014-12-31 10:57:02 -0800364 struct tnode *chi = tnode_get_child(tn, i);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800365 int isfull, wasfull;
Robert Olsson19baf832005-06-21 12:43:18 -0700366
Alexander Duyck98293e82014-12-31 10:56:18 -0800367 BUG_ON(i >= tnode_child_length(tn));
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700368
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800369 /* update emptyChildren, overflow into fullChildren */
Robert Olsson19baf832005-06-21 12:43:18 -0700370 if (n == NULL && chi != NULL)
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800371 empty_child_inc(tn);
372 if (n != NULL && chi == NULL)
373 empty_child_dec(tn);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700374
Robert Olsson19baf832005-06-21 12:43:18 -0700375 /* update fullChildren */
Alexander Duyckff181ed2014-12-31 10:56:43 -0800376 wasfull = tnode_full(tn, chi);
Robert Olsson19baf832005-06-21 12:43:18 -0700377 isfull = tnode_full(tn, n);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800378
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700379 if (wasfull && !isfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700380 tn->full_children--;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700381 else if (!wasfull && isfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700382 tn->full_children++;
Olof Johansson91b9a272005-08-09 20:24:39 -0700383
Alexander Duyck5405afd2014-12-31 10:57:08 -0800384 if (n && (tn->slen < n->slen))
385 tn->slen = n->slen;
386
Eric Dumazetcf778b02012-01-12 04:41:32 +0000387 rcu_assign_pointer(tn->child[i], n);
Robert Olsson19baf832005-06-21 12:43:18 -0700388}
389
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800390static void update_children(struct tnode *tn)
391{
392 unsigned long i;
393
394 /* update all of the child parent pointers */
395 for (i = tnode_child_length(tn); i;) {
396 struct tnode *inode = tnode_get_child(tn, --i);
397
398 if (!inode)
399 continue;
400
401 /* Either update the children of a tnode that
402 * already belongs to us or update the child
403 * to point to ourselves.
404 */
405 if (node_parent(inode) == tn)
406 update_children(inode);
407 else
408 node_set_parent(inode, tn);
409 }
410}
411
412static inline void put_child_root(struct tnode *tp, struct trie *t,
413 t_key key, struct tnode *n)
Alexander Duyck836a0122014-12-31 10:56:06 -0800414{
415 if (tp)
416 put_child(tp, get_index(key, tp), n);
417 else
418 rcu_assign_pointer(t->trie, n);
419}
420
Alexander Duyckfc86a932014-12-31 10:56:49 -0800421static inline void tnode_free_init(struct tnode *tn)
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700422{
Alexander Duyckfc86a932014-12-31 10:56:49 -0800423 tn->rcu.next = NULL;
424}
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700425
Alexander Duyckfc86a932014-12-31 10:56:49 -0800426static inline void tnode_free_append(struct tnode *tn, struct tnode *n)
427{
428 n->rcu.next = tn->rcu.next;
429 tn->rcu.next = &n->rcu;
430}
431
432static void tnode_free(struct tnode *tn)
433{
434 struct callback_head *head = &tn->rcu;
435
436 while (head) {
437 head = head->next;
438 tnode_free_size += offsetof(struct tnode, child[1 << tn->bits]);
439 node_free(tn);
440
441 tn = container_of(head, struct tnode, rcu);
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700442 }
Alexander Duyckfc86a932014-12-31 10:56:49 -0800443
444 if (tnode_free_size >= PAGE_SIZE * sync_pages) {
445 tnode_free_size = 0;
446 synchronize_rcu();
447 }
Eric Dumazet0a5c0472011-03-31 01:51:35 -0700448}
449
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800450static void replace(struct trie *t, struct tnode *oldtnode, struct tnode *tn)
451{
452 struct tnode *tp = node_parent(oldtnode);
453 unsigned long i;
454
455 /* setup the parent pointer out of and back into this node */
456 NODE_INIT_PARENT(tn, tp);
457 put_child_root(tp, t, tn->key, tn);
458
459 /* update all of the child parent pointers */
460 update_children(tn);
461
462 /* all pointers should be clean so we are done */
463 tnode_free(oldtnode);
464
465 /* resize children now that oldtnode is freed */
466 for (i = tnode_child_length(tn); i;) {
467 struct tnode *inode = tnode_get_child(tn, --i);
468
469 /* resize child node */
470 if (tnode_full(tn, inode))
471 resize(t, inode);
472 }
473}
474
Alexander Duyckff181ed2014-12-31 10:56:43 -0800475static int inflate(struct trie *t, struct tnode *oldtnode)
Robert Olsson19baf832005-06-21 12:43:18 -0700476{
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800477 struct tnode *tn;
478 unsigned long i;
Alexander Duycke9b44012014-12-31 10:56:12 -0800479 t_key m;
Robert Olsson19baf832005-06-21 12:43:18 -0700480
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700481 pr_debug("In inflate\n");
Robert Olsson19baf832005-06-21 12:43:18 -0700482
Alexander Duycke9b44012014-12-31 10:56:12 -0800483 tn = tnode_new(oldtnode->key, oldtnode->pos - 1, oldtnode->bits + 1);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700484 if (!tn)
Alexander Duyckff181ed2014-12-31 10:56:43 -0800485 return -ENOMEM;
Robert Olsson2f368952005-07-05 15:02:40 -0700486
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800487 /* prepare oldtnode to be freed */
488 tnode_free_init(oldtnode);
489
Alexander Duyck12c081a2014-12-31 10:56:55 -0800490 /* Assemble all of the pointers in our cluster, in this case that
491 * represents all of the pointers out of our allocated nodes that
492 * point to existing tnodes and the links between our allocated
493 * nodes.
Robert Olsson2f368952005-07-05 15:02:40 -0700494 */
Alexander Duyck12c081a2014-12-31 10:56:55 -0800495 for (i = tnode_child_length(oldtnode), m = 1u << tn->pos; i;) {
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800496 struct tnode *inode = tnode_get_child(oldtnode, --i);
497 struct tnode *node0, *node1;
498 unsigned long j, k;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700499
Robert Olsson19baf832005-06-21 12:43:18 -0700500 /* An empty child */
Alexander Duyckadaf9812014-12-31 10:55:47 -0800501 if (inode == NULL)
Robert Olsson19baf832005-06-21 12:43:18 -0700502 continue;
503
504 /* A leaf or an internal node with skipped bits */
Alexander Duyckadaf9812014-12-31 10:55:47 -0800505 if (!tnode_full(oldtnode, inode)) {
Alexander Duycke9b44012014-12-31 10:56:12 -0800506 put_child(tn, get_index(inode->key, tn), inode);
Robert Olsson19baf832005-06-21 12:43:18 -0700507 continue;
508 }
509
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800510 /* drop the node in the old tnode free list */
511 tnode_free_append(oldtnode, inode);
512
Robert Olsson19baf832005-06-21 12:43:18 -0700513 /* An internal node with two children */
Robert Olsson19baf832005-06-21 12:43:18 -0700514 if (inode->bits == 1) {
Alexander Duyck12c081a2014-12-31 10:56:55 -0800515 put_child(tn, 2 * i + 1, tnode_get_child(inode, 1));
516 put_child(tn, 2 * i, tnode_get_child(inode, 0));
Olof Johansson91b9a272005-08-09 20:24:39 -0700517 continue;
Robert Olsson19baf832005-06-21 12:43:18 -0700518 }
519
Olof Johansson91b9a272005-08-09 20:24:39 -0700520 /* We will replace this node 'inode' with two new
Alexander Duyck12c081a2014-12-31 10:56:55 -0800521 * ones, 'node0' and 'node1', each with half of the
Olof Johansson91b9a272005-08-09 20:24:39 -0700522 * original children. The two new nodes will have
523 * a position one bit further down the key and this
524 * means that the "significant" part of their keys
525 * (see the discussion near the top of this file)
526 * will differ by one bit, which will be "0" in
Alexander Duyck12c081a2014-12-31 10:56:55 -0800527 * node0's key and "1" in node1's key. Since we are
Olof Johansson91b9a272005-08-09 20:24:39 -0700528 * moving the key position by one step, the bit that
529 * we are moving away from - the bit at position
Alexander Duyck12c081a2014-12-31 10:56:55 -0800530 * (tn->pos) - is the one that will differ between
531 * node0 and node1. So... we synthesize that bit in the
532 * two new keys.
Olof Johansson91b9a272005-08-09 20:24:39 -0700533 */
Alexander Duyck12c081a2014-12-31 10:56:55 -0800534 node1 = tnode_new(inode->key | m, inode->pos, inode->bits - 1);
535 if (!node1)
536 goto nomem;
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800537 node0 = tnode_new(inode->key, inode->pos, inode->bits - 1);
Robert Olsson19baf832005-06-21 12:43:18 -0700538
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800539 tnode_free_append(tn, node1);
Alexander Duyck12c081a2014-12-31 10:56:55 -0800540 if (!node0)
541 goto nomem;
542 tnode_free_append(tn, node0);
Robert Olsson19baf832005-06-21 12:43:18 -0700543
Alexander Duyck12c081a2014-12-31 10:56:55 -0800544 /* populate child pointers in new nodes */
545 for (k = tnode_child_length(inode), j = k / 2; j;) {
546 put_child(node1, --j, tnode_get_child(inode, --k));
547 put_child(node0, j, tnode_get_child(inode, j));
548 put_child(node1, --j, tnode_get_child(inode, --k));
549 put_child(node0, j, tnode_get_child(inode, j));
Robert Olsson19baf832005-06-21 12:43:18 -0700550 }
Alexander Duyckff181ed2014-12-31 10:56:43 -0800551
Alexander Duyck12c081a2014-12-31 10:56:55 -0800552 /* link new nodes to parent */
553 NODE_INIT_PARENT(node1, tn);
554 NODE_INIT_PARENT(node0, tn);
Olof Johansson91b9a272005-08-09 20:24:39 -0700555
Alexander Duyck12c081a2014-12-31 10:56:55 -0800556 /* link parent to nodes */
557 put_child(tn, 2 * i + 1, node1);
558 put_child(tn, 2 * i, node0);
Robert Olsson19baf832005-06-21 12:43:18 -0700559 }
Alexander Duyckff181ed2014-12-31 10:56:43 -0800560
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800561 /* setup the parent pointers into and out of this node */
562 replace(t, oldtnode, tn);
Alexander Duyckfc86a932014-12-31 10:56:49 -0800563
Alexander Duyckff181ed2014-12-31 10:56:43 -0800564 return 0;
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700565nomem:
Alexander Duyckfc86a932014-12-31 10:56:49 -0800566 /* all pointers should be clean so we are done */
567 tnode_free(tn);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800568 return -ENOMEM;
Robert Olsson19baf832005-06-21 12:43:18 -0700569}
570
Alexander Duyckff181ed2014-12-31 10:56:43 -0800571static int halve(struct trie *t, struct tnode *oldtnode)
Robert Olsson19baf832005-06-21 12:43:18 -0700572{
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800573 struct tnode *tn;
Alexander Duyck12c081a2014-12-31 10:56:55 -0800574 unsigned long i;
Robert Olsson19baf832005-06-21 12:43:18 -0700575
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700576 pr_debug("In halve\n");
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700577
Alexander Duycke9b44012014-12-31 10:56:12 -0800578 tn = tnode_new(oldtnode->key, oldtnode->pos + 1, oldtnode->bits - 1);
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700579 if (!tn)
Alexander Duyckff181ed2014-12-31 10:56:43 -0800580 return -ENOMEM;
Robert Olsson2f368952005-07-05 15:02:40 -0700581
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800582 /* prepare oldtnode to be freed */
583 tnode_free_init(oldtnode);
584
Alexander Duyck12c081a2014-12-31 10:56:55 -0800585 /* Assemble all of the pointers in our cluster, in this case that
586 * represents all of the pointers out of our allocated nodes that
587 * point to existing tnodes and the links between our allocated
588 * nodes.
Robert Olsson2f368952005-07-05 15:02:40 -0700589 */
Alexander Duyck12c081a2014-12-31 10:56:55 -0800590 for (i = tnode_child_length(oldtnode); i;) {
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800591 struct tnode *node1 = tnode_get_child(oldtnode, --i);
592 struct tnode *node0 = tnode_get_child(oldtnode, --i);
593 struct tnode *inode;
Robert Olsson2f368952005-07-05 15:02:40 -0700594
Alexander Duyck12c081a2014-12-31 10:56:55 -0800595 /* At least one of the children is empty */
596 if (!node1 || !node0) {
597 put_child(tn, i / 2, node1 ? : node0);
598 continue;
Robert Olsson2f368952005-07-05 15:02:40 -0700599 }
Robert Olsson2f368952005-07-05 15:02:40 -0700600
Alexander Duyck12c081a2014-12-31 10:56:55 -0800601 /* Two nonempty children */
602 inode = tnode_new(node0->key, oldtnode->pos, 1);
603 if (!inode) {
604 tnode_free(tn);
605 return -ENOMEM;
606 }
607 tnode_free_append(tn, inode);
608
609 /* initialize pointers out of node */
610 put_child(inode, 1, node1);
611 put_child(inode, 0, node0);
612 NODE_INIT_PARENT(inode, tn);
613
614 /* link parent to node */
615 put_child(tn, i / 2, inode);
Robert Olsson2f368952005-07-05 15:02:40 -0700616 }
Robert Olsson19baf832005-06-21 12:43:18 -0700617
Alexander Duyck69fa57b2015-01-22 15:51:14 -0800618 /* setup the parent pointers into and out of this node */
619 replace(t, oldtnode, tn);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800620
621 return 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700622}
623
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800624static void collapse(struct trie *t, struct tnode *oldtnode)
625{
626 struct tnode *n, *tp;
627 unsigned long i;
628
629 /* scan the tnode looking for that one child that might still exist */
630 for (n = NULL, i = tnode_child_length(oldtnode); !n && i;)
631 n = tnode_get_child(oldtnode, --i);
632
633 /* compress one level */
634 tp = node_parent(oldtnode);
635 put_child_root(tp, t, oldtnode->key, n);
636 node_set_parent(n, tp);
637
638 /* drop dead node */
639 node_free(oldtnode);
640}
641
Alexander Duyck5405afd2014-12-31 10:57:08 -0800642static unsigned char update_suffix(struct tnode *tn)
643{
644 unsigned char slen = tn->pos;
645 unsigned long stride, i;
646
647 /* search though the list of children looking for nodes that might
648 * have a suffix greater than the one we currently have. This is
649 * why we start with a stride of 2 since a stride of 1 would
650 * represent the nodes with suffix length equal to tn->pos
651 */
652 for (i = 0, stride = 0x2ul ; i < tnode_child_length(tn); i += stride) {
653 struct tnode *n = tnode_get_child(tn, i);
654
655 if (!n || (n->slen <= slen))
656 continue;
657
658 /* update stride and slen based on new value */
659 stride <<= (n->slen - slen);
660 slen = n->slen;
661 i &= ~(stride - 1);
662
663 /* if slen covers all but the last bit we can stop here
664 * there will be nothing longer than that since only node
665 * 0 and 1 << (bits - 1) could have that as their suffix
666 * length.
667 */
668 if ((slen + 1) >= (tn->pos + tn->bits))
669 break;
670 }
671
672 tn->slen = slen;
673
674 return slen;
675}
676
Alexander Duyckf05a4812014-12-31 10:56:37 -0800677/* From "Implementing a dynamic compressed trie" by Stefan Nilsson of
678 * the Helsinki University of Technology and Matti Tikkanen of Nokia
679 * Telecommunications, page 6:
680 * "A node is doubled if the ratio of non-empty children to all
681 * children in the *doubled* node is at least 'high'."
682 *
683 * 'high' in this instance is the variable 'inflate_threshold'. It
684 * is expressed as a percentage, so we multiply it with
685 * tnode_child_length() and instead of multiplying by 2 (since the
686 * child array will be doubled by inflate()) and multiplying
687 * the left-hand side by 100 (to handle the percentage thing) we
688 * multiply the left-hand side by 50.
689 *
690 * The left-hand side may look a bit weird: tnode_child_length(tn)
691 * - tn->empty_children is of course the number of non-null children
692 * in the current node. tn->full_children is the number of "full"
693 * children, that is non-null tnodes with a skip value of 0.
694 * All of those will be doubled in the resulting inflated tnode, so
695 * we just count them one extra time here.
696 *
697 * A clearer way to write this would be:
698 *
699 * to_be_doubled = tn->full_children;
700 * not_to_be_doubled = tnode_child_length(tn) - tn->empty_children -
701 * tn->full_children;
702 *
703 * new_child_length = tnode_child_length(tn) * 2;
704 *
705 * new_fill_factor = 100 * (not_to_be_doubled + 2*to_be_doubled) /
706 * new_child_length;
707 * if (new_fill_factor >= inflate_threshold)
708 *
709 * ...and so on, tho it would mess up the while () loop.
710 *
711 * anyway,
712 * 100 * (not_to_be_doubled + 2*to_be_doubled) / new_child_length >=
713 * inflate_threshold
714 *
715 * avoid a division:
716 * 100 * (not_to_be_doubled + 2*to_be_doubled) >=
717 * inflate_threshold * new_child_length
718 *
719 * expand not_to_be_doubled and to_be_doubled, and shorten:
720 * 100 * (tnode_child_length(tn) - tn->empty_children +
721 * tn->full_children) >= inflate_threshold * new_child_length
722 *
723 * expand new_child_length:
724 * 100 * (tnode_child_length(tn) - tn->empty_children +
725 * tn->full_children) >=
726 * inflate_threshold * tnode_child_length(tn) * 2
727 *
728 * shorten again:
729 * 50 * (tn->full_children + tnode_child_length(tn) -
730 * tn->empty_children) >= inflate_threshold *
731 * tnode_child_length(tn)
732 *
733 */
Alexander Duyckff181ed2014-12-31 10:56:43 -0800734static bool should_inflate(const struct tnode *tp, const struct tnode *tn)
Alexander Duyckf05a4812014-12-31 10:56:37 -0800735{
736 unsigned long used = tnode_child_length(tn);
737 unsigned long threshold = used;
738
739 /* Keep root node larger */
Alexander Duyckff181ed2014-12-31 10:56:43 -0800740 threshold *= tp ? inflate_threshold : inflate_threshold_root;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800741 used -= tn->empty_children;
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800742 used += tn->full_children;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800743
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800744 /* if bits == KEYLENGTH then pos = 0, and will fail below */
745
746 return (used > 1) && tn->pos && ((50 * used) >= threshold);
Alexander Duyckf05a4812014-12-31 10:56:37 -0800747}
748
Alexander Duyckff181ed2014-12-31 10:56:43 -0800749static bool should_halve(const struct tnode *tp, const struct tnode *tn)
Alexander Duyckf05a4812014-12-31 10:56:37 -0800750{
751 unsigned long used = tnode_child_length(tn);
752 unsigned long threshold = used;
753
754 /* Keep root node larger */
Alexander Duyckff181ed2014-12-31 10:56:43 -0800755 threshold *= tp ? halve_threshold : halve_threshold_root;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800756 used -= tn->empty_children;
757
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800758 /* if bits == KEYLENGTH then used = 100% on wrap, and will fail below */
759
760 return (used > 1) && (tn->bits > 1) && ((100 * used) < threshold);
761}
762
763static bool should_collapse(const struct tnode *tn)
764{
765 unsigned long used = tnode_child_length(tn);
766
767 used -= tn->empty_children;
768
769 /* account for bits == KEYLENGTH case */
770 if ((tn->bits == KEYLENGTH) && tn->full_children)
771 used -= KEY_MAX;
772
773 /* One child or none, time to drop us from the trie */
774 return used < 2;
Alexander Duyckf05a4812014-12-31 10:56:37 -0800775}
776
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800777#define MAX_WORK 10
Alexander Duyckff181ed2014-12-31 10:56:43 -0800778static void resize(struct trie *t, struct tnode *tn)
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800779{
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800780 struct tnode *tp = node_parent(tn);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800781 struct tnode __rcu **cptr;
Alexander Duycka80e89d2015-01-22 15:51:20 -0800782 int max_work = MAX_WORK;
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800783
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800784 pr_debug("In tnode_resize %p inflate_threshold=%d threshold=%d\n",
785 tn, inflate_threshold, halve_threshold);
786
Alexander Duyckff181ed2014-12-31 10:56:43 -0800787 /* track the tnode via the pointer from the parent instead of
788 * doing it ourselves. This way we can let RCU fully do its
789 * thing without us interfering
790 */
791 cptr = tp ? &tp->child[get_index(tn->key, tp)] : &t->trie;
792 BUG_ON(tn != rtnl_dereference(*cptr));
793
Alexander Duyckf05a4812014-12-31 10:56:37 -0800794 /* Double as long as the resulting node has a number of
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800795 * nonempty nodes that are above the threshold.
796 */
Alexander Duycka80e89d2015-01-22 15:51:20 -0800797 while (should_inflate(tp, tn) && max_work) {
Alexander Duyckff181ed2014-12-31 10:56:43 -0800798 if (inflate(t, tn)) {
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800799#ifdef CONFIG_IP_FIB_TRIE_STATS
800 this_cpu_inc(t->stats->resize_node_skipped);
801#endif
802 break;
803 }
Alexander Duyckff181ed2014-12-31 10:56:43 -0800804
Alexander Duycka80e89d2015-01-22 15:51:20 -0800805 max_work--;
Alexander Duyckff181ed2014-12-31 10:56:43 -0800806 tn = rtnl_dereference(*cptr);
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800807 }
808
809 /* Return if at least one inflate is run */
810 if (max_work != MAX_WORK)
Alexander Duyckff181ed2014-12-31 10:56:43 -0800811 return;
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800812
Alexander Duyckf05a4812014-12-31 10:56:37 -0800813 /* Halve as long as the number of empty children in this
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800814 * node is above threshold.
815 */
Alexander Duycka80e89d2015-01-22 15:51:20 -0800816 while (should_halve(tp, tn) && max_work) {
Alexander Duyckff181ed2014-12-31 10:56:43 -0800817 if (halve(t, tn)) {
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800818#ifdef CONFIG_IP_FIB_TRIE_STATS
819 this_cpu_inc(t->stats->resize_node_skipped);
820#endif
821 break;
822 }
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800823
Alexander Duycka80e89d2015-01-22 15:51:20 -0800824 max_work--;
Alexander Duyckff181ed2014-12-31 10:56:43 -0800825 tn = rtnl_dereference(*cptr);
826 }
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800827
828 /* Only one child remains */
Alexander Duyck95f60ea2015-01-22 15:51:26 -0800829 if (should_collapse(tn)) {
830 collapse(t, tn);
Alexander Duyck5405afd2014-12-31 10:57:08 -0800831 return;
832 }
833
834 /* Return if at least one deflate was run */
835 if (max_work != MAX_WORK)
836 return;
837
838 /* push the suffix length to the parent node */
839 if (tn->slen > tn->pos) {
840 unsigned char slen = update_suffix(tn);
841
842 if (tp && (slen > tp->slen))
843 tp->slen = slen;
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800844 }
Alexander Duyckcf3637b2014-12-31 10:56:31 -0800845}
846
Alexander Duyckd5d64872015-03-04 15:02:18 -0800847static void leaf_pull_suffix(struct tnode *tp, struct tnode *l)
Robert Olsson19baf832005-06-21 12:43:18 -0700848{
Alexander Duyck5405afd2014-12-31 10:57:08 -0800849 while (tp && (tp->slen > tp->pos) && (tp->slen > l->slen)) {
850 if (update_suffix(tp) > l->slen)
851 break;
852 tp = node_parent(tp);
853 }
854}
855
Alexander Duyckd5d64872015-03-04 15:02:18 -0800856static void leaf_push_suffix(struct tnode *tn, struct tnode *l)
Alexander Duyck5405afd2014-12-31 10:57:08 -0800857{
Alexander Duyck5405afd2014-12-31 10:57:08 -0800858 /* if this is a new leaf then tn will be NULL and we can sort
859 * out parent suffix lengths as a part of trie_rebalance
860 */
861 while (tn && (tn->slen < l->slen)) {
862 tn->slen = l->slen;
863 tn = node_parent(tn);
864 }
865}
866
Robert Olsson2373ce12005-08-25 13:01:29 -0700867/* rcu_read_lock needs to be hold by caller from readside */
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800868static struct tnode *fib_find_node(struct trie *t, struct tnode **tn, u32 key)
Robert Olsson19baf832005-06-21 12:43:18 -0700869{
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800870 struct tnode *pn = NULL, *n = rcu_dereference_rtnl(t->trie);
Robert Olsson19baf832005-06-21 12:43:18 -0700871
Alexander Duyck939afb02014-12-31 10:56:00 -0800872 while (n) {
873 unsigned long index = get_index(key, n);
874
875 /* This bit of code is a bit tricky but it combines multiple
876 * checks into a single check. The prefix consists of the
877 * prefix plus zeros for the bits in the cindex. The index
878 * is the difference between the key and this value. From
879 * this we can actually derive several pieces of data.
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800880 * if (index >= (1ul << bits))
Alexander Duyck939afb02014-12-31 10:56:00 -0800881 * we have a mismatch in skip bits and failed
Alexander Duyckb3832112015-01-22 15:51:08 -0800882 * else
883 * we know the value is cindex
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800884 *
885 * This check is safe even if bits == KEYLENGTH due to the
886 * fact that we can only allocate a node with 32 bits if a
887 * long is greater than 32 bits.
Alexander Duyck939afb02014-12-31 10:56:00 -0800888 */
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800889 if (index >= (1ul << n->bits)) {
890 n = NULL;
891 break;
892 }
Alexander Duyck939afb02014-12-31 10:56:00 -0800893
894 /* we have found a leaf. Prefixes have already been compared */
895 if (IS_LEAF(n))
Robert Olsson19baf832005-06-21 12:43:18 -0700896 break;
Alexander Duyck939afb02014-12-31 10:56:00 -0800897
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800898 pn = n;
Alexander Duyck21d1f112014-12-31 10:57:02 -0800899 n = tnode_get_child_rcu(n, index);
Robert Olsson19baf832005-06-21 12:43:18 -0700900 }
Robert Olsson19baf832005-06-21 12:43:18 -0700901
Alexander Duyckd4a975e2015-03-04 15:01:59 -0800902 *tn = pn;
903
Alexander Duyck939afb02014-12-31 10:56:00 -0800904 return n;
Robert Olsson19baf832005-06-21 12:43:18 -0700905}
906
Alexander Duyck02525362015-01-22 15:51:39 -0800907/* Return the first fib alias matching TOS with
908 * priority less than or equal to PRIO.
909 */
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800910static struct fib_alias *fib_find_alias(struct hlist_head *fah, u8 slen,
911 u8 tos, u32 prio)
Alexander Duyck02525362015-01-22 15:51:39 -0800912{
913 struct fib_alias *fa;
914
915 if (!fah)
916 return NULL;
917
Alexander Duyck56315f92015-02-25 15:31:31 -0800918 hlist_for_each_entry(fa, fah, fa_list) {
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800919 if (fa->fa_slen < slen)
920 continue;
921 if (fa->fa_slen != slen)
922 break;
Alexander Duyck02525362015-01-22 15:51:39 -0800923 if (fa->fa_tos > tos)
924 continue;
925 if (fa->fa_info->fib_priority >= prio || fa->fa_tos < tos)
926 return fa;
927 }
928
929 return NULL;
930}
931
Jarek Poplawski7b855762009-06-18 00:28:51 -0700932static void trie_rebalance(struct trie *t, struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700933{
Stephen Hemminger06801912007-08-10 15:22:13 -0700934 struct tnode *tp;
Robert Olsson19baf832005-06-21 12:43:18 -0700935
Alexander Duyckd5d64872015-03-04 15:02:18 -0800936 while (tn) {
937 tp = node_parent(tn);
Alexander Duyckff181ed2014-12-31 10:56:43 -0800938 resize(t, tn);
Stephen Hemminger06801912007-08-10 15:22:13 -0700939 tn = tp;
Robert Olsson19baf832005-06-21 12:43:18 -0700940 }
Robert Olsson19baf832005-06-21 12:43:18 -0700941}
942
Robert Olsson2373ce12005-08-25 13:01:29 -0700943/* only used from updater-side */
Alexander Duyckd5d64872015-03-04 15:02:18 -0800944static int fib_insert_node(struct trie *t, struct tnode *tp,
945 struct fib_alias *new, t_key key)
Robert Olsson19baf832005-06-21 12:43:18 -0700946{
Alexander Duyckd5d64872015-03-04 15:02:18 -0800947 struct tnode *n, *l;
Alexander Duyck836a0122014-12-31 10:56:06 -0800948
Alexander Duyckd5d64872015-03-04 15:02:18 -0800949 l = leaf_new(key, new);
Alexander Duyck79e5ad22015-02-25 15:31:51 -0800950 if (!l)
Alexander Duyckd5d64872015-03-04 15:02:18 -0800951 return -ENOMEM;
952
953 /* retrieve child from parent node */
954 if (tp)
955 n = tnode_get_child(tp, get_index(key, tp));
956 else
957 n = rcu_dereference_rtnl(t->trie);
Alexander Duyck836a0122014-12-31 10:56:06 -0800958
959 /* Case 2: n is a LEAF or a TNODE and the key doesn't match.
960 *
961 * Add a new tnode here
962 * first tnode need some special handling
963 * leaves us in position for handling as case 3
964 */
965 if (n) {
966 struct tnode *tn;
Alexander Duyck836a0122014-12-31 10:56:06 -0800967
Alexander Duycke9b44012014-12-31 10:56:12 -0800968 tn = tnode_new(key, __fls(key ^ n->key), 1);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700969 if (!tn) {
Alexander Duyck37fd30f2014-12-31 10:55:41 -0800970 node_free(l);
Alexander Duyckd5d64872015-03-04 15:02:18 -0800971 return -ENOMEM;
Olof Johansson91b9a272005-08-09 20:24:39 -0700972 }
973
Alexander Duyck836a0122014-12-31 10:56:06 -0800974 /* initialize routes out of node */
975 NODE_INIT_PARENT(tn, tp);
976 put_child(tn, get_index(key, tn) ^ 1, n);
Robert Olsson19baf832005-06-21 12:43:18 -0700977
Alexander Duyck836a0122014-12-31 10:56:06 -0800978 /* start adding routes into the node */
979 put_child_root(tp, t, key, tn);
980 node_set_parent(n, tn);
Robert Olsson19baf832005-06-21 12:43:18 -0700981
Alexander Duyck836a0122014-12-31 10:56:06 -0800982 /* parent now has a NULL spot where the leaf can go */
Alexander Duycke962f302014-12-10 21:49:22 -0800983 tp = tn;
Robert Olsson19baf832005-06-21 12:43:18 -0700984 }
Olof Johansson91b9a272005-08-09 20:24:39 -0700985
Alexander Duyck836a0122014-12-31 10:56:06 -0800986 /* Case 3: n is NULL, and will just insert a new leaf */
Alexander Duyckd5d64872015-03-04 15:02:18 -0800987 NODE_INIT_PARENT(l, tp);
988 put_child_root(tp, t, key, l);
989 trie_rebalance(t, tp);
Olof Johansson91b9a272005-08-09 20:24:39 -0700990
Alexander Duyckd5d64872015-03-04 15:02:18 -0800991 return 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700992}
993
Alexander Duyckd5d64872015-03-04 15:02:18 -0800994static int fib_insert_alias(struct trie *t, struct tnode *tp,
995 struct tnode *l, struct fib_alias *new,
996 struct fib_alias *fa, t_key key)
997{
998 if (!l)
999 return fib_insert_node(t, tp, new, key);
1000
1001 if (fa) {
1002 hlist_add_before_rcu(&new->fa_list, &fa->fa_list);
1003 } else {
1004 struct fib_alias *last;
1005
1006 hlist_for_each_entry(last, &l->leaf, fa_list) {
1007 if (new->fa_slen < last->fa_slen)
1008 break;
1009 fa = last;
1010 }
1011
1012 if (fa)
1013 hlist_add_behind_rcu(&new->fa_list, &fa->fa_list);
1014 else
1015 hlist_add_head_rcu(&new->fa_list, &l->leaf);
1016 }
1017
1018 /* if we added to the tail node then we need to update slen */
1019 if (l->slen < new->fa_slen) {
1020 l->slen = new->fa_slen;
1021 leaf_push_suffix(tp, l);
1022 }
1023
1024 return 0;
1025}
1026
1027/* Caller must hold RTNL. */
Stephen Hemminger16c6cf82009-09-20 10:35:36 +00001028int fib_table_insert(struct fib_table *tb, struct fib_config *cfg)
Robert Olsson19baf832005-06-21 12:43:18 -07001029{
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001030 struct trie *t = (struct trie *)tb->tb_data;
Robert Olsson19baf832005-06-21 12:43:18 -07001031 struct fib_alias *fa, *new_fa;
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001032 struct tnode *l, *tp;
Robert Olsson19baf832005-06-21 12:43:18 -07001033 struct fib_info *fi;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001034 u8 plen = cfg->fc_dst_len;
1035 u8 slen = KEYLENGTH - plen;
Thomas Graf4e902c52006-08-17 18:14:52 -07001036 u8 tos = cfg->fc_tos;
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001037 u32 key;
Robert Olsson19baf832005-06-21 12:43:18 -07001038 int err;
Robert Olsson19baf832005-06-21 12:43:18 -07001039
Alexander Duyck5786ec62015-02-25 15:31:37 -08001040 if (plen > KEYLENGTH)
Robert Olsson19baf832005-06-21 12:43:18 -07001041 return -EINVAL;
1042
Thomas Graf4e902c52006-08-17 18:14:52 -07001043 key = ntohl(cfg->fc_dst);
Robert Olsson19baf832005-06-21 12:43:18 -07001044
Patrick McHardy2dfe55b2006-08-10 23:08:33 -07001045 pr_debug("Insert table=%u %08x/%d\n", tb->tb_id, key, plen);
Robert Olsson19baf832005-06-21 12:43:18 -07001046
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001047 if ((plen < KEYLENGTH) && (key << plen))
Robert Olsson19baf832005-06-21 12:43:18 -07001048 return -EINVAL;
1049
Thomas Graf4e902c52006-08-17 18:14:52 -07001050 fi = fib_create_info(cfg);
1051 if (IS_ERR(fi)) {
1052 err = PTR_ERR(fi);
Robert Olsson19baf832005-06-21 12:43:18 -07001053 goto err;
Thomas Graf4e902c52006-08-17 18:14:52 -07001054 }
Robert Olsson19baf832005-06-21 12:43:18 -07001055
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001056 l = fib_find_node(t, &tp, key);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001057 fa = l ? fib_find_alias(&l->leaf, slen, tos, fi->fib_priority) : NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001058
1059 /* Now fa, if non-NULL, points to the first fib alias
1060 * with the same keys [prefix,tos,priority], if such key already
1061 * exists or to the node before which we will insert new one.
1062 *
1063 * If fa is NULL, we will need to allocate a new one and
Alexander Duyck56315f92015-02-25 15:31:31 -08001064 * insert to the tail of the section matching the suffix length
1065 * of the new alias.
Robert Olsson19baf832005-06-21 12:43:18 -07001066 */
1067
Julian Anastasov936f6f82008-01-28 21:18:06 -08001068 if (fa && fa->fa_tos == tos &&
1069 fa->fa_info->fib_priority == fi->fib_priority) {
1070 struct fib_alias *fa_first, *fa_match;
Robert Olsson19baf832005-06-21 12:43:18 -07001071
1072 err = -EEXIST;
Thomas Graf4e902c52006-08-17 18:14:52 -07001073 if (cfg->fc_nlflags & NLM_F_EXCL)
Robert Olsson19baf832005-06-21 12:43:18 -07001074 goto out;
1075
Julian Anastasov936f6f82008-01-28 21:18:06 -08001076 /* We have 2 goals:
1077 * 1. Find exact match for type, scope, fib_info to avoid
1078 * duplicate routes
1079 * 2. Find next 'fa' (or head), NLM_F_APPEND inserts before it
1080 */
1081 fa_match = NULL;
1082 fa_first = fa;
Alexander Duyck56315f92015-02-25 15:31:31 -08001083 hlist_for_each_entry_from(fa, fa_list) {
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001084 if ((fa->fa_slen != slen) || (fa->fa_tos != tos))
Julian Anastasov936f6f82008-01-28 21:18:06 -08001085 break;
1086 if (fa->fa_info->fib_priority != fi->fib_priority)
1087 break;
1088 if (fa->fa_type == cfg->fc_type &&
Julian Anastasov936f6f82008-01-28 21:18:06 -08001089 fa->fa_info == fi) {
1090 fa_match = fa;
1091 break;
1092 }
1093 }
1094
Thomas Graf4e902c52006-08-17 18:14:52 -07001095 if (cfg->fc_nlflags & NLM_F_REPLACE) {
Robert Olsson19baf832005-06-21 12:43:18 -07001096 struct fib_info *fi_drop;
1097 u8 state;
1098
Julian Anastasov936f6f82008-01-28 21:18:06 -08001099 fa = fa_first;
1100 if (fa_match) {
1101 if (fa == fa_match)
1102 err = 0;
Joonwoo Park67250332008-01-18 03:45:18 -08001103 goto out;
Julian Anastasov936f6f82008-01-28 21:18:06 -08001104 }
Robert Olsson2373ce12005-08-25 13:01:29 -07001105 err = -ENOBUFS;
Christoph Lametere94b1762006-12-06 20:33:17 -08001106 new_fa = kmem_cache_alloc(fn_alias_kmem, GFP_KERNEL);
Robert Olsson2373ce12005-08-25 13:01:29 -07001107 if (new_fa == NULL)
1108 goto out;
Robert Olsson19baf832005-06-21 12:43:18 -07001109
1110 fi_drop = fa->fa_info;
Robert Olsson2373ce12005-08-25 13:01:29 -07001111 new_fa->fa_tos = fa->fa_tos;
1112 new_fa->fa_info = fi;
Thomas Graf4e902c52006-08-17 18:14:52 -07001113 new_fa->fa_type = cfg->fc_type;
Robert Olsson19baf832005-06-21 12:43:18 -07001114 state = fa->fa_state;
Julian Anastasov936f6f82008-01-28 21:18:06 -08001115 new_fa->fa_state = state & ~FA_S_ACCESSED;
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001116 new_fa->fa_slen = fa->fa_slen;
Robert Olsson19baf832005-06-21 12:43:18 -07001117
Alexander Duyck56315f92015-02-25 15:31:31 -08001118 hlist_replace_rcu(&fa->fa_list, &new_fa->fa_list);
Robert Olsson2373ce12005-08-25 13:01:29 -07001119 alias_free_mem_rcu(fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001120
1121 fib_release_info(fi_drop);
1122 if (state & FA_S_ACCESSED)
Nicolas Dichtel4ccfe6d2012-09-07 00:45:29 +00001123 rt_cache_flush(cfg->fc_nlinfo.nl_net);
Milan Kocianb8f55832007-05-23 14:55:06 -07001124 rtmsg_fib(RTM_NEWROUTE, htonl(key), new_fa, plen,
1125 tb->tb_id, &cfg->fc_nlinfo, NLM_F_REPLACE);
Robert Olsson19baf832005-06-21 12:43:18 -07001126
Olof Johansson91b9a272005-08-09 20:24:39 -07001127 goto succeeded;
Robert Olsson19baf832005-06-21 12:43:18 -07001128 }
1129 /* Error if we find a perfect match which
1130 * uses the same scope, type, and nexthop
1131 * information.
1132 */
Julian Anastasov936f6f82008-01-28 21:18:06 -08001133 if (fa_match)
1134 goto out;
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08001135
Thomas Graf4e902c52006-08-17 18:14:52 -07001136 if (!(cfg->fc_nlflags & NLM_F_APPEND))
Julian Anastasov936f6f82008-01-28 21:18:06 -08001137 fa = fa_first;
Robert Olsson19baf832005-06-21 12:43:18 -07001138 }
1139 err = -ENOENT;
Thomas Graf4e902c52006-08-17 18:14:52 -07001140 if (!(cfg->fc_nlflags & NLM_F_CREATE))
Robert Olsson19baf832005-06-21 12:43:18 -07001141 goto out;
1142
1143 err = -ENOBUFS;
Christoph Lametere94b1762006-12-06 20:33:17 -08001144 new_fa = kmem_cache_alloc(fn_alias_kmem, GFP_KERNEL);
Robert Olsson19baf832005-06-21 12:43:18 -07001145 if (new_fa == NULL)
1146 goto out;
1147
1148 new_fa->fa_info = fi;
1149 new_fa->fa_tos = tos;
Thomas Graf4e902c52006-08-17 18:14:52 -07001150 new_fa->fa_type = cfg->fc_type;
Robert Olsson19baf832005-06-21 12:43:18 -07001151 new_fa->fa_state = 0;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001152 new_fa->fa_slen = slen;
Robert Olsson19baf832005-06-21 12:43:18 -07001153
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001154 /* Insert new entry to the list. */
Alexander Duyckd5d64872015-03-04 15:02:18 -08001155 err = fib_insert_alias(t, tp, l, new_fa, fa, key);
1156 if (err)
1157 goto out_free_new_fa;
Robert Olsson19baf832005-06-21 12:43:18 -07001158
David S. Miller21d8c492011-04-14 14:49:37 -07001159 if (!plen)
1160 tb->tb_num_default++;
1161
Nicolas Dichtel4ccfe6d2012-09-07 00:45:29 +00001162 rt_cache_flush(cfg->fc_nlinfo.nl_net);
Thomas Graf4e902c52006-08-17 18:14:52 -07001163 rtmsg_fib(RTM_NEWROUTE, htonl(key), new_fa, plen, tb->tb_id,
Milan Kocianb8f55832007-05-23 14:55:06 -07001164 &cfg->fc_nlinfo, 0);
Robert Olsson19baf832005-06-21 12:43:18 -07001165succeeded:
1166 return 0;
Robert Olssonf835e472005-06-28 15:00:39 -07001167
1168out_free_new_fa:
1169 kmem_cache_free(fn_alias_kmem, new_fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001170out:
1171 fib_release_info(fi);
Olof Johansson91b9a272005-08-09 20:24:39 -07001172err:
Robert Olsson19baf832005-06-21 12:43:18 -07001173 return err;
1174}
1175
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001176static inline t_key prefix_mismatch(t_key key, struct tnode *n)
1177{
1178 t_key prefix = n->key;
1179
1180 return (key ^ prefix) & (prefix | -prefix);
1181}
1182
Alexander Duyck345e9b52014-12-31 10:56:24 -08001183/* should be called with rcu_read_lock */
David S. Miller22bd5b92011-03-11 19:54:08 -05001184int fib_table_lookup(struct fib_table *tb, const struct flowi4 *flp,
Eric Dumazetebc0ffa2010-10-05 10:41:36 +00001185 struct fib_result *res, int fib_flags)
Robert Olsson19baf832005-06-21 12:43:18 -07001186{
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001187 struct trie *t = (struct trie *)tb->tb_data;
Alexander Duyck8274a972014-12-31 10:55:29 -08001188#ifdef CONFIG_IP_FIB_TRIE_STATS
1189 struct trie_use_stats __percpu *stats = t->stats;
1190#endif
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001191 const t_key key = ntohl(flp->daddr);
1192 struct tnode *n, *pn;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001193 struct fib_alias *fa;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001194 t_key cindex;
Robert Olsson19baf832005-06-21 12:43:18 -07001195
Robert Olsson2373ce12005-08-25 13:01:29 -07001196 n = rcu_dereference(t->trie);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001197 if (!n)
Alexander Duyck345e9b52014-12-31 10:56:24 -08001198 return -EAGAIN;
Robert Olsson19baf832005-06-21 12:43:18 -07001199
1200#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8274a972014-12-31 10:55:29 -08001201 this_cpu_inc(stats->gets);
Robert Olsson19baf832005-06-21 12:43:18 -07001202#endif
1203
Alexander Duyckadaf9812014-12-31 10:55:47 -08001204 pn = n;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001205 cindex = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001206
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001207 /* Step 1: Travel to the longest prefix match in the trie */
1208 for (;;) {
1209 unsigned long index = get_index(key, n);
Robert Olsson19baf832005-06-21 12:43:18 -07001210
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001211 /* This bit of code is a bit tricky but it combines multiple
1212 * checks into a single check. The prefix consists of the
1213 * prefix plus zeros for the "bits" in the prefix. The index
1214 * is the difference between the key and this value. From
1215 * this we can actually derive several pieces of data.
Alexander Duyckb3832112015-01-22 15:51:08 -08001216 * if (index & (~0ul << bits))
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001217 * we have a mismatch in skip bits and failed
Alexander Duyckb3832112015-01-22 15:51:08 -08001218 * else
1219 * we know the value is cindex
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001220 */
Alexander Duyckb3832112015-01-22 15:51:08 -08001221 if (index & (~0ul << n->bits))
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001222 break;
Robert Olsson19baf832005-06-21 12:43:18 -07001223
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001224 /* we have found a leaf. Prefixes have already been compared */
1225 if (IS_LEAF(n))
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08001226 goto found;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001227
1228 /* only record pn and cindex if we are going to be chopping
1229 * bits later. Otherwise we are just wasting cycles.
1230 */
Alexander Duyck5405afd2014-12-31 10:57:08 -08001231 if (n->slen > n->pos) {
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001232 pn = n;
1233 cindex = index;
Olof Johansson91b9a272005-08-09 20:24:39 -07001234 }
1235
Alexander Duyck21d1f112014-12-31 10:57:02 -08001236 n = tnode_get_child_rcu(n, index);
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001237 if (unlikely(!n))
Robert Olsson19baf832005-06-21 12:43:18 -07001238 goto backtrace;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001239 }
1240
1241 /* Step 2: Sort out leaves and begin backtracing for longest prefix */
1242 for (;;) {
1243 /* record the pointer where our next node pointer is stored */
1244 struct tnode __rcu **cptr = n->child;
1245
1246 /* This test verifies that none of the bits that differ
1247 * between the key and the prefix exist in the region of
1248 * the lsb and higher in the prefix.
1249 */
Alexander Duyck5405afd2014-12-31 10:57:08 -08001250 if (unlikely(prefix_mismatch(key, n)) || (n->slen == n->pos))
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001251 goto backtrace;
1252
1253 /* exit out and process leaf */
1254 if (unlikely(IS_LEAF(n)))
1255 break;
1256
1257 /* Don't bother recording parent info. Since we are in
1258 * prefix match mode we will have to come back to wherever
1259 * we started this traversal anyway
1260 */
1261
1262 while ((n = rcu_dereference(*cptr)) == NULL) {
1263backtrace:
1264#ifdef CONFIG_IP_FIB_TRIE_STATS
1265 if (!n)
1266 this_cpu_inc(stats->null_node_hit);
1267#endif
1268 /* If we are at cindex 0 there are no more bits for
1269 * us to strip at this level so we must ascend back
1270 * up one level to see if there are any more bits to
1271 * be stripped there.
1272 */
1273 while (!cindex) {
1274 t_key pkey = pn->key;
1275
1276 pn = node_parent_rcu(pn);
1277 if (unlikely(!pn))
Alexander Duyck345e9b52014-12-31 10:56:24 -08001278 return -EAGAIN;
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001279#ifdef CONFIG_IP_FIB_TRIE_STATS
1280 this_cpu_inc(stats->backtrack);
1281#endif
1282 /* Get Child's index */
1283 cindex = get_index(pkey, pn);
1284 }
1285
1286 /* strip the least significant bit from the cindex */
1287 cindex &= cindex - 1;
1288
1289 /* grab pointer for next child node */
1290 cptr = &pn->child[cindex];
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001291 }
Robert Olsson19baf832005-06-21 12:43:18 -07001292 }
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001293
Robert Olsson19baf832005-06-21 12:43:18 -07001294found:
Alexander Duyck9f9e6362014-12-31 10:55:54 -08001295 /* Step 3: Process the leaf, if that fails fall back to backtracing */
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001296 hlist_for_each_entry_rcu(fa, &n->leaf, fa_list) {
1297 struct fib_info *fi = fa->fa_info;
1298 int nhsel, err;
Alexander Duyck345e9b52014-12-31 10:56:24 -08001299
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001300 if (((key ^ n->key) >= (1ul << fa->fa_slen)) &&
1301 ((BITS_PER_LONG > KEYLENGTH) || (fa->fa_slen != KEYLENGTH)))
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001302 continue;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001303 if (fa->fa_tos && fa->fa_tos != flp->flowi4_tos)
1304 continue;
1305 if (fi->fib_dead)
1306 continue;
1307 if (fa->fa_info->fib_scope < flp->flowi4_scope)
1308 continue;
1309 fib_alias_accessed(fa);
1310 err = fib_props[fa->fa_type].error;
1311 if (unlikely(err < 0)) {
Alexander Duyck345e9b52014-12-31 10:56:24 -08001312#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001313 this_cpu_inc(stats->semantic_match_passed);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001314#endif
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001315 return err;
1316 }
1317 if (fi->fib_flags & RTNH_F_DEAD)
1318 continue;
1319 for (nhsel = 0; nhsel < fi->fib_nhs; nhsel++) {
1320 const struct fib_nh *nh = &fi->fib_nh[nhsel];
1321
1322 if (nh->nh_flags & RTNH_F_DEAD)
Alexander Duyck345e9b52014-12-31 10:56:24 -08001323 continue;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001324 if (flp->flowi4_oif && flp->flowi4_oif != nh->nh_oif)
1325 continue;
Alexander Duyck345e9b52014-12-31 10:56:24 -08001326
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001327 if (!(fib_flags & FIB_LOOKUP_NOREF))
1328 atomic_inc(&fi->fib_clntref);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001329
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001330 res->prefixlen = KEYLENGTH - fa->fa_slen;
1331 res->nh_sel = nhsel;
1332 res->type = fa->fa_type;
1333 res->scope = fi->fib_scope;
1334 res->fi = fi;
1335 res->table = tb;
1336 res->fa_head = &n->leaf;
Alexander Duyck345e9b52014-12-31 10:56:24 -08001337#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001338 this_cpu_inc(stats->semantic_match_passed);
Alexander Duyck345e9b52014-12-31 10:56:24 -08001339#endif
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001340 return err;
Alexander Duyck345e9b52014-12-31 10:56:24 -08001341 }
Alexander Duyck345e9b52014-12-31 10:56:24 -08001342 }
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001343#ifdef CONFIG_IP_FIB_TRIE_STATS
1344 this_cpu_inc(stats->semantic_match_miss);
1345#endif
Alexander Duyck345e9b52014-12-31 10:56:24 -08001346 goto backtrace;
Robert Olsson19baf832005-06-21 12:43:18 -07001347}
Florian Westphal6fc01432011-08-25 13:46:12 +02001348EXPORT_SYMBOL_GPL(fib_table_lookup);
Robert Olsson19baf832005-06-21 12:43:18 -07001349
Alexander Duyckd5d64872015-03-04 15:02:18 -08001350static void fib_remove_alias(struct trie *t, struct tnode *tp,
1351 struct tnode *l, struct fib_alias *old)
1352{
1353 /* record the location of the previous list_info entry */
1354 struct hlist_node **pprev = old->fa_list.pprev;
1355 struct fib_alias *fa = hlist_entry(pprev, typeof(*fa), fa_list.next);
1356
1357 /* remove the fib_alias from the list */
1358 hlist_del_rcu(&old->fa_list);
1359
1360 /* if we emptied the list this leaf will be freed and we can sort
1361 * out parent suffix lengths as a part of trie_rebalance
1362 */
1363 if (hlist_empty(&l->leaf)) {
1364 put_child_root(tp, t, l->key, NULL);
1365 node_free(l);
1366 trie_rebalance(t, tp);
1367 return;
1368 }
1369
1370 /* only access fa if it is pointing at the last valid hlist_node */
1371 if (*pprev)
1372 return;
1373
1374 /* update the trie with the latest suffix length */
1375 l->slen = fa->fa_slen;
1376 leaf_pull_suffix(tp, l);
1377}
1378
1379/* Caller must hold RTNL. */
Stephen Hemminger16c6cf82009-09-20 10:35:36 +00001380int fib_table_delete(struct fib_table *tb, struct fib_config *cfg)
Robert Olsson19baf832005-06-21 12:43:18 -07001381{
1382 struct trie *t = (struct trie *) tb->tb_data;
Robert Olsson19baf832005-06-21 12:43:18 -07001383 struct fib_alias *fa, *fa_to_delete;
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001384 struct tnode *l, *tp;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001385 u8 plen = cfg->fc_dst_len;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001386 u8 slen = KEYLENGTH - plen;
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001387 u8 tos = cfg->fc_tos;
1388 u32 key;
Olof Johansson91b9a272005-08-09 20:24:39 -07001389
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001390 if (plen > KEYLENGTH)
Robert Olsson19baf832005-06-21 12:43:18 -07001391 return -EINVAL;
1392
Thomas Graf4e902c52006-08-17 18:14:52 -07001393 key = ntohl(cfg->fc_dst);
Robert Olsson19baf832005-06-21 12:43:18 -07001394
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001395 if ((plen < KEYLENGTH) && (key << plen))
Robert Olsson19baf832005-06-21 12:43:18 -07001396 return -EINVAL;
1397
Alexander Duyckd4a975e2015-03-04 15:01:59 -08001398 l = fib_find_node(t, &tp, key);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001399 if (!l)
Robert Olsson19baf832005-06-21 12:43:18 -07001400 return -ESRCH;
1401
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001402 fa = fib_find_alias(&l->leaf, slen, tos, 0);
Robert Olsson19baf832005-06-21 12:43:18 -07001403 if (!fa)
1404 return -ESRCH;
1405
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001406 pr_debug("Deleting %08x/%d tos=%d t=%p\n", key, plen, tos, t);
Robert Olsson19baf832005-06-21 12:43:18 -07001407
1408 fa_to_delete = NULL;
Alexander Duyck56315f92015-02-25 15:31:31 -08001409 hlist_for_each_entry_from(fa, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07001410 struct fib_info *fi = fa->fa_info;
1411
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001412 if ((fa->fa_slen != slen) || (fa->fa_tos != tos))
Robert Olsson19baf832005-06-21 12:43:18 -07001413 break;
1414
Thomas Graf4e902c52006-08-17 18:14:52 -07001415 if ((!cfg->fc_type || fa->fa_type == cfg->fc_type) &&
1416 (cfg->fc_scope == RT_SCOPE_NOWHERE ||
David S. Miller37e826c2011-03-24 18:06:47 -07001417 fa->fa_info->fib_scope == cfg->fc_scope) &&
Julian Anastasov74cb3c12011-03-19 12:13:46 +00001418 (!cfg->fc_prefsrc ||
1419 fi->fib_prefsrc == cfg->fc_prefsrc) &&
Thomas Graf4e902c52006-08-17 18:14:52 -07001420 (!cfg->fc_protocol ||
1421 fi->fib_protocol == cfg->fc_protocol) &&
1422 fib_nh_match(cfg, fi) == 0) {
Robert Olsson19baf832005-06-21 12:43:18 -07001423 fa_to_delete = fa;
1424 break;
1425 }
1426 }
1427
Olof Johansson91b9a272005-08-09 20:24:39 -07001428 if (!fa_to_delete)
1429 return -ESRCH;
Robert Olsson19baf832005-06-21 12:43:18 -07001430
Alexander Duyckd5d64872015-03-04 15:02:18 -08001431 rtmsg_fib(RTM_DELROUTE, htonl(key), fa_to_delete, plen, tb->tb_id,
Milan Kocianb8f55832007-05-23 14:55:06 -07001432 &cfg->fc_nlinfo, 0);
Robert Olsson19baf832005-06-21 12:43:18 -07001433
David S. Miller21d8c492011-04-14 14:49:37 -07001434 if (!plen)
1435 tb->tb_num_default--;
1436
Alexander Duyckd5d64872015-03-04 15:02:18 -08001437 fib_remove_alias(t, tp, l, fa_to_delete);
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001438
Alexander Duyckd5d64872015-03-04 15:02:18 -08001439 if (fa_to_delete->fa_state & FA_S_ACCESSED)
Nicolas Dichtel4ccfe6d2012-09-07 00:45:29 +00001440 rt_cache_flush(cfg->fc_nlinfo.nl_net);
Olof Johansson91b9a272005-08-09 20:24:39 -07001441
Alexander Duyckd5d64872015-03-04 15:02:18 -08001442 fib_release_info(fa_to_delete->fa_info);
1443 alias_free_mem_rcu(fa_to_delete);
Olof Johansson91b9a272005-08-09 20:24:39 -07001444 return 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001445}
1446
Alexander Duyck8be33e92015-03-04 14:59:19 -08001447/* Scan for the next leaf starting at the provided key value */
1448static struct tnode *leaf_walk_rcu(struct tnode **tn, t_key key)
Robert Olsson19baf832005-06-21 12:43:18 -07001449{
Alexander Duyck8be33e92015-03-04 14:59:19 -08001450 struct tnode *pn, *n = *tn;
1451 unsigned long cindex;
Robert Olsson19baf832005-06-21 12:43:18 -07001452
Alexander Duyck8be33e92015-03-04 14:59:19 -08001453 /* record parent node for backtracing */
1454 pn = n;
1455 cindex = n ? get_index(key, n) : 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001456
Alexander Duyck8be33e92015-03-04 14:59:19 -08001457 /* this loop is meant to try and find the key in the trie */
1458 while (n) {
1459 unsigned long idx = get_index(key, n);
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001460
Alexander Duyck8be33e92015-03-04 14:59:19 -08001461 /* guarantee forward progress on the keys */
1462 if (IS_LEAF(n) && (n->key >= key))
1463 goto found;
1464 if (idx >= (1ul << n->bits))
1465 break;
1466
1467 /* record parent and next child index */
1468 pn = n;
1469 cindex = idx;
1470
1471 /* descend into the next child */
1472 n = tnode_get_child_rcu(pn, cindex++);
1473 }
1474
1475 /* this loop will search for the next leaf with a greater key */
1476 while (pn) {
1477 /* if we exhausted the parent node we will need to climb */
1478 if (cindex >= (1ul << pn->bits)) {
1479 t_key pkey = pn->key;
1480
1481 pn = node_parent_rcu(pn);
1482 if (!pn)
1483 break;
1484
1485 cindex = get_index(pkey, pn) + 1;
1486 continue;
Robert Olsson19baf832005-06-21 12:43:18 -07001487 }
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001488
Alexander Duyck8be33e92015-03-04 14:59:19 -08001489 /* grab the next available node */
1490 n = tnode_get_child_rcu(pn, cindex++);
1491 if (!n)
1492 continue;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001493
Alexander Duyck8be33e92015-03-04 14:59:19 -08001494 /* no need to compare keys since we bumped the index */
1495 if (IS_LEAF(n))
1496 goto found;
1497
1498 /* Rescan start scanning in new node */
1499 pn = n;
1500 cindex = 0;
1501 }
1502
1503 *tn = pn;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001504 return NULL; /* Root of trie */
Alexander Duyck8be33e92015-03-04 14:59:19 -08001505found:
1506 /* if we are at the limit for keys just return NULL for the tnode */
1507 *tn = (n->key == KEY_MAX) ? NULL : pn;
1508 return n;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001509}
1510
Alexander Duyck8be33e92015-03-04 14:59:19 -08001511/* Caller must hold RTNL. */
Stephen Hemminger16c6cf82009-09-20 10:35:36 +00001512int fib_table_flush(struct fib_table *tb)
Robert Olsson19baf832005-06-21 12:43:18 -07001513{
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001514 struct trie *t = (struct trie *)tb->tb_data;
1515 struct hlist_node *tmp;
1516 struct fib_alias *fa;
1517 struct tnode *n, *pn;
1518 unsigned long cindex;
1519 unsigned char slen;
Stephen Hemminger82cfbb02008-01-22 21:55:32 -08001520 int found = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001521
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001522 n = rcu_dereference(t->trie);
1523 if (!n)
1524 goto flush_complete;
Robert Olsson19baf832005-06-21 12:43:18 -07001525
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001526 pn = NULL;
1527 cindex = 0;
1528
1529 while (IS_TNODE(n)) {
1530 /* record pn and cindex for leaf walking */
1531 pn = n;
1532 cindex = 1ul << n->bits;
1533backtrace:
1534 /* walk trie in reverse order */
1535 do {
1536 while (!(cindex--)) {
1537 t_key pkey = pn->key;
1538
1539 n = pn;
1540 pn = node_parent(n);
1541
1542 /* resize completed node */
1543 resize(t, n);
1544
1545 /* if we got the root we are done */
1546 if (!pn)
1547 goto flush_complete;
1548
1549 cindex = get_index(pkey, pn);
1550 }
1551
1552 /* grab the next available node */
1553 n = tnode_get_child(pn, cindex);
1554 } while (!n);
1555 }
1556
1557 /* track slen in case any prefixes survive */
1558 slen = 0;
1559
1560 hlist_for_each_entry_safe(fa, tmp, &n->leaf, fa_list) {
1561 struct fib_info *fi = fa->fa_info;
1562
1563 if (fi && (fi->fib_flags & RTNH_F_DEAD)) {
1564 hlist_del_rcu(&fa->fa_list);
1565 fib_release_info(fa->fa_info);
1566 alias_free_mem_rcu(fa);
1567 found++;
1568
1569 continue;
Alexander Duyck64c62722015-01-22 15:51:45 -08001570 }
1571
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001572 slen = fa->fa_slen;
Robert Olsson19baf832005-06-21 12:43:18 -07001573 }
1574
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001575 /* update leaf slen */
1576 n->slen = slen;
1577
1578 if (hlist_empty(&n->leaf)) {
1579 put_child_root(pn, t, n->key, NULL);
1580 node_free(n);
1581 } else {
Alexander Duyckd5d64872015-03-04 15:02:18 -08001582 leaf_pull_suffix(pn, n);
Alexander Duyck64c62722015-01-22 15:51:45 -08001583 }
Robert Olsson19baf832005-06-21 12:43:18 -07001584
Alexander Duyck7289e6d2015-03-04 14:58:19 -08001585 /* if trie is leaf only loop is completed */
1586 if (pn)
1587 goto backtrace;
1588flush_complete:
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001589 pr_debug("trie_flush found=%d\n", found);
Robert Olsson19baf832005-06-21 12:43:18 -07001590 return found;
1591}
1592
Pavel Emelyanov4aa2c462010-10-28 02:00:43 +00001593void fib_free_table(struct fib_table *tb)
1594{
Alexander Duyck8274a972014-12-31 10:55:29 -08001595#ifdef CONFIG_IP_FIB_TRIE_STATS
1596 struct trie *t = (struct trie *)tb->tb_data;
1597
1598 free_percpu(t->stats);
1599#endif /* CONFIG_IP_FIB_TRIE_STATS */
Pavel Emelyanov4aa2c462010-10-28 02:00:43 +00001600 kfree(tb);
1601}
1602
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001603static int fn_trie_dump_leaf(struct tnode *l, struct fib_table *tb,
1604 struct sk_buff *skb, struct netlink_callback *cb)
Robert Olsson19baf832005-06-21 12:43:18 -07001605{
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001606 __be32 xkey = htonl(l->key);
Robert Olsson19baf832005-06-21 12:43:18 -07001607 struct fib_alias *fa;
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001608 int i, s_i;
Robert Olsson19baf832005-06-21 12:43:18 -07001609
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001610 s_i = cb->args[4];
Robert Olsson19baf832005-06-21 12:43:18 -07001611 i = 0;
1612
Robert Olsson2373ce12005-08-25 13:01:29 -07001613 /* rcu_read_lock is hold by caller */
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001614 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07001615 if (i < s_i) {
1616 i++;
1617 continue;
1618 }
Robert Olsson19baf832005-06-21 12:43:18 -07001619
Eric W. Biederman15e47302012-09-07 20:12:54 +00001620 if (fib_dump_info(skb, NETLINK_CB(cb->skb).portid,
Robert Olsson19baf832005-06-21 12:43:18 -07001621 cb->nlh->nlmsg_seq,
1622 RTM_NEWROUTE,
1623 tb->tb_id,
1624 fa->fa_type,
Thomas Grafbe403ea2006-08-17 18:15:17 -07001625 xkey,
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08001626 KEYLENGTH - fa->fa_slen,
Robert Olsson19baf832005-06-21 12:43:18 -07001627 fa->fa_tos,
Stephen Hemminger64347f72008-01-22 21:55:01 -08001628 fa->fa_info, NLM_F_MULTI) < 0) {
Stephen Hemminger71d67e62008-01-31 16:45:47 -08001629 cb->args[4] = i;
Robert Olsson19baf832005-06-21 12:43:18 -07001630 return -1;
1631 }
Stephen Hemmingera88ee222008-01-22 21:56:11 -08001632 i++;
Robert Olsson19baf832005-06-21 12:43:18 -07001633 }
Stephen Hemmingera88ee222008-01-22 21:56:11 -08001634
Stephen Hemminger71d67e62008-01-31 16:45:47 -08001635 cb->args[4] = i;
Robert Olsson19baf832005-06-21 12:43:18 -07001636 return skb->len;
1637}
1638
Stephen Hemminger16c6cf82009-09-20 10:35:36 +00001639int fib_table_dump(struct fib_table *tb, struct sk_buff *skb,
1640 struct netlink_callback *cb)
Robert Olsson19baf832005-06-21 12:43:18 -07001641{
Alexander Duyck8be33e92015-03-04 14:59:19 -08001642 struct trie *t = (struct trie *)tb->tb_data;
1643 struct tnode *l, *tp;
Stephen Hemmingerd5ce8a02008-01-22 21:57:22 -08001644 /* Dump starting at last key.
1645 * Note: 0.0.0.0/0 (ie default) is first key.
1646 */
Alexander Duyck8be33e92015-03-04 14:59:19 -08001647 int count = cb->args[2];
1648 t_key key = cb->args[3];
Stephen Hemmingera88ee222008-01-22 21:56:11 -08001649
Alexander Duyck8be33e92015-03-04 14:59:19 -08001650 rcu_read_lock();
1651
1652 tp = rcu_dereference_rtnl(t->trie);
1653
1654 while ((l = leaf_walk_rcu(&tp, key)) != NULL) {
Stephen Hemmingera88ee222008-01-22 21:56:11 -08001655 if (fn_trie_dump_leaf(l, tb, skb, cb) < 0) {
Alexander Duyck8be33e92015-03-04 14:59:19 -08001656 cb->args[3] = key;
1657 cb->args[2] = count;
Stephen Hemmingera88ee222008-01-22 21:56:11 -08001658 rcu_read_unlock();
Stephen Hemmingera88ee222008-01-22 21:56:11 -08001659 return -1;
Robert Olsson19baf832005-06-21 12:43:18 -07001660 }
Stephen Hemmingerd5ce8a02008-01-22 21:57:22 -08001661
Stephen Hemminger71d67e62008-01-31 16:45:47 -08001662 ++count;
Alexander Duyck8be33e92015-03-04 14:59:19 -08001663 key = l->key + 1;
1664
Stephen Hemminger71d67e62008-01-31 16:45:47 -08001665 memset(&cb->args[4], 0,
1666 sizeof(cb->args) - 4*sizeof(cb->args[0]));
Alexander Duyck8be33e92015-03-04 14:59:19 -08001667
1668 /* stop loop if key wrapped back to 0 */
1669 if (key < l->key)
1670 break;
Robert Olsson19baf832005-06-21 12:43:18 -07001671 }
Alexander Duyck8be33e92015-03-04 14:59:19 -08001672
Robert Olsson2373ce12005-08-25 13:01:29 -07001673 rcu_read_unlock();
Stephen Hemmingera88ee222008-01-22 21:56:11 -08001674
Alexander Duyck8be33e92015-03-04 14:59:19 -08001675 cb->args[3] = key;
1676 cb->args[2] = count;
1677
Robert Olsson19baf832005-06-21 12:43:18 -07001678 return skb->len;
Robert Olsson19baf832005-06-21 12:43:18 -07001679}
1680
David S. Miller5348ba82011-02-01 15:30:56 -08001681void __init fib_trie_init(void)
Stephen Hemminger7f9b8052008-01-14 23:14:20 -08001682{
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08001683 fn_alias_kmem = kmem_cache_create("ip_fib_alias",
1684 sizeof(struct fib_alias),
Stephen Hemmingerbc3c8c12008-01-22 21:51:50 -08001685 0, SLAB_PANIC, NULL);
1686
1687 trie_leaf_kmem = kmem_cache_create("ip_fib_trie",
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001688 sizeof(struct tnode),
Stephen Hemmingerbc3c8c12008-01-22 21:51:50 -08001689 0, SLAB_PANIC, NULL);
Stephen Hemminger7f9b8052008-01-14 23:14:20 -08001690}
Robert Olsson19baf832005-06-21 12:43:18 -07001691
Stephen Hemminger7f9b8052008-01-14 23:14:20 -08001692
David S. Miller5348ba82011-02-01 15:30:56 -08001693struct fib_table *fib_trie_table(u32 id)
Robert Olsson19baf832005-06-21 12:43:18 -07001694{
1695 struct fib_table *tb;
1696 struct trie *t;
1697
Robert Olsson19baf832005-06-21 12:43:18 -07001698 tb = kmalloc(sizeof(struct fib_table) + sizeof(struct trie),
1699 GFP_KERNEL);
1700 if (tb == NULL)
1701 return NULL;
1702
1703 tb->tb_id = id;
Denis V. Lunev971b8932007-12-08 00:32:23 -08001704 tb->tb_default = -1;
David S. Miller21d8c492011-04-14 14:49:37 -07001705 tb->tb_num_default = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001706
1707 t = (struct trie *) tb->tb_data;
Alexander Duyck8274a972014-12-31 10:55:29 -08001708 RCU_INIT_POINTER(t->trie, NULL);
1709#ifdef CONFIG_IP_FIB_TRIE_STATS
1710 t->stats = alloc_percpu(struct trie_use_stats);
1711 if (!t->stats) {
1712 kfree(tb);
1713 tb = NULL;
1714 }
1715#endif
Robert Olsson19baf832005-06-21 12:43:18 -07001716
Robert Olsson19baf832005-06-21 12:43:18 -07001717 return tb;
1718}
1719
Robert Olsson19baf832005-06-21 12:43:18 -07001720#ifdef CONFIG_PROC_FS
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001721/* Depth first Trie walk iterator */
1722struct fib_trie_iter {
Denis V. Lunev1c340b22008-01-10 03:27:17 -08001723 struct seq_net_private p;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001724 struct fib_table *tb;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001725 struct tnode *tnode;
Eric Dumazeta034ee32010-09-09 23:32:28 +00001726 unsigned int index;
1727 unsigned int depth;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001728};
Robert Olsson19baf832005-06-21 12:43:18 -07001729
Alexander Duyckadaf9812014-12-31 10:55:47 -08001730static struct tnode *fib_trie_get_next(struct fib_trie_iter *iter)
Robert Olsson19baf832005-06-21 12:43:18 -07001731{
Alexander Duyck98293e82014-12-31 10:56:18 -08001732 unsigned long cindex = iter->index;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001733 struct tnode *tn = iter->tnode;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001734 struct tnode *p;
1735
Eric W. Biederman6640e692007-01-24 14:42:04 -08001736 /* A single entry routing table */
1737 if (!tn)
1738 return NULL;
1739
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001740 pr_debug("get_next iter={node=%p index=%d depth=%d}\n",
1741 iter->tnode, iter->index, iter->depth);
1742rescan:
Alexander Duyck98293e82014-12-31 10:56:18 -08001743 while (cindex < tnode_child_length(tn)) {
Alexander Duyckadaf9812014-12-31 10:55:47 -08001744 struct tnode *n = tnode_get_child_rcu(tn, cindex);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001745
1746 if (n) {
1747 if (IS_LEAF(n)) {
1748 iter->tnode = tn;
1749 iter->index = cindex + 1;
1750 } else {
1751 /* push down one level */
Alexander Duyckadaf9812014-12-31 10:55:47 -08001752 iter->tnode = n;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001753 iter->index = 0;
1754 ++iter->depth;
1755 }
1756 return n;
1757 }
1758
1759 ++cindex;
1760 }
1761
1762 /* Current node exhausted, pop back up */
Alexander Duyckadaf9812014-12-31 10:55:47 -08001763 p = node_parent_rcu(tn);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001764 if (p) {
Alexander Duycke9b44012014-12-31 10:56:12 -08001765 cindex = get_index(tn->key, p) + 1;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001766 tn = p;
1767 --iter->depth;
1768 goto rescan;
1769 }
1770
1771 /* got root? */
Robert Olsson19baf832005-06-21 12:43:18 -07001772 return NULL;
1773}
1774
Alexander Duyckadaf9812014-12-31 10:55:47 -08001775static struct tnode *fib_trie_get_first(struct fib_trie_iter *iter,
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001776 struct trie *t)
Robert Olsson19baf832005-06-21 12:43:18 -07001777{
Alexander Duyckadaf9812014-12-31 10:55:47 -08001778 struct tnode *n;
Robert Olsson5ddf0eb2006-03-20 21:34:12 -08001779
Stephen Hemminger132adf52007-03-08 20:44:43 -08001780 if (!t)
Robert Olsson5ddf0eb2006-03-20 21:34:12 -08001781 return NULL;
1782
1783 n = rcu_dereference(t->trie);
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001784 if (!n)
Robert Olsson5ddf0eb2006-03-20 21:34:12 -08001785 return NULL;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001786
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001787 if (IS_TNODE(n)) {
Alexander Duyckadaf9812014-12-31 10:55:47 -08001788 iter->tnode = n;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001789 iter->index = 0;
1790 iter->depth = 1;
1791 } else {
1792 iter->tnode = NULL;
1793 iter->index = 0;
1794 iter->depth = 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001795 }
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001796
1797 return n;
Robert Olsson19baf832005-06-21 12:43:18 -07001798}
1799
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001800static void trie_collect_stats(struct trie *t, struct trie_stat *s)
Robert Olsson19baf832005-06-21 12:43:18 -07001801{
Alexander Duyckadaf9812014-12-31 10:55:47 -08001802 struct tnode *n;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001803 struct fib_trie_iter iter;
Robert Olsson19baf832005-06-21 12:43:18 -07001804
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001805 memset(s, 0, sizeof(*s));
Robert Olsson19baf832005-06-21 12:43:18 -07001806
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001807 rcu_read_lock();
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001808 for (n = fib_trie_get_first(&iter, t); n; n = fib_trie_get_next(&iter)) {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001809 if (IS_LEAF(n)) {
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001810 struct fib_alias *fa;
Stephen Hemminger93672292008-01-22 21:54:05 -08001811
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001812 s->leaves++;
1813 s->totdepth += iter.depth;
1814 if (iter.depth > s->maxdepth)
1815 s->maxdepth = iter.depth;
Stephen Hemminger93672292008-01-22 21:54:05 -08001816
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001817 hlist_for_each_entry_rcu(fa, &n->leaf, fa_list)
Stephen Hemminger93672292008-01-22 21:54:05 -08001818 ++s->prefixes;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001819 } else {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001820 s->tnodes++;
Alexander Duyckadaf9812014-12-31 10:55:47 -08001821 if (n->bits < MAX_STAT_DEPTH)
1822 s->nodesizes[n->bits]++;
Alexander Duyck30cfe7c2015-01-22 15:51:33 -08001823 s->nullpointers += n->empty_children;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001824 }
1825 }
1826 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001827}
1828
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001829/*
Robert Olsson19baf832005-06-21 12:43:18 -07001830 * This outputs /proc/net/fib_triestats
Robert Olsson19baf832005-06-21 12:43:18 -07001831 */
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001832static void trie_show_stats(struct seq_file *seq, struct trie_stat *stat)
Robert Olsson19baf832005-06-21 12:43:18 -07001833{
Eric Dumazeta034ee32010-09-09 23:32:28 +00001834 unsigned int i, max, pointers, bytes, avdepth;
Robert Olsson19baf832005-06-21 12:43:18 -07001835
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001836 if (stat->leaves)
1837 avdepth = stat->totdepth*100 / stat->leaves;
1838 else
1839 avdepth = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001840
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08001841 seq_printf(seq, "\tAver depth: %u.%02d\n",
1842 avdepth / 100, avdepth % 100);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001843 seq_printf(seq, "\tMax depth: %u\n", stat->maxdepth);
Robert Olsson19baf832005-06-21 12:43:18 -07001844
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001845 seq_printf(seq, "\tLeaves: %u\n", stat->leaves);
Alexander Duyckadaf9812014-12-31 10:55:47 -08001846 bytes = sizeof(struct tnode) * stat->leaves;
Stephen Hemminger93672292008-01-22 21:54:05 -08001847
1848 seq_printf(seq, "\tPrefixes: %u\n", stat->prefixes);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08001849 bytes += sizeof(struct fib_alias) * stat->prefixes;
Stephen Hemminger93672292008-01-22 21:54:05 -08001850
Stephen Hemminger187b5182008-01-12 20:55:55 -08001851 seq_printf(seq, "\tInternal nodes: %u\n\t", stat->tnodes);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001852 bytes += sizeof(struct tnode) * stat->tnodes;
Robert Olsson19baf832005-06-21 12:43:18 -07001853
Robert Olsson06ef9212006-03-20 21:35:01 -08001854 max = MAX_STAT_DEPTH;
1855 while (max > 0 && stat->nodesizes[max-1] == 0)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001856 max--;
Robert Olsson19baf832005-06-21 12:43:18 -07001857
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001858 pointers = 0;
Jerry Snitselaarf585a992013-07-22 12:01:58 -07001859 for (i = 1; i < max; i++)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001860 if (stat->nodesizes[i] != 0) {
Stephen Hemminger187b5182008-01-12 20:55:55 -08001861 seq_printf(seq, " %u: %u", i, stat->nodesizes[i]);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001862 pointers += (1<<i) * stat->nodesizes[i];
1863 }
1864 seq_putc(seq, '\n');
Stephen Hemminger187b5182008-01-12 20:55:55 -08001865 seq_printf(seq, "\tPointers: %u\n", pointers);
Robert Olsson19baf832005-06-21 12:43:18 -07001866
Alexander Duyckadaf9812014-12-31 10:55:47 -08001867 bytes += sizeof(struct tnode *) * pointers;
Stephen Hemminger187b5182008-01-12 20:55:55 -08001868 seq_printf(seq, "Null ptrs: %u\n", stat->nullpointers);
1869 seq_printf(seq, "Total size: %u kB\n", (bytes + 1023) / 1024);
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08001870}
Robert Olsson19baf832005-06-21 12:43:18 -07001871
1872#ifdef CONFIG_IP_FIB_TRIE_STATS
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08001873static void trie_show_usage(struct seq_file *seq,
Alexander Duyck8274a972014-12-31 10:55:29 -08001874 const struct trie_use_stats __percpu *stats)
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08001875{
Alexander Duyck8274a972014-12-31 10:55:29 -08001876 struct trie_use_stats s = { 0 };
1877 int cpu;
1878
1879 /* loop through all of the CPUs and gather up the stats */
1880 for_each_possible_cpu(cpu) {
1881 const struct trie_use_stats *pcpu = per_cpu_ptr(stats, cpu);
1882
1883 s.gets += pcpu->gets;
1884 s.backtrack += pcpu->backtrack;
1885 s.semantic_match_passed += pcpu->semantic_match_passed;
1886 s.semantic_match_miss += pcpu->semantic_match_miss;
1887 s.null_node_hit += pcpu->null_node_hit;
1888 s.resize_node_skipped += pcpu->resize_node_skipped;
1889 }
1890
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08001891 seq_printf(seq, "\nCounters:\n---------\n");
Alexander Duyck8274a972014-12-31 10:55:29 -08001892 seq_printf(seq, "gets = %u\n", s.gets);
1893 seq_printf(seq, "backtracks = %u\n", s.backtrack);
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08001894 seq_printf(seq, "semantic match passed = %u\n",
Alexander Duyck8274a972014-12-31 10:55:29 -08001895 s.semantic_match_passed);
1896 seq_printf(seq, "semantic match miss = %u\n", s.semantic_match_miss);
1897 seq_printf(seq, "null node hit= %u\n", s.null_node_hit);
1898 seq_printf(seq, "skipped node resize = %u\n\n", s.resize_node_skipped);
Robert Olsson19baf832005-06-21 12:43:18 -07001899}
Stephen Hemminger66a2f7f2008-01-12 21:23:17 -08001900#endif /* CONFIG_IP_FIB_TRIE_STATS */
1901
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001902static void fib_table_print(struct seq_file *seq, struct fib_table *tb)
Stephen Hemmingerd717a9a2008-01-14 23:11:54 -08001903{
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001904 if (tb->tb_id == RT_TABLE_LOCAL)
1905 seq_puts(seq, "Local:\n");
1906 else if (tb->tb_id == RT_TABLE_MAIN)
1907 seq_puts(seq, "Main:\n");
1908 else
1909 seq_printf(seq, "Id %d:\n", tb->tb_id);
Stephen Hemmingerd717a9a2008-01-14 23:11:54 -08001910}
Robert Olsson19baf832005-06-21 12:43:18 -07001911
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001912
Robert Olsson19baf832005-06-21 12:43:18 -07001913static int fib_triestat_seq_show(struct seq_file *seq, void *v)
1914{
Denis V. Lunev1c340b22008-01-10 03:27:17 -08001915 struct net *net = (struct net *)seq->private;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001916 unsigned int h;
Eric W. Biederman877a9bf2007-12-07 00:47:47 -08001917
Stephen Hemmingerd717a9a2008-01-14 23:11:54 -08001918 seq_printf(seq,
Stephen Hemmingera07f5f52008-01-22 21:53:36 -08001919 "Basic info: size of leaf:"
1920 " %Zd bytes, size of tnode: %Zd bytes.\n",
Alexander Duyckadaf9812014-12-31 10:55:47 -08001921 sizeof(struct tnode), sizeof(struct tnode));
Olof Johansson91b9a272005-08-09 20:24:39 -07001922
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001923 for (h = 0; h < FIB_TABLE_HASHSZ; h++) {
1924 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001925 struct fib_table *tb;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001926
Sasha Levinb67bfe02013-02-27 17:06:00 -08001927 hlist_for_each_entry_rcu(tb, head, tb_hlist) {
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001928 struct trie *t = (struct trie *) tb->tb_data;
1929 struct trie_stat stat;
1930
1931 if (!t)
1932 continue;
1933
1934 fib_table_print(seq, tb);
1935
1936 trie_collect_stats(t, &stat);
1937 trie_show_stats(seq, &stat);
1938#ifdef CONFIG_IP_FIB_TRIE_STATS
Alexander Duyck8274a972014-12-31 10:55:29 -08001939 trie_show_usage(seq, t->stats);
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001940#endif
1941 }
1942 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001943
Robert Olsson19baf832005-06-21 12:43:18 -07001944 return 0;
1945}
1946
Robert Olsson19baf832005-06-21 12:43:18 -07001947static int fib_triestat_seq_open(struct inode *inode, struct file *file)
1948{
Pavel Emelyanovde05c552008-07-18 04:07:21 -07001949 return single_open_net(inode, file, fib_triestat_seq_show);
Denis V. Lunev1c340b22008-01-10 03:27:17 -08001950}
1951
Arjan van de Ven9a321442007-02-12 00:55:35 -08001952static const struct file_operations fib_triestat_fops = {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001953 .owner = THIS_MODULE,
1954 .open = fib_triestat_seq_open,
1955 .read = seq_read,
1956 .llseek = seq_lseek,
Pavel Emelyanovb6fcbdb2008-07-18 04:07:44 -07001957 .release = single_release_net,
Robert Olsson19baf832005-06-21 12:43:18 -07001958};
1959
Alexander Duyckadaf9812014-12-31 10:55:47 -08001960static struct tnode *fib_trie_get_idx(struct seq_file *seq, loff_t pos)
Robert Olsson19baf832005-06-21 12:43:18 -07001961{
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09001962 struct fib_trie_iter *iter = seq->private;
1963 struct net *net = seq_file_net(seq);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001964 loff_t idx = 0;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001965 unsigned int h;
Robert Olsson19baf832005-06-21 12:43:18 -07001966
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001967 for (h = 0; h < FIB_TABLE_HASHSZ; h++) {
1968 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001969 struct fib_table *tb;
1970
Sasha Levinb67bfe02013-02-27 17:06:00 -08001971 hlist_for_each_entry_rcu(tb, head, tb_hlist) {
Alexander Duyckadaf9812014-12-31 10:55:47 -08001972 struct tnode *n;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001973
1974 for (n = fib_trie_get_first(iter,
1975 (struct trie *) tb->tb_data);
1976 n; n = fib_trie_get_next(iter))
1977 if (pos == idx++) {
1978 iter->tb = tb;
1979 return n;
1980 }
1981 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001982 }
Robert Olsson19baf832005-06-21 12:43:18 -07001983
Robert Olsson19baf832005-06-21 12:43:18 -07001984 return NULL;
1985}
1986
1987static void *fib_trie_seq_start(struct seq_file *seq, loff_t *pos)
Stephen Hemmingerc95aaf92008-01-12 21:25:02 -08001988 __acquires(RCU)
Robert Olsson19baf832005-06-21 12:43:18 -07001989{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001990 rcu_read_lock();
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09001991 return fib_trie_get_idx(seq, *pos);
Robert Olsson19baf832005-06-21 12:43:18 -07001992}
1993
1994static void *fib_trie_seq_next(struct seq_file *seq, void *v, loff_t *pos)
1995{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001996 struct fib_trie_iter *iter = seq->private;
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09001997 struct net *net = seq_file_net(seq);
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07001998 struct fib_table *tb = iter->tb;
1999 struct hlist_node *tb_node;
2000 unsigned int h;
Alexander Duyckadaf9812014-12-31 10:55:47 -08002001 struct tnode *n;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002002
Robert Olsson19baf832005-06-21 12:43:18 -07002003 ++*pos;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002004 /* next node in same table */
2005 n = fib_trie_get_next(iter);
2006 if (n)
2007 return n;
Olof Johansson91b9a272005-08-09 20:24:39 -07002008
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002009 /* walk rest of this hash chain */
2010 h = tb->tb_id & (FIB_TABLE_HASHSZ - 1);
Eric Dumazet0a5c0472011-03-31 01:51:35 -07002011 while ((tb_node = rcu_dereference(hlist_next_rcu(&tb->tb_hlist)))) {
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002012 tb = hlist_entry(tb_node, struct fib_table, tb_hlist);
2013 n = fib_trie_get_first(iter, (struct trie *) tb->tb_data);
2014 if (n)
2015 goto found;
2016 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002017
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002018 /* new hash chain */
2019 while (++h < FIB_TABLE_HASHSZ) {
2020 struct hlist_head *head = &net->ipv4.fib_table_hash[h];
Sasha Levinb67bfe02013-02-27 17:06:00 -08002021 hlist_for_each_entry_rcu(tb, head, tb_hlist) {
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002022 n = fib_trie_get_first(iter, (struct trie *) tb->tb_data);
2023 if (n)
2024 goto found;
2025 }
2026 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002027 return NULL;
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002028
2029found:
2030 iter->tb = tb;
2031 return n;
Robert Olsson19baf832005-06-21 12:43:18 -07002032}
2033
2034static void fib_trie_seq_stop(struct seq_file *seq, void *v)
Stephen Hemmingerc95aaf92008-01-12 21:25:02 -08002035 __releases(RCU)
Robert Olsson19baf832005-06-21 12:43:18 -07002036{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002037 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002038}
2039
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002040static void seq_indent(struct seq_file *seq, int n)
2041{
Eric Dumazeta034ee32010-09-09 23:32:28 +00002042 while (n-- > 0)
2043 seq_puts(seq, " ");
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002044}
Robert Olsson19baf832005-06-21 12:43:18 -07002045
Eric Dumazet28d36e32008-01-14 23:09:56 -08002046static inline const char *rtn_scope(char *buf, size_t len, enum rt_scope_t s)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002047{
Stephen Hemminger132adf52007-03-08 20:44:43 -08002048 switch (s) {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002049 case RT_SCOPE_UNIVERSE: return "universe";
2050 case RT_SCOPE_SITE: return "site";
2051 case RT_SCOPE_LINK: return "link";
2052 case RT_SCOPE_HOST: return "host";
2053 case RT_SCOPE_NOWHERE: return "nowhere";
2054 default:
Eric Dumazet28d36e32008-01-14 23:09:56 -08002055 snprintf(buf, len, "scope=%d", s);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002056 return buf;
2057 }
2058}
2059
Jan Engelhardt36cbd3d2009-08-05 10:42:58 -07002060static const char *const rtn_type_names[__RTN_MAX] = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002061 [RTN_UNSPEC] = "UNSPEC",
2062 [RTN_UNICAST] = "UNICAST",
2063 [RTN_LOCAL] = "LOCAL",
2064 [RTN_BROADCAST] = "BROADCAST",
2065 [RTN_ANYCAST] = "ANYCAST",
2066 [RTN_MULTICAST] = "MULTICAST",
2067 [RTN_BLACKHOLE] = "BLACKHOLE",
2068 [RTN_UNREACHABLE] = "UNREACHABLE",
2069 [RTN_PROHIBIT] = "PROHIBIT",
2070 [RTN_THROW] = "THROW",
2071 [RTN_NAT] = "NAT",
2072 [RTN_XRESOLVE] = "XRESOLVE",
2073};
2074
Eric Dumazeta034ee32010-09-09 23:32:28 +00002075static inline const char *rtn_type(char *buf, size_t len, unsigned int t)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002076{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002077 if (t < __RTN_MAX && rtn_type_names[t])
2078 return rtn_type_names[t];
Eric Dumazet28d36e32008-01-14 23:09:56 -08002079 snprintf(buf, len, "type %u", t);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002080 return buf;
2081}
2082
2083/* Pretty print the trie */
Robert Olsson19baf832005-06-21 12:43:18 -07002084static int fib_trie_seq_show(struct seq_file *seq, void *v)
2085{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002086 const struct fib_trie_iter *iter = seq->private;
Alexander Duyckadaf9812014-12-31 10:55:47 -08002087 struct tnode *n = v;
Robert Olsson19baf832005-06-21 12:43:18 -07002088
Stephen Hemminger3d3b2d22008-03-23 22:43:56 -07002089 if (!node_parent_rcu(n))
2090 fib_table_print(seq, iter->tb);
Robert Olsson095b8502007-01-26 19:06:01 -08002091
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002092 if (IS_TNODE(n)) {
Alexander Duyckadaf9812014-12-31 10:55:47 -08002093 __be32 prf = htonl(n->key);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002094
Alexander Duycke9b44012014-12-31 10:56:12 -08002095 seq_indent(seq, iter->depth-1);
2096 seq_printf(seq, " +-- %pI4/%zu %u %u %u\n",
2097 &prf, KEYLENGTH - n->pos - n->bits, n->bits,
2098 n->full_children, n->empty_children);
Olof Johansson91b9a272005-08-09 20:24:39 -07002099 } else {
Alexander Duyckadaf9812014-12-31 10:55:47 -08002100 __be32 val = htonl(n->key);
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002101 struct fib_alias *fa;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002102
2103 seq_indent(seq, iter->depth);
Harvey Harrison673d57e2008-10-31 00:53:57 -07002104 seq_printf(seq, " |-- %pI4\n", &val);
Eric Dumazet28d36e32008-01-14 23:09:56 -08002105
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002106 hlist_for_each_entry_rcu(fa, &n->leaf, fa_list) {
2107 char buf1[32], buf2[32];
Eric Dumazet28d36e32008-01-14 23:09:56 -08002108
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002109 seq_indent(seq, iter->depth + 1);
2110 seq_printf(seq, " /%zu %s %s",
2111 KEYLENGTH - fa->fa_slen,
2112 rtn_scope(buf1, sizeof(buf1),
2113 fa->fa_info->fib_scope),
2114 rtn_type(buf2, sizeof(buf2),
2115 fa->fa_type));
2116 if (fa->fa_tos)
2117 seq_printf(seq, " tos=%d", fa->fa_tos);
2118 seq_putc(seq, '\n');
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002119 }
Robert Olsson19baf832005-06-21 12:43:18 -07002120 }
2121
2122 return 0;
2123}
2124
Stephen Hemmingerf6908082007-03-12 14:34:29 -07002125static const struct seq_operations fib_trie_seq_ops = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002126 .start = fib_trie_seq_start,
2127 .next = fib_trie_seq_next,
2128 .stop = fib_trie_seq_stop,
2129 .show = fib_trie_seq_show,
Robert Olsson19baf832005-06-21 12:43:18 -07002130};
2131
2132static int fib_trie_seq_open(struct inode *inode, struct file *file)
2133{
Denis V. Lunev1c340b22008-01-10 03:27:17 -08002134 return seq_open_net(inode, file, &fib_trie_seq_ops,
2135 sizeof(struct fib_trie_iter));
Robert Olsson19baf832005-06-21 12:43:18 -07002136}
2137
Arjan van de Ven9a321442007-02-12 00:55:35 -08002138static const struct file_operations fib_trie_fops = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002139 .owner = THIS_MODULE,
2140 .open = fib_trie_seq_open,
2141 .read = seq_read,
2142 .llseek = seq_lseek,
Denis V. Lunev1c340b22008-01-10 03:27:17 -08002143 .release = seq_release_net,
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002144};
2145
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002146struct fib_route_iter {
2147 struct seq_net_private p;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002148 struct fib_table *main_tb;
2149 struct tnode *tnode;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002150 loff_t pos;
2151 t_key key;
2152};
2153
Alexander Duyckadaf9812014-12-31 10:55:47 -08002154static struct tnode *fib_route_get_idx(struct fib_route_iter *iter, loff_t pos)
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002155{
Alexander Duyck8be33e92015-03-04 14:59:19 -08002156 struct fib_table *tb = iter->main_tb;
2157 struct tnode *l, **tp = &iter->tnode;
2158 struct trie *t;
2159 t_key key;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002160
Alexander Duyck8be33e92015-03-04 14:59:19 -08002161 /* use cache location of next-to-find key */
2162 if (iter->pos > 0 && pos >= iter->pos) {
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002163 pos -= iter->pos;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002164 key = iter->key;
2165 } else {
2166 t = (struct trie *)tb->tb_data;
2167 iter->tnode = rcu_dereference_rtnl(t->trie);
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002168 iter->pos = 0;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002169 key = 0;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002170 }
2171
Alexander Duyck8be33e92015-03-04 14:59:19 -08002172 while ((l = leaf_walk_rcu(tp, key)) != NULL) {
2173 key = l->key + 1;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002174 iter->pos++;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002175
2176 if (pos-- <= 0)
2177 break;
2178
2179 l = NULL;
2180
2181 /* handle unlikely case of a key wrap */
2182 if (!key)
2183 break;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002184 }
2185
2186 if (l)
Alexander Duyck8be33e92015-03-04 14:59:19 -08002187 iter->key = key; /* remember it */
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002188 else
2189 iter->pos = 0; /* forget it */
2190
2191 return l;
2192}
2193
2194static void *fib_route_seq_start(struct seq_file *seq, loff_t *pos)
2195 __acquires(RCU)
2196{
2197 struct fib_route_iter *iter = seq->private;
2198 struct fib_table *tb;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002199 struct trie *t;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002200
2201 rcu_read_lock();
Alexander Duyck8be33e92015-03-04 14:59:19 -08002202
YOSHIFUJI Hideaki12188542008-03-26 02:36:06 +09002203 tb = fib_get_table(seq_file_net(seq), RT_TABLE_MAIN);
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002204 if (!tb)
2205 return NULL;
2206
Alexander Duyck8be33e92015-03-04 14:59:19 -08002207 iter->main_tb = tb;
2208
2209 if (*pos != 0)
2210 return fib_route_get_idx(iter, *pos);
2211
2212 t = (struct trie *)tb->tb_data;
2213 iter->tnode = rcu_dereference_rtnl(t->trie);
2214 iter->pos = 0;
2215 iter->key = 0;
2216
2217 return SEQ_START_TOKEN;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002218}
2219
2220static void *fib_route_seq_next(struct seq_file *seq, void *v, loff_t *pos)
2221{
2222 struct fib_route_iter *iter = seq->private;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002223 struct tnode *l = NULL;
2224 t_key key = iter->key;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002225
2226 ++*pos;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002227
2228 /* only allow key of 0 for start of sequence */
2229 if ((v == SEQ_START_TOKEN) || key)
2230 l = leaf_walk_rcu(&iter->tnode, key);
2231
2232 if (l) {
2233 iter->key = l->key + 1;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002234 iter->pos++;
Alexander Duyck8be33e92015-03-04 14:59:19 -08002235 } else {
2236 iter->pos = 0;
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002237 }
2238
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002239 return l;
2240}
2241
2242static void fib_route_seq_stop(struct seq_file *seq, void *v)
2243 __releases(RCU)
2244{
2245 rcu_read_unlock();
2246}
2247
Eric Dumazeta034ee32010-09-09 23:32:28 +00002248static unsigned int fib_flag_trans(int type, __be32 mask, const struct fib_info *fi)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002249{
Eric Dumazeta034ee32010-09-09 23:32:28 +00002250 unsigned int flags = 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002251
Eric Dumazeta034ee32010-09-09 23:32:28 +00002252 if (type == RTN_UNREACHABLE || type == RTN_PROHIBIT)
2253 flags = RTF_REJECT;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002254 if (fi && fi->fib_nh->nh_gw)
2255 flags |= RTF_GATEWAY;
Al Viro32ab5f82006-09-26 22:21:45 -07002256 if (mask == htonl(0xFFFFFFFF))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002257 flags |= RTF_HOST;
2258 flags |= RTF_UP;
2259 return flags;
2260}
2261
2262/*
2263 * This outputs /proc/net/route.
2264 * The format of the file is not supposed to be changed
Eric Dumazeta034ee32010-09-09 23:32:28 +00002265 * and needs to be same as fib_hash output to avoid breaking
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002266 * legacy utilities
2267 */
2268static int fib_route_seq_show(struct seq_file *seq, void *v)
2269{
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002270 struct fib_alias *fa;
Alexander Duyckadaf9812014-12-31 10:55:47 -08002271 struct tnode *l = v;
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08002272 __be32 prefix;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002273
2274 if (v == SEQ_START_TOKEN) {
2275 seq_printf(seq, "%-127s\n", "Iface\tDestination\tGateway "
2276 "\tFlags\tRefCnt\tUse\tMetric\tMask\t\tMTU"
2277 "\tWindow\tIRTT");
2278 return 0;
2279 }
2280
Alexander Duyck9b6ebad2015-02-25 15:31:44 -08002281 prefix = htonl(l->key);
2282
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002283 hlist_for_each_entry_rcu(fa, &l->leaf, fa_list) {
2284 const struct fib_info *fi = fa->fa_info;
2285 __be32 mask = inet_make_mask(KEYLENGTH - fa->fa_slen);
2286 unsigned int flags = fib_flag_trans(fa->fa_type, mask, fi);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002287
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002288 if ((fa->fa_type == RTN_BROADCAST) ||
2289 (fa->fa_type == RTN_MULTICAST))
2290 continue;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002291
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002292 seq_setwidth(seq, 127);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002293
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002294 if (fi)
2295 seq_printf(seq,
2296 "%s\t%08X\t%08X\t%04X\t%d\t%u\t"
2297 "%d\t%08X\t%d\t%u\t%u",
2298 fi->fib_dev ? fi->fib_dev->name : "*",
2299 prefix,
2300 fi->fib_nh->nh_gw, flags, 0, 0,
2301 fi->fib_priority,
2302 mask,
2303 (fi->fib_advmss ?
2304 fi->fib_advmss + 40 : 0),
2305 fi->fib_window,
2306 fi->fib_rtt >> 3);
2307 else
2308 seq_printf(seq,
2309 "*\t%08X\t%08X\t%04X\t%d\t%u\t"
2310 "%d\t%08X\t%d\t%u\t%u",
2311 prefix, 0, flags, 0, 0, 0,
2312 mask, 0, 0, 0);
Tetsuo Handa652586d2013-11-14 14:31:57 -08002313
Alexander Duyck79e5ad22015-02-25 15:31:51 -08002314 seq_pad(seq, '\n');
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002315 }
2316
2317 return 0;
2318}
2319
Stephen Hemmingerf6908082007-03-12 14:34:29 -07002320static const struct seq_operations fib_route_seq_ops = {
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002321 .start = fib_route_seq_start,
2322 .next = fib_route_seq_next,
2323 .stop = fib_route_seq_stop,
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002324 .show = fib_route_seq_show,
2325};
2326
2327static int fib_route_seq_open(struct inode *inode, struct file *file)
2328{
Denis V. Lunev1c340b22008-01-10 03:27:17 -08002329 return seq_open_net(inode, file, &fib_route_seq_ops,
Stephen Hemminger8315f5d2008-02-11 21:14:39 -08002330 sizeof(struct fib_route_iter));
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002331}
2332
Arjan van de Ven9a321442007-02-12 00:55:35 -08002333static const struct file_operations fib_route_fops = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002334 .owner = THIS_MODULE,
2335 .open = fib_route_seq_open,
2336 .read = seq_read,
2337 .llseek = seq_lseek,
Denis V. Lunev1c340b22008-01-10 03:27:17 -08002338 .release = seq_release_net,
Robert Olsson19baf832005-06-21 12:43:18 -07002339};
2340
Denis V. Lunev61a02652008-01-10 03:21:09 -08002341int __net_init fib_proc_init(struct net *net)
Robert Olsson19baf832005-06-21 12:43:18 -07002342{
Gao fengd4beaa62013-02-18 01:34:54 +00002343 if (!proc_create("fib_trie", S_IRUGO, net->proc_net, &fib_trie_fops))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002344 goto out1;
2345
Gao fengd4beaa62013-02-18 01:34:54 +00002346 if (!proc_create("fib_triestat", S_IRUGO, net->proc_net,
2347 &fib_triestat_fops))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002348 goto out2;
2349
Gao fengd4beaa62013-02-18 01:34:54 +00002350 if (!proc_create("route", S_IRUGO, net->proc_net, &fib_route_fops))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002351 goto out3;
2352
Robert Olsson19baf832005-06-21 12:43:18 -07002353 return 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002354
2355out3:
Gao fengece31ff2013-02-18 01:34:56 +00002356 remove_proc_entry("fib_triestat", net->proc_net);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002357out2:
Gao fengece31ff2013-02-18 01:34:56 +00002358 remove_proc_entry("fib_trie", net->proc_net);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002359out1:
2360 return -ENOMEM;
Robert Olsson19baf832005-06-21 12:43:18 -07002361}
2362
Denis V. Lunev61a02652008-01-10 03:21:09 -08002363void __net_exit fib_proc_exit(struct net *net)
Robert Olsson19baf832005-06-21 12:43:18 -07002364{
Gao fengece31ff2013-02-18 01:34:56 +00002365 remove_proc_entry("fib_trie", net->proc_net);
2366 remove_proc_entry("fib_triestat", net->proc_net);
2367 remove_proc_entry("route", net->proc_net);
Robert Olsson19baf832005-06-21 12:43:18 -07002368}
2369
2370#endif /* CONFIG_PROC_FS */