blob: ff21748248e449431fd84452ce73c7a434592d89 [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 *
10 * Jens Laas <jens.laas@data.slu.se> Swedish University of
11 * Agricultural Sciences.
12 *
13 * Hans Liss <hans.liss@its.uu.se> Uppsala Universitet
14 *
15 * This work is based on the LPC-trie which is originally descibed in:
16 *
17 * 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.
44 */
45
Robert Olsson2373ce12005-08-25 13:01:29 -070046#define VERSION "0.402"
Robert Olsson19baf832005-06-21 12:43:18 -070047
48#include <linux/config.h>
49#include <asm/uaccess.h>
50#include <asm/system.h>
51#include <asm/bitops.h>
52#include <linux/types.h>
53#include <linux/kernel.h>
54#include <linux/sched.h>
55#include <linux/mm.h>
56#include <linux/string.h>
57#include <linux/socket.h>
58#include <linux/sockios.h>
59#include <linux/errno.h>
60#include <linux/in.h>
61#include <linux/inet.h>
62#include <linux/netdevice.h>
63#include <linux/if_arp.h>
64#include <linux/proc_fs.h>
Robert Olsson2373ce12005-08-25 13:01:29 -070065#include <linux/rcupdate.h>
Robert Olsson19baf832005-06-21 12:43:18 -070066#include <linux/skbuff.h>
67#include <linux/netlink.h>
68#include <linux/init.h>
69#include <linux/list.h>
70#include <net/ip.h>
71#include <net/protocol.h>
72#include <net/route.h>
73#include <net/tcp.h>
74#include <net/sock.h>
75#include <net/ip_fib.h>
76#include "fib_lookup.h"
77
78#undef CONFIG_IP_FIB_TRIE_STATS
79#define MAX_CHILDS 16384
80
Robert Olsson19baf832005-06-21 12:43:18 -070081#define KEYLENGTH (8*sizeof(t_key))
82#define MASK_PFX(k, l) (((l)==0)?0:(k >> (KEYLENGTH-l)) << (KEYLENGTH-l))
83#define TKEY_GET_MASK(offset, bits) (((bits)==0)?0:((t_key)(-1) << (KEYLENGTH - bits) >> offset))
84
Robert Olsson19baf832005-06-21 12:43:18 -070085typedef unsigned int t_key;
86
87#define T_TNODE 0
88#define T_LEAF 1
89#define NODE_TYPE_MASK 0x1UL
Olof Johansson91b9a272005-08-09 20:24:39 -070090#define NODE_PARENT(node) \
Robert Olsson2373ce12005-08-25 13:01:29 -070091 ((struct tnode *)rcu_dereference(((node)->parent & ~NODE_TYPE_MASK)))
92
93#define NODE_TYPE(node) ((node)->parent & NODE_TYPE_MASK)
94
95#define NODE_SET_PARENT(node, ptr) \
96 rcu_assign_pointer((node)->parent, \
97 ((unsigned long)(ptr)) | NODE_TYPE(node))
Robert Olsson19baf832005-06-21 12:43:18 -070098
Olof Johansson91b9a272005-08-09 20:24:39 -070099#define IS_TNODE(n) (!(n->parent & T_LEAF))
100#define IS_LEAF(n) (n->parent & T_LEAF)
Robert Olsson19baf832005-06-21 12:43:18 -0700101
102struct node {
Olof Johansson91b9a272005-08-09 20:24:39 -0700103 t_key key;
104 unsigned long parent;
Robert Olsson19baf832005-06-21 12:43:18 -0700105};
106
107struct leaf {
Olof Johansson91b9a272005-08-09 20:24:39 -0700108 t_key key;
109 unsigned long parent;
Robert Olsson19baf832005-06-21 12:43:18 -0700110 struct hlist_head list;
Robert Olsson2373ce12005-08-25 13:01:29 -0700111 struct rcu_head rcu;
Robert Olsson19baf832005-06-21 12:43:18 -0700112};
113
114struct leaf_info {
115 struct hlist_node hlist;
Robert Olsson2373ce12005-08-25 13:01:29 -0700116 struct rcu_head rcu;
Robert Olsson19baf832005-06-21 12:43:18 -0700117 int plen;
118 struct list_head falh;
119};
120
121struct tnode {
Olof Johansson91b9a272005-08-09 20:24:39 -0700122 t_key key;
123 unsigned long parent;
124 unsigned short pos:5; /* 2log(KEYLENGTH) bits needed */
125 unsigned short bits:5; /* 2log(KEYLENGTH) bits needed */
126 unsigned short full_children; /* KEYLENGTH bits needed */
127 unsigned short empty_children; /* KEYLENGTH bits needed */
Robert Olsson2373ce12005-08-25 13:01:29 -0700128 struct rcu_head rcu;
Olof Johansson91b9a272005-08-09 20:24:39 -0700129 struct node *child[0];
Robert Olsson19baf832005-06-21 12:43:18 -0700130};
131
132#ifdef CONFIG_IP_FIB_TRIE_STATS
133struct trie_use_stats {
134 unsigned int gets;
135 unsigned int backtrack;
136 unsigned int semantic_match_passed;
137 unsigned int semantic_match_miss;
138 unsigned int null_node_hit;
Robert Olsson2f368952005-07-05 15:02:40 -0700139 unsigned int resize_node_skipped;
Robert Olsson19baf832005-06-21 12:43:18 -0700140};
141#endif
142
143struct trie_stat {
144 unsigned int totdepth;
145 unsigned int maxdepth;
146 unsigned int tnodes;
147 unsigned int leaves;
148 unsigned int nullpointers;
149 unsigned int nodesizes[MAX_CHILDS];
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700150};
Robert Olsson19baf832005-06-21 12:43:18 -0700151
152struct trie {
Olof Johansson91b9a272005-08-09 20:24:39 -0700153 struct node *trie;
Robert Olsson19baf832005-06-21 12:43:18 -0700154#ifdef CONFIG_IP_FIB_TRIE_STATS
155 struct trie_use_stats stats;
156#endif
Olof Johansson91b9a272005-08-09 20:24:39 -0700157 int size;
Robert Olsson19baf832005-06-21 12:43:18 -0700158 unsigned int revision;
159};
160
Robert Olsson19baf832005-06-21 12:43:18 -0700161static void put_child(struct trie *t, struct tnode *tn, int i, struct node *n);
162static void tnode_put_child_reorg(struct tnode *tn, int i, struct node *n, int wasfull);
Robert Olsson19baf832005-06-21 12:43:18 -0700163static struct node *resize(struct trie *t, struct tnode *tn);
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700164static struct tnode *inflate(struct trie *t, struct tnode *tn);
165static struct tnode *halve(struct trie *t, struct tnode *tn);
Robert Olsson19baf832005-06-21 12:43:18 -0700166static void tnode_free(struct tnode *tn);
167static void trie_dump_seq(struct seq_file *seq, struct trie *t);
Robert Olsson19baf832005-06-21 12:43:18 -0700168
169static kmem_cache_t *fn_alias_kmem;
170static struct trie *trie_local = NULL, *trie_main = NULL;
171
Robert Olsson2373ce12005-08-25 13:01:29 -0700172
173/* rcu_read_lock needs to be hold by caller from readside */
174
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700175static inline struct node *tnode_get_child(struct tnode *tn, int i)
Robert Olsson19baf832005-06-21 12:43:18 -0700176{
Olof Johansson91b9a272005-08-09 20:24:39 -0700177 BUG_ON(i >= 1 << tn->bits);
Robert Olsson19baf832005-06-21 12:43:18 -0700178
Robert Olsson2373ce12005-08-25 13:01:29 -0700179 return rcu_dereference(tn->child[i]);
Robert Olsson19baf832005-06-21 12:43:18 -0700180}
181
Stephen Hemmignerbb435b82005-08-09 20:25:39 -0700182static inline int tnode_child_length(const struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700183{
Olof Johansson91b9a272005-08-09 20:24:39 -0700184 return 1 << tn->bits;
Robert Olsson19baf832005-06-21 12:43:18 -0700185}
186
Robert Olsson19baf832005-06-21 12:43:18 -0700187static inline t_key tkey_extract_bits(t_key a, int offset, int bits)
188{
Olof Johansson91b9a272005-08-09 20:24:39 -0700189 if (offset < KEYLENGTH)
Robert Olsson19baf832005-06-21 12:43:18 -0700190 return ((t_key)(a << offset)) >> (KEYLENGTH - bits);
Olof Johansson91b9a272005-08-09 20:24:39 -0700191 else
Robert Olsson19baf832005-06-21 12:43:18 -0700192 return 0;
193}
194
195static inline int tkey_equals(t_key a, t_key b)
196{
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700197 return a == b;
Robert Olsson19baf832005-06-21 12:43:18 -0700198}
199
200static inline int tkey_sub_equals(t_key a, int offset, int bits, t_key b)
201{
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700202 if (bits == 0 || offset >= KEYLENGTH)
203 return 1;
Olof Johansson91b9a272005-08-09 20:24:39 -0700204 bits = bits > KEYLENGTH ? KEYLENGTH : bits;
205 return ((a ^ b) << offset) >> (KEYLENGTH - bits) == 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700206}
Robert Olsson19baf832005-06-21 12:43:18 -0700207
208static inline int tkey_mismatch(t_key a, int offset, t_key b)
209{
210 t_key diff = a ^ b;
211 int i = offset;
212
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700213 if (!diff)
214 return 0;
215 while ((diff << i) >> (KEYLENGTH-1) == 0)
Robert Olsson19baf832005-06-21 12:43:18 -0700216 i++;
217 return i;
218}
219
Robert Olsson19baf832005-06-21 12:43:18 -0700220/*
221 To understand this stuff, an understanding of keys and all their bits is
222 necessary. Every node in the trie has a key associated with it, but not
223 all of the bits in that key are significant.
224
225 Consider a node 'n' and its parent 'tp'.
226
227 If n is a leaf, every bit in its key is significant. Its presence is
228 necessitaded by path compression, since during a tree traversal (when
229 searching for a leaf - unless we are doing an insertion) we will completely
230 ignore all skipped bits we encounter. Thus we need to verify, at the end of
231 a potentially successful search, that we have indeed been walking the
232 correct key path.
233
234 Note that we can never "miss" the correct key in the tree if present by
235 following the wrong path. Path compression ensures that segments of the key
236 that are the same for all keys with a given prefix are skipped, but the
237 skipped part *is* identical for each node in the subtrie below the skipped
238 bit! trie_insert() in this implementation takes care of that - note the
239 call to tkey_sub_equals() in trie_insert().
240
241 if n is an internal node - a 'tnode' here, the various parts of its key
242 have many different meanings.
243
244 Example:
245 _________________________________________________________________
246 | i | i | i | i | i | i | i | N | N | N | S | S | S | S | S | C |
247 -----------------------------------------------------------------
248 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
249
250 _________________________________________________________________
251 | C | C | C | u | u | u | u | u | u | u | u | u | u | u | u | u |
252 -----------------------------------------------------------------
253 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
254
255 tp->pos = 7
256 tp->bits = 3
257 n->pos = 15
Olof Johansson91b9a272005-08-09 20:24:39 -0700258 n->bits = 4
Robert Olsson19baf832005-06-21 12:43:18 -0700259
260 First, let's just ignore the bits that come before the parent tp, that is
261 the bits from 0 to (tp->pos-1). They are *known* but at this point we do
262 not use them for anything.
263
264 The bits from (tp->pos) to (tp->pos + tp->bits - 1) - "N", above - are the
265 index into the parent's child array. That is, they will be used to find
266 'n' among tp's children.
267
268 The bits from (tp->pos + tp->bits) to (n->pos - 1) - "S" - are skipped bits
269 for the node n.
270
271 All the bits we have seen so far are significant to the node n. The rest
272 of the bits are really not needed or indeed known in n->key.
273
274 The bits from (n->pos) to (n->pos + n->bits - 1) - "C" - are the index into
275 n's child array, and will of course be different for each child.
276
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700277
Robert Olsson19baf832005-06-21 12:43:18 -0700278 The rest of the bits, from (n->pos + n->bits) onward, are completely unknown
279 at this point.
280
281*/
282
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700283static inline void check_tnode(const struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700284{
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700285 WARN_ON(tn && tn->pos+tn->bits > 32);
Robert Olsson19baf832005-06-21 12:43:18 -0700286}
287
288static int halve_threshold = 25;
289static int inflate_threshold = 50;
290
Robert Olsson2373ce12005-08-25 13:01:29 -0700291
292static void __alias_free_mem(struct rcu_head *head)
293{
294 struct fib_alias *fa = container_of(head, struct fib_alias, rcu);
295 kmem_cache_free(fn_alias_kmem, fa);
296}
297
298static inline void alias_free_mem_rcu(struct fib_alias *fa)
299{
300 call_rcu(&fa->rcu, __alias_free_mem);
301}
302
303static void __leaf_free_rcu(struct rcu_head *head)
304{
305 kfree(container_of(head, struct leaf, rcu));
306}
307
308static inline void free_leaf(struct leaf *leaf)
309{
310 call_rcu(&leaf->rcu, __leaf_free_rcu);
311}
312
313static void __leaf_info_free_rcu(struct rcu_head *head)
314{
315 kfree(container_of(head, struct leaf_info, rcu));
316}
317
318static inline void free_leaf_info(struct leaf_info *leaf)
319{
320 call_rcu(&leaf->rcu, __leaf_info_free_rcu);
321}
322
323static struct tnode *tnode_alloc(unsigned int size)
324{
325 struct page *pages;
326
327 if (size <= PAGE_SIZE)
328 return kcalloc(size, 1, GFP_KERNEL);
329
330 pages = alloc_pages(GFP_KERNEL|__GFP_ZERO, get_order(size));
331 if (!pages)
332 return NULL;
333
334 return page_address(pages);
335}
336
337static void __tnode_free_rcu(struct rcu_head *head)
338{
339 struct tnode *tn = container_of(head, struct tnode, rcu);
340 unsigned int size = sizeof(struct tnode) +
341 (1 << tn->bits) * sizeof(struct node *);
342
343 if (size <= PAGE_SIZE)
344 kfree(tn);
345 else
346 free_pages((unsigned long)tn, get_order(size));
347}
348
349static inline void tnode_free(struct tnode *tn)
350{
351 call_rcu(&tn->rcu, __tnode_free_rcu);
352}
353
Robert Olsson19baf832005-06-21 12:43:18 -0700354static struct leaf *leaf_new(void)
355{
356 struct leaf *l = kmalloc(sizeof(struct leaf), GFP_KERNEL);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700357 if (l) {
Robert Olsson2373ce12005-08-25 13:01:29 -0700358 l->parent = T_LEAF;
Robert Olsson19baf832005-06-21 12:43:18 -0700359 INIT_HLIST_HEAD(&l->list);
360 }
361 return l;
362}
363
364static struct leaf_info *leaf_info_new(int plen)
365{
366 struct leaf_info *li = kmalloc(sizeof(struct leaf_info), GFP_KERNEL);
Robert Olsson2373ce12005-08-25 13:01:29 -0700367 if (li) {
368 li->plen = plen;
369 INIT_LIST_HEAD(&li->falh);
Patrick McHardyf0e36f82005-07-05 14:44:55 -0700370 }
Robert Olsson2373ce12005-08-25 13:01:29 -0700371 return li;
Patrick McHardyf0e36f82005-07-05 14:44:55 -0700372}
373
Robert Olsson19baf832005-06-21 12:43:18 -0700374static struct tnode* tnode_new(t_key key, int pos, int bits)
375{
376 int nchildren = 1<<bits;
377 int sz = sizeof(struct tnode) + nchildren * sizeof(struct node *);
Patrick McHardyf0e36f82005-07-05 14:44:55 -0700378 struct tnode *tn = tnode_alloc(sz);
Robert Olsson19baf832005-06-21 12:43:18 -0700379
Olof Johansson91b9a272005-08-09 20:24:39 -0700380 if (tn) {
Robert Olsson19baf832005-06-21 12:43:18 -0700381 memset(tn, 0, sz);
Robert Olsson2373ce12005-08-25 13:01:29 -0700382 tn->parent = T_TNODE;
Robert Olsson19baf832005-06-21 12:43:18 -0700383 tn->pos = pos;
384 tn->bits = bits;
385 tn->key = key;
386 tn->full_children = 0;
387 tn->empty_children = 1<<bits;
388 }
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700389
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700390 pr_debug("AT %p s=%u %u\n", tn, (unsigned int) sizeof(struct tnode),
391 (unsigned int) (sizeof(struct node) * 1<<bits));
Robert Olsson19baf832005-06-21 12:43:18 -0700392 return tn;
393}
394
Robert Olsson19baf832005-06-21 12:43:18 -0700395/*
396 * Check whether a tnode 'n' is "full", i.e. it is an internal node
397 * and no bits are skipped. See discussion in dyntree paper p. 6
398 */
399
Stephen Hemmignerbb435b82005-08-09 20:25:39 -0700400static inline int tnode_full(const struct tnode *tn, const struct node *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700401{
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700402 if (n == NULL || IS_LEAF(n))
Robert Olsson19baf832005-06-21 12:43:18 -0700403 return 0;
404
405 return ((struct tnode *) n)->pos == tn->pos + tn->bits;
406}
407
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700408static inline void put_child(struct trie *t, struct tnode *tn, int i, struct node *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700409{
410 tnode_put_child_reorg(tn, i, n, -1);
411}
412
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700413 /*
Robert Olsson19baf832005-06-21 12:43:18 -0700414 * Add a child at position i overwriting the old value.
415 * Update the value of full_children and empty_children.
416 */
417
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700418static void tnode_put_child_reorg(struct tnode *tn, int i, struct node *n, int wasfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700419{
Robert Olsson2373ce12005-08-25 13:01:29 -0700420 struct node *chi = tn->child[i];
Robert Olsson19baf832005-06-21 12:43:18 -0700421 int isfull;
422
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700423 BUG_ON(i >= 1<<tn->bits);
424
Robert Olsson19baf832005-06-21 12:43:18 -0700425
426 /* update emptyChildren */
427 if (n == NULL && chi != NULL)
428 tn->empty_children++;
429 else if (n != NULL && chi == NULL)
430 tn->empty_children--;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700431
Robert Olsson19baf832005-06-21 12:43:18 -0700432 /* update fullChildren */
Olof Johansson91b9a272005-08-09 20:24:39 -0700433 if (wasfull == -1)
Robert Olsson19baf832005-06-21 12:43:18 -0700434 wasfull = tnode_full(tn, chi);
435
436 isfull = tnode_full(tn, n);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700437 if (wasfull && !isfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700438 tn->full_children--;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700439 else if (!wasfull && isfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700440 tn->full_children++;
Olof Johansson91b9a272005-08-09 20:24:39 -0700441
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700442 if (n)
443 NODE_SET_PARENT(n, tn);
Robert Olsson19baf832005-06-21 12:43:18 -0700444
Robert Olsson2373ce12005-08-25 13:01:29 -0700445 rcu_assign_pointer(tn->child[i], n);
Robert Olsson19baf832005-06-21 12:43:18 -0700446}
447
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700448static struct node *resize(struct trie *t, struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700449{
450 int i;
Robert Olsson2f368952005-07-05 15:02:40 -0700451 int err = 0;
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700452 struct tnode *old_tn;
Robert Olsson19baf832005-06-21 12:43:18 -0700453
454 if (!tn)
455 return NULL;
456
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700457 pr_debug("In tnode_resize %p inflate_threshold=%d threshold=%d\n",
458 tn, inflate_threshold, halve_threshold);
Robert Olsson19baf832005-06-21 12:43:18 -0700459
460 /* No children */
461 if (tn->empty_children == tnode_child_length(tn)) {
462 tnode_free(tn);
463 return NULL;
464 }
465 /* One child */
466 if (tn->empty_children == tnode_child_length(tn) - 1)
467 for (i = 0; i < tnode_child_length(tn); i++) {
Olof Johansson91b9a272005-08-09 20:24:39 -0700468 struct node *n;
Robert Olsson19baf832005-06-21 12:43:18 -0700469
Olof Johansson91b9a272005-08-09 20:24:39 -0700470 n = tn->child[i];
Robert Olsson2373ce12005-08-25 13:01:29 -0700471 if (!n)
Olof Johansson91b9a272005-08-09 20:24:39 -0700472 continue;
Olof Johansson91b9a272005-08-09 20:24:39 -0700473
474 /* compress one level */
Robert Olsson2373ce12005-08-25 13:01:29 -0700475 NODE_SET_PARENT(n, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700476 tnode_free(tn);
477 return n;
Robert Olsson19baf832005-06-21 12:43:18 -0700478 }
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700479 /*
Robert Olsson19baf832005-06-21 12:43:18 -0700480 * Double as long as the resulting node has a number of
481 * nonempty nodes that are above the threshold.
482 */
483
484 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700485 * From "Implementing a dynamic compressed trie" by Stefan Nilsson of
486 * the Helsinki University of Technology and Matti Tikkanen of Nokia
Robert Olsson19baf832005-06-21 12:43:18 -0700487 * Telecommunications, page 6:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700488 * "A node is doubled if the ratio of non-empty children to all
Robert Olsson19baf832005-06-21 12:43:18 -0700489 * children in the *doubled* node is at least 'high'."
490 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700491 * 'high' in this instance is the variable 'inflate_threshold'. It
492 * is expressed as a percentage, so we multiply it with
493 * tnode_child_length() and instead of multiplying by 2 (since the
494 * child array will be doubled by inflate()) and multiplying
495 * the left-hand side by 100 (to handle the percentage thing) we
Robert Olsson19baf832005-06-21 12:43:18 -0700496 * multiply the left-hand side by 50.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700497 *
498 * The left-hand side may look a bit weird: tnode_child_length(tn)
499 * - tn->empty_children is of course the number of non-null children
500 * in the current node. tn->full_children is the number of "full"
Robert Olsson19baf832005-06-21 12:43:18 -0700501 * children, that is non-null tnodes with a skip value of 0.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700502 * All of those will be doubled in the resulting inflated tnode, so
Robert Olsson19baf832005-06-21 12:43:18 -0700503 * we just count them one extra time here.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700504 *
Robert Olsson19baf832005-06-21 12:43:18 -0700505 * A clearer way to write this would be:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700506 *
Robert Olsson19baf832005-06-21 12:43:18 -0700507 * to_be_doubled = tn->full_children;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700508 * not_to_be_doubled = tnode_child_length(tn) - tn->empty_children -
Robert Olsson19baf832005-06-21 12:43:18 -0700509 * tn->full_children;
510 *
511 * new_child_length = tnode_child_length(tn) * 2;
512 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700513 * new_fill_factor = 100 * (not_to_be_doubled + 2*to_be_doubled) /
Robert Olsson19baf832005-06-21 12:43:18 -0700514 * new_child_length;
515 * if (new_fill_factor >= inflate_threshold)
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700516 *
517 * ...and so on, tho it would mess up the while () loop.
518 *
Robert Olsson19baf832005-06-21 12:43:18 -0700519 * anyway,
520 * 100 * (not_to_be_doubled + 2*to_be_doubled) / new_child_length >=
521 * inflate_threshold
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700522 *
Robert Olsson19baf832005-06-21 12:43:18 -0700523 * avoid a division:
524 * 100 * (not_to_be_doubled + 2*to_be_doubled) >=
525 * inflate_threshold * new_child_length
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700526 *
Robert Olsson19baf832005-06-21 12:43:18 -0700527 * expand not_to_be_doubled and to_be_doubled, and shorten:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700528 * 100 * (tnode_child_length(tn) - tn->empty_children +
Olof Johansson91b9a272005-08-09 20:24:39 -0700529 * tn->full_children) >= inflate_threshold * new_child_length
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700530 *
Robert Olsson19baf832005-06-21 12:43:18 -0700531 * expand new_child_length:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700532 * 100 * (tnode_child_length(tn) - tn->empty_children +
Olof Johansson91b9a272005-08-09 20:24:39 -0700533 * tn->full_children) >=
Robert Olsson19baf832005-06-21 12:43:18 -0700534 * inflate_threshold * tnode_child_length(tn) * 2
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700535 *
Robert Olsson19baf832005-06-21 12:43:18 -0700536 * shorten again:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700537 * 50 * (tn->full_children + tnode_child_length(tn) -
Olof Johansson91b9a272005-08-09 20:24:39 -0700538 * tn->empty_children) >= inflate_threshold *
Robert Olsson19baf832005-06-21 12:43:18 -0700539 * tnode_child_length(tn)
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700540 *
Robert Olsson19baf832005-06-21 12:43:18 -0700541 */
542
543 check_tnode(tn);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700544
Robert Olsson2f368952005-07-05 15:02:40 -0700545 err = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700546 while ((tn->full_children > 0 &&
547 50 * (tn->full_children + tnode_child_length(tn) - tn->empty_children) >=
548 inflate_threshold * tnode_child_length(tn))) {
549
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700550 old_tn = tn;
551 tn = inflate(t, tn);
552 if (IS_ERR(tn)) {
553 tn = old_tn;
Robert Olsson2f368952005-07-05 15:02:40 -0700554#ifdef CONFIG_IP_FIB_TRIE_STATS
555 t->stats.resize_node_skipped++;
556#endif
557 break;
558 }
Robert Olsson19baf832005-06-21 12:43:18 -0700559 }
560
561 check_tnode(tn);
562
563 /*
564 * Halve as long as the number of empty children in this
565 * node is above threshold.
566 */
Robert Olsson2f368952005-07-05 15:02:40 -0700567
568 err = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700569 while (tn->bits > 1 &&
570 100 * (tnode_child_length(tn) - tn->empty_children) <
Robert Olsson2f368952005-07-05 15:02:40 -0700571 halve_threshold * tnode_child_length(tn)) {
Robert Olsson19baf832005-06-21 12:43:18 -0700572
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700573 old_tn = tn;
574 tn = halve(t, tn);
575 if (IS_ERR(tn)) {
576 tn = old_tn;
Robert Olsson2f368952005-07-05 15:02:40 -0700577#ifdef CONFIG_IP_FIB_TRIE_STATS
578 t->stats.resize_node_skipped++;
579#endif
580 break;
581 }
582 }
583
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700584
Robert Olsson19baf832005-06-21 12:43:18 -0700585 /* Only one child remains */
Robert Olsson19baf832005-06-21 12:43:18 -0700586 if (tn->empty_children == tnode_child_length(tn) - 1)
587 for (i = 0; i < tnode_child_length(tn); i++) {
Olof Johansson91b9a272005-08-09 20:24:39 -0700588 struct node *n;
589
Olof Johansson91b9a272005-08-09 20:24:39 -0700590 n = tn->child[i];
Robert Olsson2373ce12005-08-25 13:01:29 -0700591 if (!n)
Olof Johansson91b9a272005-08-09 20:24:39 -0700592 continue;
Olof Johansson91b9a272005-08-09 20:24:39 -0700593
594 /* compress one level */
595
Robert Olsson2373ce12005-08-25 13:01:29 -0700596 NODE_SET_PARENT(n, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700597 tnode_free(tn);
598 return n;
Robert Olsson19baf832005-06-21 12:43:18 -0700599 }
600
601 return (struct node *) tn;
602}
603
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700604static struct tnode *inflate(struct trie *t, struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700605{
606 struct tnode *inode;
607 struct tnode *oldtnode = tn;
608 int olen = tnode_child_length(tn);
609 int i;
610
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700611 pr_debug("In inflate\n");
Robert Olsson19baf832005-06-21 12:43:18 -0700612
613 tn = tnode_new(oldtnode->key, oldtnode->pos, oldtnode->bits + 1);
614
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700615 if (!tn)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700616 return ERR_PTR(-ENOMEM);
Robert Olsson2f368952005-07-05 15:02:40 -0700617
618 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700619 * Preallocate and store tnodes before the actual work so we
620 * don't get into an inconsistent state if memory allocation
621 * fails. In case of failure we return the oldnode and inflate
Robert Olsson2f368952005-07-05 15:02:40 -0700622 * of tnode is ignored.
623 */
Olof Johansson91b9a272005-08-09 20:24:39 -0700624
625 for (i = 0; i < olen; i++) {
Robert Olsson2f368952005-07-05 15:02:40 -0700626 struct tnode *inode = (struct tnode *) tnode_get_child(oldtnode, i);
627
628 if (inode &&
629 IS_TNODE(inode) &&
630 inode->pos == oldtnode->pos + oldtnode->bits &&
631 inode->bits > 1) {
632 struct tnode *left, *right;
Robert Olsson2f368952005-07-05 15:02:40 -0700633 t_key m = TKEY_GET_MASK(inode->pos, 1);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700634
Robert Olsson2f368952005-07-05 15:02:40 -0700635 left = tnode_new(inode->key&(~m), inode->pos + 1,
636 inode->bits - 1);
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700637 if (!left)
638 goto nomem;
Olof Johansson91b9a272005-08-09 20:24:39 -0700639
Robert Olsson2f368952005-07-05 15:02:40 -0700640 right = tnode_new(inode->key|m, inode->pos + 1,
641 inode->bits - 1);
642
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700643 if (!right) {
644 tnode_free(left);
645 goto nomem;
646 }
Robert Olsson2f368952005-07-05 15:02:40 -0700647
648 put_child(t, tn, 2*i, (struct node *) left);
649 put_child(t, tn, 2*i+1, (struct node *) right);
650 }
651 }
652
Olof Johansson91b9a272005-08-09 20:24:39 -0700653 for (i = 0; i < olen; i++) {
Robert Olsson19baf832005-06-21 12:43:18 -0700654 struct node *node = tnode_get_child(oldtnode, i);
Olof Johansson91b9a272005-08-09 20:24:39 -0700655 struct tnode *left, *right;
656 int size, j;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700657
Robert Olsson19baf832005-06-21 12:43:18 -0700658 /* An empty child */
659 if (node == NULL)
660 continue;
661
662 /* A leaf or an internal node with skipped bits */
663
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700664 if (IS_LEAF(node) || ((struct tnode *) node)->pos >
Robert Olsson19baf832005-06-21 12:43:18 -0700665 tn->pos + tn->bits - 1) {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700666 if (tkey_extract_bits(node->key, oldtnode->pos + oldtnode->bits,
Robert Olsson19baf832005-06-21 12:43:18 -0700667 1) == 0)
668 put_child(t, tn, 2*i, node);
669 else
670 put_child(t, tn, 2*i+1, node);
671 continue;
672 }
673
674 /* An internal node with two children */
675 inode = (struct tnode *) node;
676
677 if (inode->bits == 1) {
678 put_child(t, tn, 2*i, inode->child[0]);
679 put_child(t, tn, 2*i+1, inode->child[1]);
680
681 tnode_free(inode);
Olof Johansson91b9a272005-08-09 20:24:39 -0700682 continue;
Robert Olsson19baf832005-06-21 12:43:18 -0700683 }
684
Olof Johansson91b9a272005-08-09 20:24:39 -0700685 /* An internal node with more than two children */
Robert Olsson19baf832005-06-21 12:43:18 -0700686
Olof Johansson91b9a272005-08-09 20:24:39 -0700687 /* We will replace this node 'inode' with two new
688 * ones, 'left' and 'right', each with half of the
689 * original children. The two new nodes will have
690 * a position one bit further down the key and this
691 * means that the "significant" part of their keys
692 * (see the discussion near the top of this file)
693 * will differ by one bit, which will be "0" in
694 * left's key and "1" in right's key. Since we are
695 * moving the key position by one step, the bit that
696 * we are moving away from - the bit at position
697 * (inode->pos) - is the one that will differ between
698 * left and right. So... we synthesize that bit in the
699 * two new keys.
700 * The mask 'm' below will be a single "one" bit at
701 * the position (inode->pos)
702 */
Robert Olsson19baf832005-06-21 12:43:18 -0700703
Olof Johansson91b9a272005-08-09 20:24:39 -0700704 /* Use the old key, but set the new significant
705 * bit to zero.
706 */
Robert Olsson19baf832005-06-21 12:43:18 -0700707
Olof Johansson91b9a272005-08-09 20:24:39 -0700708 left = (struct tnode *) tnode_get_child(tn, 2*i);
709 put_child(t, tn, 2*i, NULL);
Robert Olsson19baf832005-06-21 12:43:18 -0700710
Olof Johansson91b9a272005-08-09 20:24:39 -0700711 BUG_ON(!left);
Robert Olsson2f368952005-07-05 15:02:40 -0700712
Olof Johansson91b9a272005-08-09 20:24:39 -0700713 right = (struct tnode *) tnode_get_child(tn, 2*i+1);
714 put_child(t, tn, 2*i+1, NULL);
Robert Olsson2f368952005-07-05 15:02:40 -0700715
Olof Johansson91b9a272005-08-09 20:24:39 -0700716 BUG_ON(!right);
Robert Olsson2f368952005-07-05 15:02:40 -0700717
Olof Johansson91b9a272005-08-09 20:24:39 -0700718 size = tnode_child_length(left);
719 for (j = 0; j < size; j++) {
720 put_child(t, left, j, inode->child[j]);
721 put_child(t, right, j, inode->child[j + size]);
Robert Olsson19baf832005-06-21 12:43:18 -0700722 }
Olof Johansson91b9a272005-08-09 20:24:39 -0700723 put_child(t, tn, 2*i, resize(t, left));
724 put_child(t, tn, 2*i+1, resize(t, right));
725
726 tnode_free(inode);
Robert Olsson19baf832005-06-21 12:43:18 -0700727 }
728 tnode_free(oldtnode);
729 return tn;
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700730nomem:
731 {
732 int size = tnode_child_length(tn);
733 int j;
734
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700735 for (j = 0; j < size; j++)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700736 if (tn->child[j])
737 tnode_free((struct tnode *)tn->child[j]);
738
739 tnode_free(tn);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700740
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700741 return ERR_PTR(-ENOMEM);
742 }
Robert Olsson19baf832005-06-21 12:43:18 -0700743}
744
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700745static struct tnode *halve(struct trie *t, struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700746{
747 struct tnode *oldtnode = tn;
748 struct node *left, *right;
749 int i;
750 int olen = tnode_child_length(tn);
751
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700752 pr_debug("In halve\n");
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700753
754 tn = tnode_new(oldtnode->key, oldtnode->pos, oldtnode->bits - 1);
Robert Olsson19baf832005-06-21 12:43:18 -0700755
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700756 if (!tn)
757 return ERR_PTR(-ENOMEM);
Robert Olsson2f368952005-07-05 15:02:40 -0700758
759 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700760 * Preallocate and store tnodes before the actual work so we
761 * don't get into an inconsistent state if memory allocation
762 * fails. In case of failure we return the oldnode and halve
Robert Olsson2f368952005-07-05 15:02:40 -0700763 * of tnode is ignored.
764 */
765
Olof Johansson91b9a272005-08-09 20:24:39 -0700766 for (i = 0; i < olen; i += 2) {
Robert Olsson2f368952005-07-05 15:02:40 -0700767 left = tnode_get_child(oldtnode, i);
768 right = tnode_get_child(oldtnode, i+1);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700769
Robert Olsson2f368952005-07-05 15:02:40 -0700770 /* Two nonempty children */
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700771 if (left && right) {
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700772 struct tnode *newn;
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700773
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700774 newn = tnode_new(left->key, tn->pos + tn->bits, 1);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700775
776 if (!newn)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700777 goto nomem;
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700778
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700779 put_child(t, tn, i/2, (struct node *)newn);
Robert Olsson2f368952005-07-05 15:02:40 -0700780 }
Robert Olsson2f368952005-07-05 15:02:40 -0700781
Robert Olsson2f368952005-07-05 15:02:40 -0700782 }
Robert Olsson19baf832005-06-21 12:43:18 -0700783
Olof Johansson91b9a272005-08-09 20:24:39 -0700784 for (i = 0; i < olen; i += 2) {
785 struct tnode *newBinNode;
786
Robert Olsson19baf832005-06-21 12:43:18 -0700787 left = tnode_get_child(oldtnode, i);
788 right = tnode_get_child(oldtnode, i+1);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700789
Robert Olsson19baf832005-06-21 12:43:18 -0700790 /* At least one of the children is empty */
791 if (left == NULL) {
792 if (right == NULL) /* Both are empty */
793 continue;
794 put_child(t, tn, i/2, right);
Olof Johansson91b9a272005-08-09 20:24:39 -0700795 continue;
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700796 }
Olof Johansson91b9a272005-08-09 20:24:39 -0700797
798 if (right == NULL) {
Robert Olsson19baf832005-06-21 12:43:18 -0700799 put_child(t, tn, i/2, left);
Olof Johansson91b9a272005-08-09 20:24:39 -0700800 continue;
801 }
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700802
Robert Olsson19baf832005-06-21 12:43:18 -0700803 /* Two nonempty children */
Olof Johansson91b9a272005-08-09 20:24:39 -0700804 newBinNode = (struct tnode *) tnode_get_child(tn, i/2);
805 put_child(t, tn, i/2, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700806 put_child(t, newBinNode, 0, left);
807 put_child(t, newBinNode, 1, right);
808 put_child(t, tn, i/2, resize(t, newBinNode));
Robert Olsson19baf832005-06-21 12:43:18 -0700809 }
810 tnode_free(oldtnode);
811 return tn;
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700812nomem:
813 {
814 int size = tnode_child_length(tn);
815 int j;
816
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700817 for (j = 0; j < size; j++)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700818 if (tn->child[j])
819 tnode_free((struct tnode *)tn->child[j]);
820
821 tnode_free(tn);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700822
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700823 return ERR_PTR(-ENOMEM);
824 }
Robert Olsson19baf832005-06-21 12:43:18 -0700825}
826
Olof Johansson91b9a272005-08-09 20:24:39 -0700827static void trie_init(struct trie *t)
Robert Olsson19baf832005-06-21 12:43:18 -0700828{
Olof Johansson91b9a272005-08-09 20:24:39 -0700829 if (!t)
830 return;
831
832 t->size = 0;
Robert Olsson2373ce12005-08-25 13:01:29 -0700833 rcu_assign_pointer(t->trie, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700834 t->revision = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700835#ifdef CONFIG_IP_FIB_TRIE_STATS
Olof Johansson91b9a272005-08-09 20:24:39 -0700836 memset(&t->stats, 0, sizeof(struct trie_use_stats));
Robert Olsson19baf832005-06-21 12:43:18 -0700837#endif
Robert Olsson19baf832005-06-21 12:43:18 -0700838}
839
Robert Olsson2373ce12005-08-25 13:01:29 -0700840/* readside most use rcu_read_lock currently dump routines
841 via get_fa_head and dump */
842
Robert Olsson19baf832005-06-21 12:43:18 -0700843static struct leaf_info *find_leaf_info(struct hlist_head *head, int plen)
844{
845 struct hlist_node *node;
846 struct leaf_info *li;
847
Robert Olsson2373ce12005-08-25 13:01:29 -0700848 hlist_for_each_entry_rcu(li, node, head, hlist)
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700849 if (li->plen == plen)
Robert Olsson19baf832005-06-21 12:43:18 -0700850 return li;
Olof Johansson91b9a272005-08-09 20:24:39 -0700851
Robert Olsson19baf832005-06-21 12:43:18 -0700852 return NULL;
853}
854
855static inline struct list_head * get_fa_head(struct leaf *l, int plen)
856{
Robert Olsson19baf832005-06-21 12:43:18 -0700857 struct leaf_info *li = find_leaf_info(&l->list, plen);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700858
Olof Johansson91b9a272005-08-09 20:24:39 -0700859 if (!li)
860 return NULL;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700861
Olof Johansson91b9a272005-08-09 20:24:39 -0700862 return &li->falh;
Robert Olsson19baf832005-06-21 12:43:18 -0700863}
864
865static void insert_leaf_info(struct hlist_head *head, struct leaf_info *new)
866{
Robert Olsson2373ce12005-08-25 13:01:29 -0700867 struct leaf_info *li = NULL, *last = NULL;
868 struct hlist_node *node;
Robert Olsson19baf832005-06-21 12:43:18 -0700869
Robert Olsson2373ce12005-08-25 13:01:29 -0700870 if (hlist_empty(head)) {
871 hlist_add_head_rcu(&new->hlist, head);
872 } else {
873 hlist_for_each_entry(li, node, head, hlist) {
874 if (new->plen > li->plen)
875 break;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700876
Robert Olsson2373ce12005-08-25 13:01:29 -0700877 last = li;
878 }
879 if (last)
880 hlist_add_after_rcu(&last->hlist, &new->hlist);
881 else
882 hlist_add_before_rcu(&new->hlist, &li->hlist);
883 }
Robert Olsson19baf832005-06-21 12:43:18 -0700884}
885
Robert Olsson2373ce12005-08-25 13:01:29 -0700886/* rcu_read_lock needs to be hold by caller from readside */
887
Robert Olsson19baf832005-06-21 12:43:18 -0700888static struct leaf *
889fib_find_node(struct trie *t, u32 key)
890{
891 int pos;
892 struct tnode *tn;
893 struct node *n;
894
895 pos = 0;
Robert Olsson2373ce12005-08-25 13:01:29 -0700896 n = rcu_dereference(t->trie);
Robert Olsson19baf832005-06-21 12:43:18 -0700897
898 while (n != NULL && NODE_TYPE(n) == T_TNODE) {
899 tn = (struct tnode *) n;
Olof Johansson91b9a272005-08-09 20:24:39 -0700900
Robert Olsson19baf832005-06-21 12:43:18 -0700901 check_tnode(tn);
Olof Johansson91b9a272005-08-09 20:24:39 -0700902
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700903 if (tkey_sub_equals(tn->key, pos, tn->pos-pos, key)) {
Olof Johansson91b9a272005-08-09 20:24:39 -0700904 pos = tn->pos + tn->bits;
Robert Olsson19baf832005-06-21 12:43:18 -0700905 n = tnode_get_child(tn, tkey_extract_bits(key, tn->pos, tn->bits));
Olof Johansson91b9a272005-08-09 20:24:39 -0700906 } else
Robert Olsson19baf832005-06-21 12:43:18 -0700907 break;
908 }
909 /* Case we have found a leaf. Compare prefixes */
910
Olof Johansson91b9a272005-08-09 20:24:39 -0700911 if (n != NULL && IS_LEAF(n) && tkey_equals(key, n->key))
912 return (struct leaf *)n;
913
Robert Olsson19baf832005-06-21 12:43:18 -0700914 return NULL;
915}
916
917static struct node *trie_rebalance(struct trie *t, struct tnode *tn)
918{
Robert Olsson19baf832005-06-21 12:43:18 -0700919 int wasfull;
920 t_key cindex, key;
921 struct tnode *tp = NULL;
922
Robert Olsson19baf832005-06-21 12:43:18 -0700923 key = tn->key;
Robert Olsson19baf832005-06-21 12:43:18 -0700924
925 while (tn != NULL && NODE_PARENT(tn) != NULL) {
Robert Olsson19baf832005-06-21 12:43:18 -0700926
927 tp = NODE_PARENT(tn);
928 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
929 wasfull = tnode_full(tp, tnode_get_child(tp, cindex));
930 tn = (struct tnode *) resize (t, (struct tnode *)tn);
931 tnode_put_child_reorg((struct tnode *)tp, cindex,(struct node*)tn, wasfull);
Olof Johansson91b9a272005-08-09 20:24:39 -0700932
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700933 if (!NODE_PARENT(tn))
Robert Olsson19baf832005-06-21 12:43:18 -0700934 break;
935
936 tn = NODE_PARENT(tn);
937 }
938 /* Handle last (top) tnode */
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700939 if (IS_TNODE(tn))
Robert Olsson19baf832005-06-21 12:43:18 -0700940 tn = (struct tnode*) resize(t, (struct tnode *)tn);
941
942 return (struct node*) tn;
943}
944
Robert Olsson2373ce12005-08-25 13:01:29 -0700945/* only used from updater-side */
946
Robert Olssonf835e472005-06-28 15:00:39 -0700947static struct list_head *
948fib_insert_node(struct trie *t, int *err, u32 key, int plen)
Robert Olsson19baf832005-06-21 12:43:18 -0700949{
950 int pos, newpos;
951 struct tnode *tp = NULL, *tn = NULL;
952 struct node *n;
953 struct leaf *l;
954 int missbit;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700955 struct list_head *fa_head = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -0700956 struct leaf_info *li;
957 t_key cindex;
958
959 pos = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700960 n = t->trie;
Robert Olsson19baf832005-06-21 12:43:18 -0700961
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700962 /* If we point to NULL, stop. Either the tree is empty and we should
963 * just put a new leaf in if, or we have reached an empty child slot,
Robert Olsson19baf832005-06-21 12:43:18 -0700964 * and we should just put our new leaf in that.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700965 * If we point to a T_TNODE, check if it matches our key. Note that
966 * a T_TNODE might be skipping any number of bits - its 'pos' need
Robert Olsson19baf832005-06-21 12:43:18 -0700967 * not be the parent's 'pos'+'bits'!
968 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700969 * If it does match the current key, get pos/bits from it, extract
Robert Olsson19baf832005-06-21 12:43:18 -0700970 * the index from our key, push the T_TNODE and walk the tree.
971 *
972 * If it doesn't, we have to replace it with a new T_TNODE.
973 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700974 * If we point to a T_LEAF, it might or might not have the same key
975 * as we do. If it does, just change the value, update the T_LEAF's
976 * value, and return it.
Robert Olsson19baf832005-06-21 12:43:18 -0700977 * If it doesn't, we need to replace it with a T_TNODE.
978 */
979
980 while (n != NULL && NODE_TYPE(n) == T_TNODE) {
981 tn = (struct tnode *) n;
Olof Johansson91b9a272005-08-09 20:24:39 -0700982
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700983 check_tnode(tn);
Olof Johansson91b9a272005-08-09 20:24:39 -0700984
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700985 if (tkey_sub_equals(tn->key, pos, tn->pos-pos, key)) {
Robert Olsson19baf832005-06-21 12:43:18 -0700986 tp = tn;
Olof Johansson91b9a272005-08-09 20:24:39 -0700987 pos = tn->pos + tn->bits;
Robert Olsson19baf832005-06-21 12:43:18 -0700988 n = tnode_get_child(tn, tkey_extract_bits(key, tn->pos, tn->bits));
989
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700990 BUG_ON(n && NODE_PARENT(n) != tn);
Olof Johansson91b9a272005-08-09 20:24:39 -0700991 } else
Robert Olsson19baf832005-06-21 12:43:18 -0700992 break;
993 }
994
995 /*
996 * n ----> NULL, LEAF or TNODE
997 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700998 * tp is n's (parent) ----> NULL or TNODE
Robert Olsson19baf832005-06-21 12:43:18 -0700999 */
1000
Olof Johansson91b9a272005-08-09 20:24:39 -07001001 BUG_ON(tp && IS_LEAF(tp));
Robert Olsson19baf832005-06-21 12:43:18 -07001002
1003 /* Case 1: n is a leaf. Compare prefixes */
1004
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001005 if (n != NULL && IS_LEAF(n) && tkey_equals(key, n->key)) {
Olof Johansson91b9a272005-08-09 20:24:39 -07001006 struct leaf *l = (struct leaf *) n;
1007
Robert Olsson19baf832005-06-21 12:43:18 -07001008 li = leaf_info_new(plen);
Olof Johansson91b9a272005-08-09 20:24:39 -07001009
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001010 if (!li) {
Robert Olssonf835e472005-06-28 15:00:39 -07001011 *err = -ENOMEM;
1012 goto err;
1013 }
Robert Olsson19baf832005-06-21 12:43:18 -07001014
1015 fa_head = &li->falh;
1016 insert_leaf_info(&l->list, li);
1017 goto done;
1018 }
1019 t->size++;
1020 l = leaf_new();
1021
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001022 if (!l) {
Robert Olssonf835e472005-06-28 15:00:39 -07001023 *err = -ENOMEM;
1024 goto err;
1025 }
Robert Olsson19baf832005-06-21 12:43:18 -07001026
1027 l->key = key;
1028 li = leaf_info_new(plen);
1029
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001030 if (!li) {
Robert Olssonf835e472005-06-28 15:00:39 -07001031 tnode_free((struct tnode *) l);
1032 *err = -ENOMEM;
1033 goto err;
1034 }
Robert Olsson19baf832005-06-21 12:43:18 -07001035
1036 fa_head = &li->falh;
1037 insert_leaf_info(&l->list, li);
1038
Robert Olsson19baf832005-06-21 12:43:18 -07001039 if (t->trie && n == NULL) {
Olof Johansson91b9a272005-08-09 20:24:39 -07001040 /* Case 2: n is NULL, and will just insert a new leaf */
Robert Olsson19baf832005-06-21 12:43:18 -07001041
1042 NODE_SET_PARENT(l, tp);
Robert Olsson19baf832005-06-21 12:43:18 -07001043
Olof Johansson91b9a272005-08-09 20:24:39 -07001044 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
1045 put_child(t, (struct tnode *)tp, cindex, (struct node *)l);
1046 } else {
1047 /* Case 3: n is a LEAF or a TNODE and the key doesn't match. */
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001048 /*
1049 * Add a new tnode here
Robert Olsson19baf832005-06-21 12:43:18 -07001050 * first tnode need some special handling
1051 */
1052
1053 if (tp)
Olof Johansson91b9a272005-08-09 20:24:39 -07001054 pos = tp->pos+tp->bits;
Robert Olsson19baf832005-06-21 12:43:18 -07001055 else
Olof Johansson91b9a272005-08-09 20:24:39 -07001056 pos = 0;
1057
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001058 if (n) {
Robert Olsson19baf832005-06-21 12:43:18 -07001059 newpos = tkey_mismatch(key, pos, n->key);
1060 tn = tnode_new(n->key, newpos, 1);
Olof Johansson91b9a272005-08-09 20:24:39 -07001061 } else {
Robert Olsson19baf832005-06-21 12:43:18 -07001062 newpos = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001063 tn = tnode_new(key, newpos, 1); /* First tnode */
Robert Olsson19baf832005-06-21 12:43:18 -07001064 }
Robert Olsson19baf832005-06-21 12:43:18 -07001065
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001066 if (!tn) {
Robert Olssonf835e472005-06-28 15:00:39 -07001067 free_leaf_info(li);
1068 tnode_free((struct tnode *) l);
1069 *err = -ENOMEM;
1070 goto err;
Olof Johansson91b9a272005-08-09 20:24:39 -07001071 }
1072
Robert Olsson19baf832005-06-21 12:43:18 -07001073 NODE_SET_PARENT(tn, tp);
1074
Olof Johansson91b9a272005-08-09 20:24:39 -07001075 missbit = tkey_extract_bits(key, newpos, 1);
Robert Olsson19baf832005-06-21 12:43:18 -07001076 put_child(t, tn, missbit, (struct node *)l);
1077 put_child(t, tn, 1-missbit, n);
1078
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001079 if (tp) {
Robert Olsson19baf832005-06-21 12:43:18 -07001080 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
1081 put_child(t, (struct tnode *)tp, cindex, (struct node *)tn);
Olof Johansson91b9a272005-08-09 20:24:39 -07001082 } else {
Robert Olsson2373ce12005-08-25 13:01:29 -07001083 rcu_assign_pointer(t->trie, (struct node *)tn); /* First tnode */
Robert Olsson19baf832005-06-21 12:43:18 -07001084 tp = tn;
1085 }
1086 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001087
1088 if (tp && tp->pos + tp->bits > 32)
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001089 printk("ERROR tp=%p pos=%d, bits=%d, key=%0x plen=%d\n",
Robert Olsson19baf832005-06-21 12:43:18 -07001090 tp, tp->pos, tp->bits, key, plen);
Olof Johansson91b9a272005-08-09 20:24:39 -07001091
Robert Olsson19baf832005-06-21 12:43:18 -07001092 /* Rebalance the trie */
Robert Olsson2373ce12005-08-25 13:01:29 -07001093
1094 rcu_assign_pointer(t->trie, trie_rebalance(t, tp));
Robert Olssonf835e472005-06-28 15:00:39 -07001095done:
1096 t->revision++;
Olof Johansson91b9a272005-08-09 20:24:39 -07001097err:
Robert Olsson19baf832005-06-21 12:43:18 -07001098 return fa_head;
1099}
1100
1101static int
1102fn_trie_insert(struct fib_table *tb, struct rtmsg *r, struct kern_rta *rta,
1103 struct nlmsghdr *nlhdr, struct netlink_skb_parms *req)
1104{
1105 struct trie *t = (struct trie *) tb->tb_data;
1106 struct fib_alias *fa, *new_fa;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001107 struct list_head *fa_head = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001108 struct fib_info *fi;
1109 int plen = r->rtm_dst_len;
1110 int type = r->rtm_type;
1111 u8 tos = r->rtm_tos;
1112 u32 key, mask;
1113 int err;
1114 struct leaf *l;
1115
1116 if (plen > 32)
1117 return -EINVAL;
1118
1119 key = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001120 if (rta->rta_dst)
Robert Olsson19baf832005-06-21 12:43:18 -07001121 memcpy(&key, rta->rta_dst, 4);
1122
1123 key = ntohl(key);
1124
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001125 pr_debug("Insert table=%d %08x/%d\n", tb->tb_id, key, plen);
Robert Olsson19baf832005-06-21 12:43:18 -07001126
Olof Johansson91b9a272005-08-09 20:24:39 -07001127 mask = ntohl(inet_make_mask(plen));
Robert Olsson19baf832005-06-21 12:43:18 -07001128
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001129 if (key & ~mask)
Robert Olsson19baf832005-06-21 12:43:18 -07001130 return -EINVAL;
1131
1132 key = key & mask;
1133
Olof Johansson91b9a272005-08-09 20:24:39 -07001134 fi = fib_create_info(r, rta, nlhdr, &err);
1135
1136 if (!fi)
Robert Olsson19baf832005-06-21 12:43:18 -07001137 goto err;
1138
1139 l = fib_find_node(t, key);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001140 fa = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001141
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001142 if (l) {
Robert Olsson19baf832005-06-21 12:43:18 -07001143 fa_head = get_fa_head(l, plen);
1144 fa = fib_find_alias(fa_head, tos, fi->fib_priority);
1145 }
1146
1147 /* Now fa, if non-NULL, points to the first fib alias
1148 * with the same keys [prefix,tos,priority], if such key already
1149 * exists or to the node before which we will insert new one.
1150 *
1151 * If fa is NULL, we will need to allocate a new one and
1152 * insert to the head of f.
1153 *
1154 * If f is NULL, no fib node matched the destination key
1155 * and we need to allocate a new one of those as well.
1156 */
1157
Olof Johansson91b9a272005-08-09 20:24:39 -07001158 if (fa && fa->fa_info->fib_priority == fi->fib_priority) {
Robert Olsson19baf832005-06-21 12:43:18 -07001159 struct fib_alias *fa_orig;
1160
1161 err = -EEXIST;
1162 if (nlhdr->nlmsg_flags & NLM_F_EXCL)
1163 goto out;
1164
1165 if (nlhdr->nlmsg_flags & NLM_F_REPLACE) {
1166 struct fib_info *fi_drop;
1167 u8 state;
1168
Robert Olsson2373ce12005-08-25 13:01:29 -07001169 err = -ENOBUFS;
1170 new_fa = kmem_cache_alloc(fn_alias_kmem, SLAB_KERNEL);
1171 if (new_fa == NULL)
1172 goto out;
Robert Olsson19baf832005-06-21 12:43:18 -07001173
1174 fi_drop = fa->fa_info;
Robert Olsson2373ce12005-08-25 13:01:29 -07001175 new_fa->fa_tos = fa->fa_tos;
1176 new_fa->fa_info = fi;
1177 new_fa->fa_type = type;
1178 new_fa->fa_scope = r->rtm_scope;
Robert Olsson19baf832005-06-21 12:43:18 -07001179 state = fa->fa_state;
Robert Olsson2373ce12005-08-25 13:01:29 -07001180 new_fa->fa_state &= ~FA_S_ACCESSED;
Robert Olsson19baf832005-06-21 12:43:18 -07001181
Robert Olsson2373ce12005-08-25 13:01:29 -07001182 list_replace_rcu(&fa->fa_list, &new_fa->fa_list);
1183 alias_free_mem_rcu(fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001184
1185 fib_release_info(fi_drop);
1186 if (state & FA_S_ACCESSED)
Olof Johansson91b9a272005-08-09 20:24:39 -07001187 rt_cache_flush(-1);
Robert Olsson19baf832005-06-21 12:43:18 -07001188
Olof Johansson91b9a272005-08-09 20:24:39 -07001189 goto succeeded;
Robert Olsson19baf832005-06-21 12:43:18 -07001190 }
1191 /* Error if we find a perfect match which
1192 * uses the same scope, type, and nexthop
1193 * information.
1194 */
1195 fa_orig = fa;
1196 list_for_each_entry(fa, fa_orig->fa_list.prev, fa_list) {
1197 if (fa->fa_tos != tos)
1198 break;
1199 if (fa->fa_info->fib_priority != fi->fib_priority)
1200 break;
1201 if (fa->fa_type == type &&
1202 fa->fa_scope == r->rtm_scope &&
1203 fa->fa_info == fi) {
1204 goto out;
1205 }
1206 }
1207 if (!(nlhdr->nlmsg_flags & NLM_F_APPEND))
1208 fa = fa_orig;
1209 }
1210 err = -ENOENT;
Olof Johansson91b9a272005-08-09 20:24:39 -07001211 if (!(nlhdr->nlmsg_flags & NLM_F_CREATE))
Robert Olsson19baf832005-06-21 12:43:18 -07001212 goto out;
1213
1214 err = -ENOBUFS;
1215 new_fa = kmem_cache_alloc(fn_alias_kmem, SLAB_KERNEL);
1216 if (new_fa == NULL)
1217 goto out;
1218
1219 new_fa->fa_info = fi;
1220 new_fa->fa_tos = tos;
1221 new_fa->fa_type = type;
1222 new_fa->fa_scope = r->rtm_scope;
1223 new_fa->fa_state = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001224 /*
1225 * Insert new entry to the list.
1226 */
1227
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001228 if (!fa_head) {
Robert Olssonf835e472005-06-28 15:00:39 -07001229 fa_head = fib_insert_node(t, &err, key, plen);
1230 err = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001231 if (err)
Robert Olssonf835e472005-06-28 15:00:39 -07001232 goto out_free_new_fa;
1233 }
Robert Olsson19baf832005-06-21 12:43:18 -07001234
Robert Olsson2373ce12005-08-25 13:01:29 -07001235 list_add_tail_rcu(&new_fa->fa_list,
1236 (fa ? &fa->fa_list : fa_head));
Robert Olsson19baf832005-06-21 12:43:18 -07001237
1238 rt_cache_flush(-1);
1239 rtmsg_fib(RTM_NEWROUTE, htonl(key), new_fa, plen, tb->tb_id, nlhdr, req);
1240succeeded:
1241 return 0;
Robert Olssonf835e472005-06-28 15:00:39 -07001242
1243out_free_new_fa:
1244 kmem_cache_free(fn_alias_kmem, new_fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001245out:
1246 fib_release_info(fi);
Olof Johansson91b9a272005-08-09 20:24:39 -07001247err:
Robert Olsson19baf832005-06-21 12:43:18 -07001248 return err;
1249}
1250
Robert Olsson2373ce12005-08-25 13:01:29 -07001251
1252/* should be clalled with rcu_read_lock */
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001253static inline int check_leaf(struct trie *t, struct leaf *l,
1254 t_key key, int *plen, const struct flowi *flp,
Patrick McHardy06c74272005-08-23 22:06:09 -07001255 struct fib_result *res)
Robert Olsson19baf832005-06-21 12:43:18 -07001256{
Patrick McHardy06c74272005-08-23 22:06:09 -07001257 int err, i;
Robert Olsson19baf832005-06-21 12:43:18 -07001258 t_key mask;
1259 struct leaf_info *li;
1260 struct hlist_head *hhead = &l->list;
1261 struct hlist_node *node;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001262
Robert Olsson2373ce12005-08-25 13:01:29 -07001263 hlist_for_each_entry_rcu(li, node, hhead, hlist) {
Robert Olsson19baf832005-06-21 12:43:18 -07001264 i = li->plen;
1265 mask = ntohl(inet_make_mask(i));
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001266 if (l->key != (key & mask))
Robert Olsson19baf832005-06-21 12:43:18 -07001267 continue;
1268
Patrick McHardy06c74272005-08-23 22:06:09 -07001269 if ((err = fib_semantic_match(&li->falh, flp, res, l->key, mask, i)) <= 0) {
Robert Olsson19baf832005-06-21 12:43:18 -07001270 *plen = i;
1271#ifdef CONFIG_IP_FIB_TRIE_STATS
1272 t->stats.semantic_match_passed++;
1273#endif
Patrick McHardy06c74272005-08-23 22:06:09 -07001274 return err;
Robert Olsson19baf832005-06-21 12:43:18 -07001275 }
1276#ifdef CONFIG_IP_FIB_TRIE_STATS
1277 t->stats.semantic_match_miss++;
1278#endif
1279 }
Patrick McHardy06c74272005-08-23 22:06:09 -07001280 return 1;
Robert Olsson19baf832005-06-21 12:43:18 -07001281}
1282
1283static int
1284fn_trie_lookup(struct fib_table *tb, const struct flowi *flp, struct fib_result *res)
1285{
1286 struct trie *t = (struct trie *) tb->tb_data;
1287 int plen, ret = 0;
1288 struct node *n;
1289 struct tnode *pn;
1290 int pos, bits;
Olof Johansson91b9a272005-08-09 20:24:39 -07001291 t_key key = ntohl(flp->fl4_dst);
Robert Olsson19baf832005-06-21 12:43:18 -07001292 int chopped_off;
1293 t_key cindex = 0;
1294 int current_prefix_length = KEYLENGTH;
Olof Johansson91b9a272005-08-09 20:24:39 -07001295 struct tnode *cn;
1296 t_key node_prefix, key_prefix, pref_mismatch;
1297 int mp;
1298
Robert Olsson2373ce12005-08-25 13:01:29 -07001299 rcu_read_lock();
Robert Olsson19baf832005-06-21 12:43:18 -07001300
Robert Olsson2373ce12005-08-25 13:01:29 -07001301 n = rcu_dereference(t->trie);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001302 if (!n)
Robert Olsson19baf832005-06-21 12:43:18 -07001303 goto failed;
1304
1305#ifdef CONFIG_IP_FIB_TRIE_STATS
1306 t->stats.gets++;
1307#endif
1308
1309 /* Just a leaf? */
1310 if (IS_LEAF(n)) {
Patrick McHardy06c74272005-08-23 22:06:09 -07001311 if ((ret = check_leaf(t, (struct leaf *)n, key, &plen, flp, res)) <= 0)
Robert Olsson19baf832005-06-21 12:43:18 -07001312 goto found;
1313 goto failed;
1314 }
1315 pn = (struct tnode *) n;
1316 chopped_off = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001317
Olof Johansson91b9a272005-08-09 20:24:39 -07001318 while (pn) {
Robert Olsson19baf832005-06-21 12:43:18 -07001319 pos = pn->pos;
1320 bits = pn->bits;
1321
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001322 if (!chopped_off)
Robert Olsson19baf832005-06-21 12:43:18 -07001323 cindex = tkey_extract_bits(MASK_PFX(key, current_prefix_length), pos, bits);
1324
1325 n = tnode_get_child(pn, cindex);
1326
1327 if (n == NULL) {
1328#ifdef CONFIG_IP_FIB_TRIE_STATS
1329 t->stats.null_node_hit++;
1330#endif
1331 goto backtrace;
1332 }
1333
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001334 if (IS_LEAF(n)) {
Patrick McHardy06c74272005-08-23 22:06:09 -07001335 if ((ret = check_leaf(t, (struct leaf *)n, key, &plen, flp, res)) <= 0)
Robert Olsson19baf832005-06-21 12:43:18 -07001336 goto found;
Olof Johansson91b9a272005-08-09 20:24:39 -07001337 else
1338 goto backtrace;
1339 }
1340
1341#define HL_OPTIMIZE
1342#ifdef HL_OPTIMIZE
1343 cn = (struct tnode *)n;
1344
1345 /*
1346 * It's a tnode, and we can do some extra checks here if we
1347 * like, to avoid descending into a dead-end branch.
1348 * This tnode is in the parent's child array at index
1349 * key[p_pos..p_pos+p_bits] but potentially with some bits
1350 * chopped off, so in reality the index may be just a
1351 * subprefix, padded with zero at the end.
1352 * We can also take a look at any skipped bits in this
1353 * tnode - everything up to p_pos is supposed to be ok,
1354 * and the non-chopped bits of the index (se previous
1355 * paragraph) are also guaranteed ok, but the rest is
1356 * considered unknown.
1357 *
1358 * The skipped bits are key[pos+bits..cn->pos].
1359 */
1360
1361 /* If current_prefix_length < pos+bits, we are already doing
1362 * actual prefix matching, which means everything from
1363 * pos+(bits-chopped_off) onward must be zero along some
1364 * branch of this subtree - otherwise there is *no* valid
1365 * prefix present. Here we can only check the skipped
1366 * bits. Remember, since we have already indexed into the
1367 * parent's child array, we know that the bits we chopped of
1368 * *are* zero.
1369 */
1370
1371 /* NOTA BENE: CHECKING ONLY SKIPPED BITS FOR THE NEW NODE HERE */
1372
1373 if (current_prefix_length < pos+bits) {
1374 if (tkey_extract_bits(cn->key, current_prefix_length,
1375 cn->pos - current_prefix_length) != 0 ||
1376 !(cn->child[0]))
1377 goto backtrace;
1378 }
1379
1380 /*
1381 * If chopped_off=0, the index is fully validated and we
1382 * only need to look at the skipped bits for this, the new,
1383 * tnode. What we actually want to do is to find out if
1384 * these skipped bits match our key perfectly, or if we will
1385 * have to count on finding a matching prefix further down,
1386 * because if we do, we would like to have some way of
1387 * verifying the existence of such a prefix at this point.
1388 */
1389
1390 /* The only thing we can do at this point is to verify that
1391 * any such matching prefix can indeed be a prefix to our
1392 * key, and if the bits in the node we are inspecting that
1393 * do not match our key are not ZERO, this cannot be true.
1394 * Thus, find out where there is a mismatch (before cn->pos)
1395 * and verify that all the mismatching bits are zero in the
1396 * new tnode's key.
1397 */
1398
1399 /* Note: We aren't very concerned about the piece of the key
1400 * that precede pn->pos+pn->bits, since these have already been
1401 * checked. The bits after cn->pos aren't checked since these are
1402 * by definition "unknown" at this point. Thus, what we want to
1403 * see is if we are about to enter the "prefix matching" state,
1404 * and in that case verify that the skipped bits that will prevail
1405 * throughout this subtree are zero, as they have to be if we are
1406 * to find a matching prefix.
1407 */
1408
1409 node_prefix = MASK_PFX(cn->key, cn->pos);
1410 key_prefix = MASK_PFX(key, cn->pos);
1411 pref_mismatch = key_prefix^node_prefix;
1412 mp = 0;
1413
1414 /* In short: If skipped bits in this node do not match the search
1415 * key, enter the "prefix matching" state.directly.
1416 */
1417 if (pref_mismatch) {
1418 while (!(pref_mismatch & (1<<(KEYLENGTH-1)))) {
1419 mp++;
1420 pref_mismatch = pref_mismatch <<1;
1421 }
1422 key_prefix = tkey_extract_bits(cn->key, mp, cn->pos-mp);
1423
1424 if (key_prefix != 0)
1425 goto backtrace;
1426
1427 if (current_prefix_length >= cn->pos)
1428 current_prefix_length = mp;
1429 }
1430#endif
1431 pn = (struct tnode *)n; /* Descend */
1432 chopped_off = 0;
1433 continue;
1434
Robert Olsson19baf832005-06-21 12:43:18 -07001435backtrace:
1436 chopped_off++;
1437
1438 /* As zero don't change the child key (cindex) */
Olof Johansson91b9a272005-08-09 20:24:39 -07001439 while ((chopped_off <= pn->bits) && !(cindex & (1<<(chopped_off-1))))
Robert Olsson19baf832005-06-21 12:43:18 -07001440 chopped_off++;
Robert Olsson19baf832005-06-21 12:43:18 -07001441
1442 /* Decrease current_... with bits chopped off */
1443 if (current_prefix_length > pn->pos + pn->bits - chopped_off)
1444 current_prefix_length = pn->pos + pn->bits - chopped_off;
Olof Johansson91b9a272005-08-09 20:24:39 -07001445
Robert Olsson19baf832005-06-21 12:43:18 -07001446 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001447 * Either we do the actual chop off according or if we have
Robert Olsson19baf832005-06-21 12:43:18 -07001448 * chopped off all bits in this tnode walk up to our parent.
1449 */
1450
Olof Johansson91b9a272005-08-09 20:24:39 -07001451 if (chopped_off <= pn->bits) {
Robert Olsson19baf832005-06-21 12:43:18 -07001452 cindex &= ~(1 << (chopped_off-1));
Olof Johansson91b9a272005-08-09 20:24:39 -07001453 } else {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001454 if (NODE_PARENT(pn) == NULL)
Robert Olsson19baf832005-06-21 12:43:18 -07001455 goto failed;
Olof Johansson91b9a272005-08-09 20:24:39 -07001456
Robert Olsson19baf832005-06-21 12:43:18 -07001457 /* Get Child's index */
1458 cindex = tkey_extract_bits(pn->key, NODE_PARENT(pn)->pos, NODE_PARENT(pn)->bits);
1459 pn = NODE_PARENT(pn);
1460 chopped_off = 0;
1461
1462#ifdef CONFIG_IP_FIB_TRIE_STATS
1463 t->stats.backtrack++;
1464#endif
1465 goto backtrace;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001466 }
Robert Olsson19baf832005-06-21 12:43:18 -07001467 }
1468failed:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001469 ret = 1;
Robert Olsson19baf832005-06-21 12:43:18 -07001470found:
Robert Olsson2373ce12005-08-25 13:01:29 -07001471 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001472 return ret;
1473}
1474
Robert Olsson2373ce12005-08-25 13:01:29 -07001475/* only called from updater side */
Robert Olsson19baf832005-06-21 12:43:18 -07001476static int trie_leaf_remove(struct trie *t, t_key key)
1477{
1478 t_key cindex;
1479 struct tnode *tp = NULL;
1480 struct node *n = t->trie;
1481 struct leaf *l;
1482
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001483 pr_debug("entering trie_leaf_remove(%p)\n", n);
Robert Olsson19baf832005-06-21 12:43:18 -07001484
1485 /* Note that in the case skipped bits, those bits are *not* checked!
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001486 * When we finish this, we will have NULL or a T_LEAF, and the
Robert Olsson19baf832005-06-21 12:43:18 -07001487 * T_LEAF may or may not match our key.
1488 */
1489
Olof Johansson91b9a272005-08-09 20:24:39 -07001490 while (n != NULL && IS_TNODE(n)) {
Robert Olsson19baf832005-06-21 12:43:18 -07001491 struct tnode *tn = (struct tnode *) n;
1492 check_tnode(tn);
1493 n = tnode_get_child(tn ,tkey_extract_bits(key, tn->pos, tn->bits));
1494
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001495 BUG_ON(n && NODE_PARENT(n) != tn);
Olof Johansson91b9a272005-08-09 20:24:39 -07001496 }
Robert Olsson19baf832005-06-21 12:43:18 -07001497 l = (struct leaf *) n;
1498
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001499 if (!n || !tkey_equals(l->key, key))
Robert Olsson19baf832005-06-21 12:43:18 -07001500 return 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001501
1502 /*
1503 * Key found.
1504 * Remove the leaf and rebalance the tree
Robert Olsson19baf832005-06-21 12:43:18 -07001505 */
1506
1507 t->revision++;
1508 t->size--;
1509
Robert Olsson2373ce12005-08-25 13:01:29 -07001510 preempt_disable();
Robert Olsson19baf832005-06-21 12:43:18 -07001511 tp = NODE_PARENT(n);
1512 tnode_free((struct tnode *) n);
1513
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001514 if (tp) {
Robert Olsson19baf832005-06-21 12:43:18 -07001515 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
1516 put_child(t, (struct tnode *)tp, cindex, NULL);
Robert Olsson2373ce12005-08-25 13:01:29 -07001517 rcu_assign_pointer(t->trie, trie_rebalance(t, tp));
Olof Johansson91b9a272005-08-09 20:24:39 -07001518 } else
Robert Olsson2373ce12005-08-25 13:01:29 -07001519 rcu_assign_pointer(t->trie, NULL);
1520 preempt_enable();
Robert Olsson19baf832005-06-21 12:43:18 -07001521
1522 return 1;
1523}
1524
1525static int
1526fn_trie_delete(struct fib_table *tb, struct rtmsg *r, struct kern_rta *rta,
Olof Johansson91b9a272005-08-09 20:24:39 -07001527 struct nlmsghdr *nlhdr, struct netlink_skb_parms *req)
Robert Olsson19baf832005-06-21 12:43:18 -07001528{
1529 struct trie *t = (struct trie *) tb->tb_data;
1530 u32 key, mask;
1531 int plen = r->rtm_dst_len;
1532 u8 tos = r->rtm_tos;
1533 struct fib_alias *fa, *fa_to_delete;
1534 struct list_head *fa_head;
1535 struct leaf *l;
Olof Johansson91b9a272005-08-09 20:24:39 -07001536 struct leaf_info *li;
1537
Robert Olsson19baf832005-06-21 12:43:18 -07001538
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001539 if (plen > 32)
Robert Olsson19baf832005-06-21 12:43:18 -07001540 return -EINVAL;
1541
1542 key = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001543 if (rta->rta_dst)
Robert Olsson19baf832005-06-21 12:43:18 -07001544 memcpy(&key, rta->rta_dst, 4);
1545
1546 key = ntohl(key);
Olof Johansson91b9a272005-08-09 20:24:39 -07001547 mask = ntohl(inet_make_mask(plen));
Robert Olsson19baf832005-06-21 12:43:18 -07001548
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001549 if (key & ~mask)
Robert Olsson19baf832005-06-21 12:43:18 -07001550 return -EINVAL;
1551
1552 key = key & mask;
1553 l = fib_find_node(t, key);
1554
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001555 if (!l)
Robert Olsson19baf832005-06-21 12:43:18 -07001556 return -ESRCH;
1557
1558 fa_head = get_fa_head(l, plen);
1559 fa = fib_find_alias(fa_head, tos, 0);
1560
1561 if (!fa)
1562 return -ESRCH;
1563
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001564 pr_debug("Deleting %08x/%d tos=%d t=%p\n", key, plen, tos, t);
Robert Olsson19baf832005-06-21 12:43:18 -07001565
1566 fa_to_delete = NULL;
1567 fa_head = fa->fa_list.prev;
Robert Olsson2373ce12005-08-25 13:01:29 -07001568
Robert Olsson19baf832005-06-21 12:43:18 -07001569 list_for_each_entry(fa, fa_head, fa_list) {
1570 struct fib_info *fi = fa->fa_info;
1571
1572 if (fa->fa_tos != tos)
1573 break;
1574
1575 if ((!r->rtm_type ||
1576 fa->fa_type == r->rtm_type) &&
1577 (r->rtm_scope == RT_SCOPE_NOWHERE ||
1578 fa->fa_scope == r->rtm_scope) &&
1579 (!r->rtm_protocol ||
1580 fi->fib_protocol == r->rtm_protocol) &&
1581 fib_nh_match(r, nlhdr, rta, fi) == 0) {
1582 fa_to_delete = fa;
1583 break;
1584 }
1585 }
1586
Olof Johansson91b9a272005-08-09 20:24:39 -07001587 if (!fa_to_delete)
1588 return -ESRCH;
Robert Olsson19baf832005-06-21 12:43:18 -07001589
Olof Johansson91b9a272005-08-09 20:24:39 -07001590 fa = fa_to_delete;
1591 rtmsg_fib(RTM_DELROUTE, htonl(key), fa, plen, tb->tb_id, nlhdr, req);
Robert Olsson19baf832005-06-21 12:43:18 -07001592
Olof Johansson91b9a272005-08-09 20:24:39 -07001593 l = fib_find_node(t, key);
1594 li = find_leaf_info(&l->list, plen);
Robert Olsson19baf832005-06-21 12:43:18 -07001595
Robert Olsson2373ce12005-08-25 13:01:29 -07001596 list_del_rcu(&fa->fa_list);
Robert Olsson19baf832005-06-21 12:43:18 -07001597
Olof Johansson91b9a272005-08-09 20:24:39 -07001598 if (list_empty(fa_head)) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001599 hlist_del_rcu(&li->hlist);
Olof Johansson91b9a272005-08-09 20:24:39 -07001600 free_leaf_info(li);
Robert Olsson2373ce12005-08-25 13:01:29 -07001601 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001602
1603 if (hlist_empty(&l->list))
1604 trie_leaf_remove(t, key);
1605
1606 if (fa->fa_state & FA_S_ACCESSED)
1607 rt_cache_flush(-1);
1608
Robert Olsson2373ce12005-08-25 13:01:29 -07001609 fib_release_info(fa->fa_info);
1610 alias_free_mem_rcu(fa);
Olof Johansson91b9a272005-08-09 20:24:39 -07001611 return 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001612}
1613
1614static int trie_flush_list(struct trie *t, struct list_head *head)
1615{
1616 struct fib_alias *fa, *fa_node;
1617 int found = 0;
1618
1619 list_for_each_entry_safe(fa, fa_node, head, fa_list) {
1620 struct fib_info *fi = fa->fa_info;
Robert Olsson19baf832005-06-21 12:43:18 -07001621
Robert Olsson2373ce12005-08-25 13:01:29 -07001622 if (fi && (fi->fib_flags & RTNH_F_DEAD)) {
1623 list_del_rcu(&fa->fa_list);
1624 fib_release_info(fa->fa_info);
1625 alias_free_mem_rcu(fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001626 found++;
1627 }
1628 }
1629 return found;
1630}
1631
1632static int trie_flush_leaf(struct trie *t, struct leaf *l)
1633{
1634 int found = 0;
1635 struct hlist_head *lih = &l->list;
1636 struct hlist_node *node, *tmp;
1637 struct leaf_info *li = NULL;
1638
1639 hlist_for_each_entry_safe(li, node, tmp, lih, hlist) {
Robert Olsson19baf832005-06-21 12:43:18 -07001640 found += trie_flush_list(t, &li->falh);
1641
1642 if (list_empty(&li->falh)) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001643 hlist_del_rcu(&li->hlist);
Robert Olsson19baf832005-06-21 12:43:18 -07001644 free_leaf_info(li);
1645 }
1646 }
1647 return found;
1648}
1649
Robert Olsson2373ce12005-08-25 13:01:29 -07001650/* rcu_read_lock needs to be hold by caller from readside */
1651
Robert Olsson19baf832005-06-21 12:43:18 -07001652static struct leaf *nextleaf(struct trie *t, struct leaf *thisleaf)
1653{
1654 struct node *c = (struct node *) thisleaf;
1655 struct tnode *p;
1656 int idx;
Robert Olsson2373ce12005-08-25 13:01:29 -07001657 struct node *trie = rcu_dereference(t->trie);
Robert Olsson19baf832005-06-21 12:43:18 -07001658
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001659 if (c == NULL) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001660 if (trie == NULL)
Robert Olsson19baf832005-06-21 12:43:18 -07001661 return NULL;
1662
Robert Olsson2373ce12005-08-25 13:01:29 -07001663 if (IS_LEAF(trie)) /* trie w. just a leaf */
1664 return (struct leaf *) trie;
Robert Olsson19baf832005-06-21 12:43:18 -07001665
Robert Olsson2373ce12005-08-25 13:01:29 -07001666 p = (struct tnode*) trie; /* Start */
Olof Johansson91b9a272005-08-09 20:24:39 -07001667 } else
Robert Olsson19baf832005-06-21 12:43:18 -07001668 p = (struct tnode *) NODE_PARENT(c);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001669
Robert Olsson19baf832005-06-21 12:43:18 -07001670 while (p) {
1671 int pos, last;
1672
1673 /* Find the next child of the parent */
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001674 if (c)
1675 pos = 1 + tkey_extract_bits(c->key, p->pos, p->bits);
1676 else
Robert Olsson19baf832005-06-21 12:43:18 -07001677 pos = 0;
1678
1679 last = 1 << p->bits;
Olof Johansson91b9a272005-08-09 20:24:39 -07001680 for (idx = pos; idx < last ; idx++) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001681 c = rcu_dereference(p->child[idx]);
1682
1683 if (!c)
Olof Johansson91b9a272005-08-09 20:24:39 -07001684 continue;
Robert Olsson19baf832005-06-21 12:43:18 -07001685
Olof Johansson91b9a272005-08-09 20:24:39 -07001686 /* Decend if tnode */
Robert Olsson2373ce12005-08-25 13:01:29 -07001687 while (IS_TNODE(c)) {
1688 p = (struct tnode *) c;
1689 idx = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001690
Olof Johansson91b9a272005-08-09 20:24:39 -07001691 /* Rightmost non-NULL branch */
1692 if (p && IS_TNODE(p))
Robert Olsson2373ce12005-08-25 13:01:29 -07001693 while (!(c = rcu_dereference(p->child[idx]))
1694 && idx < (1<<p->bits)) idx++;
Robert Olsson19baf832005-06-21 12:43:18 -07001695
Olof Johansson91b9a272005-08-09 20:24:39 -07001696 /* Done with this tnode? */
Robert Olsson2373ce12005-08-25 13:01:29 -07001697 if (idx >= (1 << p->bits) || !c)
Olof Johansson91b9a272005-08-09 20:24:39 -07001698 goto up;
Robert Olsson19baf832005-06-21 12:43:18 -07001699 }
Robert Olsson2373ce12005-08-25 13:01:29 -07001700 return (struct leaf *) c;
Robert Olsson19baf832005-06-21 12:43:18 -07001701 }
1702up:
1703 /* No more children go up one step */
Olof Johansson91b9a272005-08-09 20:24:39 -07001704 c = (struct node *) p;
Robert Olsson19baf832005-06-21 12:43:18 -07001705 p = (struct tnode *) NODE_PARENT(p);
1706 }
1707 return NULL; /* Ready. Root of trie */
1708}
1709
1710static int fn_trie_flush(struct fib_table *tb)
1711{
1712 struct trie *t = (struct trie *) tb->tb_data;
1713 struct leaf *ll = NULL, *l = NULL;
1714 int found = 0, h;
1715
1716 t->revision++;
1717
Robert Olsson2373ce12005-08-25 13:01:29 -07001718 rcu_read_lock();
Olof Johansson91b9a272005-08-09 20:24:39 -07001719 for (h = 0; (l = nextleaf(t, l)) != NULL; h++) {
Robert Olsson19baf832005-06-21 12:43:18 -07001720 found += trie_flush_leaf(t, l);
1721
1722 if (ll && hlist_empty(&ll->list))
1723 trie_leaf_remove(t, ll->key);
1724 ll = l;
1725 }
Robert Olsson2373ce12005-08-25 13:01:29 -07001726 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001727
1728 if (ll && hlist_empty(&ll->list))
1729 trie_leaf_remove(t, ll->key);
1730
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001731 pr_debug("trie_flush found=%d\n", found);
Robert Olsson19baf832005-06-21 12:43:18 -07001732 return found;
1733}
1734
Olof Johansson91b9a272005-08-09 20:24:39 -07001735static int trie_last_dflt = -1;
Robert Olsson19baf832005-06-21 12:43:18 -07001736
1737static void
1738fn_trie_select_default(struct fib_table *tb, const struct flowi *flp, struct fib_result *res)
1739{
1740 struct trie *t = (struct trie *) tb->tb_data;
1741 int order, last_idx;
1742 struct fib_info *fi = NULL;
1743 struct fib_info *last_resort;
1744 struct fib_alias *fa = NULL;
1745 struct list_head *fa_head;
1746 struct leaf *l;
1747
1748 last_idx = -1;
1749 last_resort = NULL;
1750 order = -1;
1751
Robert Olsson2373ce12005-08-25 13:01:29 -07001752 rcu_read_lock();
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001753
Robert Olsson19baf832005-06-21 12:43:18 -07001754 l = fib_find_node(t, 0);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001755 if (!l)
Robert Olsson19baf832005-06-21 12:43:18 -07001756 goto out;
1757
1758 fa_head = get_fa_head(l, 0);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001759 if (!fa_head)
Robert Olsson19baf832005-06-21 12:43:18 -07001760 goto out;
1761
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001762 if (list_empty(fa_head))
Robert Olsson19baf832005-06-21 12:43:18 -07001763 goto out;
1764
Robert Olsson2373ce12005-08-25 13:01:29 -07001765 list_for_each_entry_rcu(fa, fa_head, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07001766 struct fib_info *next_fi = fa->fa_info;
Olof Johansson91b9a272005-08-09 20:24:39 -07001767
Robert Olsson19baf832005-06-21 12:43:18 -07001768 if (fa->fa_scope != res->scope ||
1769 fa->fa_type != RTN_UNICAST)
1770 continue;
Olof Johansson91b9a272005-08-09 20:24:39 -07001771
Robert Olsson19baf832005-06-21 12:43:18 -07001772 if (next_fi->fib_priority > res->fi->fib_priority)
1773 break;
1774 if (!next_fi->fib_nh[0].nh_gw ||
1775 next_fi->fib_nh[0].nh_scope != RT_SCOPE_LINK)
1776 continue;
1777 fa->fa_state |= FA_S_ACCESSED;
Olof Johansson91b9a272005-08-09 20:24:39 -07001778
Robert Olsson19baf832005-06-21 12:43:18 -07001779 if (fi == NULL) {
1780 if (next_fi != res->fi)
1781 break;
1782 } else if (!fib_detect_death(fi, order, &last_resort,
1783 &last_idx, &trie_last_dflt)) {
1784 if (res->fi)
1785 fib_info_put(res->fi);
1786 res->fi = fi;
1787 atomic_inc(&fi->fib_clntref);
1788 trie_last_dflt = order;
1789 goto out;
1790 }
1791 fi = next_fi;
1792 order++;
1793 }
1794 if (order <= 0 || fi == NULL) {
1795 trie_last_dflt = -1;
1796 goto out;
1797 }
1798
1799 if (!fib_detect_death(fi, order, &last_resort, &last_idx, &trie_last_dflt)) {
1800 if (res->fi)
1801 fib_info_put(res->fi);
1802 res->fi = fi;
1803 atomic_inc(&fi->fib_clntref);
1804 trie_last_dflt = order;
1805 goto out;
1806 }
1807 if (last_idx >= 0) {
1808 if (res->fi)
1809 fib_info_put(res->fi);
1810 res->fi = last_resort;
1811 if (last_resort)
1812 atomic_inc(&last_resort->fib_clntref);
1813 }
1814 trie_last_dflt = last_idx;
1815 out:;
Robert Olsson2373ce12005-08-25 13:01:29 -07001816 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001817}
1818
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001819static 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 -07001820 struct sk_buff *skb, struct netlink_callback *cb)
1821{
1822 int i, s_i;
1823 struct fib_alias *fa;
1824
Olof Johansson91b9a272005-08-09 20:24:39 -07001825 u32 xkey = htonl(key);
Robert Olsson19baf832005-06-21 12:43:18 -07001826
Olof Johansson91b9a272005-08-09 20:24:39 -07001827 s_i = cb->args[3];
Robert Olsson19baf832005-06-21 12:43:18 -07001828 i = 0;
1829
Robert Olsson2373ce12005-08-25 13:01:29 -07001830 /* rcu_read_lock is hold by caller */
1831
1832 list_for_each_entry_rcu(fa, fah, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07001833 if (i < s_i) {
1834 i++;
1835 continue;
1836 }
1837 if (fa->fa_info->fib_nh == NULL) {
1838 printk("Trie error _fib_nh=NULL in fa[%d] k=%08x plen=%d\n", i, key, plen);
1839 i++;
1840 continue;
1841 }
1842 if (fa->fa_info == NULL) {
1843 printk("Trie error fa_info=NULL in fa[%d] k=%08x plen=%d\n", i, key, plen);
1844 i++;
1845 continue;
1846 }
1847
1848 if (fib_dump_info(skb, NETLINK_CB(cb->skb).pid,
1849 cb->nlh->nlmsg_seq,
1850 RTM_NEWROUTE,
1851 tb->tb_id,
1852 fa->fa_type,
1853 fa->fa_scope,
1854 &xkey,
1855 plen,
1856 fa->fa_tos,
David S. Miller90f66912005-06-21 14:43:28 -07001857 fa->fa_info, 0) < 0) {
Robert Olsson19baf832005-06-21 12:43:18 -07001858 cb->args[3] = i;
1859 return -1;
Olof Johansson91b9a272005-08-09 20:24:39 -07001860 }
Robert Olsson19baf832005-06-21 12:43:18 -07001861 i++;
1862 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001863 cb->args[3] = i;
Robert Olsson19baf832005-06-21 12:43:18 -07001864 return skb->len;
1865}
1866
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001867static 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 -07001868 struct netlink_callback *cb)
1869{
1870 int h, s_h;
1871 struct list_head *fa_head;
1872 struct leaf *l = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001873
Olof Johansson91b9a272005-08-09 20:24:39 -07001874 s_h = cb->args[2];
Robert Olsson19baf832005-06-21 12:43:18 -07001875
Olof Johansson91b9a272005-08-09 20:24:39 -07001876 for (h = 0; (l = nextleaf(t, l)) != NULL; h++) {
Robert Olsson19baf832005-06-21 12:43:18 -07001877 if (h < s_h)
1878 continue;
1879 if (h > s_h)
1880 memset(&cb->args[3], 0,
1881 sizeof(cb->args) - 3*sizeof(cb->args[0]));
1882
1883 fa_head = get_fa_head(l, plen);
Olof Johansson91b9a272005-08-09 20:24:39 -07001884
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001885 if (!fa_head)
Robert Olsson19baf832005-06-21 12:43:18 -07001886 continue;
1887
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001888 if (list_empty(fa_head))
Robert Olsson19baf832005-06-21 12:43:18 -07001889 continue;
1890
1891 if (fn_trie_dump_fa(l->key, plen, fa_head, tb, skb, cb)<0) {
Olof Johansson91b9a272005-08-09 20:24:39 -07001892 cb->args[2] = h;
Robert Olsson19baf832005-06-21 12:43:18 -07001893 return -1;
1894 }
1895 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001896 cb->args[2] = h;
Robert Olsson19baf832005-06-21 12:43:18 -07001897 return skb->len;
1898}
1899
1900static int fn_trie_dump(struct fib_table *tb, struct sk_buff *skb, struct netlink_callback *cb)
1901{
1902 int m, s_m;
1903 struct trie *t = (struct trie *) tb->tb_data;
1904
1905 s_m = cb->args[1];
1906
Robert Olsson2373ce12005-08-25 13:01:29 -07001907 rcu_read_lock();
Olof Johansson91b9a272005-08-09 20:24:39 -07001908 for (m = 0; m <= 32; m++) {
Robert Olsson19baf832005-06-21 12:43:18 -07001909 if (m < s_m)
1910 continue;
1911 if (m > s_m)
1912 memset(&cb->args[2], 0,
Olof Johansson91b9a272005-08-09 20:24:39 -07001913 sizeof(cb->args) - 2*sizeof(cb->args[0]));
Robert Olsson19baf832005-06-21 12:43:18 -07001914
1915 if (fn_trie_dump_plen(t, 32-m, tb, skb, cb)<0) {
1916 cb->args[1] = m;
1917 goto out;
1918 }
1919 }
Robert Olsson2373ce12005-08-25 13:01:29 -07001920 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001921 cb->args[1] = m;
1922 return skb->len;
Olof Johansson91b9a272005-08-09 20:24:39 -07001923out:
Robert Olsson2373ce12005-08-25 13:01:29 -07001924 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001925 return -1;
1926}
1927
1928/* Fix more generic FIB names for init later */
1929
1930#ifdef CONFIG_IP_MULTIPLE_TABLES
1931struct fib_table * fib_hash_init(int id)
1932#else
1933struct fib_table * __init fib_hash_init(int id)
1934#endif
1935{
1936 struct fib_table *tb;
1937 struct trie *t;
1938
1939 if (fn_alias_kmem == NULL)
1940 fn_alias_kmem = kmem_cache_create("ip_fib_alias",
1941 sizeof(struct fib_alias),
1942 0, SLAB_HWCACHE_ALIGN,
1943 NULL, NULL);
1944
1945 tb = kmalloc(sizeof(struct fib_table) + sizeof(struct trie),
1946 GFP_KERNEL);
1947 if (tb == NULL)
1948 return NULL;
1949
1950 tb->tb_id = id;
1951 tb->tb_lookup = fn_trie_lookup;
1952 tb->tb_insert = fn_trie_insert;
1953 tb->tb_delete = fn_trie_delete;
1954 tb->tb_flush = fn_trie_flush;
1955 tb->tb_select_default = fn_trie_select_default;
1956 tb->tb_dump = fn_trie_dump;
1957 memset(tb->tb_data, 0, sizeof(struct trie));
1958
1959 t = (struct trie *) tb->tb_data;
1960
1961 trie_init(t);
1962
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001963 if (id == RT_TABLE_LOCAL)
Olof Johansson91b9a272005-08-09 20:24:39 -07001964 trie_local = t;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001965 else if (id == RT_TABLE_MAIN)
Olof Johansson91b9a272005-08-09 20:24:39 -07001966 trie_main = t;
Robert Olsson19baf832005-06-21 12:43:18 -07001967
1968 if (id == RT_TABLE_LOCAL)
1969 printk("IPv4 FIB: Using LC-trie version %s\n", VERSION);
1970
1971 return tb;
1972}
1973
1974/* Trie dump functions */
1975
1976static void putspace_seq(struct seq_file *seq, int n)
1977{
Olof Johansson91b9a272005-08-09 20:24:39 -07001978 while (n--)
1979 seq_printf(seq, " ");
Robert Olsson19baf832005-06-21 12:43:18 -07001980}
1981
1982static void printbin_seq(struct seq_file *seq, unsigned int v, int bits)
1983{
1984 while (bits--)
1985 seq_printf(seq, "%s", (v & (1<<bits))?"1":"0");
1986}
1987
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001988static void printnode_seq(struct seq_file *seq, int indent, struct node *n,
Robert Olsson19baf832005-06-21 12:43:18 -07001989 int pend, int cindex, int bits)
1990{
1991 putspace_seq(seq, indent);
1992 if (IS_LEAF(n))
1993 seq_printf(seq, "|");
1994 else
1995 seq_printf(seq, "+");
1996 if (bits) {
1997 seq_printf(seq, "%d/", cindex);
1998 printbin_seq(seq, cindex, bits);
1999 seq_printf(seq, ": ");
Olof Johansson91b9a272005-08-09 20:24:39 -07002000 } else
Robert Olsson19baf832005-06-21 12:43:18 -07002001 seq_printf(seq, "<root>: ");
2002 seq_printf(seq, "%s:%p ", IS_LEAF(n)?"Leaf":"Internal node", n);
2003
Robert Olsson19baf832005-06-21 12:43:18 -07002004 if (IS_LEAF(n)) {
Olof Johansson91b9a272005-08-09 20:24:39 -07002005 struct leaf *l = (struct leaf *)n;
Robert Olsson19baf832005-06-21 12:43:18 -07002006 struct fib_alias *fa;
2007 int i;
Olof Johansson91b9a272005-08-09 20:24:39 -07002008
2009 seq_printf(seq, "key=%d.%d.%d.%d\n",
2010 n->key >> 24, (n->key >> 16) % 256, (n->key >> 8) % 256, n->key % 256);
2011
2012 for (i = 32; i >= 0; i--)
2013 if (find_leaf_info(&l->list, i)) {
Robert Olsson19baf832005-06-21 12:43:18 -07002014 struct list_head *fa_head = get_fa_head(l, i);
Olof Johansson91b9a272005-08-09 20:24:39 -07002015
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002016 if (!fa_head)
Robert Olsson19baf832005-06-21 12:43:18 -07002017 continue;
2018
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002019 if (list_empty(fa_head))
Robert Olsson19baf832005-06-21 12:43:18 -07002020 continue;
2021
2022 putspace_seq(seq, indent+2);
2023 seq_printf(seq, "{/%d...dumping}\n", i);
2024
Robert Olsson2373ce12005-08-25 13:01:29 -07002025 list_for_each_entry_rcu(fa, fa_head, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07002026 putspace_seq(seq, indent+2);
Robert Olsson19baf832005-06-21 12:43:18 -07002027 if (fa->fa_info == NULL) {
2028 seq_printf(seq, "Error fa_info=NULL\n");
2029 continue;
2030 }
Olof Johansson91b9a272005-08-09 20:24:39 -07002031 if (fa->fa_info->fib_nh == NULL) {
2032 seq_printf(seq, "Error _fib_nh=NULL\n");
2033 continue;
2034 }
Robert Olsson19baf832005-06-21 12:43:18 -07002035
2036 seq_printf(seq, "{type=%d scope=%d TOS=%d}\n",
2037 fa->fa_type,
2038 fa->fa_scope,
2039 fa->fa_tos);
2040 }
2041 }
Olof Johansson91b9a272005-08-09 20:24:39 -07002042 } else {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002043 struct tnode *tn = (struct tnode *)n;
Olof Johansson91b9a272005-08-09 20:24:39 -07002044 int plen = ((struct tnode *)n)->pos;
2045 t_key prf = MASK_PFX(n->key, plen);
2046
2047 seq_printf(seq, "key=%d.%d.%d.%d/%d\n",
2048 prf >> 24, (prf >> 16) % 256, (prf >> 8) % 256, prf % 256, plen);
2049
Robert Olsson19baf832005-06-21 12:43:18 -07002050 putspace_seq(seq, indent); seq_printf(seq, "| ");
Olof Johansson91b9a272005-08-09 20:24:39 -07002051 seq_printf(seq, "{key prefix=%08x/", tn->key & TKEY_GET_MASK(0, tn->pos));
Robert Olsson19baf832005-06-21 12:43:18 -07002052 printbin_seq(seq, tkey_extract_bits(tn->key, 0, tn->pos), tn->pos);
2053 seq_printf(seq, "}\n");
2054 putspace_seq(seq, indent); seq_printf(seq, "| ");
2055 seq_printf(seq, "{pos=%d", tn->pos);
2056 seq_printf(seq, " (skip=%d bits)", tn->pos - pend);
2057 seq_printf(seq, " bits=%d (%u children)}\n", tn->bits, (1 << tn->bits));
2058 putspace_seq(seq, indent); seq_printf(seq, "| ");
2059 seq_printf(seq, "{empty=%d full=%d}\n", tn->empty_children, tn->full_children);
2060 }
2061}
2062
2063static void trie_dump_seq(struct seq_file *seq, struct trie *t)
2064{
Robert Olsson2373ce12005-08-25 13:01:29 -07002065 struct node *n;
Olof Johansson91b9a272005-08-09 20:24:39 -07002066 int cindex = 0;
2067 int indent = 1;
2068 int pend = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07002069 int depth = 0;
Olof Johansson91b9a272005-08-09 20:24:39 -07002070 struct tnode *tn;
Robert Olsson19baf832005-06-21 12:43:18 -07002071
Robert Olsson2373ce12005-08-25 13:01:29 -07002072 rcu_read_lock();
2073 n = rcu_dereference(t->trie);
Robert Olsson19baf832005-06-21 12:43:18 -07002074 seq_printf(seq, "------ trie_dump of t=%p ------\n", t);
Robert Olsson19baf832005-06-21 12:43:18 -07002075
Olof Johansson91b9a272005-08-09 20:24:39 -07002076 if (!n) {
2077 seq_printf(seq, "------ trie is empty\n");
Robert Olsson19baf832005-06-21 12:43:18 -07002078
Robert Olsson2373ce12005-08-25 13:01:29 -07002079 rcu_read_unlock();
Olof Johansson91b9a272005-08-09 20:24:39 -07002080 return;
Robert Olsson19baf832005-06-21 12:43:18 -07002081 }
Olof Johansson91b9a272005-08-09 20:24:39 -07002082
2083 printnode_seq(seq, indent, n, pend, cindex, 0);
2084
2085 if (!IS_TNODE(n)) {
Robert Olsson2373ce12005-08-25 13:01:29 -07002086 rcu_read_unlock();
Olof Johansson91b9a272005-08-09 20:24:39 -07002087 return;
2088 }
2089
2090 tn = (struct tnode *)n;
2091 pend = tn->pos+tn->bits;
2092 putspace_seq(seq, indent); seq_printf(seq, "\\--\n");
2093 indent += 3;
2094 depth++;
2095
2096 while (tn && cindex < (1 << tn->bits)) {
Robert Olsson2373ce12005-08-25 13:01:29 -07002097 struct node *child = rcu_dereference(tn->child[cindex]);
2098 if (!child)
2099 cindex++;
2100 else {
Olof Johansson91b9a272005-08-09 20:24:39 -07002101 /* Got a child */
Robert Olsson2373ce12005-08-25 13:01:29 -07002102 printnode_seq(seq, indent, child, pend,
2103 cindex, tn->bits);
Olof Johansson91b9a272005-08-09 20:24:39 -07002104
Robert Olsson2373ce12005-08-25 13:01:29 -07002105 if (IS_LEAF(child))
Olof Johansson91b9a272005-08-09 20:24:39 -07002106 cindex++;
Robert Olsson2373ce12005-08-25 13:01:29 -07002107
2108 else {
Olof Johansson91b9a272005-08-09 20:24:39 -07002109 /*
2110 * New tnode. Decend one level
2111 */
2112
2113 depth++;
Robert Olsson2373ce12005-08-25 13:01:29 -07002114 n = child;
2115 tn = (struct tnode *)n;
2116 pend = tn->pos+tn->bits;
2117 putspace_seq(seq, indent);
2118 seq_printf(seq, "\\--\n");
Olof Johansson91b9a272005-08-09 20:24:39 -07002119 indent += 3;
2120 cindex = 0;
2121 }
Robert Olsson2373ce12005-08-25 13:01:29 -07002122 }
Olof Johansson91b9a272005-08-09 20:24:39 -07002123
2124 /*
2125 * Test if we are done
2126 */
2127
2128 while (cindex >= (1 << tn->bits)) {
2129 /*
2130 * Move upwards and test for root
2131 * pop off all traversed nodes
2132 */
2133
2134 if (NODE_PARENT(tn) == NULL) {
2135 tn = NULL;
2136 break;
2137 }
2138
2139 cindex = tkey_extract_bits(tn->key, NODE_PARENT(tn)->pos, NODE_PARENT(tn)->bits);
2140 cindex++;
2141 tn = NODE_PARENT(tn);
2142 pend = tn->pos + tn->bits;
2143 indent -= 3;
2144 depth--;
2145 }
2146 }
Robert Olsson2373ce12005-08-25 13:01:29 -07002147 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002148}
2149
2150static struct trie_stat *trie_stat_new(void)
2151{
Olof Johansson91b9a272005-08-09 20:24:39 -07002152 struct trie_stat *s;
Robert Olsson19baf832005-06-21 12:43:18 -07002153 int i;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002154
Olof Johansson91b9a272005-08-09 20:24:39 -07002155 s = kmalloc(sizeof(struct trie_stat), GFP_KERNEL);
2156 if (!s)
2157 return NULL;
2158
2159 s->totdepth = 0;
2160 s->maxdepth = 0;
2161 s->tnodes = 0;
2162 s->leaves = 0;
2163 s->nullpointers = 0;
2164
2165 for (i = 0; i < MAX_CHILDS; i++)
2166 s->nodesizes[i] = 0;
2167
Robert Olsson19baf832005-06-21 12:43:18 -07002168 return s;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002169}
Robert Olsson19baf832005-06-21 12:43:18 -07002170
2171static struct trie_stat *trie_collect_stats(struct trie *t)
2172{
Robert Olsson2373ce12005-08-25 13:01:29 -07002173 struct node *n;
Robert Olsson19baf832005-06-21 12:43:18 -07002174 struct trie_stat *s = trie_stat_new();
2175 int cindex = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07002176 int pend = 0;
2177 int depth = 0;
2178
Olof Johansson91b9a272005-08-09 20:24:39 -07002179 if (!s)
2180 return NULL;
Robert Olsson2373ce12005-08-25 13:01:29 -07002181
2182 rcu_read_lock();
2183 n = rcu_dereference(t->trie);
2184
Olof Johansson91b9a272005-08-09 20:24:39 -07002185 if (!n)
2186 return s;
Robert Olsson19baf832005-06-21 12:43:18 -07002187
Olof Johansson91b9a272005-08-09 20:24:39 -07002188 if (IS_TNODE(n)) {
2189 struct tnode *tn = (struct tnode *)n;
2190 pend = tn->pos+tn->bits;
2191 s->nodesizes[tn->bits]++;
2192 depth++;
Robert Olsson19baf832005-06-21 12:43:18 -07002193
Olof Johansson91b9a272005-08-09 20:24:39 -07002194 while (tn && cindex < (1 << tn->bits)) {
Robert Olsson2373ce12005-08-25 13:01:29 -07002195 struct node *ch = rcu_dereference(tn->child[cindex]);
2196 if (ch) {
2197
Olof Johansson91b9a272005-08-09 20:24:39 -07002198 /* Got a child */
Robert Olsson19baf832005-06-21 12:43:18 -07002199
Olof Johansson91b9a272005-08-09 20:24:39 -07002200 if (IS_LEAF(tn->child[cindex])) {
2201 cindex++;
2202
2203 /* stats */
2204 if (depth > s->maxdepth)
2205 s->maxdepth = depth;
2206 s->totdepth += depth;
2207 s->leaves++;
2208 } else {
Robert Olsson19baf832005-06-21 12:43:18 -07002209 /*
Olof Johansson91b9a272005-08-09 20:24:39 -07002210 * New tnode. Decend one level
Robert Olsson19baf832005-06-21 12:43:18 -07002211 */
Robert Olsson19baf832005-06-21 12:43:18 -07002212
Olof Johansson91b9a272005-08-09 20:24:39 -07002213 s->tnodes++;
2214 s->nodesizes[tn->bits]++;
2215 depth++;
Robert Olsson19baf832005-06-21 12:43:18 -07002216
Robert Olsson2373ce12005-08-25 13:01:29 -07002217 n = ch;
Olof Johansson91b9a272005-08-09 20:24:39 -07002218 tn = (struct tnode *)n;
2219 pend = tn->pos+tn->bits;
2220
2221 cindex = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07002222 }
Olof Johansson91b9a272005-08-09 20:24:39 -07002223 } else {
2224 cindex++;
2225 s->nullpointers++;
Robert Olsson19baf832005-06-21 12:43:18 -07002226 }
Olof Johansson91b9a272005-08-09 20:24:39 -07002227
2228 /*
2229 * Test if we are done
2230 */
2231
2232 while (cindex >= (1 << tn->bits)) {
2233 /*
2234 * Move upwards and test for root
2235 * pop off all traversed nodes
2236 */
2237
2238 if (NODE_PARENT(tn) == NULL) {
2239 tn = NULL;
2240 n = NULL;
2241 break;
2242 }
2243
2244 cindex = tkey_extract_bits(tn->key, NODE_PARENT(tn)->pos, NODE_PARENT(tn)->bits);
2245 tn = NODE_PARENT(tn);
2246 cindex++;
2247 n = (struct node *)tn;
2248 pend = tn->pos+tn->bits;
2249 depth--;
2250 }
Robert Olsson19baf832005-06-21 12:43:18 -07002251 }
2252 }
2253
Robert Olsson2373ce12005-08-25 13:01:29 -07002254 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002255 return s;
2256}
2257
2258#ifdef CONFIG_PROC_FS
2259
2260static struct fib_alias *fib_triestat_get_first(struct seq_file *seq)
2261{
2262 return NULL;
2263}
2264
2265static struct fib_alias *fib_triestat_get_next(struct seq_file *seq)
2266{
2267 return NULL;
2268}
2269
2270static void *fib_triestat_seq_start(struct seq_file *seq, loff_t *pos)
2271{
Olof Johansson91b9a272005-08-09 20:24:39 -07002272 if (!ip_fib_main_table)
2273 return NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07002274
Olof Johansson91b9a272005-08-09 20:24:39 -07002275 if (*pos)
2276 return fib_triestat_get_next(seq);
2277 else
2278 return SEQ_START_TOKEN;
Robert Olsson19baf832005-06-21 12:43:18 -07002279}
2280
2281static void *fib_triestat_seq_next(struct seq_file *seq, void *v, loff_t *pos)
2282{
2283 ++*pos;
Olof Johansson91b9a272005-08-09 20:24:39 -07002284 if (v == SEQ_START_TOKEN)
2285 return fib_triestat_get_first(seq);
2286 else
2287 return fib_triestat_get_next(seq);
Robert Olsson19baf832005-06-21 12:43:18 -07002288}
2289
2290static void fib_triestat_seq_stop(struct seq_file *seq, void *v)
2291{
2292
2293}
2294
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002295/*
Robert Olsson19baf832005-06-21 12:43:18 -07002296 * This outputs /proc/net/fib_triestats
2297 *
2298 * It always works in backward compatibility mode.
2299 * The format of the file is not supposed to be changed.
2300 */
2301
2302static void collect_and_show(struct trie *t, struct seq_file *seq)
2303{
2304 int bytes = 0; /* How many bytes are used, a ref is 4 bytes */
2305 int i, max, pointers;
Olof Johansson91b9a272005-08-09 20:24:39 -07002306 struct trie_stat *stat;
Robert Olsson19baf832005-06-21 12:43:18 -07002307 int avdepth;
2308
2309 stat = trie_collect_stats(t);
2310
Olof Johansson91b9a272005-08-09 20:24:39 -07002311 bytes = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07002312 seq_printf(seq, "trie=%p\n", t);
2313
2314 if (stat) {
2315 if (stat->leaves)
Olof Johansson91b9a272005-08-09 20:24:39 -07002316 avdepth = stat->totdepth*100 / stat->leaves;
Robert Olsson19baf832005-06-21 12:43:18 -07002317 else
Olof Johansson91b9a272005-08-09 20:24:39 -07002318 avdepth = 0;
2319 seq_printf(seq, "Aver depth: %d.%02d\n", avdepth / 100, avdepth % 100);
Robert Olsson19baf832005-06-21 12:43:18 -07002320 seq_printf(seq, "Max depth: %4d\n", stat->maxdepth);
Olof Johansson91b9a272005-08-09 20:24:39 -07002321
Robert Olsson19baf832005-06-21 12:43:18 -07002322 seq_printf(seq, "Leaves: %d\n", stat->leaves);
2323 bytes += sizeof(struct leaf) * stat->leaves;
2324 seq_printf(seq, "Internal nodes: %d\n", stat->tnodes);
2325 bytes += sizeof(struct tnode) * stat->tnodes;
2326
2327 max = MAX_CHILDS-1;
2328
2329 while (max >= 0 && stat->nodesizes[max] == 0)
2330 max--;
2331 pointers = 0;
2332
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002333 for (i = 1; i <= max; i++)
Robert Olsson19baf832005-06-21 12:43:18 -07002334 if (stat->nodesizes[i] != 0) {
2335 seq_printf(seq, " %d: %d", i, stat->nodesizes[i]);
2336 pointers += (1<<i) * stat->nodesizes[i];
2337 }
2338 seq_printf(seq, "\n");
2339 seq_printf(seq, "Pointers: %d\n", pointers);
2340 bytes += sizeof(struct node *) * pointers;
2341 seq_printf(seq, "Null ptrs: %d\n", stat->nullpointers);
2342 seq_printf(seq, "Total size: %d kB\n", bytes / 1024);
2343
2344 kfree(stat);
2345 }
2346
2347#ifdef CONFIG_IP_FIB_TRIE_STATS
2348 seq_printf(seq, "Counters:\n---------\n");
2349 seq_printf(seq,"gets = %d\n", t->stats.gets);
2350 seq_printf(seq,"backtracks = %d\n", t->stats.backtrack);
2351 seq_printf(seq,"semantic match passed = %d\n", t->stats.semantic_match_passed);
2352 seq_printf(seq,"semantic match miss = %d\n", t->stats.semantic_match_miss);
2353 seq_printf(seq,"null node hit= %d\n", t->stats.null_node_hit);
Robert Olsson2f368952005-07-05 15:02:40 -07002354 seq_printf(seq,"skipped node resize = %d\n", t->stats.resize_node_skipped);
Robert Olsson19baf832005-06-21 12:43:18 -07002355#ifdef CLEAR_STATS
2356 memset(&(t->stats), 0, sizeof(t->stats));
2357#endif
2358#endif /* CONFIG_IP_FIB_TRIE_STATS */
2359}
2360
2361static int fib_triestat_seq_show(struct seq_file *seq, void *v)
2362{
2363 char bf[128];
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002364
Robert Olsson19baf832005-06-21 12:43:18 -07002365 if (v == SEQ_START_TOKEN) {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002366 seq_printf(seq, "Basic info: size of leaf: %Zd bytes, size of tnode: %Zd bytes.\n",
Robert Olsson19baf832005-06-21 12:43:18 -07002367 sizeof(struct leaf), sizeof(struct tnode));
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002368 if (trie_local)
Robert Olsson19baf832005-06-21 12:43:18 -07002369 collect_and_show(trie_local, seq);
2370
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002371 if (trie_main)
Robert Olsson19baf832005-06-21 12:43:18 -07002372 collect_and_show(trie_main, seq);
Olof Johansson91b9a272005-08-09 20:24:39 -07002373 } else {
2374 snprintf(bf, sizeof(bf), "*\t%08X\t%08X", 200, 400);
2375
Robert Olsson19baf832005-06-21 12:43:18 -07002376 seq_printf(seq, "%-127s\n", bf);
2377 }
2378 return 0;
2379}
2380
2381static struct seq_operations fib_triestat_seq_ops = {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002382 .start = fib_triestat_seq_start,
2383 .next = fib_triestat_seq_next,
2384 .stop = fib_triestat_seq_stop,
2385 .show = fib_triestat_seq_show,
Robert Olsson19baf832005-06-21 12:43:18 -07002386};
2387
2388static int fib_triestat_seq_open(struct inode *inode, struct file *file)
2389{
2390 struct seq_file *seq;
2391 int rc = -ENOMEM;
2392
2393 rc = seq_open(file, &fib_triestat_seq_ops);
2394 if (rc)
2395 goto out_kfree;
2396
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002397 seq = file->private_data;
Robert Olsson19baf832005-06-21 12:43:18 -07002398out:
2399 return rc;
2400out_kfree:
2401 goto out;
2402}
2403
2404static struct file_operations fib_triestat_seq_fops = {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002405 .owner = THIS_MODULE,
2406 .open = fib_triestat_seq_open,
2407 .read = seq_read,
2408 .llseek = seq_lseek,
2409 .release = seq_release_private,
Robert Olsson19baf832005-06-21 12:43:18 -07002410};
2411
2412int __init fib_stat_proc_init(void)
2413{
2414 if (!proc_net_fops_create("fib_triestat", S_IRUGO, &fib_triestat_seq_fops))
2415 return -ENOMEM;
2416 return 0;
2417}
2418
2419void __init fib_stat_proc_exit(void)
2420{
2421 proc_net_remove("fib_triestat");
2422}
2423
2424static struct fib_alias *fib_trie_get_first(struct seq_file *seq)
2425{
2426 return NULL;
2427}
2428
2429static struct fib_alias *fib_trie_get_next(struct seq_file *seq)
2430{
2431 return NULL;
2432}
2433
2434static void *fib_trie_seq_start(struct seq_file *seq, loff_t *pos)
2435{
Olof Johansson91b9a272005-08-09 20:24:39 -07002436 if (!ip_fib_main_table)
2437 return NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07002438
Olof Johansson91b9a272005-08-09 20:24:39 -07002439 if (*pos)
2440 return fib_trie_get_next(seq);
2441 else
2442 return SEQ_START_TOKEN;
Robert Olsson19baf832005-06-21 12:43:18 -07002443}
2444
2445static void *fib_trie_seq_next(struct seq_file *seq, void *v, loff_t *pos)
2446{
2447 ++*pos;
Olof Johansson91b9a272005-08-09 20:24:39 -07002448 if (v == SEQ_START_TOKEN)
2449 return fib_trie_get_first(seq);
2450 else
2451 return fib_trie_get_next(seq);
2452
Robert Olsson19baf832005-06-21 12:43:18 -07002453}
2454
2455static void fib_trie_seq_stop(struct seq_file *seq, void *v)
2456{
Robert Olsson19baf832005-06-21 12:43:18 -07002457}
2458
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002459/*
Robert Olsson19baf832005-06-21 12:43:18 -07002460 * This outputs /proc/net/fib_trie.
2461 *
2462 * It always works in backward compatibility mode.
2463 * The format of the file is not supposed to be changed.
2464 */
2465
2466static int fib_trie_seq_show(struct seq_file *seq, void *v)
2467{
2468 char bf[128];
2469
2470 if (v == SEQ_START_TOKEN) {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002471 if (trie_local)
Robert Olsson19baf832005-06-21 12:43:18 -07002472 trie_dump_seq(seq, trie_local);
2473
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002474 if (trie_main)
Robert Olsson19baf832005-06-21 12:43:18 -07002475 trie_dump_seq(seq, trie_main);
Olof Johansson91b9a272005-08-09 20:24:39 -07002476 } else {
Robert Olsson19baf832005-06-21 12:43:18 -07002477 snprintf(bf, sizeof(bf),
2478 "*\t%08X\t%08X", 200, 400);
2479 seq_printf(seq, "%-127s\n", bf);
2480 }
2481
2482 return 0;
2483}
2484
2485static struct seq_operations fib_trie_seq_ops = {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002486 .start = fib_trie_seq_start,
2487 .next = fib_trie_seq_next,
2488 .stop = fib_trie_seq_stop,
2489 .show = fib_trie_seq_show,
Robert Olsson19baf832005-06-21 12:43:18 -07002490};
2491
2492static int fib_trie_seq_open(struct inode *inode, struct file *file)
2493{
2494 struct seq_file *seq;
2495 int rc = -ENOMEM;
2496
2497 rc = seq_open(file, &fib_trie_seq_ops);
2498 if (rc)
2499 goto out_kfree;
2500
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002501 seq = file->private_data;
Robert Olsson19baf832005-06-21 12:43:18 -07002502out:
2503 return rc;
2504out_kfree:
2505 goto out;
2506}
2507
2508static struct file_operations fib_trie_seq_fops = {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002509 .owner = THIS_MODULE,
2510 .open = fib_trie_seq_open,
2511 .read = seq_read,
2512 .llseek = seq_lseek,
2513 .release= seq_release_private,
Robert Olsson19baf832005-06-21 12:43:18 -07002514};
2515
2516int __init fib_proc_init(void)
2517{
2518 if (!proc_net_fops_create("fib_trie", S_IRUGO, &fib_trie_seq_fops))
2519 return -ENOMEM;
2520 return 0;
2521}
2522
2523void __init fib_proc_exit(void)
2524{
2525 proc_net_remove("fib_trie");
2526}
2527
2528#endif /* CONFIG_PROC_FS */