blob: 214c34732e84caa9ad6a7f44c3ede03ad769d977 [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 *
15 * This work is based on the LPC-trie which is originally descibed 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.
19 * http://www.nada.kth.se/~snilsson/public/papers/dyntrie2/
20 *
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 *
25 * Version: $Id: fib_trie.c,v 1.3 2005/06/08 14:20:01 robert Exp $
26 *
27 *
28 * Code from fib_hash has been reused which includes the following header:
29 *
30 *
31 * INET An implementation of the TCP/IP protocol suite for the LINUX
32 * operating system. INET is implemented using the BSD Socket
33 * interface as the means of communication with the user level.
34 *
35 * IPv4 FIB: lookup engine and maintenance routines.
36 *
37 *
38 * Authors: Alexey Kuznetsov, <kuznet@ms2.inr.ac.ru>
39 *
40 * This program is free software; you can redistribute it and/or
41 * modify it under the terms of the GNU General Public License
42 * as published by the Free Software Foundation; either version
43 * 2 of the License, or (at your option) any later version.
Robert Olssonfd966252005-12-22 11:25:10 -080044 *
45 * Substantial contributions to this work comes from:
46 *
47 * David S. Miller, <davem@davemloft.net>
48 * Stephen Hemminger <shemminger@osdl.org>
49 * Paul E. McKenney <paulmck@us.ibm.com>
50 * Patrick McHardy <kaber@trash.net>
Robert Olsson19baf832005-06-21 12:43:18 -070051 */
52
Robert Olsson550e29b2006-04-04 12:53:35 -070053#define VERSION "0.407"
Robert Olsson19baf832005-06-21 12:43:18 -070054
Robert Olsson19baf832005-06-21 12:43:18 -070055#include <asm/uaccess.h>
56#include <asm/system.h>
57#include <asm/bitops.h>
58#include <linux/types.h>
59#include <linux/kernel.h>
Robert Olsson19baf832005-06-21 12:43:18 -070060#include <linux/mm.h>
61#include <linux/string.h>
62#include <linux/socket.h>
63#include <linux/sockios.h>
64#include <linux/errno.h>
65#include <linux/in.h>
66#include <linux/inet.h>
Stephen Hemmingercd8787a2006-01-03 14:38:34 -080067#include <linux/inetdevice.h>
Robert Olsson19baf832005-06-21 12:43:18 -070068#include <linux/netdevice.h>
69#include <linux/if_arp.h>
70#include <linux/proc_fs.h>
Robert Olsson2373ce12005-08-25 13:01:29 -070071#include <linux/rcupdate.h>
Robert Olsson19baf832005-06-21 12:43:18 -070072#include <linux/skbuff.h>
73#include <linux/netlink.h>
74#include <linux/init.h>
75#include <linux/list.h>
76#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
84#undef CONFIG_IP_FIB_TRIE_STATS
Robert Olsson06ef9212006-03-20 21:35:01 -080085#define MAX_STAT_DEPTH 32
Robert Olsson19baf832005-06-21 12:43:18 -070086
Robert Olsson19baf832005-06-21 12:43:18 -070087#define KEYLENGTH (8*sizeof(t_key))
88#define MASK_PFX(k, l) (((l)==0)?0:(k >> (KEYLENGTH-l)) << (KEYLENGTH-l))
89#define TKEY_GET_MASK(offset, bits) (((bits)==0)?0:((t_key)(-1) << (KEYLENGTH - bits) >> offset))
90
Robert Olsson19baf832005-06-21 12:43:18 -070091typedef unsigned int t_key;
92
93#define T_TNODE 0
94#define T_LEAF 1
95#define NODE_TYPE_MASK 0x1UL
Olof Johansson91b9a272005-08-09 20:24:39 -070096#define NODE_PARENT(node) \
Robert Olsson2373ce12005-08-25 13:01:29 -070097 ((struct tnode *)rcu_dereference(((node)->parent & ~NODE_TYPE_MASK)))
98
99#define NODE_TYPE(node) ((node)->parent & NODE_TYPE_MASK)
100
101#define NODE_SET_PARENT(node, ptr) \
102 rcu_assign_pointer((node)->parent, \
103 ((unsigned long)(ptr)) | NODE_TYPE(node))
Robert Olsson19baf832005-06-21 12:43:18 -0700104
Olof Johansson91b9a272005-08-09 20:24:39 -0700105#define IS_TNODE(n) (!(n->parent & T_LEAF))
106#define IS_LEAF(n) (n->parent & T_LEAF)
Robert Olsson19baf832005-06-21 12:43:18 -0700107
108struct node {
Olof Johansson91b9a272005-08-09 20:24:39 -0700109 t_key key;
110 unsigned long parent;
Robert Olsson19baf832005-06-21 12:43:18 -0700111};
112
113struct leaf {
Olof Johansson91b9a272005-08-09 20:24:39 -0700114 t_key key;
115 unsigned long parent;
Robert Olsson19baf832005-06-21 12:43:18 -0700116 struct hlist_head list;
Robert Olsson2373ce12005-08-25 13:01:29 -0700117 struct rcu_head rcu;
Robert Olsson19baf832005-06-21 12:43:18 -0700118};
119
120struct leaf_info {
121 struct hlist_node hlist;
Robert Olsson2373ce12005-08-25 13:01:29 -0700122 struct rcu_head rcu;
Robert Olsson19baf832005-06-21 12:43:18 -0700123 int plen;
124 struct list_head falh;
125};
126
127struct tnode {
Olof Johansson91b9a272005-08-09 20:24:39 -0700128 t_key key;
129 unsigned long parent;
130 unsigned short pos:5; /* 2log(KEYLENGTH) bits needed */
131 unsigned short bits:5; /* 2log(KEYLENGTH) bits needed */
132 unsigned short full_children; /* KEYLENGTH bits needed */
133 unsigned short empty_children; /* KEYLENGTH bits needed */
Robert Olsson2373ce12005-08-25 13:01:29 -0700134 struct rcu_head rcu;
Olof Johansson91b9a272005-08-09 20:24:39 -0700135 struct node *child[0];
Robert Olsson19baf832005-06-21 12:43:18 -0700136};
137
138#ifdef CONFIG_IP_FIB_TRIE_STATS
139struct trie_use_stats {
140 unsigned int gets;
141 unsigned int backtrack;
142 unsigned int semantic_match_passed;
143 unsigned int semantic_match_miss;
144 unsigned int null_node_hit;
Robert Olsson2f368952005-07-05 15:02:40 -0700145 unsigned int resize_node_skipped;
Robert Olsson19baf832005-06-21 12:43:18 -0700146};
147#endif
148
149struct trie_stat {
150 unsigned int totdepth;
151 unsigned int maxdepth;
152 unsigned int tnodes;
153 unsigned int leaves;
154 unsigned int nullpointers;
Robert Olsson06ef9212006-03-20 21:35:01 -0800155 unsigned int nodesizes[MAX_STAT_DEPTH];
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700156};
Robert Olsson19baf832005-06-21 12:43:18 -0700157
158struct trie {
Olof Johansson91b9a272005-08-09 20:24:39 -0700159 struct node *trie;
Robert Olsson19baf832005-06-21 12:43:18 -0700160#ifdef CONFIG_IP_FIB_TRIE_STATS
161 struct trie_use_stats stats;
162#endif
Olof Johansson91b9a272005-08-09 20:24:39 -0700163 int size;
Robert Olsson19baf832005-06-21 12:43:18 -0700164 unsigned int revision;
165};
166
Robert Olsson19baf832005-06-21 12:43:18 -0700167static void put_child(struct trie *t, struct tnode *tn, int i, struct node *n);
168static void tnode_put_child_reorg(struct tnode *tn, int i, struct node *n, int wasfull);
Robert Olsson19baf832005-06-21 12:43:18 -0700169static struct node *resize(struct trie *t, struct tnode *tn);
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700170static struct tnode *inflate(struct trie *t, struct tnode *tn);
171static struct tnode *halve(struct trie *t, struct tnode *tn);
Robert Olsson19baf832005-06-21 12:43:18 -0700172static void tnode_free(struct tnode *tn);
Robert Olsson19baf832005-06-21 12:43:18 -0700173
Christoph Lametere18b8902006-12-06 20:33:20 -0800174static struct kmem_cache *fn_alias_kmem __read_mostly;
Robert Olsson19baf832005-06-21 12:43:18 -0700175static struct trie *trie_local = NULL, *trie_main = NULL;
176
Robert Olsson2373ce12005-08-25 13:01:29 -0700177
178/* rcu_read_lock needs to be hold by caller from readside */
179
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700180static inline struct node *tnode_get_child(struct tnode *tn, int i)
Robert Olsson19baf832005-06-21 12:43:18 -0700181{
Olof Johansson91b9a272005-08-09 20:24:39 -0700182 BUG_ON(i >= 1 << tn->bits);
Robert Olsson19baf832005-06-21 12:43:18 -0700183
Robert Olsson2373ce12005-08-25 13:01:29 -0700184 return rcu_dereference(tn->child[i]);
Robert Olsson19baf832005-06-21 12:43:18 -0700185}
186
Stephen Hemmignerbb435b82005-08-09 20:25:39 -0700187static inline int tnode_child_length(const struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700188{
Olof Johansson91b9a272005-08-09 20:24:39 -0700189 return 1 << tn->bits;
Robert Olsson19baf832005-06-21 12:43:18 -0700190}
191
Robert Olsson19baf832005-06-21 12:43:18 -0700192static inline t_key tkey_extract_bits(t_key a, int offset, int bits)
193{
Olof Johansson91b9a272005-08-09 20:24:39 -0700194 if (offset < KEYLENGTH)
Robert Olsson19baf832005-06-21 12:43:18 -0700195 return ((t_key)(a << offset)) >> (KEYLENGTH - bits);
Olof Johansson91b9a272005-08-09 20:24:39 -0700196 else
Robert Olsson19baf832005-06-21 12:43:18 -0700197 return 0;
198}
199
200static inline int tkey_equals(t_key a, t_key b)
201{
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700202 return a == b;
Robert Olsson19baf832005-06-21 12:43:18 -0700203}
204
205static inline int tkey_sub_equals(t_key a, int offset, int bits, t_key b)
206{
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700207 if (bits == 0 || offset >= KEYLENGTH)
208 return 1;
Olof Johansson91b9a272005-08-09 20:24:39 -0700209 bits = bits > KEYLENGTH ? KEYLENGTH : bits;
210 return ((a ^ b) << offset) >> (KEYLENGTH - bits) == 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700211}
Robert Olsson19baf832005-06-21 12:43:18 -0700212
213static inline int tkey_mismatch(t_key a, int offset, t_key b)
214{
215 t_key diff = a ^ b;
216 int i = offset;
217
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700218 if (!diff)
219 return 0;
220 while ((diff << i) >> (KEYLENGTH-1) == 0)
Robert Olsson19baf832005-06-21 12:43:18 -0700221 i++;
222 return i;
223}
224
Robert Olsson19baf832005-06-21 12:43:18 -0700225/*
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900226 To understand this stuff, an understanding of keys and all their bits is
227 necessary. Every node in the trie has a key associated with it, but not
Robert Olsson19baf832005-06-21 12:43:18 -0700228 all of the bits in that key are significant.
229
230 Consider a node 'n' and its parent 'tp'.
231
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900232 If n is a leaf, every bit in its key is significant. Its presence is
233 necessitated by path compression, since during a tree traversal (when
234 searching for a leaf - unless we are doing an insertion) we will completely
235 ignore all skipped bits we encounter. Thus we need to verify, at the end of
236 a potentially successful search, that we have indeed been walking the
Robert Olsson19baf832005-06-21 12:43:18 -0700237 correct key path.
238
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900239 Note that we can never "miss" the correct key in the tree if present by
240 following the wrong path. Path compression ensures that segments of the key
241 that are the same for all keys with a given prefix are skipped, but the
242 skipped part *is* identical for each node in the subtrie below the skipped
243 bit! trie_insert() in this implementation takes care of that - note the
Robert Olsson19baf832005-06-21 12:43:18 -0700244 call to tkey_sub_equals() in trie_insert().
245
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900246 if n is an internal node - a 'tnode' here, the various parts of its key
Robert Olsson19baf832005-06-21 12:43:18 -0700247 have many different meanings.
248
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900249 Example:
Robert Olsson19baf832005-06-21 12:43:18 -0700250 _________________________________________________________________
251 | i | i | i | i | i | i | i | N | N | N | S | S | S | S | S | C |
252 -----------------------------------------------------------------
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900253 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Robert Olsson19baf832005-06-21 12:43:18 -0700254
255 _________________________________________________________________
256 | C | C | C | u | u | u | u | u | u | u | u | u | u | u | u | u |
257 -----------------------------------------------------------------
258 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
259
260 tp->pos = 7
261 tp->bits = 3
262 n->pos = 15
Olof Johansson91b9a272005-08-09 20:24:39 -0700263 n->bits = 4
Robert Olsson19baf832005-06-21 12:43:18 -0700264
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900265 First, let's just ignore the bits that come before the parent tp, that is
266 the bits from 0 to (tp->pos-1). They are *known* but at this point we do
Robert Olsson19baf832005-06-21 12:43:18 -0700267 not use them for anything.
268
269 The bits from (tp->pos) to (tp->pos + tp->bits - 1) - "N", above - are the
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900270 index into the parent's child array. That is, they will be used to find
Robert Olsson19baf832005-06-21 12:43:18 -0700271 'n' among tp's children.
272
273 The bits from (tp->pos + tp->bits) to (n->pos - 1) - "S" - are skipped bits
274 for the node n.
275
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900276 All the bits we have seen so far are significant to the node n. The rest
Robert Olsson19baf832005-06-21 12:43:18 -0700277 of the bits are really not needed or indeed known in n->key.
278
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900279 The bits from (n->pos) to (n->pos + n->bits - 1) - "C" - are the index into
Robert Olsson19baf832005-06-21 12:43:18 -0700280 n's child array, and will of course be different for each child.
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900281
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700282
Robert Olsson19baf832005-06-21 12:43:18 -0700283 The rest of the bits, from (n->pos + n->bits) onward, are completely unknown
284 at this point.
285
286*/
287
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700288static inline void check_tnode(const struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700289{
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700290 WARN_ON(tn && tn->pos+tn->bits > 32);
Robert Olsson19baf832005-06-21 12:43:18 -0700291}
292
293static int halve_threshold = 25;
294static int inflate_threshold = 50;
Robert Olssone6308be2005-10-04 13:01:58 -0700295static int halve_threshold_root = 15;
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900296static int inflate_threshold_root = 25;
Robert Olsson19baf832005-06-21 12:43:18 -0700297
Robert Olsson2373ce12005-08-25 13:01:29 -0700298
299static void __alias_free_mem(struct rcu_head *head)
300{
301 struct fib_alias *fa = container_of(head, struct fib_alias, rcu);
302 kmem_cache_free(fn_alias_kmem, fa);
303}
304
305static inline void alias_free_mem_rcu(struct fib_alias *fa)
306{
307 call_rcu(&fa->rcu, __alias_free_mem);
308}
309
310static void __leaf_free_rcu(struct rcu_head *head)
311{
312 kfree(container_of(head, struct leaf, rcu));
313}
314
Robert Olsson2373ce12005-08-25 13:01:29 -0700315static void __leaf_info_free_rcu(struct rcu_head *head)
316{
317 kfree(container_of(head, struct leaf_info, rcu));
318}
319
320static inline void free_leaf_info(struct leaf_info *leaf)
321{
322 call_rcu(&leaf->rcu, __leaf_info_free_rcu);
323}
324
325static struct tnode *tnode_alloc(unsigned int size)
326{
327 struct page *pages;
328
329 if (size <= PAGE_SIZE)
330 return kcalloc(size, 1, GFP_KERNEL);
331
332 pages = alloc_pages(GFP_KERNEL|__GFP_ZERO, get_order(size));
333 if (!pages)
334 return NULL;
335
336 return page_address(pages);
337}
338
339static void __tnode_free_rcu(struct rcu_head *head)
340{
341 struct tnode *tn = container_of(head, struct tnode, rcu);
342 unsigned int size = sizeof(struct tnode) +
343 (1 << tn->bits) * sizeof(struct node *);
344
345 if (size <= PAGE_SIZE)
346 kfree(tn);
347 else
348 free_pages((unsigned long)tn, get_order(size));
349}
350
351static inline void tnode_free(struct tnode *tn)
352{
Robert Olsson550e29b2006-04-04 12:53:35 -0700353 if(IS_LEAF(tn)) {
354 struct leaf *l = (struct leaf *) tn;
355 call_rcu_bh(&l->rcu, __leaf_free_rcu);
356 }
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900357 else
Robert Olsson550e29b2006-04-04 12:53:35 -0700358 call_rcu(&tn->rcu, __tnode_free_rcu);
Robert Olsson2373ce12005-08-25 13:01:29 -0700359}
360
Robert Olsson19baf832005-06-21 12:43:18 -0700361static struct leaf *leaf_new(void)
362{
363 struct leaf *l = kmalloc(sizeof(struct leaf), GFP_KERNEL);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700364 if (l) {
Robert Olsson2373ce12005-08-25 13:01:29 -0700365 l->parent = T_LEAF;
Robert Olsson19baf832005-06-21 12:43:18 -0700366 INIT_HLIST_HEAD(&l->list);
367 }
368 return l;
369}
370
371static struct leaf_info *leaf_info_new(int plen)
372{
373 struct leaf_info *li = kmalloc(sizeof(struct leaf_info), GFP_KERNEL);
Robert Olsson2373ce12005-08-25 13:01:29 -0700374 if (li) {
375 li->plen = plen;
376 INIT_LIST_HEAD(&li->falh);
Patrick McHardyf0e36f82005-07-05 14:44:55 -0700377 }
Robert Olsson2373ce12005-08-25 13:01:29 -0700378 return li;
Patrick McHardyf0e36f82005-07-05 14:44:55 -0700379}
380
Robert Olsson19baf832005-06-21 12:43:18 -0700381static struct tnode* tnode_new(t_key key, int pos, int bits)
382{
383 int nchildren = 1<<bits;
384 int sz = sizeof(struct tnode) + nchildren * sizeof(struct node *);
Patrick McHardyf0e36f82005-07-05 14:44:55 -0700385 struct tnode *tn = tnode_alloc(sz);
Robert Olsson19baf832005-06-21 12:43:18 -0700386
Olof Johansson91b9a272005-08-09 20:24:39 -0700387 if (tn) {
Robert Olsson19baf832005-06-21 12:43:18 -0700388 memset(tn, 0, sz);
Robert Olsson2373ce12005-08-25 13:01:29 -0700389 tn->parent = T_TNODE;
Robert Olsson19baf832005-06-21 12:43:18 -0700390 tn->pos = pos;
391 tn->bits = bits;
392 tn->key = key;
393 tn->full_children = 0;
394 tn->empty_children = 1<<bits;
395 }
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700396
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700397 pr_debug("AT %p s=%u %u\n", tn, (unsigned int) sizeof(struct tnode),
398 (unsigned int) (sizeof(struct node) * 1<<bits));
Robert Olsson19baf832005-06-21 12:43:18 -0700399 return tn;
400}
401
Robert Olsson19baf832005-06-21 12:43:18 -0700402/*
403 * Check whether a tnode 'n' is "full", i.e. it is an internal node
404 * and no bits are skipped. See discussion in dyntree paper p. 6
405 */
406
Stephen Hemmignerbb435b82005-08-09 20:25:39 -0700407static inline int tnode_full(const struct tnode *tn, const struct node *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700408{
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700409 if (n == NULL || IS_LEAF(n))
Robert Olsson19baf832005-06-21 12:43:18 -0700410 return 0;
411
412 return ((struct tnode *) n)->pos == tn->pos + tn->bits;
413}
414
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700415static inline void put_child(struct trie *t, struct tnode *tn, int i, struct node *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700416{
417 tnode_put_child_reorg(tn, i, n, -1);
418}
419
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700420 /*
Robert Olsson19baf832005-06-21 12:43:18 -0700421 * Add a child at position i overwriting the old value.
422 * Update the value of full_children and empty_children.
423 */
424
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700425static void tnode_put_child_reorg(struct tnode *tn, int i, struct node *n, int wasfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700426{
Robert Olsson2373ce12005-08-25 13:01:29 -0700427 struct node *chi = tn->child[i];
Robert Olsson19baf832005-06-21 12:43:18 -0700428 int isfull;
429
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700430 BUG_ON(i >= 1<<tn->bits);
431
Robert Olsson19baf832005-06-21 12:43:18 -0700432
433 /* update emptyChildren */
434 if (n == NULL && chi != NULL)
435 tn->empty_children++;
436 else if (n != NULL && chi == NULL)
437 tn->empty_children--;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700438
Robert Olsson19baf832005-06-21 12:43:18 -0700439 /* update fullChildren */
Olof Johansson91b9a272005-08-09 20:24:39 -0700440 if (wasfull == -1)
Robert Olsson19baf832005-06-21 12:43:18 -0700441 wasfull = tnode_full(tn, chi);
442
443 isfull = tnode_full(tn, n);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700444 if (wasfull && !isfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700445 tn->full_children--;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700446 else if (!wasfull && isfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700447 tn->full_children++;
Olof Johansson91b9a272005-08-09 20:24:39 -0700448
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700449 if (n)
450 NODE_SET_PARENT(n, tn);
Robert Olsson19baf832005-06-21 12:43:18 -0700451
Robert Olsson2373ce12005-08-25 13:01:29 -0700452 rcu_assign_pointer(tn->child[i], n);
Robert Olsson19baf832005-06-21 12:43:18 -0700453}
454
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700455static struct node *resize(struct trie *t, struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700456{
457 int i;
Robert Olsson2f368952005-07-05 15:02:40 -0700458 int err = 0;
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700459 struct tnode *old_tn;
Robert Olssone6308be2005-10-04 13:01:58 -0700460 int inflate_threshold_use;
461 int halve_threshold_use;
Robert Olsson19baf832005-06-21 12:43:18 -0700462
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900463 if (!tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700464 return NULL;
465
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700466 pr_debug("In tnode_resize %p inflate_threshold=%d threshold=%d\n",
467 tn, inflate_threshold, halve_threshold);
Robert Olsson19baf832005-06-21 12:43:18 -0700468
469 /* No children */
470 if (tn->empty_children == tnode_child_length(tn)) {
471 tnode_free(tn);
472 return NULL;
473 }
474 /* One child */
475 if (tn->empty_children == tnode_child_length(tn) - 1)
476 for (i = 0; i < tnode_child_length(tn); i++) {
Olof Johansson91b9a272005-08-09 20:24:39 -0700477 struct node *n;
Robert Olsson19baf832005-06-21 12:43:18 -0700478
Olof Johansson91b9a272005-08-09 20:24:39 -0700479 n = tn->child[i];
Robert Olsson2373ce12005-08-25 13:01:29 -0700480 if (!n)
Olof Johansson91b9a272005-08-09 20:24:39 -0700481 continue;
Olof Johansson91b9a272005-08-09 20:24:39 -0700482
483 /* compress one level */
Robert Olsson2373ce12005-08-25 13:01:29 -0700484 NODE_SET_PARENT(n, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700485 tnode_free(tn);
486 return n;
Robert Olsson19baf832005-06-21 12:43:18 -0700487 }
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700488 /*
Robert Olsson19baf832005-06-21 12:43:18 -0700489 * Double as long as the resulting node has a number of
490 * nonempty nodes that are above the threshold.
491 */
492
493 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700494 * From "Implementing a dynamic compressed trie" by Stefan Nilsson of
495 * the Helsinki University of Technology and Matti Tikkanen of Nokia
Robert Olsson19baf832005-06-21 12:43:18 -0700496 * Telecommunications, page 6:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700497 * "A node is doubled if the ratio of non-empty children to all
Robert Olsson19baf832005-06-21 12:43:18 -0700498 * children in the *doubled* node is at least 'high'."
499 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700500 * 'high' in this instance is the variable 'inflate_threshold'. It
501 * is expressed as a percentage, so we multiply it with
502 * tnode_child_length() and instead of multiplying by 2 (since the
503 * child array will be doubled by inflate()) and multiplying
504 * the left-hand side by 100 (to handle the percentage thing) we
Robert Olsson19baf832005-06-21 12:43:18 -0700505 * multiply the left-hand side by 50.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700506 *
507 * The left-hand side may look a bit weird: tnode_child_length(tn)
508 * - tn->empty_children is of course the number of non-null children
509 * in the current node. tn->full_children is the number of "full"
Robert Olsson19baf832005-06-21 12:43:18 -0700510 * children, that is non-null tnodes with a skip value of 0.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700511 * All of those will be doubled in the resulting inflated tnode, so
Robert Olsson19baf832005-06-21 12:43:18 -0700512 * we just count them one extra time here.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700513 *
Robert Olsson19baf832005-06-21 12:43:18 -0700514 * A clearer way to write this would be:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700515 *
Robert Olsson19baf832005-06-21 12:43:18 -0700516 * to_be_doubled = tn->full_children;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700517 * not_to_be_doubled = tnode_child_length(tn) - tn->empty_children -
Robert Olsson19baf832005-06-21 12:43:18 -0700518 * tn->full_children;
519 *
520 * new_child_length = tnode_child_length(tn) * 2;
521 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700522 * new_fill_factor = 100 * (not_to_be_doubled + 2*to_be_doubled) /
Robert Olsson19baf832005-06-21 12:43:18 -0700523 * new_child_length;
524 * if (new_fill_factor >= inflate_threshold)
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700525 *
526 * ...and so on, tho it would mess up the while () loop.
527 *
Robert Olsson19baf832005-06-21 12:43:18 -0700528 * anyway,
529 * 100 * (not_to_be_doubled + 2*to_be_doubled) / new_child_length >=
530 * inflate_threshold
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700531 *
Robert Olsson19baf832005-06-21 12:43:18 -0700532 * avoid a division:
533 * 100 * (not_to_be_doubled + 2*to_be_doubled) >=
534 * inflate_threshold * new_child_length
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700535 *
Robert Olsson19baf832005-06-21 12:43:18 -0700536 * expand not_to_be_doubled and to_be_doubled, and shorten:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700537 * 100 * (tnode_child_length(tn) - tn->empty_children +
Olof Johansson91b9a272005-08-09 20:24:39 -0700538 * tn->full_children) >= inflate_threshold * new_child_length
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700539 *
Robert Olsson19baf832005-06-21 12:43:18 -0700540 * expand new_child_length:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700541 * 100 * (tnode_child_length(tn) - tn->empty_children +
Olof Johansson91b9a272005-08-09 20:24:39 -0700542 * tn->full_children) >=
Robert Olsson19baf832005-06-21 12:43:18 -0700543 * inflate_threshold * tnode_child_length(tn) * 2
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700544 *
Robert Olsson19baf832005-06-21 12:43:18 -0700545 * shorten again:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700546 * 50 * (tn->full_children + tnode_child_length(tn) -
Olof Johansson91b9a272005-08-09 20:24:39 -0700547 * tn->empty_children) >= inflate_threshold *
Robert Olsson19baf832005-06-21 12:43:18 -0700548 * tnode_child_length(tn)
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700549 *
Robert Olsson19baf832005-06-21 12:43:18 -0700550 */
551
552 check_tnode(tn);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700553
Robert Olssone6308be2005-10-04 13:01:58 -0700554 /* Keep root node larger */
555
556 if(!tn->parent)
557 inflate_threshold_use = inflate_threshold_root;
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900558 else
Robert Olssone6308be2005-10-04 13:01:58 -0700559 inflate_threshold_use = inflate_threshold;
560
Robert Olsson2f368952005-07-05 15:02:40 -0700561 err = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700562 while ((tn->full_children > 0 &&
563 50 * (tn->full_children + tnode_child_length(tn) - tn->empty_children) >=
Robert Olssone6308be2005-10-04 13:01:58 -0700564 inflate_threshold_use * tnode_child_length(tn))) {
Robert Olsson19baf832005-06-21 12:43:18 -0700565
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700566 old_tn = tn;
567 tn = inflate(t, tn);
568 if (IS_ERR(tn)) {
569 tn = old_tn;
Robert Olsson2f368952005-07-05 15:02:40 -0700570#ifdef CONFIG_IP_FIB_TRIE_STATS
571 t->stats.resize_node_skipped++;
572#endif
573 break;
574 }
Robert Olsson19baf832005-06-21 12:43:18 -0700575 }
576
577 check_tnode(tn);
578
579 /*
580 * Halve as long as the number of empty children in this
581 * node is above threshold.
582 */
Robert Olsson2f368952005-07-05 15:02:40 -0700583
Robert Olssone6308be2005-10-04 13:01:58 -0700584
585 /* Keep root node larger */
586
587 if(!tn->parent)
588 halve_threshold_use = halve_threshold_root;
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900589 else
Robert Olssone6308be2005-10-04 13:01:58 -0700590 halve_threshold_use = halve_threshold;
591
Robert Olsson2f368952005-07-05 15:02:40 -0700592 err = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700593 while (tn->bits > 1 &&
594 100 * (tnode_child_length(tn) - tn->empty_children) <
Robert Olssone6308be2005-10-04 13:01:58 -0700595 halve_threshold_use * tnode_child_length(tn)) {
Robert Olsson19baf832005-06-21 12:43:18 -0700596
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700597 old_tn = tn;
598 tn = halve(t, tn);
599 if (IS_ERR(tn)) {
600 tn = old_tn;
Robert Olsson2f368952005-07-05 15:02:40 -0700601#ifdef CONFIG_IP_FIB_TRIE_STATS
602 t->stats.resize_node_skipped++;
603#endif
604 break;
605 }
606 }
607
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700608
Robert Olsson19baf832005-06-21 12:43:18 -0700609 /* Only one child remains */
Robert Olsson19baf832005-06-21 12:43:18 -0700610 if (tn->empty_children == tnode_child_length(tn) - 1)
611 for (i = 0; i < tnode_child_length(tn); i++) {
Olof Johansson91b9a272005-08-09 20:24:39 -0700612 struct node *n;
613
Olof Johansson91b9a272005-08-09 20:24:39 -0700614 n = tn->child[i];
Robert Olsson2373ce12005-08-25 13:01:29 -0700615 if (!n)
Olof Johansson91b9a272005-08-09 20:24:39 -0700616 continue;
Olof Johansson91b9a272005-08-09 20:24:39 -0700617
618 /* compress one level */
619
Robert Olsson2373ce12005-08-25 13:01:29 -0700620 NODE_SET_PARENT(n, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700621 tnode_free(tn);
622 return n;
Robert Olsson19baf832005-06-21 12:43:18 -0700623 }
624
625 return (struct node *) tn;
626}
627
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700628static struct tnode *inflate(struct trie *t, struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700629{
630 struct tnode *inode;
631 struct tnode *oldtnode = tn;
632 int olen = tnode_child_length(tn);
633 int i;
634
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700635 pr_debug("In inflate\n");
Robert Olsson19baf832005-06-21 12:43:18 -0700636
637 tn = tnode_new(oldtnode->key, oldtnode->pos, oldtnode->bits + 1);
638
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700639 if (!tn)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700640 return ERR_PTR(-ENOMEM);
Robert Olsson2f368952005-07-05 15:02:40 -0700641
642 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700643 * Preallocate and store tnodes before the actual work so we
644 * don't get into an inconsistent state if memory allocation
645 * fails. In case of failure we return the oldnode and inflate
Robert Olsson2f368952005-07-05 15:02:40 -0700646 * of tnode is ignored.
647 */
Olof Johansson91b9a272005-08-09 20:24:39 -0700648
649 for (i = 0; i < olen; i++) {
Robert Olsson2f368952005-07-05 15:02:40 -0700650 struct tnode *inode = (struct tnode *) tnode_get_child(oldtnode, i);
651
652 if (inode &&
653 IS_TNODE(inode) &&
654 inode->pos == oldtnode->pos + oldtnode->bits &&
655 inode->bits > 1) {
656 struct tnode *left, *right;
Robert Olsson2f368952005-07-05 15:02:40 -0700657 t_key m = TKEY_GET_MASK(inode->pos, 1);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700658
Robert Olsson2f368952005-07-05 15:02:40 -0700659 left = tnode_new(inode->key&(~m), inode->pos + 1,
660 inode->bits - 1);
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700661 if (!left)
662 goto nomem;
Olof Johansson91b9a272005-08-09 20:24:39 -0700663
Robert Olsson2f368952005-07-05 15:02:40 -0700664 right = tnode_new(inode->key|m, inode->pos + 1,
665 inode->bits - 1);
666
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900667 if (!right) {
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700668 tnode_free(left);
669 goto nomem;
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900670 }
Robert Olsson2f368952005-07-05 15:02:40 -0700671
672 put_child(t, tn, 2*i, (struct node *) left);
673 put_child(t, tn, 2*i+1, (struct node *) right);
674 }
675 }
676
Olof Johansson91b9a272005-08-09 20:24:39 -0700677 for (i = 0; i < olen; i++) {
Robert Olsson19baf832005-06-21 12:43:18 -0700678 struct node *node = tnode_get_child(oldtnode, i);
Olof Johansson91b9a272005-08-09 20:24:39 -0700679 struct tnode *left, *right;
680 int size, j;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700681
Robert Olsson19baf832005-06-21 12:43:18 -0700682 /* An empty child */
683 if (node == NULL)
684 continue;
685
686 /* A leaf or an internal node with skipped bits */
687
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700688 if (IS_LEAF(node) || ((struct tnode *) node)->pos >
Robert Olsson19baf832005-06-21 12:43:18 -0700689 tn->pos + tn->bits - 1) {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700690 if (tkey_extract_bits(node->key, oldtnode->pos + oldtnode->bits,
Robert Olsson19baf832005-06-21 12:43:18 -0700691 1) == 0)
692 put_child(t, tn, 2*i, node);
693 else
694 put_child(t, tn, 2*i+1, node);
695 continue;
696 }
697
698 /* An internal node with two children */
699 inode = (struct tnode *) node;
700
701 if (inode->bits == 1) {
702 put_child(t, tn, 2*i, inode->child[0]);
703 put_child(t, tn, 2*i+1, inode->child[1]);
704
705 tnode_free(inode);
Olof Johansson91b9a272005-08-09 20:24:39 -0700706 continue;
Robert Olsson19baf832005-06-21 12:43:18 -0700707 }
708
Olof Johansson91b9a272005-08-09 20:24:39 -0700709 /* An internal node with more than two children */
Robert Olsson19baf832005-06-21 12:43:18 -0700710
Olof Johansson91b9a272005-08-09 20:24:39 -0700711 /* We will replace this node 'inode' with two new
712 * ones, 'left' and 'right', each with half of the
713 * original children. The two new nodes will have
714 * a position one bit further down the key and this
715 * means that the "significant" part of their keys
716 * (see the discussion near the top of this file)
717 * will differ by one bit, which will be "0" in
718 * left's key and "1" in right's key. Since we are
719 * moving the key position by one step, the bit that
720 * we are moving away from - the bit at position
721 * (inode->pos) - is the one that will differ between
722 * left and right. So... we synthesize that bit in the
723 * two new keys.
724 * The mask 'm' below will be a single "one" bit at
725 * the position (inode->pos)
726 */
Robert Olsson19baf832005-06-21 12:43:18 -0700727
Olof Johansson91b9a272005-08-09 20:24:39 -0700728 /* Use the old key, but set the new significant
729 * bit to zero.
730 */
Robert Olsson19baf832005-06-21 12:43:18 -0700731
Olof Johansson91b9a272005-08-09 20:24:39 -0700732 left = (struct tnode *) tnode_get_child(tn, 2*i);
733 put_child(t, tn, 2*i, NULL);
Robert Olsson19baf832005-06-21 12:43:18 -0700734
Olof Johansson91b9a272005-08-09 20:24:39 -0700735 BUG_ON(!left);
Robert Olsson2f368952005-07-05 15:02:40 -0700736
Olof Johansson91b9a272005-08-09 20:24:39 -0700737 right = (struct tnode *) tnode_get_child(tn, 2*i+1);
738 put_child(t, tn, 2*i+1, NULL);
Robert Olsson2f368952005-07-05 15:02:40 -0700739
Olof Johansson91b9a272005-08-09 20:24:39 -0700740 BUG_ON(!right);
Robert Olsson2f368952005-07-05 15:02:40 -0700741
Olof Johansson91b9a272005-08-09 20:24:39 -0700742 size = tnode_child_length(left);
743 for (j = 0; j < size; j++) {
744 put_child(t, left, j, inode->child[j]);
745 put_child(t, right, j, inode->child[j + size]);
Robert Olsson19baf832005-06-21 12:43:18 -0700746 }
Olof Johansson91b9a272005-08-09 20:24:39 -0700747 put_child(t, tn, 2*i, resize(t, left));
748 put_child(t, tn, 2*i+1, resize(t, right));
749
750 tnode_free(inode);
Robert Olsson19baf832005-06-21 12:43:18 -0700751 }
752 tnode_free(oldtnode);
753 return tn;
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700754nomem:
755 {
756 int size = tnode_child_length(tn);
757 int j;
758
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700759 for (j = 0; j < size; j++)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700760 if (tn->child[j])
761 tnode_free((struct tnode *)tn->child[j]);
762
763 tnode_free(tn);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700764
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700765 return ERR_PTR(-ENOMEM);
766 }
Robert Olsson19baf832005-06-21 12:43:18 -0700767}
768
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700769static struct tnode *halve(struct trie *t, struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700770{
771 struct tnode *oldtnode = tn;
772 struct node *left, *right;
773 int i;
774 int olen = tnode_child_length(tn);
775
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700776 pr_debug("In halve\n");
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700777
778 tn = tnode_new(oldtnode->key, oldtnode->pos, oldtnode->bits - 1);
Robert Olsson19baf832005-06-21 12:43:18 -0700779
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700780 if (!tn)
781 return ERR_PTR(-ENOMEM);
Robert Olsson2f368952005-07-05 15:02:40 -0700782
783 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700784 * Preallocate and store tnodes before the actual work so we
785 * don't get into an inconsistent state if memory allocation
786 * fails. In case of failure we return the oldnode and halve
Robert Olsson2f368952005-07-05 15:02:40 -0700787 * of tnode is ignored.
788 */
789
Olof Johansson91b9a272005-08-09 20:24:39 -0700790 for (i = 0; i < olen; i += 2) {
Robert Olsson2f368952005-07-05 15:02:40 -0700791 left = tnode_get_child(oldtnode, i);
792 right = tnode_get_child(oldtnode, i+1);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700793
Robert Olsson2f368952005-07-05 15:02:40 -0700794 /* Two nonempty children */
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700795 if (left && right) {
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700796 struct tnode *newn;
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700797
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700798 newn = tnode_new(left->key, tn->pos + tn->bits, 1);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700799
800 if (!newn)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700801 goto nomem;
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700802
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700803 put_child(t, tn, i/2, (struct node *)newn);
Robert Olsson2f368952005-07-05 15:02:40 -0700804 }
Robert Olsson2f368952005-07-05 15:02:40 -0700805
Robert Olsson2f368952005-07-05 15:02:40 -0700806 }
Robert Olsson19baf832005-06-21 12:43:18 -0700807
Olof Johansson91b9a272005-08-09 20:24:39 -0700808 for (i = 0; i < olen; i += 2) {
809 struct tnode *newBinNode;
810
Robert Olsson19baf832005-06-21 12:43:18 -0700811 left = tnode_get_child(oldtnode, i);
812 right = tnode_get_child(oldtnode, i+1);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700813
Robert Olsson19baf832005-06-21 12:43:18 -0700814 /* At least one of the children is empty */
815 if (left == NULL) {
816 if (right == NULL) /* Both are empty */
817 continue;
818 put_child(t, tn, i/2, right);
Olof Johansson91b9a272005-08-09 20:24:39 -0700819 continue;
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700820 }
Olof Johansson91b9a272005-08-09 20:24:39 -0700821
822 if (right == NULL) {
Robert Olsson19baf832005-06-21 12:43:18 -0700823 put_child(t, tn, i/2, left);
Olof Johansson91b9a272005-08-09 20:24:39 -0700824 continue;
825 }
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700826
Robert Olsson19baf832005-06-21 12:43:18 -0700827 /* Two nonempty children */
Olof Johansson91b9a272005-08-09 20:24:39 -0700828 newBinNode = (struct tnode *) tnode_get_child(tn, i/2);
829 put_child(t, tn, i/2, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700830 put_child(t, newBinNode, 0, left);
831 put_child(t, newBinNode, 1, right);
832 put_child(t, tn, i/2, resize(t, newBinNode));
Robert Olsson19baf832005-06-21 12:43:18 -0700833 }
834 tnode_free(oldtnode);
835 return tn;
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700836nomem:
837 {
838 int size = tnode_child_length(tn);
839 int j;
840
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700841 for (j = 0; j < size; j++)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700842 if (tn->child[j])
843 tnode_free((struct tnode *)tn->child[j]);
844
845 tnode_free(tn);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700846
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700847 return ERR_PTR(-ENOMEM);
848 }
Robert Olsson19baf832005-06-21 12:43:18 -0700849}
850
Olof Johansson91b9a272005-08-09 20:24:39 -0700851static void trie_init(struct trie *t)
Robert Olsson19baf832005-06-21 12:43:18 -0700852{
Olof Johansson91b9a272005-08-09 20:24:39 -0700853 if (!t)
854 return;
855
856 t->size = 0;
Robert Olsson2373ce12005-08-25 13:01:29 -0700857 rcu_assign_pointer(t->trie, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700858 t->revision = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700859#ifdef CONFIG_IP_FIB_TRIE_STATS
Olof Johansson91b9a272005-08-09 20:24:39 -0700860 memset(&t->stats, 0, sizeof(struct trie_use_stats));
Robert Olsson19baf832005-06-21 12:43:18 -0700861#endif
Robert Olsson19baf832005-06-21 12:43:18 -0700862}
863
Robert Olsson772cb712005-09-19 15:31:18 -0700864/* readside must use rcu_read_lock currently dump routines
Robert Olsson2373ce12005-08-25 13:01:29 -0700865 via get_fa_head and dump */
866
Robert Olsson772cb712005-09-19 15:31:18 -0700867static struct leaf_info *find_leaf_info(struct leaf *l, int plen)
Robert Olsson19baf832005-06-21 12:43:18 -0700868{
Robert Olsson772cb712005-09-19 15:31:18 -0700869 struct hlist_head *head = &l->list;
Robert Olsson19baf832005-06-21 12:43:18 -0700870 struct hlist_node *node;
871 struct leaf_info *li;
872
Robert Olsson2373ce12005-08-25 13:01:29 -0700873 hlist_for_each_entry_rcu(li, node, head, hlist)
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700874 if (li->plen == plen)
Robert Olsson19baf832005-06-21 12:43:18 -0700875 return li;
Olof Johansson91b9a272005-08-09 20:24:39 -0700876
Robert Olsson19baf832005-06-21 12:43:18 -0700877 return NULL;
878}
879
880static inline struct list_head * get_fa_head(struct leaf *l, int plen)
881{
Robert Olsson772cb712005-09-19 15:31:18 -0700882 struct leaf_info *li = find_leaf_info(l, plen);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700883
Olof Johansson91b9a272005-08-09 20:24:39 -0700884 if (!li)
885 return NULL;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700886
Olof Johansson91b9a272005-08-09 20:24:39 -0700887 return &li->falh;
Robert Olsson19baf832005-06-21 12:43:18 -0700888}
889
890static void insert_leaf_info(struct hlist_head *head, struct leaf_info *new)
891{
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900892 struct leaf_info *li = NULL, *last = NULL;
893 struct hlist_node *node;
Robert Olsson19baf832005-06-21 12:43:18 -0700894
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900895 if (hlist_empty(head)) {
896 hlist_add_head_rcu(&new->hlist, head);
897 } else {
898 hlist_for_each_entry(li, node, head, hlist) {
899 if (new->plen > li->plen)
900 break;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700901
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +0900902 last = li;
903 }
904 if (last)
905 hlist_add_after_rcu(&last->hlist, &new->hlist);
906 else
907 hlist_add_before_rcu(&new->hlist, &li->hlist);
908 }
Robert Olsson19baf832005-06-21 12:43:18 -0700909}
910
Robert Olsson2373ce12005-08-25 13:01:29 -0700911/* rcu_read_lock needs to be hold by caller from readside */
912
Robert Olsson19baf832005-06-21 12:43:18 -0700913static struct leaf *
914fib_find_node(struct trie *t, u32 key)
915{
916 int pos;
917 struct tnode *tn;
918 struct node *n;
919
920 pos = 0;
Robert Olsson2373ce12005-08-25 13:01:29 -0700921 n = rcu_dereference(t->trie);
Robert Olsson19baf832005-06-21 12:43:18 -0700922
923 while (n != NULL && NODE_TYPE(n) == T_TNODE) {
924 tn = (struct tnode *) n;
Olof Johansson91b9a272005-08-09 20:24:39 -0700925
Robert Olsson19baf832005-06-21 12:43:18 -0700926 check_tnode(tn);
Olof Johansson91b9a272005-08-09 20:24:39 -0700927
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700928 if (tkey_sub_equals(tn->key, pos, tn->pos-pos, key)) {
Olof Johansson91b9a272005-08-09 20:24:39 -0700929 pos = tn->pos + tn->bits;
Robert Olsson19baf832005-06-21 12:43:18 -0700930 n = tnode_get_child(tn, tkey_extract_bits(key, tn->pos, tn->bits));
Olof Johansson91b9a272005-08-09 20:24:39 -0700931 } else
Robert Olsson19baf832005-06-21 12:43:18 -0700932 break;
933 }
934 /* Case we have found a leaf. Compare prefixes */
935
Olof Johansson91b9a272005-08-09 20:24:39 -0700936 if (n != NULL && IS_LEAF(n) && tkey_equals(key, n->key))
937 return (struct leaf *)n;
938
Robert Olsson19baf832005-06-21 12:43:18 -0700939 return NULL;
940}
941
942static struct node *trie_rebalance(struct trie *t, struct tnode *tn)
943{
Robert Olsson19baf832005-06-21 12:43:18 -0700944 int wasfull;
945 t_key cindex, key;
946 struct tnode *tp = NULL;
947
Robert Olsson19baf832005-06-21 12:43:18 -0700948 key = tn->key;
Robert Olsson19baf832005-06-21 12:43:18 -0700949
950 while (tn != NULL && NODE_PARENT(tn) != NULL) {
Robert Olsson19baf832005-06-21 12:43:18 -0700951
952 tp = NODE_PARENT(tn);
953 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
954 wasfull = tnode_full(tp, tnode_get_child(tp, cindex));
955 tn = (struct tnode *) resize (t, (struct tnode *)tn);
956 tnode_put_child_reorg((struct tnode *)tp, cindex,(struct node*)tn, wasfull);
Olof Johansson91b9a272005-08-09 20:24:39 -0700957
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700958 if (!NODE_PARENT(tn))
Robert Olsson19baf832005-06-21 12:43:18 -0700959 break;
960
961 tn = NODE_PARENT(tn);
962 }
963 /* Handle last (top) tnode */
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700964 if (IS_TNODE(tn))
Robert Olsson19baf832005-06-21 12:43:18 -0700965 tn = (struct tnode*) resize(t, (struct tnode *)tn);
966
967 return (struct node*) tn;
968}
969
Robert Olsson2373ce12005-08-25 13:01:29 -0700970/* only used from updater-side */
971
Robert Olssonf835e472005-06-28 15:00:39 -0700972static struct list_head *
973fib_insert_node(struct trie *t, int *err, u32 key, int plen)
Robert Olsson19baf832005-06-21 12:43:18 -0700974{
975 int pos, newpos;
976 struct tnode *tp = NULL, *tn = NULL;
977 struct node *n;
978 struct leaf *l;
979 int missbit;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700980 struct list_head *fa_head = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -0700981 struct leaf_info *li;
982 t_key cindex;
983
984 pos = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700985 n = t->trie;
Robert Olsson19baf832005-06-21 12:43:18 -0700986
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700987 /* If we point to NULL, stop. Either the tree is empty and we should
988 * just put a new leaf in if, or we have reached an empty child slot,
Robert Olsson19baf832005-06-21 12:43:18 -0700989 * and we should just put our new leaf in that.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700990 * If we point to a T_TNODE, check if it matches our key. Note that
991 * a T_TNODE might be skipping any number of bits - its 'pos' need
Robert Olsson19baf832005-06-21 12:43:18 -0700992 * not be the parent's 'pos'+'bits'!
993 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700994 * If it does match the current key, get pos/bits from it, extract
Robert Olsson19baf832005-06-21 12:43:18 -0700995 * the index from our key, push the T_TNODE and walk the tree.
996 *
997 * If it doesn't, we have to replace it with a new T_TNODE.
998 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700999 * If we point to a T_LEAF, it might or might not have the same key
1000 * as we do. If it does, just change the value, update the T_LEAF's
1001 * value, and return it.
Robert Olsson19baf832005-06-21 12:43:18 -07001002 * If it doesn't, we need to replace it with a T_TNODE.
1003 */
1004
1005 while (n != NULL && NODE_TYPE(n) == T_TNODE) {
1006 tn = (struct tnode *) n;
Olof Johansson91b9a272005-08-09 20:24:39 -07001007
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001008 check_tnode(tn);
Olof Johansson91b9a272005-08-09 20:24:39 -07001009
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001010 if (tkey_sub_equals(tn->key, pos, tn->pos-pos, key)) {
Robert Olsson19baf832005-06-21 12:43:18 -07001011 tp = tn;
Olof Johansson91b9a272005-08-09 20:24:39 -07001012 pos = tn->pos + tn->bits;
Robert Olsson19baf832005-06-21 12:43:18 -07001013 n = tnode_get_child(tn, tkey_extract_bits(key, tn->pos, tn->bits));
1014
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001015 BUG_ON(n && NODE_PARENT(n) != tn);
Olof Johansson91b9a272005-08-09 20:24:39 -07001016 } else
Robert Olsson19baf832005-06-21 12:43:18 -07001017 break;
1018 }
1019
1020 /*
1021 * n ----> NULL, LEAF or TNODE
1022 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001023 * tp is n's (parent) ----> NULL or TNODE
Robert Olsson19baf832005-06-21 12:43:18 -07001024 */
1025
Olof Johansson91b9a272005-08-09 20:24:39 -07001026 BUG_ON(tp && IS_LEAF(tp));
Robert Olsson19baf832005-06-21 12:43:18 -07001027
1028 /* Case 1: n is a leaf. Compare prefixes */
1029
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001030 if (n != NULL && IS_LEAF(n) && tkey_equals(key, n->key)) {
Olof Johansson91b9a272005-08-09 20:24:39 -07001031 struct leaf *l = (struct leaf *) n;
1032
Robert Olsson19baf832005-06-21 12:43:18 -07001033 li = leaf_info_new(plen);
Olof Johansson91b9a272005-08-09 20:24:39 -07001034
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001035 if (!li) {
Robert Olssonf835e472005-06-28 15:00:39 -07001036 *err = -ENOMEM;
1037 goto err;
1038 }
Robert Olsson19baf832005-06-21 12:43:18 -07001039
1040 fa_head = &li->falh;
1041 insert_leaf_info(&l->list, li);
1042 goto done;
1043 }
1044 t->size++;
1045 l = leaf_new();
1046
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001047 if (!l) {
Robert Olssonf835e472005-06-28 15:00:39 -07001048 *err = -ENOMEM;
1049 goto err;
1050 }
Robert Olsson19baf832005-06-21 12:43:18 -07001051
1052 l->key = key;
1053 li = leaf_info_new(plen);
1054
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001055 if (!li) {
Robert Olssonf835e472005-06-28 15:00:39 -07001056 tnode_free((struct tnode *) l);
1057 *err = -ENOMEM;
1058 goto err;
1059 }
Robert Olsson19baf832005-06-21 12:43:18 -07001060
1061 fa_head = &li->falh;
1062 insert_leaf_info(&l->list, li);
1063
Robert Olsson19baf832005-06-21 12:43:18 -07001064 if (t->trie && n == NULL) {
Olof Johansson91b9a272005-08-09 20:24:39 -07001065 /* Case 2: n is NULL, and will just insert a new leaf */
Robert Olsson19baf832005-06-21 12:43:18 -07001066
1067 NODE_SET_PARENT(l, tp);
Robert Olsson19baf832005-06-21 12:43:18 -07001068
Olof Johansson91b9a272005-08-09 20:24:39 -07001069 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
1070 put_child(t, (struct tnode *)tp, cindex, (struct node *)l);
1071 } else {
1072 /* Case 3: n is a LEAF or a TNODE and the key doesn't match. */
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001073 /*
1074 * Add a new tnode here
Robert Olsson19baf832005-06-21 12:43:18 -07001075 * first tnode need some special handling
1076 */
1077
1078 if (tp)
Olof Johansson91b9a272005-08-09 20:24:39 -07001079 pos = tp->pos+tp->bits;
Robert Olsson19baf832005-06-21 12:43:18 -07001080 else
Olof Johansson91b9a272005-08-09 20:24:39 -07001081 pos = 0;
1082
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001083 if (n) {
Robert Olsson19baf832005-06-21 12:43:18 -07001084 newpos = tkey_mismatch(key, pos, n->key);
1085 tn = tnode_new(n->key, newpos, 1);
Olof Johansson91b9a272005-08-09 20:24:39 -07001086 } else {
Robert Olsson19baf832005-06-21 12:43:18 -07001087 newpos = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001088 tn = tnode_new(key, newpos, 1); /* First tnode */
Robert Olsson19baf832005-06-21 12:43:18 -07001089 }
Robert Olsson19baf832005-06-21 12:43:18 -07001090
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001091 if (!tn) {
Robert Olssonf835e472005-06-28 15:00:39 -07001092 free_leaf_info(li);
1093 tnode_free((struct tnode *) l);
1094 *err = -ENOMEM;
1095 goto err;
Olof Johansson91b9a272005-08-09 20:24:39 -07001096 }
1097
Robert Olsson19baf832005-06-21 12:43:18 -07001098 NODE_SET_PARENT(tn, tp);
1099
Olof Johansson91b9a272005-08-09 20:24:39 -07001100 missbit = tkey_extract_bits(key, newpos, 1);
Robert Olsson19baf832005-06-21 12:43:18 -07001101 put_child(t, tn, missbit, (struct node *)l);
1102 put_child(t, tn, 1-missbit, n);
1103
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001104 if (tp) {
Robert Olsson19baf832005-06-21 12:43:18 -07001105 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
1106 put_child(t, (struct tnode *)tp, cindex, (struct node *)tn);
Olof Johansson91b9a272005-08-09 20:24:39 -07001107 } else {
Robert Olsson2373ce12005-08-25 13:01:29 -07001108 rcu_assign_pointer(t->trie, (struct node *)tn); /* First tnode */
Robert Olsson19baf832005-06-21 12:43:18 -07001109 tp = tn;
1110 }
1111 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001112
1113 if (tp && tp->pos + tp->bits > 32)
Stephen Hemminger78c66712005-09-21 00:15:39 -07001114 printk(KERN_WARNING "fib_trie tp=%p pos=%d, bits=%d, key=%0x plen=%d\n",
Robert Olsson19baf832005-06-21 12:43:18 -07001115 tp, tp->pos, tp->bits, key, plen);
Olof Johansson91b9a272005-08-09 20:24:39 -07001116
Robert Olsson19baf832005-06-21 12:43:18 -07001117 /* Rebalance the trie */
Robert Olsson2373ce12005-08-25 13:01:29 -07001118
1119 rcu_assign_pointer(t->trie, trie_rebalance(t, tp));
Robert Olssonf835e472005-06-28 15:00:39 -07001120done:
1121 t->revision++;
Olof Johansson91b9a272005-08-09 20:24:39 -07001122err:
Robert Olsson19baf832005-06-21 12:43:18 -07001123 return fa_head;
1124}
1125
Robert Olssond562f1f2007-03-26 14:22:22 -07001126/*
1127 * Caller must hold RTNL.
1128 */
Thomas Graf4e902c52006-08-17 18:14:52 -07001129static int fn_trie_insert(struct fib_table *tb, struct fib_config *cfg)
Robert Olsson19baf832005-06-21 12:43:18 -07001130{
1131 struct trie *t = (struct trie *) tb->tb_data;
1132 struct fib_alias *fa, *new_fa;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001133 struct list_head *fa_head = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001134 struct fib_info *fi;
Thomas Graf4e902c52006-08-17 18:14:52 -07001135 int plen = cfg->fc_dst_len;
1136 u8 tos = cfg->fc_tos;
Robert Olsson19baf832005-06-21 12:43:18 -07001137 u32 key, mask;
1138 int err;
1139 struct leaf *l;
1140
1141 if (plen > 32)
1142 return -EINVAL;
1143
Thomas Graf4e902c52006-08-17 18:14:52 -07001144 key = ntohl(cfg->fc_dst);
Robert Olsson19baf832005-06-21 12:43:18 -07001145
Patrick McHardy2dfe55b2006-08-10 23:08:33 -07001146 pr_debug("Insert table=%u %08x/%d\n", tb->tb_id, key, plen);
Robert Olsson19baf832005-06-21 12:43:18 -07001147
Olof Johansson91b9a272005-08-09 20:24:39 -07001148 mask = ntohl(inet_make_mask(plen));
Robert Olsson19baf832005-06-21 12:43:18 -07001149
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001150 if (key & ~mask)
Robert Olsson19baf832005-06-21 12:43:18 -07001151 return -EINVAL;
1152
1153 key = key & mask;
1154
Thomas Graf4e902c52006-08-17 18:14:52 -07001155 fi = fib_create_info(cfg);
1156 if (IS_ERR(fi)) {
1157 err = PTR_ERR(fi);
Robert Olsson19baf832005-06-21 12:43:18 -07001158 goto err;
Thomas Graf4e902c52006-08-17 18:14:52 -07001159 }
Robert Olsson19baf832005-06-21 12:43:18 -07001160
1161 l = fib_find_node(t, key);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001162 fa = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001163
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001164 if (l) {
Robert Olsson19baf832005-06-21 12:43:18 -07001165 fa_head = get_fa_head(l, plen);
1166 fa = fib_find_alias(fa_head, tos, fi->fib_priority);
1167 }
1168
1169 /* Now fa, if non-NULL, points to the first fib alias
1170 * with the same keys [prefix,tos,priority], if such key already
1171 * exists or to the node before which we will insert new one.
1172 *
1173 * If fa is NULL, we will need to allocate a new one and
1174 * insert to the head of f.
1175 *
1176 * If f is NULL, no fib node matched the destination key
1177 * and we need to allocate a new one of those as well.
1178 */
1179
Olof Johansson91b9a272005-08-09 20:24:39 -07001180 if (fa && fa->fa_info->fib_priority == fi->fib_priority) {
Robert Olsson19baf832005-06-21 12:43:18 -07001181 struct fib_alias *fa_orig;
1182
1183 err = -EEXIST;
Thomas Graf4e902c52006-08-17 18:14:52 -07001184 if (cfg->fc_nlflags & NLM_F_EXCL)
Robert Olsson19baf832005-06-21 12:43:18 -07001185 goto out;
1186
Thomas Graf4e902c52006-08-17 18:14:52 -07001187 if (cfg->fc_nlflags & NLM_F_REPLACE) {
Robert Olsson19baf832005-06-21 12:43:18 -07001188 struct fib_info *fi_drop;
1189 u8 state;
1190
Robert Olsson2373ce12005-08-25 13:01:29 -07001191 err = -ENOBUFS;
Christoph Lametere94b1762006-12-06 20:33:17 -08001192 new_fa = kmem_cache_alloc(fn_alias_kmem, GFP_KERNEL);
Robert Olsson2373ce12005-08-25 13:01:29 -07001193 if (new_fa == NULL)
1194 goto out;
Robert Olsson19baf832005-06-21 12:43:18 -07001195
1196 fi_drop = fa->fa_info;
Robert Olsson2373ce12005-08-25 13:01:29 -07001197 new_fa->fa_tos = fa->fa_tos;
1198 new_fa->fa_info = fi;
Thomas Graf4e902c52006-08-17 18:14:52 -07001199 new_fa->fa_type = cfg->fc_type;
1200 new_fa->fa_scope = cfg->fc_scope;
Robert Olsson19baf832005-06-21 12:43:18 -07001201 state = fa->fa_state;
Robert Olsson2373ce12005-08-25 13:01:29 -07001202 new_fa->fa_state &= ~FA_S_ACCESSED;
Robert Olsson19baf832005-06-21 12:43:18 -07001203
Robert Olsson2373ce12005-08-25 13:01:29 -07001204 list_replace_rcu(&fa->fa_list, &new_fa->fa_list);
1205 alias_free_mem_rcu(fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001206
1207 fib_release_info(fi_drop);
1208 if (state & FA_S_ACCESSED)
Olof Johansson91b9a272005-08-09 20:24:39 -07001209 rt_cache_flush(-1);
Robert Olsson19baf832005-06-21 12:43:18 -07001210
Olof Johansson91b9a272005-08-09 20:24:39 -07001211 goto succeeded;
Robert Olsson19baf832005-06-21 12:43:18 -07001212 }
1213 /* Error if we find a perfect match which
1214 * uses the same scope, type, and nexthop
1215 * information.
1216 */
1217 fa_orig = fa;
1218 list_for_each_entry(fa, fa_orig->fa_list.prev, fa_list) {
1219 if (fa->fa_tos != tos)
1220 break;
1221 if (fa->fa_info->fib_priority != fi->fib_priority)
1222 break;
Thomas Graf4e902c52006-08-17 18:14:52 -07001223 if (fa->fa_type == cfg->fc_type &&
1224 fa->fa_scope == cfg->fc_scope &&
Robert Olsson19baf832005-06-21 12:43:18 -07001225 fa->fa_info == fi) {
1226 goto out;
1227 }
1228 }
Thomas Graf4e902c52006-08-17 18:14:52 -07001229 if (!(cfg->fc_nlflags & NLM_F_APPEND))
Robert Olsson19baf832005-06-21 12:43:18 -07001230 fa = fa_orig;
1231 }
1232 err = -ENOENT;
Thomas Graf4e902c52006-08-17 18:14:52 -07001233 if (!(cfg->fc_nlflags & NLM_F_CREATE))
Robert Olsson19baf832005-06-21 12:43:18 -07001234 goto out;
1235
1236 err = -ENOBUFS;
Christoph Lametere94b1762006-12-06 20:33:17 -08001237 new_fa = kmem_cache_alloc(fn_alias_kmem, GFP_KERNEL);
Robert Olsson19baf832005-06-21 12:43:18 -07001238 if (new_fa == NULL)
1239 goto out;
1240
1241 new_fa->fa_info = fi;
1242 new_fa->fa_tos = tos;
Thomas Graf4e902c52006-08-17 18:14:52 -07001243 new_fa->fa_type = cfg->fc_type;
1244 new_fa->fa_scope = cfg->fc_scope;
Robert Olsson19baf832005-06-21 12:43:18 -07001245 new_fa->fa_state = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001246 /*
1247 * Insert new entry to the list.
1248 */
1249
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001250 if (!fa_head) {
Robert Olssonf835e472005-06-28 15:00:39 -07001251 err = 0;
Herbert Xub47b2ec2006-07-12 13:29:56 -07001252 fa_head = fib_insert_node(t, &err, key, plen);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001253 if (err)
Robert Olssonf835e472005-06-28 15:00:39 -07001254 goto out_free_new_fa;
1255 }
Robert Olsson19baf832005-06-21 12:43:18 -07001256
Robert Olsson2373ce12005-08-25 13:01:29 -07001257 list_add_tail_rcu(&new_fa->fa_list,
1258 (fa ? &fa->fa_list : fa_head));
Robert Olsson19baf832005-06-21 12:43:18 -07001259
1260 rt_cache_flush(-1);
Thomas Graf4e902c52006-08-17 18:14:52 -07001261 rtmsg_fib(RTM_NEWROUTE, htonl(key), new_fa, plen, tb->tb_id,
1262 &cfg->fc_nlinfo);
Robert Olsson19baf832005-06-21 12:43:18 -07001263succeeded:
1264 return 0;
Robert Olssonf835e472005-06-28 15:00:39 -07001265
1266out_free_new_fa:
1267 kmem_cache_free(fn_alias_kmem, new_fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001268out:
1269 fib_release_info(fi);
Olof Johansson91b9a272005-08-09 20:24:39 -07001270err:
Robert Olsson19baf832005-06-21 12:43:18 -07001271 return err;
1272}
1273
Robert Olsson2373ce12005-08-25 13:01:29 -07001274
Robert Olsson772cb712005-09-19 15:31:18 -07001275/* should be called with rcu_read_lock */
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001276static inline int check_leaf(struct trie *t, struct leaf *l,
1277 t_key key, int *plen, const struct flowi *flp,
Patrick McHardy06c74272005-08-23 22:06:09 -07001278 struct fib_result *res)
Robert Olsson19baf832005-06-21 12:43:18 -07001279{
Patrick McHardy06c74272005-08-23 22:06:09 -07001280 int err, i;
Al Viro888454c2006-09-19 13:42:46 -07001281 __be32 mask;
Robert Olsson19baf832005-06-21 12:43:18 -07001282 struct leaf_info *li;
1283 struct hlist_head *hhead = &l->list;
1284 struct hlist_node *node;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001285
Robert Olsson2373ce12005-08-25 13:01:29 -07001286 hlist_for_each_entry_rcu(li, node, hhead, hlist) {
Robert Olsson19baf832005-06-21 12:43:18 -07001287 i = li->plen;
Al Viro888454c2006-09-19 13:42:46 -07001288 mask = inet_make_mask(i);
1289 if (l->key != (key & ntohl(mask)))
Robert Olsson19baf832005-06-21 12:43:18 -07001290 continue;
1291
Al Viro888454c2006-09-19 13:42:46 -07001292 if ((err = fib_semantic_match(&li->falh, flp, res, htonl(l->key), mask, i)) <= 0) {
Robert Olsson19baf832005-06-21 12:43:18 -07001293 *plen = i;
1294#ifdef CONFIG_IP_FIB_TRIE_STATS
1295 t->stats.semantic_match_passed++;
1296#endif
Patrick McHardy06c74272005-08-23 22:06:09 -07001297 return err;
Robert Olsson19baf832005-06-21 12:43:18 -07001298 }
1299#ifdef CONFIG_IP_FIB_TRIE_STATS
1300 t->stats.semantic_match_miss++;
1301#endif
1302 }
Patrick McHardy06c74272005-08-23 22:06:09 -07001303 return 1;
Robert Olsson19baf832005-06-21 12:43:18 -07001304}
1305
1306static int
1307fn_trie_lookup(struct fib_table *tb, const struct flowi *flp, struct fib_result *res)
1308{
1309 struct trie *t = (struct trie *) tb->tb_data;
1310 int plen, ret = 0;
1311 struct node *n;
1312 struct tnode *pn;
1313 int pos, bits;
Olof Johansson91b9a272005-08-09 20:24:39 -07001314 t_key key = ntohl(flp->fl4_dst);
Robert Olsson19baf832005-06-21 12:43:18 -07001315 int chopped_off;
1316 t_key cindex = 0;
1317 int current_prefix_length = KEYLENGTH;
Olof Johansson91b9a272005-08-09 20:24:39 -07001318 struct tnode *cn;
1319 t_key node_prefix, key_prefix, pref_mismatch;
1320 int mp;
1321
Robert Olsson2373ce12005-08-25 13:01:29 -07001322 rcu_read_lock();
Robert Olsson19baf832005-06-21 12:43:18 -07001323
Robert Olsson2373ce12005-08-25 13:01:29 -07001324 n = rcu_dereference(t->trie);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001325 if (!n)
Robert Olsson19baf832005-06-21 12:43:18 -07001326 goto failed;
1327
1328#ifdef CONFIG_IP_FIB_TRIE_STATS
1329 t->stats.gets++;
1330#endif
1331
1332 /* Just a leaf? */
1333 if (IS_LEAF(n)) {
Patrick McHardy06c74272005-08-23 22:06:09 -07001334 if ((ret = check_leaf(t, (struct leaf *)n, key, &plen, flp, res)) <= 0)
Robert Olsson19baf832005-06-21 12:43:18 -07001335 goto found;
1336 goto failed;
1337 }
1338 pn = (struct tnode *) n;
1339 chopped_off = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001340
Olof Johansson91b9a272005-08-09 20:24:39 -07001341 while (pn) {
Robert Olsson19baf832005-06-21 12:43:18 -07001342 pos = pn->pos;
1343 bits = pn->bits;
1344
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001345 if (!chopped_off)
Robert Olsson19baf832005-06-21 12:43:18 -07001346 cindex = tkey_extract_bits(MASK_PFX(key, current_prefix_length), pos, bits);
1347
1348 n = tnode_get_child(pn, cindex);
1349
1350 if (n == NULL) {
1351#ifdef CONFIG_IP_FIB_TRIE_STATS
1352 t->stats.null_node_hit++;
1353#endif
1354 goto backtrace;
1355 }
1356
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001357 if (IS_LEAF(n)) {
Patrick McHardy06c74272005-08-23 22:06:09 -07001358 if ((ret = check_leaf(t, (struct leaf *)n, key, &plen, flp, res)) <= 0)
Robert Olsson19baf832005-06-21 12:43:18 -07001359 goto found;
Olof Johansson91b9a272005-08-09 20:24:39 -07001360 else
1361 goto backtrace;
1362 }
1363
1364#define HL_OPTIMIZE
1365#ifdef HL_OPTIMIZE
1366 cn = (struct tnode *)n;
1367
1368 /*
1369 * It's a tnode, and we can do some extra checks here if we
1370 * like, to avoid descending into a dead-end branch.
1371 * This tnode is in the parent's child array at index
1372 * key[p_pos..p_pos+p_bits] but potentially with some bits
1373 * chopped off, so in reality the index may be just a
1374 * subprefix, padded with zero at the end.
1375 * We can also take a look at any skipped bits in this
1376 * tnode - everything up to p_pos is supposed to be ok,
1377 * and the non-chopped bits of the index (se previous
1378 * paragraph) are also guaranteed ok, but the rest is
1379 * considered unknown.
1380 *
1381 * The skipped bits are key[pos+bits..cn->pos].
1382 */
1383
1384 /* If current_prefix_length < pos+bits, we are already doing
1385 * actual prefix matching, which means everything from
1386 * pos+(bits-chopped_off) onward must be zero along some
1387 * branch of this subtree - otherwise there is *no* valid
1388 * prefix present. Here we can only check the skipped
1389 * bits. Remember, since we have already indexed into the
1390 * parent's child array, we know that the bits we chopped of
1391 * *are* zero.
1392 */
1393
1394 /* NOTA BENE: CHECKING ONLY SKIPPED BITS FOR THE NEW NODE HERE */
1395
1396 if (current_prefix_length < pos+bits) {
1397 if (tkey_extract_bits(cn->key, current_prefix_length,
1398 cn->pos - current_prefix_length) != 0 ||
1399 !(cn->child[0]))
1400 goto backtrace;
1401 }
1402
1403 /*
1404 * If chopped_off=0, the index is fully validated and we
1405 * only need to look at the skipped bits for this, the new,
1406 * tnode. What we actually want to do is to find out if
1407 * these skipped bits match our key perfectly, or if we will
1408 * have to count on finding a matching prefix further down,
1409 * because if we do, we would like to have some way of
1410 * verifying the existence of such a prefix at this point.
1411 */
1412
1413 /* The only thing we can do at this point is to verify that
1414 * any such matching prefix can indeed be a prefix to our
1415 * key, and if the bits in the node we are inspecting that
1416 * do not match our key are not ZERO, this cannot be true.
1417 * Thus, find out where there is a mismatch (before cn->pos)
1418 * and verify that all the mismatching bits are zero in the
1419 * new tnode's key.
1420 */
1421
1422 /* Note: We aren't very concerned about the piece of the key
1423 * that precede pn->pos+pn->bits, since these have already been
1424 * checked. The bits after cn->pos aren't checked since these are
1425 * by definition "unknown" at this point. Thus, what we want to
1426 * see is if we are about to enter the "prefix matching" state,
1427 * and in that case verify that the skipped bits that will prevail
1428 * throughout this subtree are zero, as they have to be if we are
1429 * to find a matching prefix.
1430 */
1431
1432 node_prefix = MASK_PFX(cn->key, cn->pos);
1433 key_prefix = MASK_PFX(key, cn->pos);
1434 pref_mismatch = key_prefix^node_prefix;
1435 mp = 0;
1436
1437 /* In short: If skipped bits in this node do not match the search
1438 * key, enter the "prefix matching" state.directly.
1439 */
1440 if (pref_mismatch) {
1441 while (!(pref_mismatch & (1<<(KEYLENGTH-1)))) {
1442 mp++;
1443 pref_mismatch = pref_mismatch <<1;
1444 }
1445 key_prefix = tkey_extract_bits(cn->key, mp, cn->pos-mp);
1446
1447 if (key_prefix != 0)
1448 goto backtrace;
1449
1450 if (current_prefix_length >= cn->pos)
1451 current_prefix_length = mp;
1452 }
1453#endif
1454 pn = (struct tnode *)n; /* Descend */
1455 chopped_off = 0;
1456 continue;
1457
Robert Olsson19baf832005-06-21 12:43:18 -07001458backtrace:
1459 chopped_off++;
1460
1461 /* As zero don't change the child key (cindex) */
Olof Johansson91b9a272005-08-09 20:24:39 -07001462 while ((chopped_off <= pn->bits) && !(cindex & (1<<(chopped_off-1))))
Robert Olsson19baf832005-06-21 12:43:18 -07001463 chopped_off++;
Robert Olsson19baf832005-06-21 12:43:18 -07001464
1465 /* Decrease current_... with bits chopped off */
1466 if (current_prefix_length > pn->pos + pn->bits - chopped_off)
1467 current_prefix_length = pn->pos + pn->bits - chopped_off;
Olof Johansson91b9a272005-08-09 20:24:39 -07001468
Robert Olsson19baf832005-06-21 12:43:18 -07001469 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001470 * Either we do the actual chop off according or if we have
Robert Olsson19baf832005-06-21 12:43:18 -07001471 * chopped off all bits in this tnode walk up to our parent.
1472 */
1473
Olof Johansson91b9a272005-08-09 20:24:39 -07001474 if (chopped_off <= pn->bits) {
Robert Olsson19baf832005-06-21 12:43:18 -07001475 cindex &= ~(1 << (chopped_off-1));
Olof Johansson91b9a272005-08-09 20:24:39 -07001476 } else {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001477 if (NODE_PARENT(pn) == NULL)
Robert Olsson19baf832005-06-21 12:43:18 -07001478 goto failed;
Olof Johansson91b9a272005-08-09 20:24:39 -07001479
Robert Olsson19baf832005-06-21 12:43:18 -07001480 /* Get Child's index */
1481 cindex = tkey_extract_bits(pn->key, NODE_PARENT(pn)->pos, NODE_PARENT(pn)->bits);
1482 pn = NODE_PARENT(pn);
1483 chopped_off = 0;
1484
1485#ifdef CONFIG_IP_FIB_TRIE_STATS
1486 t->stats.backtrack++;
1487#endif
1488 goto backtrace;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001489 }
Robert Olsson19baf832005-06-21 12:43:18 -07001490 }
1491failed:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001492 ret = 1;
Robert Olsson19baf832005-06-21 12:43:18 -07001493found:
Robert Olsson2373ce12005-08-25 13:01:29 -07001494 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001495 return ret;
1496}
1497
Robert Olsson2373ce12005-08-25 13:01:29 -07001498/* only called from updater side */
Robert Olsson19baf832005-06-21 12:43:18 -07001499static int trie_leaf_remove(struct trie *t, t_key key)
1500{
1501 t_key cindex;
1502 struct tnode *tp = NULL;
1503 struct node *n = t->trie;
1504 struct leaf *l;
1505
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001506 pr_debug("entering trie_leaf_remove(%p)\n", n);
Robert Olsson19baf832005-06-21 12:43:18 -07001507
1508 /* Note that in the case skipped bits, those bits are *not* checked!
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001509 * When we finish this, we will have NULL or a T_LEAF, and the
Robert Olsson19baf832005-06-21 12:43:18 -07001510 * T_LEAF may or may not match our key.
1511 */
1512
Olof Johansson91b9a272005-08-09 20:24:39 -07001513 while (n != NULL && IS_TNODE(n)) {
Robert Olsson19baf832005-06-21 12:43:18 -07001514 struct tnode *tn = (struct tnode *) n;
1515 check_tnode(tn);
1516 n = tnode_get_child(tn ,tkey_extract_bits(key, tn->pos, tn->bits));
1517
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001518 BUG_ON(n && NODE_PARENT(n) != tn);
Olof Johansson91b9a272005-08-09 20:24:39 -07001519 }
Robert Olsson19baf832005-06-21 12:43:18 -07001520 l = (struct leaf *) n;
1521
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001522 if (!n || !tkey_equals(l->key, key))
Robert Olsson19baf832005-06-21 12:43:18 -07001523 return 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001524
1525 /*
1526 * Key found.
1527 * Remove the leaf and rebalance the tree
Robert Olsson19baf832005-06-21 12:43:18 -07001528 */
1529
1530 t->revision++;
1531 t->size--;
1532
1533 tp = NODE_PARENT(n);
1534 tnode_free((struct tnode *) n);
1535
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001536 if (tp) {
Robert Olsson19baf832005-06-21 12:43:18 -07001537 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
1538 put_child(t, (struct tnode *)tp, cindex, NULL);
Robert Olsson2373ce12005-08-25 13:01:29 -07001539 rcu_assign_pointer(t->trie, trie_rebalance(t, tp));
Olof Johansson91b9a272005-08-09 20:24:39 -07001540 } else
Robert Olsson2373ce12005-08-25 13:01:29 -07001541 rcu_assign_pointer(t->trie, NULL);
Robert Olsson19baf832005-06-21 12:43:18 -07001542
1543 return 1;
1544}
1545
Robert Olssond562f1f2007-03-26 14:22:22 -07001546/*
1547 * Caller must hold RTNL.
1548 */
Thomas Graf4e902c52006-08-17 18:14:52 -07001549static int fn_trie_delete(struct fib_table *tb, struct fib_config *cfg)
Robert Olsson19baf832005-06-21 12:43:18 -07001550{
1551 struct trie *t = (struct trie *) tb->tb_data;
1552 u32 key, mask;
Thomas Graf4e902c52006-08-17 18:14:52 -07001553 int plen = cfg->fc_dst_len;
1554 u8 tos = cfg->fc_tos;
Robert Olsson19baf832005-06-21 12:43:18 -07001555 struct fib_alias *fa, *fa_to_delete;
1556 struct list_head *fa_head;
1557 struct leaf *l;
Olof Johansson91b9a272005-08-09 20:24:39 -07001558 struct leaf_info *li;
1559
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001560 if (plen > 32)
Robert Olsson19baf832005-06-21 12:43:18 -07001561 return -EINVAL;
1562
Thomas Graf4e902c52006-08-17 18:14:52 -07001563 key = ntohl(cfg->fc_dst);
Olof Johansson91b9a272005-08-09 20:24:39 -07001564 mask = ntohl(inet_make_mask(plen));
Robert Olsson19baf832005-06-21 12:43:18 -07001565
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001566 if (key & ~mask)
Robert Olsson19baf832005-06-21 12:43:18 -07001567 return -EINVAL;
1568
1569 key = key & mask;
1570 l = fib_find_node(t, key);
1571
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001572 if (!l)
Robert Olsson19baf832005-06-21 12:43:18 -07001573 return -ESRCH;
1574
1575 fa_head = get_fa_head(l, plen);
1576 fa = fib_find_alias(fa_head, tos, 0);
1577
1578 if (!fa)
1579 return -ESRCH;
1580
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001581 pr_debug("Deleting %08x/%d tos=%d t=%p\n", key, plen, tos, t);
Robert Olsson19baf832005-06-21 12:43:18 -07001582
1583 fa_to_delete = NULL;
1584 fa_head = fa->fa_list.prev;
Robert Olsson2373ce12005-08-25 13:01:29 -07001585
Robert Olsson19baf832005-06-21 12:43:18 -07001586 list_for_each_entry(fa, fa_head, fa_list) {
1587 struct fib_info *fi = fa->fa_info;
1588
1589 if (fa->fa_tos != tos)
1590 break;
1591
Thomas Graf4e902c52006-08-17 18:14:52 -07001592 if ((!cfg->fc_type || fa->fa_type == cfg->fc_type) &&
1593 (cfg->fc_scope == RT_SCOPE_NOWHERE ||
1594 fa->fa_scope == cfg->fc_scope) &&
1595 (!cfg->fc_protocol ||
1596 fi->fib_protocol == cfg->fc_protocol) &&
1597 fib_nh_match(cfg, fi) == 0) {
Robert Olsson19baf832005-06-21 12:43:18 -07001598 fa_to_delete = fa;
1599 break;
1600 }
1601 }
1602
Olof Johansson91b9a272005-08-09 20:24:39 -07001603 if (!fa_to_delete)
1604 return -ESRCH;
Robert Olsson19baf832005-06-21 12:43:18 -07001605
Olof Johansson91b9a272005-08-09 20:24:39 -07001606 fa = fa_to_delete;
Thomas Graf4e902c52006-08-17 18:14:52 -07001607 rtmsg_fib(RTM_DELROUTE, htonl(key), fa, plen, tb->tb_id,
1608 &cfg->fc_nlinfo);
Robert Olsson19baf832005-06-21 12:43:18 -07001609
Olof Johansson91b9a272005-08-09 20:24:39 -07001610 l = fib_find_node(t, key);
Robert Olsson772cb712005-09-19 15:31:18 -07001611 li = find_leaf_info(l, plen);
Robert Olsson19baf832005-06-21 12:43:18 -07001612
Robert Olsson2373ce12005-08-25 13:01:29 -07001613 list_del_rcu(&fa->fa_list);
Robert Olsson19baf832005-06-21 12:43:18 -07001614
Olof Johansson91b9a272005-08-09 20:24:39 -07001615 if (list_empty(fa_head)) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001616 hlist_del_rcu(&li->hlist);
Olof Johansson91b9a272005-08-09 20:24:39 -07001617 free_leaf_info(li);
Robert Olsson2373ce12005-08-25 13:01:29 -07001618 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001619
1620 if (hlist_empty(&l->list))
1621 trie_leaf_remove(t, key);
1622
1623 if (fa->fa_state & FA_S_ACCESSED)
1624 rt_cache_flush(-1);
1625
Robert Olsson2373ce12005-08-25 13:01:29 -07001626 fib_release_info(fa->fa_info);
1627 alias_free_mem_rcu(fa);
Olof Johansson91b9a272005-08-09 20:24:39 -07001628 return 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001629}
1630
1631static int trie_flush_list(struct trie *t, struct list_head *head)
1632{
1633 struct fib_alias *fa, *fa_node;
1634 int found = 0;
1635
1636 list_for_each_entry_safe(fa, fa_node, head, fa_list) {
1637 struct fib_info *fi = fa->fa_info;
Robert Olsson19baf832005-06-21 12:43:18 -07001638
Robert Olsson2373ce12005-08-25 13:01:29 -07001639 if (fi && (fi->fib_flags & RTNH_F_DEAD)) {
1640 list_del_rcu(&fa->fa_list);
1641 fib_release_info(fa->fa_info);
1642 alias_free_mem_rcu(fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001643 found++;
1644 }
1645 }
1646 return found;
1647}
1648
1649static int trie_flush_leaf(struct trie *t, struct leaf *l)
1650{
1651 int found = 0;
1652 struct hlist_head *lih = &l->list;
1653 struct hlist_node *node, *tmp;
1654 struct leaf_info *li = NULL;
1655
1656 hlist_for_each_entry_safe(li, node, tmp, lih, hlist) {
Robert Olsson19baf832005-06-21 12:43:18 -07001657 found += trie_flush_list(t, &li->falh);
1658
1659 if (list_empty(&li->falh)) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001660 hlist_del_rcu(&li->hlist);
Robert Olsson19baf832005-06-21 12:43:18 -07001661 free_leaf_info(li);
1662 }
1663 }
1664 return found;
1665}
1666
Robert Olsson2373ce12005-08-25 13:01:29 -07001667/* rcu_read_lock needs to be hold by caller from readside */
1668
Robert Olsson19baf832005-06-21 12:43:18 -07001669static struct leaf *nextleaf(struct trie *t, struct leaf *thisleaf)
1670{
1671 struct node *c = (struct node *) thisleaf;
1672 struct tnode *p;
1673 int idx;
Robert Olsson2373ce12005-08-25 13:01:29 -07001674 struct node *trie = rcu_dereference(t->trie);
Robert Olsson19baf832005-06-21 12:43:18 -07001675
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001676 if (c == NULL) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001677 if (trie == NULL)
Robert Olsson19baf832005-06-21 12:43:18 -07001678 return NULL;
1679
Robert Olsson2373ce12005-08-25 13:01:29 -07001680 if (IS_LEAF(trie)) /* trie w. just a leaf */
1681 return (struct leaf *) trie;
Robert Olsson19baf832005-06-21 12:43:18 -07001682
Robert Olsson2373ce12005-08-25 13:01:29 -07001683 p = (struct tnode*) trie; /* Start */
Olof Johansson91b9a272005-08-09 20:24:39 -07001684 } else
Robert Olsson19baf832005-06-21 12:43:18 -07001685 p = (struct tnode *) NODE_PARENT(c);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001686
Robert Olsson19baf832005-06-21 12:43:18 -07001687 while (p) {
1688 int pos, last;
1689
1690 /* Find the next child of the parent */
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001691 if (c)
1692 pos = 1 + tkey_extract_bits(c->key, p->pos, p->bits);
1693 else
Robert Olsson19baf832005-06-21 12:43:18 -07001694 pos = 0;
1695
1696 last = 1 << p->bits;
Olof Johansson91b9a272005-08-09 20:24:39 -07001697 for (idx = pos; idx < last ; idx++) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001698 c = rcu_dereference(p->child[idx]);
1699
1700 if (!c)
Olof Johansson91b9a272005-08-09 20:24:39 -07001701 continue;
Robert Olsson19baf832005-06-21 12:43:18 -07001702
Olof Johansson91b9a272005-08-09 20:24:39 -07001703 /* Decend if tnode */
Robert Olsson2373ce12005-08-25 13:01:29 -07001704 while (IS_TNODE(c)) {
1705 p = (struct tnode *) c;
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +09001706 idx = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001707
Olof Johansson91b9a272005-08-09 20:24:39 -07001708 /* Rightmost non-NULL branch */
1709 if (p && IS_TNODE(p))
Robert Olsson2373ce12005-08-25 13:01:29 -07001710 while (!(c = rcu_dereference(p->child[idx]))
1711 && idx < (1<<p->bits)) idx++;
Robert Olsson19baf832005-06-21 12:43:18 -07001712
Olof Johansson91b9a272005-08-09 20:24:39 -07001713 /* Done with this tnode? */
Robert Olsson2373ce12005-08-25 13:01:29 -07001714 if (idx >= (1 << p->bits) || !c)
Olof Johansson91b9a272005-08-09 20:24:39 -07001715 goto up;
Robert Olsson19baf832005-06-21 12:43:18 -07001716 }
Robert Olsson2373ce12005-08-25 13:01:29 -07001717 return (struct leaf *) c;
Robert Olsson19baf832005-06-21 12:43:18 -07001718 }
1719up:
1720 /* No more children go up one step */
Olof Johansson91b9a272005-08-09 20:24:39 -07001721 c = (struct node *) p;
Robert Olsson19baf832005-06-21 12:43:18 -07001722 p = (struct tnode *) NODE_PARENT(p);
1723 }
1724 return NULL; /* Ready. Root of trie */
1725}
1726
Robert Olssond562f1f2007-03-26 14:22:22 -07001727/*
1728 * Caller must hold RTNL.
1729 */
Robert Olsson19baf832005-06-21 12:43:18 -07001730static int fn_trie_flush(struct fib_table *tb)
1731{
1732 struct trie *t = (struct trie *) tb->tb_data;
1733 struct leaf *ll = NULL, *l = NULL;
1734 int found = 0, h;
1735
1736 t->revision++;
1737
Olof Johansson91b9a272005-08-09 20:24:39 -07001738 for (h = 0; (l = nextleaf(t, l)) != NULL; h++) {
Robert Olsson19baf832005-06-21 12:43:18 -07001739 found += trie_flush_leaf(t, l);
1740
1741 if (ll && hlist_empty(&ll->list))
1742 trie_leaf_remove(t, ll->key);
1743 ll = l;
1744 }
1745
1746 if (ll && hlist_empty(&ll->list))
1747 trie_leaf_remove(t, ll->key);
1748
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001749 pr_debug("trie_flush found=%d\n", found);
Robert Olsson19baf832005-06-21 12:43:18 -07001750 return found;
1751}
1752
Olof Johansson91b9a272005-08-09 20:24:39 -07001753static int trie_last_dflt = -1;
Robert Olsson19baf832005-06-21 12:43:18 -07001754
1755static void
1756fn_trie_select_default(struct fib_table *tb, const struct flowi *flp, struct fib_result *res)
1757{
1758 struct trie *t = (struct trie *) tb->tb_data;
1759 int order, last_idx;
1760 struct fib_info *fi = NULL;
1761 struct fib_info *last_resort;
1762 struct fib_alias *fa = NULL;
1763 struct list_head *fa_head;
1764 struct leaf *l;
1765
1766 last_idx = -1;
1767 last_resort = NULL;
1768 order = -1;
1769
Robert Olsson2373ce12005-08-25 13:01:29 -07001770 rcu_read_lock();
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001771
Robert Olsson19baf832005-06-21 12:43:18 -07001772 l = fib_find_node(t, 0);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001773 if (!l)
Robert Olsson19baf832005-06-21 12:43:18 -07001774 goto out;
1775
1776 fa_head = get_fa_head(l, 0);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001777 if (!fa_head)
Robert Olsson19baf832005-06-21 12:43:18 -07001778 goto out;
1779
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001780 if (list_empty(fa_head))
Robert Olsson19baf832005-06-21 12:43:18 -07001781 goto out;
1782
Robert Olsson2373ce12005-08-25 13:01:29 -07001783 list_for_each_entry_rcu(fa, fa_head, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07001784 struct fib_info *next_fi = fa->fa_info;
Olof Johansson91b9a272005-08-09 20:24:39 -07001785
Robert Olsson19baf832005-06-21 12:43:18 -07001786 if (fa->fa_scope != res->scope ||
1787 fa->fa_type != RTN_UNICAST)
1788 continue;
Olof Johansson91b9a272005-08-09 20:24:39 -07001789
Robert Olsson19baf832005-06-21 12:43:18 -07001790 if (next_fi->fib_priority > res->fi->fib_priority)
1791 break;
1792 if (!next_fi->fib_nh[0].nh_gw ||
1793 next_fi->fib_nh[0].nh_scope != RT_SCOPE_LINK)
1794 continue;
1795 fa->fa_state |= FA_S_ACCESSED;
Olof Johansson91b9a272005-08-09 20:24:39 -07001796
Robert Olsson19baf832005-06-21 12:43:18 -07001797 if (fi == NULL) {
1798 if (next_fi != res->fi)
1799 break;
1800 } else if (!fib_detect_death(fi, order, &last_resort,
1801 &last_idx, &trie_last_dflt)) {
1802 if (res->fi)
1803 fib_info_put(res->fi);
1804 res->fi = fi;
1805 atomic_inc(&fi->fib_clntref);
1806 trie_last_dflt = order;
1807 goto out;
1808 }
1809 fi = next_fi;
1810 order++;
1811 }
1812 if (order <= 0 || fi == NULL) {
1813 trie_last_dflt = -1;
1814 goto out;
1815 }
1816
1817 if (!fib_detect_death(fi, order, &last_resort, &last_idx, &trie_last_dflt)) {
1818 if (res->fi)
1819 fib_info_put(res->fi);
1820 res->fi = fi;
1821 atomic_inc(&fi->fib_clntref);
1822 trie_last_dflt = order;
1823 goto out;
1824 }
1825 if (last_idx >= 0) {
1826 if (res->fi)
1827 fib_info_put(res->fi);
1828 res->fi = last_resort;
1829 if (last_resort)
1830 atomic_inc(&last_resort->fib_clntref);
1831 }
1832 trie_last_dflt = last_idx;
1833 out:;
Robert Olsson2373ce12005-08-25 13:01:29 -07001834 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001835}
1836
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001837static int fn_trie_dump_fa(t_key key, int plen, struct list_head *fah, struct fib_table *tb,
Robert Olsson19baf832005-06-21 12:43:18 -07001838 struct sk_buff *skb, struct netlink_callback *cb)
1839{
1840 int i, s_i;
1841 struct fib_alias *fa;
1842
Al Viro32ab5f82006-09-26 22:21:45 -07001843 __be32 xkey = htonl(key);
Robert Olsson19baf832005-06-21 12:43:18 -07001844
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001845 s_i = cb->args[4];
Robert Olsson19baf832005-06-21 12:43:18 -07001846 i = 0;
1847
Robert Olsson2373ce12005-08-25 13:01:29 -07001848 /* rcu_read_lock is hold by caller */
1849
1850 list_for_each_entry_rcu(fa, fah, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07001851 if (i < s_i) {
1852 i++;
1853 continue;
1854 }
Stephen Hemminger78c66712005-09-21 00:15:39 -07001855 BUG_ON(!fa->fa_info);
Robert Olsson19baf832005-06-21 12:43:18 -07001856
1857 if (fib_dump_info(skb, NETLINK_CB(cb->skb).pid,
1858 cb->nlh->nlmsg_seq,
1859 RTM_NEWROUTE,
1860 tb->tb_id,
1861 fa->fa_type,
1862 fa->fa_scope,
Thomas Grafbe403ea2006-08-17 18:15:17 -07001863 xkey,
Robert Olsson19baf832005-06-21 12:43:18 -07001864 plen,
1865 fa->fa_tos,
David S. Miller90f66912005-06-21 14:43:28 -07001866 fa->fa_info, 0) < 0) {
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001867 cb->args[4] = i;
Robert Olsson19baf832005-06-21 12:43:18 -07001868 return -1;
Olof Johansson91b9a272005-08-09 20:24:39 -07001869 }
Robert Olsson19baf832005-06-21 12:43:18 -07001870 i++;
1871 }
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001872 cb->args[4] = i;
Robert Olsson19baf832005-06-21 12:43:18 -07001873 return skb->len;
1874}
1875
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001876static int fn_trie_dump_plen(struct trie *t, int plen, struct fib_table *tb, struct sk_buff *skb,
Robert Olsson19baf832005-06-21 12:43:18 -07001877 struct netlink_callback *cb)
1878{
1879 int h, s_h;
1880 struct list_head *fa_head;
1881 struct leaf *l = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001882
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001883 s_h = cb->args[3];
Robert Olsson19baf832005-06-21 12:43:18 -07001884
Olof Johansson91b9a272005-08-09 20:24:39 -07001885 for (h = 0; (l = nextleaf(t, l)) != NULL; h++) {
Robert Olsson19baf832005-06-21 12:43:18 -07001886 if (h < s_h)
1887 continue;
1888 if (h > s_h)
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001889 memset(&cb->args[4], 0,
1890 sizeof(cb->args) - 4*sizeof(cb->args[0]));
Robert Olsson19baf832005-06-21 12:43:18 -07001891
1892 fa_head = get_fa_head(l, plen);
Olof Johansson91b9a272005-08-09 20:24:39 -07001893
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001894 if (!fa_head)
Robert Olsson19baf832005-06-21 12:43:18 -07001895 continue;
1896
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001897 if (list_empty(fa_head))
Robert Olsson19baf832005-06-21 12:43:18 -07001898 continue;
1899
1900 if (fn_trie_dump_fa(l->key, plen, fa_head, tb, skb, cb)<0) {
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001901 cb->args[3] = h;
Robert Olsson19baf832005-06-21 12:43:18 -07001902 return -1;
1903 }
1904 }
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001905 cb->args[3] = h;
Robert Olsson19baf832005-06-21 12:43:18 -07001906 return skb->len;
1907}
1908
1909static int fn_trie_dump(struct fib_table *tb, struct sk_buff *skb, struct netlink_callback *cb)
1910{
1911 int m, s_m;
1912 struct trie *t = (struct trie *) tb->tb_data;
1913
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001914 s_m = cb->args[2];
Robert Olsson19baf832005-06-21 12:43:18 -07001915
Robert Olsson2373ce12005-08-25 13:01:29 -07001916 rcu_read_lock();
Olof Johansson91b9a272005-08-09 20:24:39 -07001917 for (m = 0; m <= 32; m++) {
Robert Olsson19baf832005-06-21 12:43:18 -07001918 if (m < s_m)
1919 continue;
1920 if (m > s_m)
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001921 memset(&cb->args[3], 0,
1922 sizeof(cb->args) - 3*sizeof(cb->args[0]));
Robert Olsson19baf832005-06-21 12:43:18 -07001923
1924 if (fn_trie_dump_plen(t, 32-m, tb, skb, cb)<0) {
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001925 cb->args[2] = m;
Robert Olsson19baf832005-06-21 12:43:18 -07001926 goto out;
1927 }
1928 }
Robert Olsson2373ce12005-08-25 13:01:29 -07001929 rcu_read_unlock();
Patrick McHardy1af5a8c2006-08-10 23:10:46 -07001930 cb->args[2] = m;
Robert Olsson19baf832005-06-21 12:43:18 -07001931 return skb->len;
Olof Johansson91b9a272005-08-09 20:24:39 -07001932out:
Robert Olsson2373ce12005-08-25 13:01:29 -07001933 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001934 return -1;
1935}
1936
1937/* Fix more generic FIB names for init later */
1938
1939#ifdef CONFIG_IP_MULTIPLE_TABLES
Patrick McHardy2dfe55b2006-08-10 23:08:33 -07001940struct fib_table * fib_hash_init(u32 id)
Robert Olsson19baf832005-06-21 12:43:18 -07001941#else
Patrick McHardy2dfe55b2006-08-10 23:08:33 -07001942struct fib_table * __init fib_hash_init(u32 id)
Robert Olsson19baf832005-06-21 12:43:18 -07001943#endif
1944{
1945 struct fib_table *tb;
1946 struct trie *t;
1947
1948 if (fn_alias_kmem == NULL)
1949 fn_alias_kmem = kmem_cache_create("ip_fib_alias",
1950 sizeof(struct fib_alias),
1951 0, SLAB_HWCACHE_ALIGN,
1952 NULL, NULL);
1953
1954 tb = kmalloc(sizeof(struct fib_table) + sizeof(struct trie),
1955 GFP_KERNEL);
1956 if (tb == NULL)
1957 return NULL;
1958
1959 tb->tb_id = id;
1960 tb->tb_lookup = fn_trie_lookup;
1961 tb->tb_insert = fn_trie_insert;
1962 tb->tb_delete = fn_trie_delete;
1963 tb->tb_flush = fn_trie_flush;
1964 tb->tb_select_default = fn_trie_select_default;
1965 tb->tb_dump = fn_trie_dump;
1966 memset(tb->tb_data, 0, sizeof(struct trie));
1967
1968 t = (struct trie *) tb->tb_data;
1969
1970 trie_init(t);
1971
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001972 if (id == RT_TABLE_LOCAL)
Olof Johansson91b9a272005-08-09 20:24:39 -07001973 trie_local = t;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001974 else if (id == RT_TABLE_MAIN)
Olof Johansson91b9a272005-08-09 20:24:39 -07001975 trie_main = t;
Robert Olsson19baf832005-06-21 12:43:18 -07001976
1977 if (id == RT_TABLE_LOCAL)
Stephen Hemminger78c66712005-09-21 00:15:39 -07001978 printk(KERN_INFO "IPv4 FIB: Using LC-trie version %s\n", VERSION);
Robert Olsson19baf832005-06-21 12:43:18 -07001979
1980 return tb;
1981}
1982
Robert Olsson19baf832005-06-21 12:43:18 -07001983#ifdef CONFIG_PROC_FS
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001984/* Depth first Trie walk iterator */
1985struct fib_trie_iter {
1986 struct tnode *tnode;
1987 struct trie *trie;
1988 unsigned index;
1989 unsigned depth;
1990};
Robert Olsson19baf832005-06-21 12:43:18 -07001991
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001992static struct node *fib_trie_get_next(struct fib_trie_iter *iter)
Robert Olsson19baf832005-06-21 12:43:18 -07001993{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001994 struct tnode *tn = iter->tnode;
1995 unsigned cindex = iter->index;
1996 struct tnode *p;
1997
Eric W. Biederman6640e692007-01-24 14:42:04 -08001998 /* A single entry routing table */
1999 if (!tn)
2000 return NULL;
2001
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002002 pr_debug("get_next iter={node=%p index=%d depth=%d}\n",
2003 iter->tnode, iter->index, iter->depth);
2004rescan:
2005 while (cindex < (1<<tn->bits)) {
2006 struct node *n = tnode_get_child(tn, cindex);
2007
2008 if (n) {
2009 if (IS_LEAF(n)) {
2010 iter->tnode = tn;
2011 iter->index = cindex + 1;
2012 } else {
2013 /* push down one level */
2014 iter->tnode = (struct tnode *) n;
2015 iter->index = 0;
2016 ++iter->depth;
2017 }
2018 return n;
2019 }
2020
2021 ++cindex;
2022 }
2023
2024 /* Current node exhausted, pop back up */
2025 p = NODE_PARENT(tn);
2026 if (p) {
2027 cindex = tkey_extract_bits(tn->key, p->pos, p->bits)+1;
2028 tn = p;
2029 --iter->depth;
2030 goto rescan;
2031 }
2032
2033 /* got root? */
Robert Olsson19baf832005-06-21 12:43:18 -07002034 return NULL;
2035}
2036
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002037static struct node *fib_trie_get_first(struct fib_trie_iter *iter,
2038 struct trie *t)
Robert Olsson19baf832005-06-21 12:43:18 -07002039{
Robert Olsson5ddf0eb2006-03-20 21:34:12 -08002040 struct node *n ;
2041
2042 if(!t)
2043 return NULL;
2044
2045 n = rcu_dereference(t->trie);
2046
2047 if(!iter)
2048 return NULL;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002049
Eric W. Biederman6640e692007-01-24 14:42:04 -08002050 if (n) {
2051 if (IS_TNODE(n)) {
2052 iter->tnode = (struct tnode *) n;
2053 iter->trie = t;
2054 iter->index = 0;
2055 iter->depth = 1;
2056 } else {
2057 iter->tnode = NULL;
2058 iter->trie = t;
2059 iter->index = 0;
2060 iter->depth = 0;
2061 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002062 return n;
2063 }
Robert Olsson19baf832005-06-21 12:43:18 -07002064 return NULL;
2065}
2066
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002067static void trie_collect_stats(struct trie *t, struct trie_stat *s)
Robert Olsson19baf832005-06-21 12:43:18 -07002068{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002069 struct node *n;
2070 struct fib_trie_iter iter;
Robert Olsson19baf832005-06-21 12:43:18 -07002071
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002072 memset(s, 0, sizeof(*s));
Robert Olsson19baf832005-06-21 12:43:18 -07002073
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002074 rcu_read_lock();
2075 for (n = fib_trie_get_first(&iter, t); n;
2076 n = fib_trie_get_next(&iter)) {
2077 if (IS_LEAF(n)) {
2078 s->leaves++;
2079 s->totdepth += iter.depth;
2080 if (iter.depth > s->maxdepth)
2081 s->maxdepth = iter.depth;
2082 } else {
2083 const struct tnode *tn = (const struct tnode *) n;
2084 int i;
Robert Olsson19baf832005-06-21 12:43:18 -07002085
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002086 s->tnodes++;
Robert Olsson06ef9212006-03-20 21:35:01 -08002087 if(tn->bits < MAX_STAT_DEPTH)
2088 s->nodesizes[tn->bits]++;
2089
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002090 for (i = 0; i < (1<<tn->bits); i++)
2091 if (!tn->child[i])
2092 s->nullpointers++;
2093 }
2094 }
2095 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002096}
2097
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002098/*
Robert Olsson19baf832005-06-21 12:43:18 -07002099 * This outputs /proc/net/fib_triestats
Robert Olsson19baf832005-06-21 12:43:18 -07002100 */
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002101static void trie_show_stats(struct seq_file *seq, struct trie_stat *stat)
Robert Olsson19baf832005-06-21 12:43:18 -07002102{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002103 unsigned i, max, pointers, bytes, avdepth;
Robert Olsson19baf832005-06-21 12:43:18 -07002104
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002105 if (stat->leaves)
2106 avdepth = stat->totdepth*100 / stat->leaves;
2107 else
2108 avdepth = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07002109
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002110 seq_printf(seq, "\tAver depth: %d.%02d\n", avdepth / 100, avdepth % 100 );
2111 seq_printf(seq, "\tMax depth: %u\n", stat->maxdepth);
Robert Olsson19baf832005-06-21 12:43:18 -07002112
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002113 seq_printf(seq, "\tLeaves: %u\n", stat->leaves);
Olof Johansson91b9a272005-08-09 20:24:39 -07002114
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002115 bytes = sizeof(struct leaf) * stat->leaves;
2116 seq_printf(seq, "\tInternal nodes: %d\n\t", stat->tnodes);
2117 bytes += sizeof(struct tnode) * stat->tnodes;
Robert Olsson19baf832005-06-21 12:43:18 -07002118
Robert Olsson06ef9212006-03-20 21:35:01 -08002119 max = MAX_STAT_DEPTH;
2120 while (max > 0 && stat->nodesizes[max-1] == 0)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002121 max--;
Robert Olsson19baf832005-06-21 12:43:18 -07002122
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002123 pointers = 0;
2124 for (i = 1; i <= max; i++)
2125 if (stat->nodesizes[i] != 0) {
2126 seq_printf(seq, " %d: %d", i, stat->nodesizes[i]);
2127 pointers += (1<<i) * stat->nodesizes[i];
2128 }
2129 seq_putc(seq, '\n');
2130 seq_printf(seq, "\tPointers: %d\n", pointers);
Robert Olsson19baf832005-06-21 12:43:18 -07002131
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002132 bytes += sizeof(struct node *) * pointers;
2133 seq_printf(seq, "Null ptrs: %d\n", stat->nullpointers);
2134 seq_printf(seq, "Total size: %d kB\n", (bytes + 1023) / 1024);
Robert Olsson19baf832005-06-21 12:43:18 -07002135
2136#ifdef CONFIG_IP_FIB_TRIE_STATS
2137 seq_printf(seq, "Counters:\n---------\n");
2138 seq_printf(seq,"gets = %d\n", t->stats.gets);
2139 seq_printf(seq,"backtracks = %d\n", t->stats.backtrack);
2140 seq_printf(seq,"semantic match passed = %d\n", t->stats.semantic_match_passed);
2141 seq_printf(seq,"semantic match miss = %d\n", t->stats.semantic_match_miss);
2142 seq_printf(seq,"null node hit= %d\n", t->stats.null_node_hit);
Robert Olsson2f368952005-07-05 15:02:40 -07002143 seq_printf(seq,"skipped node resize = %d\n", t->stats.resize_node_skipped);
Robert Olsson19baf832005-06-21 12:43:18 -07002144#ifdef CLEAR_STATS
2145 memset(&(t->stats), 0, sizeof(t->stats));
2146#endif
2147#endif /* CONFIG_IP_FIB_TRIE_STATS */
2148}
2149
2150static int fib_triestat_seq_show(struct seq_file *seq, void *v)
2151{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002152 struct trie_stat *stat;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002153
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002154 stat = kmalloc(sizeof(*stat), GFP_KERNEL);
2155 if (!stat)
2156 return -ENOMEM;
Robert Olsson19baf832005-06-21 12:43:18 -07002157
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002158 seq_printf(seq, "Basic info: size of leaf: %Zd bytes, size of tnode: %Zd bytes.\n",
2159 sizeof(struct leaf), sizeof(struct tnode));
Olof Johansson91b9a272005-08-09 20:24:39 -07002160
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002161 if (trie_local) {
2162 seq_printf(seq, "Local:\n");
2163 trie_collect_stats(trie_local, stat);
2164 trie_show_stats(seq, stat);
Robert Olsson19baf832005-06-21 12:43:18 -07002165 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002166
2167 if (trie_main) {
2168 seq_printf(seq, "Main:\n");
2169 trie_collect_stats(trie_main, stat);
2170 trie_show_stats(seq, stat);
2171 }
2172 kfree(stat);
2173
Robert Olsson19baf832005-06-21 12:43:18 -07002174 return 0;
2175}
2176
Robert Olsson19baf832005-06-21 12:43:18 -07002177static int fib_triestat_seq_open(struct inode *inode, struct file *file)
2178{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002179 return single_open(file, fib_triestat_seq_show, NULL);
Robert Olsson19baf832005-06-21 12:43:18 -07002180}
2181
Arjan van de Ven9a321442007-02-12 00:55:35 -08002182static const struct file_operations fib_triestat_fops = {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002183 .owner = THIS_MODULE,
2184 .open = fib_triestat_seq_open,
2185 .read = seq_read,
2186 .llseek = seq_lseek,
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002187 .release = single_release,
Robert Olsson19baf832005-06-21 12:43:18 -07002188};
2189
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002190static struct node *fib_trie_get_idx(struct fib_trie_iter *iter,
2191 loff_t pos)
Robert Olsson19baf832005-06-21 12:43:18 -07002192{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002193 loff_t idx = 0;
2194 struct node *n;
Robert Olsson19baf832005-06-21 12:43:18 -07002195
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002196 for (n = fib_trie_get_first(iter, trie_local);
2197 n; ++idx, n = fib_trie_get_next(iter)) {
2198 if (pos == idx)
2199 return n;
2200 }
Robert Olsson19baf832005-06-21 12:43:18 -07002201
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002202 for (n = fib_trie_get_first(iter, trie_main);
2203 n; ++idx, n = fib_trie_get_next(iter)) {
2204 if (pos == idx)
2205 return n;
2206 }
Robert Olsson19baf832005-06-21 12:43:18 -07002207 return NULL;
2208}
2209
2210static void *fib_trie_seq_start(struct seq_file *seq, loff_t *pos)
2211{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002212 rcu_read_lock();
2213 if (*pos == 0)
Olof Johansson91b9a272005-08-09 20:24:39 -07002214 return SEQ_START_TOKEN;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002215 return fib_trie_get_idx(seq->private, *pos - 1);
Robert Olsson19baf832005-06-21 12:43:18 -07002216}
2217
2218static void *fib_trie_seq_next(struct seq_file *seq, void *v, loff_t *pos)
2219{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002220 struct fib_trie_iter *iter = seq->private;
2221 void *l = v;
2222
Robert Olsson19baf832005-06-21 12:43:18 -07002223 ++*pos;
Olof Johansson91b9a272005-08-09 20:24:39 -07002224 if (v == SEQ_START_TOKEN)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002225 return fib_trie_get_idx(iter, 0);
Olof Johansson91b9a272005-08-09 20:24:39 -07002226
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002227 v = fib_trie_get_next(iter);
2228 BUG_ON(v == l);
2229 if (v)
2230 return v;
2231
2232 /* continue scan in next trie */
2233 if (iter->trie == trie_local)
2234 return fib_trie_get_first(iter, trie_main);
2235
2236 return NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07002237}
2238
2239static void fib_trie_seq_stop(struct seq_file *seq, void *v)
2240{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002241 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002242}
2243
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002244static void seq_indent(struct seq_file *seq, int n)
2245{
2246 while (n-- > 0) seq_puts(seq, " ");
2247}
Robert Olsson19baf832005-06-21 12:43:18 -07002248
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002249static inline const char *rtn_scope(enum rt_scope_t s)
2250{
2251 static char buf[32];
2252
2253 switch(s) {
2254 case RT_SCOPE_UNIVERSE: return "universe";
2255 case RT_SCOPE_SITE: return "site";
2256 case RT_SCOPE_LINK: return "link";
2257 case RT_SCOPE_HOST: return "host";
2258 case RT_SCOPE_NOWHERE: return "nowhere";
2259 default:
2260 snprintf(buf, sizeof(buf), "scope=%d", s);
2261 return buf;
2262 }
2263}
2264
2265static const char *rtn_type_names[__RTN_MAX] = {
2266 [RTN_UNSPEC] = "UNSPEC",
2267 [RTN_UNICAST] = "UNICAST",
2268 [RTN_LOCAL] = "LOCAL",
2269 [RTN_BROADCAST] = "BROADCAST",
2270 [RTN_ANYCAST] = "ANYCAST",
2271 [RTN_MULTICAST] = "MULTICAST",
2272 [RTN_BLACKHOLE] = "BLACKHOLE",
2273 [RTN_UNREACHABLE] = "UNREACHABLE",
2274 [RTN_PROHIBIT] = "PROHIBIT",
2275 [RTN_THROW] = "THROW",
2276 [RTN_NAT] = "NAT",
2277 [RTN_XRESOLVE] = "XRESOLVE",
2278};
2279
2280static inline const char *rtn_type(unsigned t)
2281{
2282 static char buf[32];
2283
2284 if (t < __RTN_MAX && rtn_type_names[t])
2285 return rtn_type_names[t];
2286 snprintf(buf, sizeof(buf), "type %d", t);
2287 return buf;
2288}
2289
2290/* Pretty print the trie */
Robert Olsson19baf832005-06-21 12:43:18 -07002291static int fib_trie_seq_show(struct seq_file *seq, void *v)
2292{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002293 const struct fib_trie_iter *iter = seq->private;
2294 struct node *n = v;
Robert Olsson19baf832005-06-21 12:43:18 -07002295
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002296 if (v == SEQ_START_TOKEN)
2297 return 0;
Robert Olsson19baf832005-06-21 12:43:18 -07002298
Robert Olsson095b8502007-01-26 19:06:01 -08002299 if (!NODE_PARENT(n)) {
2300 if (iter->trie == trie_local)
2301 seq_puts(seq, "<local>:\n");
2302 else
2303 seq_puts(seq, "<main>:\n");
2304 }
2305
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002306 if (IS_TNODE(n)) {
2307 struct tnode *tn = (struct tnode *) n;
Al Viro32ab5f82006-09-26 22:21:45 -07002308 __be32 prf = htonl(MASK_PFX(tn->key, tn->pos));
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002309
Robert Olsson1d25cd62005-09-19 15:29:52 -07002310 seq_indent(seq, iter->depth-1);
2311 seq_printf(seq, " +-- %d.%d.%d.%d/%d %d %d %d\n",
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +09002312 NIPQUAD(prf), tn->pos, tn->bits, tn->full_children,
Robert Olsson1d25cd62005-09-19 15:29:52 -07002313 tn->empty_children);
YOSHIFUJI Hideakie905a9e2007-02-09 23:24:47 +09002314
Olof Johansson91b9a272005-08-09 20:24:39 -07002315 } else {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002316 struct leaf *l = (struct leaf *) n;
2317 int i;
Al Viro32ab5f82006-09-26 22:21:45 -07002318 __be32 val = htonl(l->key);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002319
2320 seq_indent(seq, iter->depth);
2321 seq_printf(seq, " |-- %d.%d.%d.%d\n", NIPQUAD(val));
2322 for (i = 32; i >= 0; i--) {
Robert Olsson772cb712005-09-19 15:31:18 -07002323 struct leaf_info *li = find_leaf_info(l, i);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002324 if (li) {
2325 struct fib_alias *fa;
2326 list_for_each_entry_rcu(fa, &li->falh, fa_list) {
2327 seq_indent(seq, iter->depth+1);
2328 seq_printf(seq, " /%d %s %s", i,
2329 rtn_scope(fa->fa_scope),
2330 rtn_type(fa->fa_type));
2331 if (fa->fa_tos)
2332 seq_printf(seq, "tos =%d\n",
2333 fa->fa_tos);
2334 seq_putc(seq, '\n');
2335 }
2336 }
2337 }
Robert Olsson19baf832005-06-21 12:43:18 -07002338 }
2339
2340 return 0;
2341}
2342
2343static struct seq_operations fib_trie_seq_ops = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002344 .start = fib_trie_seq_start,
2345 .next = fib_trie_seq_next,
2346 .stop = fib_trie_seq_stop,
2347 .show = fib_trie_seq_show,
Robert Olsson19baf832005-06-21 12:43:18 -07002348};
2349
2350static int fib_trie_seq_open(struct inode *inode, struct file *file)
2351{
2352 struct seq_file *seq;
2353 int rc = -ENOMEM;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002354 struct fib_trie_iter *s = kmalloc(sizeof(*s), GFP_KERNEL);
2355
2356 if (!s)
2357 goto out;
Robert Olsson19baf832005-06-21 12:43:18 -07002358
2359 rc = seq_open(file, &fib_trie_seq_ops);
2360 if (rc)
2361 goto out_kfree;
2362
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002363 seq = file->private_data;
2364 seq->private = s;
2365 memset(s, 0, sizeof(*s));
Robert Olsson19baf832005-06-21 12:43:18 -07002366out:
2367 return rc;
2368out_kfree:
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002369 kfree(s);
Robert Olsson19baf832005-06-21 12:43:18 -07002370 goto out;
2371}
2372
Arjan van de Ven9a321442007-02-12 00:55:35 -08002373static const struct file_operations fib_trie_fops = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002374 .owner = THIS_MODULE,
2375 .open = fib_trie_seq_open,
2376 .read = seq_read,
2377 .llseek = seq_lseek,
2378 .release = seq_release_private,
2379};
2380
Al Viro32ab5f82006-09-26 22:21:45 -07002381static unsigned fib_flag_trans(int type, __be32 mask, const struct fib_info *fi)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002382{
2383 static unsigned type2flags[RTN_MAX + 1] = {
2384 [7] = RTF_REJECT, [8] = RTF_REJECT,
2385 };
2386 unsigned flags = type2flags[type];
2387
2388 if (fi && fi->fib_nh->nh_gw)
2389 flags |= RTF_GATEWAY;
Al Viro32ab5f82006-09-26 22:21:45 -07002390 if (mask == htonl(0xFFFFFFFF))
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002391 flags |= RTF_HOST;
2392 flags |= RTF_UP;
2393 return flags;
2394}
2395
2396/*
2397 * This outputs /proc/net/route.
2398 * The format of the file is not supposed to be changed
2399 * and needs to be same as fib_hash output to avoid breaking
2400 * legacy utilities
2401 */
2402static int fib_route_seq_show(struct seq_file *seq, void *v)
2403{
Patrick McHardyc9e53cb2005-11-20 21:09:00 -08002404 const struct fib_trie_iter *iter = seq->private;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002405 struct leaf *l = v;
2406 int i;
2407 char bf[128];
2408
2409 if (v == SEQ_START_TOKEN) {
2410 seq_printf(seq, "%-127s\n", "Iface\tDestination\tGateway "
2411 "\tFlags\tRefCnt\tUse\tMetric\tMask\t\tMTU"
2412 "\tWindow\tIRTT");
2413 return 0;
2414 }
2415
Patrick McHardyc9e53cb2005-11-20 21:09:00 -08002416 if (iter->trie == trie_local)
2417 return 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002418 if (IS_TNODE(l))
2419 return 0;
2420
2421 for (i=32; i>=0; i--) {
Robert Olsson772cb712005-09-19 15:31:18 -07002422 struct leaf_info *li = find_leaf_info(l, i);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002423 struct fib_alias *fa;
Al Viro32ab5f82006-09-26 22:21:45 -07002424 __be32 mask, prefix;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002425
2426 if (!li)
2427 continue;
2428
2429 mask = inet_make_mask(li->plen);
2430 prefix = htonl(l->key);
2431
2432 list_for_each_entry_rcu(fa, &li->falh, fa_list) {
Herbert Xu1371e372005-10-15 09:42:39 +10002433 const struct fib_info *fi = fa->fa_info;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002434 unsigned flags = fib_flag_trans(fa->fa_type, mask, fi);
2435
2436 if (fa->fa_type == RTN_BROADCAST
2437 || fa->fa_type == RTN_MULTICAST)
2438 continue;
2439
2440 if (fi)
2441 snprintf(bf, sizeof(bf),
2442 "%s\t%08X\t%08X\t%04X\t%d\t%u\t%d\t%08X\t%d\t%u\t%u",
2443 fi->fib_dev ? fi->fib_dev->name : "*",
2444 prefix,
2445 fi->fib_nh->nh_gw, flags, 0, 0,
2446 fi->fib_priority,
2447 mask,
2448 (fi->fib_advmss ? fi->fib_advmss + 40 : 0),
2449 fi->fib_window,
2450 fi->fib_rtt >> 3);
2451 else
2452 snprintf(bf, sizeof(bf),
2453 "*\t%08X\t%08X\t%04X\t%d\t%u\t%d\t%08X\t%d\t%u\t%u",
2454 prefix, 0, flags, 0, 0, 0,
2455 mask, 0, 0, 0);
2456
2457 seq_printf(seq, "%-127s\n", bf);
2458 }
2459 }
2460
2461 return 0;
2462}
2463
2464static struct seq_operations fib_route_seq_ops = {
2465 .start = fib_trie_seq_start,
2466 .next = fib_trie_seq_next,
2467 .stop = fib_trie_seq_stop,
2468 .show = fib_route_seq_show,
2469};
2470
2471static int fib_route_seq_open(struct inode *inode, struct file *file)
2472{
2473 struct seq_file *seq;
2474 int rc = -ENOMEM;
2475 struct fib_trie_iter *s = kmalloc(sizeof(*s), GFP_KERNEL);
2476
2477 if (!s)
2478 goto out;
2479
2480 rc = seq_open(file, &fib_route_seq_ops);
2481 if (rc)
2482 goto out_kfree;
2483
2484 seq = file->private_data;
2485 seq->private = s;
2486 memset(s, 0, sizeof(*s));
2487out:
2488 return rc;
2489out_kfree:
2490 kfree(s);
2491 goto out;
2492}
2493
Arjan van de Ven9a321442007-02-12 00:55:35 -08002494static const struct file_operations fib_route_fops = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002495 .owner = THIS_MODULE,
2496 .open = fib_route_seq_open,
2497 .read = seq_read,
2498 .llseek = seq_lseek,
2499 .release = seq_release_private,
Robert Olsson19baf832005-06-21 12:43:18 -07002500};
2501
2502int __init fib_proc_init(void)
2503{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002504 if (!proc_net_fops_create("fib_trie", S_IRUGO, &fib_trie_fops))
2505 goto out1;
2506
2507 if (!proc_net_fops_create("fib_triestat", S_IRUGO, &fib_triestat_fops))
2508 goto out2;
2509
2510 if (!proc_net_fops_create("route", S_IRUGO, &fib_route_fops))
2511 goto out3;
2512
Robert Olsson19baf832005-06-21 12:43:18 -07002513 return 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002514
2515out3:
2516 proc_net_remove("fib_triestat");
2517out2:
2518 proc_net_remove("fib_trie");
2519out1:
2520 return -ENOMEM;
Robert Olsson19baf832005-06-21 12:43:18 -07002521}
2522
2523void __init fib_proc_exit(void)
2524{
2525 proc_net_remove("fib_trie");
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002526 proc_net_remove("fib_triestat");
2527 proc_net_remove("route");
Robert Olsson19baf832005-06-21 12:43:18 -07002528}
2529
2530#endif /* CONFIG_PROC_FS */