blob: 66247f38b3716193637ab4c79020e22d9f65e1dd [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 Olsson772cb712005-09-19 15:31:18 -070046#define VERSION "0.404"
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);
Robert Olsson19baf832005-06-21 12:43:18 -0700167
Eric Dumazetba899662005-08-26 12:05:31 -0700168static kmem_cache_t *fn_alias_kmem __read_mostly;
Robert Olsson19baf832005-06-21 12:43:18 -0700169static struct trie *trie_local = NULL, *trie_main = NULL;
170
Robert Olsson2373ce12005-08-25 13:01:29 -0700171
172/* rcu_read_lock needs to be hold by caller from readside */
173
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700174static inline struct node *tnode_get_child(struct tnode *tn, int i)
Robert Olsson19baf832005-06-21 12:43:18 -0700175{
Olof Johansson91b9a272005-08-09 20:24:39 -0700176 BUG_ON(i >= 1 << tn->bits);
Robert Olsson19baf832005-06-21 12:43:18 -0700177
Robert Olsson2373ce12005-08-25 13:01:29 -0700178 return rcu_dereference(tn->child[i]);
Robert Olsson19baf832005-06-21 12:43:18 -0700179}
180
Stephen Hemmignerbb435b82005-08-09 20:25:39 -0700181static inline int tnode_child_length(const struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700182{
Olof Johansson91b9a272005-08-09 20:24:39 -0700183 return 1 << tn->bits;
Robert Olsson19baf832005-06-21 12:43:18 -0700184}
185
Robert Olsson19baf832005-06-21 12:43:18 -0700186static inline t_key tkey_extract_bits(t_key a, int offset, int bits)
187{
Olof Johansson91b9a272005-08-09 20:24:39 -0700188 if (offset < KEYLENGTH)
Robert Olsson19baf832005-06-21 12:43:18 -0700189 return ((t_key)(a << offset)) >> (KEYLENGTH - bits);
Olof Johansson91b9a272005-08-09 20:24:39 -0700190 else
Robert Olsson19baf832005-06-21 12:43:18 -0700191 return 0;
192}
193
194static inline int tkey_equals(t_key a, t_key b)
195{
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700196 return a == b;
Robert Olsson19baf832005-06-21 12:43:18 -0700197}
198
199static inline int tkey_sub_equals(t_key a, int offset, int bits, t_key b)
200{
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700201 if (bits == 0 || offset >= KEYLENGTH)
202 return 1;
Olof Johansson91b9a272005-08-09 20:24:39 -0700203 bits = bits > KEYLENGTH ? KEYLENGTH : bits;
204 return ((a ^ b) << offset) >> (KEYLENGTH - bits) == 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700205}
Robert Olsson19baf832005-06-21 12:43:18 -0700206
207static inline int tkey_mismatch(t_key a, int offset, t_key b)
208{
209 t_key diff = a ^ b;
210 int i = offset;
211
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700212 if (!diff)
213 return 0;
214 while ((diff << i) >> (KEYLENGTH-1) == 0)
Robert Olsson19baf832005-06-21 12:43:18 -0700215 i++;
216 return i;
217}
218
Robert Olsson19baf832005-06-21 12:43:18 -0700219/*
220 To understand this stuff, an understanding of keys and all their bits is
221 necessary. Every node in the trie has a key associated with it, but not
222 all of the bits in that key are significant.
223
224 Consider a node 'n' and its parent 'tp'.
225
226 If n is a leaf, every bit in its key is significant. Its presence is
Robert Olsson772cb712005-09-19 15:31:18 -0700227 necessitated by path compression, since during a tree traversal (when
Robert Olsson19baf832005-06-21 12:43:18 -0700228 searching for a leaf - unless we are doing an insertion) we will completely
229 ignore all skipped bits we encounter. Thus we need to verify, at the end of
230 a potentially successful search, that we have indeed been walking the
231 correct key path.
232
233 Note that we can never "miss" the correct key in the tree if present by
234 following the wrong path. Path compression ensures that segments of the key
235 that are the same for all keys with a given prefix are skipped, but the
236 skipped part *is* identical for each node in the subtrie below the skipped
237 bit! trie_insert() in this implementation takes care of that - note the
238 call to tkey_sub_equals() in trie_insert().
239
240 if n is an internal node - a 'tnode' here, the various parts of its key
241 have many different meanings.
242
243 Example:
244 _________________________________________________________________
245 | i | i | i | i | i | i | i | N | N | N | S | S | S | S | S | C |
246 -----------------------------------------------------------------
247 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
248
249 _________________________________________________________________
250 | C | C | C | u | u | u | u | u | u | u | u | u | u | u | u | u |
251 -----------------------------------------------------------------
252 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
253
254 tp->pos = 7
255 tp->bits = 3
256 n->pos = 15
Olof Johansson91b9a272005-08-09 20:24:39 -0700257 n->bits = 4
Robert Olsson19baf832005-06-21 12:43:18 -0700258
259 First, let's just ignore the bits that come before the parent tp, that is
260 the bits from 0 to (tp->pos-1). They are *known* but at this point we do
261 not use them for anything.
262
263 The bits from (tp->pos) to (tp->pos + tp->bits - 1) - "N", above - are the
264 index into the parent's child array. That is, they will be used to find
265 'n' among tp's children.
266
267 The bits from (tp->pos + tp->bits) to (n->pos - 1) - "S" - are skipped bits
268 for the node n.
269
270 All the bits we have seen so far are significant to the node n. The rest
271 of the bits are really not needed or indeed known in n->key.
272
273 The bits from (n->pos) to (n->pos + n->bits - 1) - "C" - are the index into
274 n's child array, and will of course be different for each child.
275
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700276
Robert Olsson19baf832005-06-21 12:43:18 -0700277 The rest of the bits, from (n->pos + n->bits) onward, are completely unknown
278 at this point.
279
280*/
281
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700282static inline void check_tnode(const struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700283{
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700284 WARN_ON(tn && tn->pos+tn->bits > 32);
Robert Olsson19baf832005-06-21 12:43:18 -0700285}
286
287static int halve_threshold = 25;
288static int inflate_threshold = 50;
Robert Olssone6308be2005-10-04 13:01:58 -0700289static int halve_threshold_root = 15;
290static int inflate_threshold_root = 25;
Robert Olsson19baf832005-06-21 12:43:18 -0700291
Robert Olsson2373ce12005-08-25 13:01:29 -0700292
293static void __alias_free_mem(struct rcu_head *head)
294{
295 struct fib_alias *fa = container_of(head, struct fib_alias, rcu);
296 kmem_cache_free(fn_alias_kmem, fa);
297}
298
299static inline void alias_free_mem_rcu(struct fib_alias *fa)
300{
301 call_rcu(&fa->rcu, __alias_free_mem);
302}
303
304static void __leaf_free_rcu(struct rcu_head *head)
305{
306 kfree(container_of(head, struct leaf, rcu));
307}
308
309static inline void free_leaf(struct leaf *leaf)
310{
311 call_rcu(&leaf->rcu, __leaf_free_rcu);
312}
313
314static void __leaf_info_free_rcu(struct rcu_head *head)
315{
316 kfree(container_of(head, struct leaf_info, rcu));
317}
318
319static inline void free_leaf_info(struct leaf_info *leaf)
320{
321 call_rcu(&leaf->rcu, __leaf_info_free_rcu);
322}
323
324static struct tnode *tnode_alloc(unsigned int size)
325{
326 struct page *pages;
327
328 if (size <= PAGE_SIZE)
329 return kcalloc(size, 1, GFP_KERNEL);
330
331 pages = alloc_pages(GFP_KERNEL|__GFP_ZERO, get_order(size));
332 if (!pages)
333 return NULL;
334
335 return page_address(pages);
336}
337
338static void __tnode_free_rcu(struct rcu_head *head)
339{
340 struct tnode *tn = container_of(head, struct tnode, rcu);
341 unsigned int size = sizeof(struct tnode) +
342 (1 << tn->bits) * sizeof(struct node *);
343
344 if (size <= PAGE_SIZE)
345 kfree(tn);
346 else
347 free_pages((unsigned long)tn, get_order(size));
348}
349
350static inline void tnode_free(struct tnode *tn)
351{
352 call_rcu(&tn->rcu, __tnode_free_rcu);
353}
354
Robert Olsson19baf832005-06-21 12:43:18 -0700355static struct leaf *leaf_new(void)
356{
357 struct leaf *l = kmalloc(sizeof(struct leaf), GFP_KERNEL);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700358 if (l) {
Robert Olsson2373ce12005-08-25 13:01:29 -0700359 l->parent = T_LEAF;
Robert Olsson19baf832005-06-21 12:43:18 -0700360 INIT_HLIST_HEAD(&l->list);
361 }
362 return l;
363}
364
365static struct leaf_info *leaf_info_new(int plen)
366{
367 struct leaf_info *li = kmalloc(sizeof(struct leaf_info), GFP_KERNEL);
Robert Olsson2373ce12005-08-25 13:01:29 -0700368 if (li) {
369 li->plen = plen;
370 INIT_LIST_HEAD(&li->falh);
Patrick McHardyf0e36f82005-07-05 14:44:55 -0700371 }
Robert Olsson2373ce12005-08-25 13:01:29 -0700372 return li;
Patrick McHardyf0e36f82005-07-05 14:44:55 -0700373}
374
Robert Olsson19baf832005-06-21 12:43:18 -0700375static struct tnode* tnode_new(t_key key, int pos, int bits)
376{
377 int nchildren = 1<<bits;
378 int sz = sizeof(struct tnode) + nchildren * sizeof(struct node *);
Patrick McHardyf0e36f82005-07-05 14:44:55 -0700379 struct tnode *tn = tnode_alloc(sz);
Robert Olsson19baf832005-06-21 12:43:18 -0700380
Olof Johansson91b9a272005-08-09 20:24:39 -0700381 if (tn) {
Robert Olsson19baf832005-06-21 12:43:18 -0700382 memset(tn, 0, sz);
Robert Olsson2373ce12005-08-25 13:01:29 -0700383 tn->parent = T_TNODE;
Robert Olsson19baf832005-06-21 12:43:18 -0700384 tn->pos = pos;
385 tn->bits = bits;
386 tn->key = key;
387 tn->full_children = 0;
388 tn->empty_children = 1<<bits;
389 }
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700390
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700391 pr_debug("AT %p s=%u %u\n", tn, (unsigned int) sizeof(struct tnode),
392 (unsigned int) (sizeof(struct node) * 1<<bits));
Robert Olsson19baf832005-06-21 12:43:18 -0700393 return tn;
394}
395
Robert Olsson19baf832005-06-21 12:43:18 -0700396/*
397 * Check whether a tnode 'n' is "full", i.e. it is an internal node
398 * and no bits are skipped. See discussion in dyntree paper p. 6
399 */
400
Stephen Hemmignerbb435b82005-08-09 20:25:39 -0700401static inline int tnode_full(const struct tnode *tn, const struct node *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700402{
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700403 if (n == NULL || IS_LEAF(n))
Robert Olsson19baf832005-06-21 12:43:18 -0700404 return 0;
405
406 return ((struct tnode *) n)->pos == tn->pos + tn->bits;
407}
408
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700409static inline void put_child(struct trie *t, struct tnode *tn, int i, struct node *n)
Robert Olsson19baf832005-06-21 12:43:18 -0700410{
411 tnode_put_child_reorg(tn, i, n, -1);
412}
413
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700414 /*
Robert Olsson19baf832005-06-21 12:43:18 -0700415 * Add a child at position i overwriting the old value.
416 * Update the value of full_children and empty_children.
417 */
418
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700419static void tnode_put_child_reorg(struct tnode *tn, int i, struct node *n, int wasfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700420{
Robert Olsson2373ce12005-08-25 13:01:29 -0700421 struct node *chi = tn->child[i];
Robert Olsson19baf832005-06-21 12:43:18 -0700422 int isfull;
423
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700424 BUG_ON(i >= 1<<tn->bits);
425
Robert Olsson19baf832005-06-21 12:43:18 -0700426
427 /* update emptyChildren */
428 if (n == NULL && chi != NULL)
429 tn->empty_children++;
430 else if (n != NULL && chi == NULL)
431 tn->empty_children--;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700432
Robert Olsson19baf832005-06-21 12:43:18 -0700433 /* update fullChildren */
Olof Johansson91b9a272005-08-09 20:24:39 -0700434 if (wasfull == -1)
Robert Olsson19baf832005-06-21 12:43:18 -0700435 wasfull = tnode_full(tn, chi);
436
437 isfull = tnode_full(tn, n);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700438 if (wasfull && !isfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700439 tn->full_children--;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700440 else if (!wasfull && isfull)
Robert Olsson19baf832005-06-21 12:43:18 -0700441 tn->full_children++;
Olof Johansson91b9a272005-08-09 20:24:39 -0700442
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700443 if (n)
444 NODE_SET_PARENT(n, tn);
Robert Olsson19baf832005-06-21 12:43:18 -0700445
Robert Olsson2373ce12005-08-25 13:01:29 -0700446 rcu_assign_pointer(tn->child[i], n);
Robert Olsson19baf832005-06-21 12:43:18 -0700447}
448
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700449static struct node *resize(struct trie *t, struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700450{
451 int i;
Robert Olsson2f368952005-07-05 15:02:40 -0700452 int err = 0;
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700453 struct tnode *old_tn;
Robert Olssone6308be2005-10-04 13:01:58 -0700454 int inflate_threshold_use;
455 int halve_threshold_use;
Robert Olsson19baf832005-06-21 12:43:18 -0700456
457 if (!tn)
458 return NULL;
459
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700460 pr_debug("In tnode_resize %p inflate_threshold=%d threshold=%d\n",
461 tn, inflate_threshold, halve_threshold);
Robert Olsson19baf832005-06-21 12:43:18 -0700462
463 /* No children */
464 if (tn->empty_children == tnode_child_length(tn)) {
465 tnode_free(tn);
466 return NULL;
467 }
468 /* One child */
469 if (tn->empty_children == tnode_child_length(tn) - 1)
470 for (i = 0; i < tnode_child_length(tn); i++) {
Olof Johansson91b9a272005-08-09 20:24:39 -0700471 struct node *n;
Robert Olsson19baf832005-06-21 12:43:18 -0700472
Olof Johansson91b9a272005-08-09 20:24:39 -0700473 n = tn->child[i];
Robert Olsson2373ce12005-08-25 13:01:29 -0700474 if (!n)
Olof Johansson91b9a272005-08-09 20:24:39 -0700475 continue;
Olof Johansson91b9a272005-08-09 20:24:39 -0700476
477 /* compress one level */
Robert Olsson2373ce12005-08-25 13:01:29 -0700478 NODE_SET_PARENT(n, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700479 tnode_free(tn);
480 return n;
Robert Olsson19baf832005-06-21 12:43:18 -0700481 }
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700482 /*
Robert Olsson19baf832005-06-21 12:43:18 -0700483 * Double as long as the resulting node has a number of
484 * nonempty nodes that are above the threshold.
485 */
486
487 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700488 * From "Implementing a dynamic compressed trie" by Stefan Nilsson of
489 * the Helsinki University of Technology and Matti Tikkanen of Nokia
Robert Olsson19baf832005-06-21 12:43:18 -0700490 * Telecommunications, page 6:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700491 * "A node is doubled if the ratio of non-empty children to all
Robert Olsson19baf832005-06-21 12:43:18 -0700492 * children in the *doubled* node is at least 'high'."
493 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700494 * 'high' in this instance is the variable 'inflate_threshold'. It
495 * is expressed as a percentage, so we multiply it with
496 * tnode_child_length() and instead of multiplying by 2 (since the
497 * child array will be doubled by inflate()) and multiplying
498 * the left-hand side by 100 (to handle the percentage thing) we
Robert Olsson19baf832005-06-21 12:43:18 -0700499 * multiply the left-hand side by 50.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700500 *
501 * The left-hand side may look a bit weird: tnode_child_length(tn)
502 * - tn->empty_children is of course the number of non-null children
503 * in the current node. tn->full_children is the number of "full"
Robert Olsson19baf832005-06-21 12:43:18 -0700504 * children, that is non-null tnodes with a skip value of 0.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700505 * All of those will be doubled in the resulting inflated tnode, so
Robert Olsson19baf832005-06-21 12:43:18 -0700506 * we just count them one extra time here.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700507 *
Robert Olsson19baf832005-06-21 12:43:18 -0700508 * A clearer way to write this would be:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700509 *
Robert Olsson19baf832005-06-21 12:43:18 -0700510 * to_be_doubled = tn->full_children;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700511 * not_to_be_doubled = tnode_child_length(tn) - tn->empty_children -
Robert Olsson19baf832005-06-21 12:43:18 -0700512 * tn->full_children;
513 *
514 * new_child_length = tnode_child_length(tn) * 2;
515 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700516 * new_fill_factor = 100 * (not_to_be_doubled + 2*to_be_doubled) /
Robert Olsson19baf832005-06-21 12:43:18 -0700517 * new_child_length;
518 * if (new_fill_factor >= inflate_threshold)
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700519 *
520 * ...and so on, tho it would mess up the while () loop.
521 *
Robert Olsson19baf832005-06-21 12:43:18 -0700522 * anyway,
523 * 100 * (not_to_be_doubled + 2*to_be_doubled) / new_child_length >=
524 * inflate_threshold
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700525 *
Robert Olsson19baf832005-06-21 12:43:18 -0700526 * avoid a division:
527 * 100 * (not_to_be_doubled + 2*to_be_doubled) >=
528 * inflate_threshold * new_child_length
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700529 *
Robert Olsson19baf832005-06-21 12:43:18 -0700530 * expand not_to_be_doubled and to_be_doubled, and shorten:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700531 * 100 * (tnode_child_length(tn) - tn->empty_children +
Olof Johansson91b9a272005-08-09 20:24:39 -0700532 * tn->full_children) >= inflate_threshold * new_child_length
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700533 *
Robert Olsson19baf832005-06-21 12:43:18 -0700534 * expand new_child_length:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700535 * 100 * (tnode_child_length(tn) - tn->empty_children +
Olof Johansson91b9a272005-08-09 20:24:39 -0700536 * tn->full_children) >=
Robert Olsson19baf832005-06-21 12:43:18 -0700537 * inflate_threshold * tnode_child_length(tn) * 2
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700538 *
Robert Olsson19baf832005-06-21 12:43:18 -0700539 * shorten again:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700540 * 50 * (tn->full_children + tnode_child_length(tn) -
Olof Johansson91b9a272005-08-09 20:24:39 -0700541 * tn->empty_children) >= inflate_threshold *
Robert Olsson19baf832005-06-21 12:43:18 -0700542 * tnode_child_length(tn)
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700543 *
Robert Olsson19baf832005-06-21 12:43:18 -0700544 */
545
546 check_tnode(tn);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700547
Robert Olssone6308be2005-10-04 13:01:58 -0700548 /* Keep root node larger */
549
550 if(!tn->parent)
551 inflate_threshold_use = inflate_threshold_root;
552 else
553 inflate_threshold_use = inflate_threshold;
554
Robert Olsson2f368952005-07-05 15:02:40 -0700555 err = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700556 while ((tn->full_children > 0 &&
557 50 * (tn->full_children + tnode_child_length(tn) - tn->empty_children) >=
Robert Olssone6308be2005-10-04 13:01:58 -0700558 inflate_threshold_use * tnode_child_length(tn))) {
Robert Olsson19baf832005-06-21 12:43:18 -0700559
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700560 old_tn = tn;
561 tn = inflate(t, tn);
562 if (IS_ERR(tn)) {
563 tn = old_tn;
Robert Olsson2f368952005-07-05 15:02:40 -0700564#ifdef CONFIG_IP_FIB_TRIE_STATS
565 t->stats.resize_node_skipped++;
566#endif
567 break;
568 }
Robert Olsson19baf832005-06-21 12:43:18 -0700569 }
570
571 check_tnode(tn);
572
573 /*
574 * Halve as long as the number of empty children in this
575 * node is above threshold.
576 */
Robert Olsson2f368952005-07-05 15:02:40 -0700577
Robert Olssone6308be2005-10-04 13:01:58 -0700578
579 /* Keep root node larger */
580
581 if(!tn->parent)
582 halve_threshold_use = halve_threshold_root;
583 else
584 halve_threshold_use = halve_threshold;
585
Robert Olsson2f368952005-07-05 15:02:40 -0700586 err = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700587 while (tn->bits > 1 &&
588 100 * (tnode_child_length(tn) - tn->empty_children) <
Robert Olssone6308be2005-10-04 13:01:58 -0700589 halve_threshold_use * tnode_child_length(tn)) {
Robert Olsson19baf832005-06-21 12:43:18 -0700590
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700591 old_tn = tn;
592 tn = halve(t, tn);
593 if (IS_ERR(tn)) {
594 tn = old_tn;
Robert Olsson2f368952005-07-05 15:02:40 -0700595#ifdef CONFIG_IP_FIB_TRIE_STATS
596 t->stats.resize_node_skipped++;
597#endif
598 break;
599 }
600 }
601
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700602
Robert Olsson19baf832005-06-21 12:43:18 -0700603 /* Only one child remains */
Robert Olsson19baf832005-06-21 12:43:18 -0700604 if (tn->empty_children == tnode_child_length(tn) - 1)
605 for (i = 0; i < tnode_child_length(tn); i++) {
Olof Johansson91b9a272005-08-09 20:24:39 -0700606 struct node *n;
607
Olof Johansson91b9a272005-08-09 20:24:39 -0700608 n = tn->child[i];
Robert Olsson2373ce12005-08-25 13:01:29 -0700609 if (!n)
Olof Johansson91b9a272005-08-09 20:24:39 -0700610 continue;
Olof Johansson91b9a272005-08-09 20:24:39 -0700611
612 /* compress one level */
613
Robert Olsson2373ce12005-08-25 13:01:29 -0700614 NODE_SET_PARENT(n, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700615 tnode_free(tn);
616 return n;
Robert Olsson19baf832005-06-21 12:43:18 -0700617 }
618
619 return (struct node *) tn;
620}
621
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700622static struct tnode *inflate(struct trie *t, struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700623{
624 struct tnode *inode;
625 struct tnode *oldtnode = tn;
626 int olen = tnode_child_length(tn);
627 int i;
628
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700629 pr_debug("In inflate\n");
Robert Olsson19baf832005-06-21 12:43:18 -0700630
631 tn = tnode_new(oldtnode->key, oldtnode->pos, oldtnode->bits + 1);
632
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700633 if (!tn)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700634 return ERR_PTR(-ENOMEM);
Robert Olsson2f368952005-07-05 15:02:40 -0700635
636 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700637 * Preallocate and store tnodes before the actual work so we
638 * don't get into an inconsistent state if memory allocation
639 * fails. In case of failure we return the oldnode and inflate
Robert Olsson2f368952005-07-05 15:02:40 -0700640 * of tnode is ignored.
641 */
Olof Johansson91b9a272005-08-09 20:24:39 -0700642
643 for (i = 0; i < olen; i++) {
Robert Olsson2f368952005-07-05 15:02:40 -0700644 struct tnode *inode = (struct tnode *) tnode_get_child(oldtnode, i);
645
646 if (inode &&
647 IS_TNODE(inode) &&
648 inode->pos == oldtnode->pos + oldtnode->bits &&
649 inode->bits > 1) {
650 struct tnode *left, *right;
Robert Olsson2f368952005-07-05 15:02:40 -0700651 t_key m = TKEY_GET_MASK(inode->pos, 1);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700652
Robert Olsson2f368952005-07-05 15:02:40 -0700653 left = tnode_new(inode->key&(~m), inode->pos + 1,
654 inode->bits - 1);
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700655 if (!left)
656 goto nomem;
Olof Johansson91b9a272005-08-09 20:24:39 -0700657
Robert Olsson2f368952005-07-05 15:02:40 -0700658 right = tnode_new(inode->key|m, inode->pos + 1,
659 inode->bits - 1);
660
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700661 if (!right) {
662 tnode_free(left);
663 goto nomem;
664 }
Robert Olsson2f368952005-07-05 15:02:40 -0700665
666 put_child(t, tn, 2*i, (struct node *) left);
667 put_child(t, tn, 2*i+1, (struct node *) right);
668 }
669 }
670
Olof Johansson91b9a272005-08-09 20:24:39 -0700671 for (i = 0; i < olen; i++) {
Robert Olsson19baf832005-06-21 12:43:18 -0700672 struct node *node = tnode_get_child(oldtnode, i);
Olof Johansson91b9a272005-08-09 20:24:39 -0700673 struct tnode *left, *right;
674 int size, j;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700675
Robert Olsson19baf832005-06-21 12:43:18 -0700676 /* An empty child */
677 if (node == NULL)
678 continue;
679
680 /* A leaf or an internal node with skipped bits */
681
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700682 if (IS_LEAF(node) || ((struct tnode *) node)->pos >
Robert Olsson19baf832005-06-21 12:43:18 -0700683 tn->pos + tn->bits - 1) {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700684 if (tkey_extract_bits(node->key, oldtnode->pos + oldtnode->bits,
Robert Olsson19baf832005-06-21 12:43:18 -0700685 1) == 0)
686 put_child(t, tn, 2*i, node);
687 else
688 put_child(t, tn, 2*i+1, node);
689 continue;
690 }
691
692 /* An internal node with two children */
693 inode = (struct tnode *) node;
694
695 if (inode->bits == 1) {
696 put_child(t, tn, 2*i, inode->child[0]);
697 put_child(t, tn, 2*i+1, inode->child[1]);
698
699 tnode_free(inode);
Olof Johansson91b9a272005-08-09 20:24:39 -0700700 continue;
Robert Olsson19baf832005-06-21 12:43:18 -0700701 }
702
Olof Johansson91b9a272005-08-09 20:24:39 -0700703 /* An internal node with more than two children */
Robert Olsson19baf832005-06-21 12:43:18 -0700704
Olof Johansson91b9a272005-08-09 20:24:39 -0700705 /* We will replace this node 'inode' with two new
706 * ones, 'left' and 'right', each with half of the
707 * original children. The two new nodes will have
708 * a position one bit further down the key and this
709 * means that the "significant" part of their keys
710 * (see the discussion near the top of this file)
711 * will differ by one bit, which will be "0" in
712 * left's key and "1" in right's key. Since we are
713 * moving the key position by one step, the bit that
714 * we are moving away from - the bit at position
715 * (inode->pos) - is the one that will differ between
716 * left and right. So... we synthesize that bit in the
717 * two new keys.
718 * The mask 'm' below will be a single "one" bit at
719 * the position (inode->pos)
720 */
Robert Olsson19baf832005-06-21 12:43:18 -0700721
Olof Johansson91b9a272005-08-09 20:24:39 -0700722 /* Use the old key, but set the new significant
723 * bit to zero.
724 */
Robert Olsson19baf832005-06-21 12:43:18 -0700725
Olof Johansson91b9a272005-08-09 20:24:39 -0700726 left = (struct tnode *) tnode_get_child(tn, 2*i);
727 put_child(t, tn, 2*i, NULL);
Robert Olsson19baf832005-06-21 12:43:18 -0700728
Olof Johansson91b9a272005-08-09 20:24:39 -0700729 BUG_ON(!left);
Robert Olsson2f368952005-07-05 15:02:40 -0700730
Olof Johansson91b9a272005-08-09 20:24:39 -0700731 right = (struct tnode *) tnode_get_child(tn, 2*i+1);
732 put_child(t, tn, 2*i+1, NULL);
Robert Olsson2f368952005-07-05 15:02:40 -0700733
Olof Johansson91b9a272005-08-09 20:24:39 -0700734 BUG_ON(!right);
Robert Olsson2f368952005-07-05 15:02:40 -0700735
Olof Johansson91b9a272005-08-09 20:24:39 -0700736 size = tnode_child_length(left);
737 for (j = 0; j < size; j++) {
738 put_child(t, left, j, inode->child[j]);
739 put_child(t, right, j, inode->child[j + size]);
Robert Olsson19baf832005-06-21 12:43:18 -0700740 }
Olof Johansson91b9a272005-08-09 20:24:39 -0700741 put_child(t, tn, 2*i, resize(t, left));
742 put_child(t, tn, 2*i+1, resize(t, right));
743
744 tnode_free(inode);
Robert Olsson19baf832005-06-21 12:43:18 -0700745 }
746 tnode_free(oldtnode);
747 return tn;
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700748nomem:
749 {
750 int size = tnode_child_length(tn);
751 int j;
752
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700753 for (j = 0; j < size; j++)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700754 if (tn->child[j])
755 tnode_free((struct tnode *)tn->child[j]);
756
757 tnode_free(tn);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700758
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700759 return ERR_PTR(-ENOMEM);
760 }
Robert Olsson19baf832005-06-21 12:43:18 -0700761}
762
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700763static struct tnode *halve(struct trie *t, struct tnode *tn)
Robert Olsson19baf832005-06-21 12:43:18 -0700764{
765 struct tnode *oldtnode = tn;
766 struct node *left, *right;
767 int i;
768 int olen = tnode_child_length(tn);
769
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700770 pr_debug("In halve\n");
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700771
772 tn = tnode_new(oldtnode->key, oldtnode->pos, oldtnode->bits - 1);
Robert Olsson19baf832005-06-21 12:43:18 -0700773
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700774 if (!tn)
775 return ERR_PTR(-ENOMEM);
Robert Olsson2f368952005-07-05 15:02:40 -0700776
777 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700778 * Preallocate and store tnodes before the actual work so we
779 * don't get into an inconsistent state if memory allocation
780 * fails. In case of failure we return the oldnode and halve
Robert Olsson2f368952005-07-05 15:02:40 -0700781 * of tnode is ignored.
782 */
783
Olof Johansson91b9a272005-08-09 20:24:39 -0700784 for (i = 0; i < olen; i += 2) {
Robert Olsson2f368952005-07-05 15:02:40 -0700785 left = tnode_get_child(oldtnode, i);
786 right = tnode_get_child(oldtnode, i+1);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700787
Robert Olsson2f368952005-07-05 15:02:40 -0700788 /* Two nonempty children */
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700789 if (left && right) {
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700790 struct tnode *newn;
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700791
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700792 newn = tnode_new(left->key, tn->pos + tn->bits, 1);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700793
794 if (!newn)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700795 goto nomem;
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700796
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700797 put_child(t, tn, i/2, (struct node *)newn);
Robert Olsson2f368952005-07-05 15:02:40 -0700798 }
Robert Olsson2f368952005-07-05 15:02:40 -0700799
Robert Olsson2f368952005-07-05 15:02:40 -0700800 }
Robert Olsson19baf832005-06-21 12:43:18 -0700801
Olof Johansson91b9a272005-08-09 20:24:39 -0700802 for (i = 0; i < olen; i += 2) {
803 struct tnode *newBinNode;
804
Robert Olsson19baf832005-06-21 12:43:18 -0700805 left = tnode_get_child(oldtnode, i);
806 right = tnode_get_child(oldtnode, i+1);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700807
Robert Olsson19baf832005-06-21 12:43:18 -0700808 /* At least one of the children is empty */
809 if (left == NULL) {
810 if (right == NULL) /* Both are empty */
811 continue;
812 put_child(t, tn, i/2, right);
Olof Johansson91b9a272005-08-09 20:24:39 -0700813 continue;
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700814 }
Olof Johansson91b9a272005-08-09 20:24:39 -0700815
816 if (right == NULL) {
Robert Olsson19baf832005-06-21 12:43:18 -0700817 put_child(t, tn, i/2, left);
Olof Johansson91b9a272005-08-09 20:24:39 -0700818 continue;
819 }
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700820
Robert Olsson19baf832005-06-21 12:43:18 -0700821 /* Two nonempty children */
Olof Johansson91b9a272005-08-09 20:24:39 -0700822 newBinNode = (struct tnode *) tnode_get_child(tn, i/2);
823 put_child(t, tn, i/2, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700824 put_child(t, newBinNode, 0, left);
825 put_child(t, newBinNode, 1, right);
826 put_child(t, tn, i/2, resize(t, newBinNode));
Robert Olsson19baf832005-06-21 12:43:18 -0700827 }
828 tnode_free(oldtnode);
829 return tn;
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700830nomem:
831 {
832 int size = tnode_child_length(tn);
833 int j;
834
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700835 for (j = 0; j < size; j++)
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700836 if (tn->child[j])
837 tnode_free((struct tnode *)tn->child[j]);
838
839 tnode_free(tn);
Stephen Hemminger0c7770c2005-08-23 21:59:41 -0700840
Robert Olsson2f80b3c2005-08-09 20:25:06 -0700841 return ERR_PTR(-ENOMEM);
842 }
Robert Olsson19baf832005-06-21 12:43:18 -0700843}
844
Olof Johansson91b9a272005-08-09 20:24:39 -0700845static void trie_init(struct trie *t)
Robert Olsson19baf832005-06-21 12:43:18 -0700846{
Olof Johansson91b9a272005-08-09 20:24:39 -0700847 if (!t)
848 return;
849
850 t->size = 0;
Robert Olsson2373ce12005-08-25 13:01:29 -0700851 rcu_assign_pointer(t->trie, NULL);
Olof Johansson91b9a272005-08-09 20:24:39 -0700852 t->revision = 0;
Robert Olsson19baf832005-06-21 12:43:18 -0700853#ifdef CONFIG_IP_FIB_TRIE_STATS
Olof Johansson91b9a272005-08-09 20:24:39 -0700854 memset(&t->stats, 0, sizeof(struct trie_use_stats));
Robert Olsson19baf832005-06-21 12:43:18 -0700855#endif
Robert Olsson19baf832005-06-21 12:43:18 -0700856}
857
Robert Olsson772cb712005-09-19 15:31:18 -0700858/* readside must use rcu_read_lock currently dump routines
Robert Olsson2373ce12005-08-25 13:01:29 -0700859 via get_fa_head and dump */
860
Robert Olsson772cb712005-09-19 15:31:18 -0700861static struct leaf_info *find_leaf_info(struct leaf *l, int plen)
Robert Olsson19baf832005-06-21 12:43:18 -0700862{
Robert Olsson772cb712005-09-19 15:31:18 -0700863 struct hlist_head *head = &l->list;
Robert Olsson19baf832005-06-21 12:43:18 -0700864 struct hlist_node *node;
865 struct leaf_info *li;
866
Robert Olsson2373ce12005-08-25 13:01:29 -0700867 hlist_for_each_entry_rcu(li, node, head, hlist)
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700868 if (li->plen == plen)
Robert Olsson19baf832005-06-21 12:43:18 -0700869 return li;
Olof Johansson91b9a272005-08-09 20:24:39 -0700870
Robert Olsson19baf832005-06-21 12:43:18 -0700871 return NULL;
872}
873
874static inline struct list_head * get_fa_head(struct leaf *l, int plen)
875{
Robert Olsson772cb712005-09-19 15:31:18 -0700876 struct leaf_info *li = find_leaf_info(l, plen);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700877
Olof Johansson91b9a272005-08-09 20:24:39 -0700878 if (!li)
879 return NULL;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700880
Olof Johansson91b9a272005-08-09 20:24:39 -0700881 return &li->falh;
Robert Olsson19baf832005-06-21 12:43:18 -0700882}
883
884static void insert_leaf_info(struct hlist_head *head, struct leaf_info *new)
885{
Robert Olsson2373ce12005-08-25 13:01:29 -0700886 struct leaf_info *li = NULL, *last = NULL;
887 struct hlist_node *node;
Robert Olsson19baf832005-06-21 12:43:18 -0700888
Robert Olsson2373ce12005-08-25 13:01:29 -0700889 if (hlist_empty(head)) {
890 hlist_add_head_rcu(&new->hlist, head);
891 } else {
892 hlist_for_each_entry(li, node, head, hlist) {
893 if (new->plen > li->plen)
894 break;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700895
Robert Olsson2373ce12005-08-25 13:01:29 -0700896 last = li;
897 }
898 if (last)
899 hlist_add_after_rcu(&last->hlist, &new->hlist);
900 else
901 hlist_add_before_rcu(&new->hlist, &li->hlist);
902 }
Robert Olsson19baf832005-06-21 12:43:18 -0700903}
904
Robert Olsson2373ce12005-08-25 13:01:29 -0700905/* rcu_read_lock needs to be hold by caller from readside */
906
Robert Olsson19baf832005-06-21 12:43:18 -0700907static struct leaf *
908fib_find_node(struct trie *t, u32 key)
909{
910 int pos;
911 struct tnode *tn;
912 struct node *n;
913
914 pos = 0;
Robert Olsson2373ce12005-08-25 13:01:29 -0700915 n = rcu_dereference(t->trie);
Robert Olsson19baf832005-06-21 12:43:18 -0700916
917 while (n != NULL && NODE_TYPE(n) == T_TNODE) {
918 tn = (struct tnode *) n;
Olof Johansson91b9a272005-08-09 20:24:39 -0700919
Robert Olsson19baf832005-06-21 12:43:18 -0700920 check_tnode(tn);
Olof Johansson91b9a272005-08-09 20:24:39 -0700921
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700922 if (tkey_sub_equals(tn->key, pos, tn->pos-pos, key)) {
Olof Johansson91b9a272005-08-09 20:24:39 -0700923 pos = tn->pos + tn->bits;
Robert Olsson19baf832005-06-21 12:43:18 -0700924 n = tnode_get_child(tn, tkey_extract_bits(key, tn->pos, tn->bits));
Olof Johansson91b9a272005-08-09 20:24:39 -0700925 } else
Robert Olsson19baf832005-06-21 12:43:18 -0700926 break;
927 }
928 /* Case we have found a leaf. Compare prefixes */
929
Olof Johansson91b9a272005-08-09 20:24:39 -0700930 if (n != NULL && IS_LEAF(n) && tkey_equals(key, n->key))
931 return (struct leaf *)n;
932
Robert Olsson19baf832005-06-21 12:43:18 -0700933 return NULL;
934}
935
936static struct node *trie_rebalance(struct trie *t, struct tnode *tn)
937{
Robert Olsson19baf832005-06-21 12:43:18 -0700938 int wasfull;
939 t_key cindex, key;
940 struct tnode *tp = NULL;
941
Robert Olsson19baf832005-06-21 12:43:18 -0700942 key = tn->key;
Robert Olsson19baf832005-06-21 12:43:18 -0700943
944 while (tn != NULL && NODE_PARENT(tn) != NULL) {
Robert Olsson19baf832005-06-21 12:43:18 -0700945
946 tp = NODE_PARENT(tn);
947 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
948 wasfull = tnode_full(tp, tnode_get_child(tp, cindex));
949 tn = (struct tnode *) resize (t, (struct tnode *)tn);
950 tnode_put_child_reorg((struct tnode *)tp, cindex,(struct node*)tn, wasfull);
Olof Johansson91b9a272005-08-09 20:24:39 -0700951
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700952 if (!NODE_PARENT(tn))
Robert Olsson19baf832005-06-21 12:43:18 -0700953 break;
954
955 tn = NODE_PARENT(tn);
956 }
957 /* Handle last (top) tnode */
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700958 if (IS_TNODE(tn))
Robert Olsson19baf832005-06-21 12:43:18 -0700959 tn = (struct tnode*) resize(t, (struct tnode *)tn);
960
961 return (struct node*) tn;
962}
963
Robert Olsson2373ce12005-08-25 13:01:29 -0700964/* only used from updater-side */
965
Robert Olssonf835e472005-06-28 15:00:39 -0700966static struct list_head *
967fib_insert_node(struct trie *t, int *err, u32 key, int plen)
Robert Olsson19baf832005-06-21 12:43:18 -0700968{
969 int pos, newpos;
970 struct tnode *tp = NULL, *tn = NULL;
971 struct node *n;
972 struct leaf *l;
973 int missbit;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700974 struct list_head *fa_head = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -0700975 struct leaf_info *li;
976 t_key cindex;
977
978 pos = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700979 n = t->trie;
Robert Olsson19baf832005-06-21 12:43:18 -0700980
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700981 /* If we point to NULL, stop. Either the tree is empty and we should
982 * just put a new leaf in if, or we have reached an empty child slot,
Robert Olsson19baf832005-06-21 12:43:18 -0700983 * and we should just put our new leaf in that.
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700984 * If we point to a T_TNODE, check if it matches our key. Note that
985 * a T_TNODE might be skipping any number of bits - its 'pos' need
Robert Olsson19baf832005-06-21 12:43:18 -0700986 * not be the parent's 'pos'+'bits'!
987 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700988 * If it does match the current key, get pos/bits from it, extract
Robert Olsson19baf832005-06-21 12:43:18 -0700989 * the index from our key, push the T_TNODE and walk the tree.
990 *
991 * If it doesn't, we have to replace it with a new T_TNODE.
992 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -0700993 * If we point to a T_LEAF, it might or might not have the same key
994 * as we do. If it does, just change the value, update the T_LEAF's
995 * value, and return it.
Robert Olsson19baf832005-06-21 12:43:18 -0700996 * If it doesn't, we need to replace it with a T_TNODE.
997 */
998
999 while (n != NULL && NODE_TYPE(n) == T_TNODE) {
1000 tn = (struct tnode *) n;
Olof Johansson91b9a272005-08-09 20:24:39 -07001001
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001002 check_tnode(tn);
Olof Johansson91b9a272005-08-09 20:24:39 -07001003
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001004 if (tkey_sub_equals(tn->key, pos, tn->pos-pos, key)) {
Robert Olsson19baf832005-06-21 12:43:18 -07001005 tp = tn;
Olof Johansson91b9a272005-08-09 20:24:39 -07001006 pos = tn->pos + tn->bits;
Robert Olsson19baf832005-06-21 12:43:18 -07001007 n = tnode_get_child(tn, tkey_extract_bits(key, tn->pos, tn->bits));
1008
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001009 BUG_ON(n && NODE_PARENT(n) != tn);
Olof Johansson91b9a272005-08-09 20:24:39 -07001010 } else
Robert Olsson19baf832005-06-21 12:43:18 -07001011 break;
1012 }
1013
1014 /*
1015 * n ----> NULL, LEAF or TNODE
1016 *
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001017 * tp is n's (parent) ----> NULL or TNODE
Robert Olsson19baf832005-06-21 12:43:18 -07001018 */
1019
Olof Johansson91b9a272005-08-09 20:24:39 -07001020 BUG_ON(tp && IS_LEAF(tp));
Robert Olsson19baf832005-06-21 12:43:18 -07001021
1022 /* Case 1: n is a leaf. Compare prefixes */
1023
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001024 if (n != NULL && IS_LEAF(n) && tkey_equals(key, n->key)) {
Olof Johansson91b9a272005-08-09 20:24:39 -07001025 struct leaf *l = (struct leaf *) n;
1026
Robert Olsson19baf832005-06-21 12:43:18 -07001027 li = leaf_info_new(plen);
Olof Johansson91b9a272005-08-09 20:24:39 -07001028
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001029 if (!li) {
Robert Olssonf835e472005-06-28 15:00:39 -07001030 *err = -ENOMEM;
1031 goto err;
1032 }
Robert Olsson19baf832005-06-21 12:43:18 -07001033
1034 fa_head = &li->falh;
1035 insert_leaf_info(&l->list, li);
1036 goto done;
1037 }
1038 t->size++;
1039 l = leaf_new();
1040
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001041 if (!l) {
Robert Olssonf835e472005-06-28 15:00:39 -07001042 *err = -ENOMEM;
1043 goto err;
1044 }
Robert Olsson19baf832005-06-21 12:43:18 -07001045
1046 l->key = key;
1047 li = leaf_info_new(plen);
1048
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001049 if (!li) {
Robert Olssonf835e472005-06-28 15:00:39 -07001050 tnode_free((struct tnode *) l);
1051 *err = -ENOMEM;
1052 goto err;
1053 }
Robert Olsson19baf832005-06-21 12:43:18 -07001054
1055 fa_head = &li->falh;
1056 insert_leaf_info(&l->list, li);
1057
Robert Olsson19baf832005-06-21 12:43:18 -07001058 if (t->trie && n == NULL) {
Olof Johansson91b9a272005-08-09 20:24:39 -07001059 /* Case 2: n is NULL, and will just insert a new leaf */
Robert Olsson19baf832005-06-21 12:43:18 -07001060
1061 NODE_SET_PARENT(l, tp);
Robert Olsson19baf832005-06-21 12:43:18 -07001062
Olof Johansson91b9a272005-08-09 20:24:39 -07001063 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
1064 put_child(t, (struct tnode *)tp, cindex, (struct node *)l);
1065 } else {
1066 /* Case 3: n is a LEAF or a TNODE and the key doesn't match. */
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001067 /*
1068 * Add a new tnode here
Robert Olsson19baf832005-06-21 12:43:18 -07001069 * first tnode need some special handling
1070 */
1071
1072 if (tp)
Olof Johansson91b9a272005-08-09 20:24:39 -07001073 pos = tp->pos+tp->bits;
Robert Olsson19baf832005-06-21 12:43:18 -07001074 else
Olof Johansson91b9a272005-08-09 20:24:39 -07001075 pos = 0;
1076
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001077 if (n) {
Robert Olsson19baf832005-06-21 12:43:18 -07001078 newpos = tkey_mismatch(key, pos, n->key);
1079 tn = tnode_new(n->key, newpos, 1);
Olof Johansson91b9a272005-08-09 20:24:39 -07001080 } else {
Robert Olsson19baf832005-06-21 12:43:18 -07001081 newpos = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001082 tn = tnode_new(key, newpos, 1); /* First tnode */
Robert Olsson19baf832005-06-21 12:43:18 -07001083 }
Robert Olsson19baf832005-06-21 12:43:18 -07001084
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001085 if (!tn) {
Robert Olssonf835e472005-06-28 15:00:39 -07001086 free_leaf_info(li);
1087 tnode_free((struct tnode *) l);
1088 *err = -ENOMEM;
1089 goto err;
Olof Johansson91b9a272005-08-09 20:24:39 -07001090 }
1091
Robert Olsson19baf832005-06-21 12:43:18 -07001092 NODE_SET_PARENT(tn, tp);
1093
Olof Johansson91b9a272005-08-09 20:24:39 -07001094 missbit = tkey_extract_bits(key, newpos, 1);
Robert Olsson19baf832005-06-21 12:43:18 -07001095 put_child(t, tn, missbit, (struct node *)l);
1096 put_child(t, tn, 1-missbit, n);
1097
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001098 if (tp) {
Robert Olsson19baf832005-06-21 12:43:18 -07001099 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
1100 put_child(t, (struct tnode *)tp, cindex, (struct node *)tn);
Olof Johansson91b9a272005-08-09 20:24:39 -07001101 } else {
Robert Olsson2373ce12005-08-25 13:01:29 -07001102 rcu_assign_pointer(t->trie, (struct node *)tn); /* First tnode */
Robert Olsson19baf832005-06-21 12:43:18 -07001103 tp = tn;
1104 }
1105 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001106
1107 if (tp && tp->pos + tp->bits > 32)
Stephen Hemminger78c66712005-09-21 00:15:39 -07001108 printk(KERN_WARNING "fib_trie tp=%p pos=%d, bits=%d, key=%0x plen=%d\n",
Robert Olsson19baf832005-06-21 12:43:18 -07001109 tp, tp->pos, tp->bits, key, plen);
Olof Johansson91b9a272005-08-09 20:24:39 -07001110
Robert Olsson19baf832005-06-21 12:43:18 -07001111 /* Rebalance the trie */
Robert Olsson2373ce12005-08-25 13:01:29 -07001112
1113 rcu_assign_pointer(t->trie, trie_rebalance(t, tp));
Robert Olssonf835e472005-06-28 15:00:39 -07001114done:
1115 t->revision++;
Olof Johansson91b9a272005-08-09 20:24:39 -07001116err:
Robert Olsson19baf832005-06-21 12:43:18 -07001117 return fa_head;
1118}
1119
1120static int
1121fn_trie_insert(struct fib_table *tb, struct rtmsg *r, struct kern_rta *rta,
1122 struct nlmsghdr *nlhdr, struct netlink_skb_parms *req)
1123{
1124 struct trie *t = (struct trie *) tb->tb_data;
1125 struct fib_alias *fa, *new_fa;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001126 struct list_head *fa_head = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001127 struct fib_info *fi;
1128 int plen = r->rtm_dst_len;
1129 int type = r->rtm_type;
1130 u8 tos = r->rtm_tos;
1131 u32 key, mask;
1132 int err;
1133 struct leaf *l;
1134
1135 if (plen > 32)
1136 return -EINVAL;
1137
1138 key = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001139 if (rta->rta_dst)
Robert Olsson19baf832005-06-21 12:43:18 -07001140 memcpy(&key, rta->rta_dst, 4);
1141
1142 key = ntohl(key);
1143
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001144 pr_debug("Insert table=%d %08x/%d\n", tb->tb_id, key, plen);
Robert Olsson19baf832005-06-21 12:43:18 -07001145
Olof Johansson91b9a272005-08-09 20:24:39 -07001146 mask = ntohl(inet_make_mask(plen));
Robert Olsson19baf832005-06-21 12:43:18 -07001147
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001148 if (key & ~mask)
Robert Olsson19baf832005-06-21 12:43:18 -07001149 return -EINVAL;
1150
1151 key = key & mask;
1152
Olof Johansson91b9a272005-08-09 20:24:39 -07001153 fi = fib_create_info(r, rta, nlhdr, &err);
1154
1155 if (!fi)
Robert Olsson19baf832005-06-21 12:43:18 -07001156 goto err;
1157
1158 l = fib_find_node(t, key);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001159 fa = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001160
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001161 if (l) {
Robert Olsson19baf832005-06-21 12:43:18 -07001162 fa_head = get_fa_head(l, plen);
1163 fa = fib_find_alias(fa_head, tos, fi->fib_priority);
1164 }
1165
1166 /* Now fa, if non-NULL, points to the first fib alias
1167 * with the same keys [prefix,tos,priority], if such key already
1168 * exists or to the node before which we will insert new one.
1169 *
1170 * If fa is NULL, we will need to allocate a new one and
1171 * insert to the head of f.
1172 *
1173 * If f is NULL, no fib node matched the destination key
1174 * and we need to allocate a new one of those as well.
1175 */
1176
Olof Johansson91b9a272005-08-09 20:24:39 -07001177 if (fa && fa->fa_info->fib_priority == fi->fib_priority) {
Robert Olsson19baf832005-06-21 12:43:18 -07001178 struct fib_alias *fa_orig;
1179
1180 err = -EEXIST;
1181 if (nlhdr->nlmsg_flags & NLM_F_EXCL)
1182 goto out;
1183
1184 if (nlhdr->nlmsg_flags & NLM_F_REPLACE) {
1185 struct fib_info *fi_drop;
1186 u8 state;
1187
Robert Olsson2373ce12005-08-25 13:01:29 -07001188 err = -ENOBUFS;
1189 new_fa = kmem_cache_alloc(fn_alias_kmem, SLAB_KERNEL);
1190 if (new_fa == NULL)
1191 goto out;
Robert Olsson19baf832005-06-21 12:43:18 -07001192
1193 fi_drop = fa->fa_info;
Robert Olsson2373ce12005-08-25 13:01:29 -07001194 new_fa->fa_tos = fa->fa_tos;
1195 new_fa->fa_info = fi;
1196 new_fa->fa_type = type;
1197 new_fa->fa_scope = r->rtm_scope;
Robert Olsson19baf832005-06-21 12:43:18 -07001198 state = fa->fa_state;
Robert Olsson2373ce12005-08-25 13:01:29 -07001199 new_fa->fa_state &= ~FA_S_ACCESSED;
Robert Olsson19baf832005-06-21 12:43:18 -07001200
Robert Olsson2373ce12005-08-25 13:01:29 -07001201 list_replace_rcu(&fa->fa_list, &new_fa->fa_list);
1202 alias_free_mem_rcu(fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001203
1204 fib_release_info(fi_drop);
1205 if (state & FA_S_ACCESSED)
Olof Johansson91b9a272005-08-09 20:24:39 -07001206 rt_cache_flush(-1);
Robert Olsson19baf832005-06-21 12:43:18 -07001207
Olof Johansson91b9a272005-08-09 20:24:39 -07001208 goto succeeded;
Robert Olsson19baf832005-06-21 12:43:18 -07001209 }
1210 /* Error if we find a perfect match which
1211 * uses the same scope, type, and nexthop
1212 * information.
1213 */
1214 fa_orig = fa;
1215 list_for_each_entry(fa, fa_orig->fa_list.prev, fa_list) {
1216 if (fa->fa_tos != tos)
1217 break;
1218 if (fa->fa_info->fib_priority != fi->fib_priority)
1219 break;
1220 if (fa->fa_type == type &&
1221 fa->fa_scope == r->rtm_scope &&
1222 fa->fa_info == fi) {
1223 goto out;
1224 }
1225 }
1226 if (!(nlhdr->nlmsg_flags & NLM_F_APPEND))
1227 fa = fa_orig;
1228 }
1229 err = -ENOENT;
Olof Johansson91b9a272005-08-09 20:24:39 -07001230 if (!(nlhdr->nlmsg_flags & NLM_F_CREATE))
Robert Olsson19baf832005-06-21 12:43:18 -07001231 goto out;
1232
1233 err = -ENOBUFS;
1234 new_fa = kmem_cache_alloc(fn_alias_kmem, SLAB_KERNEL);
1235 if (new_fa == NULL)
1236 goto out;
1237
1238 new_fa->fa_info = fi;
1239 new_fa->fa_tos = tos;
1240 new_fa->fa_type = type;
1241 new_fa->fa_scope = r->rtm_scope;
1242 new_fa->fa_state = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001243 /*
1244 * Insert new entry to the list.
1245 */
1246
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001247 if (!fa_head) {
Robert Olssonf835e472005-06-28 15:00:39 -07001248 fa_head = fib_insert_node(t, &err, key, plen);
1249 err = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001250 if (err)
Robert Olssonf835e472005-06-28 15:00:39 -07001251 goto out_free_new_fa;
1252 }
Robert Olsson19baf832005-06-21 12:43:18 -07001253
Robert Olsson2373ce12005-08-25 13:01:29 -07001254 list_add_tail_rcu(&new_fa->fa_list,
1255 (fa ? &fa->fa_list : fa_head));
Robert Olsson19baf832005-06-21 12:43:18 -07001256
1257 rt_cache_flush(-1);
1258 rtmsg_fib(RTM_NEWROUTE, htonl(key), new_fa, plen, tb->tb_id, nlhdr, req);
1259succeeded:
1260 return 0;
Robert Olssonf835e472005-06-28 15:00:39 -07001261
1262out_free_new_fa:
1263 kmem_cache_free(fn_alias_kmem, new_fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001264out:
1265 fib_release_info(fi);
Olof Johansson91b9a272005-08-09 20:24:39 -07001266err:
Robert Olsson19baf832005-06-21 12:43:18 -07001267 return err;
1268}
1269
Robert Olsson2373ce12005-08-25 13:01:29 -07001270
Robert Olsson772cb712005-09-19 15:31:18 -07001271/* should be called with rcu_read_lock */
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001272static inline int check_leaf(struct trie *t, struct leaf *l,
1273 t_key key, int *plen, const struct flowi *flp,
Patrick McHardy06c74272005-08-23 22:06:09 -07001274 struct fib_result *res)
Robert Olsson19baf832005-06-21 12:43:18 -07001275{
Patrick McHardy06c74272005-08-23 22:06:09 -07001276 int err, i;
Robert Olsson19baf832005-06-21 12:43:18 -07001277 t_key mask;
1278 struct leaf_info *li;
1279 struct hlist_head *hhead = &l->list;
1280 struct hlist_node *node;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001281
Robert Olsson2373ce12005-08-25 13:01:29 -07001282 hlist_for_each_entry_rcu(li, node, hhead, hlist) {
Robert Olsson19baf832005-06-21 12:43:18 -07001283 i = li->plen;
1284 mask = ntohl(inet_make_mask(i));
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001285 if (l->key != (key & mask))
Robert Olsson19baf832005-06-21 12:43:18 -07001286 continue;
1287
Patrick McHardy06c74272005-08-23 22:06:09 -07001288 if ((err = fib_semantic_match(&li->falh, flp, res, l->key, mask, i)) <= 0) {
Robert Olsson19baf832005-06-21 12:43:18 -07001289 *plen = i;
1290#ifdef CONFIG_IP_FIB_TRIE_STATS
1291 t->stats.semantic_match_passed++;
1292#endif
Patrick McHardy06c74272005-08-23 22:06:09 -07001293 return err;
Robert Olsson19baf832005-06-21 12:43:18 -07001294 }
1295#ifdef CONFIG_IP_FIB_TRIE_STATS
1296 t->stats.semantic_match_miss++;
1297#endif
1298 }
Patrick McHardy06c74272005-08-23 22:06:09 -07001299 return 1;
Robert Olsson19baf832005-06-21 12:43:18 -07001300}
1301
1302static int
1303fn_trie_lookup(struct fib_table *tb, const struct flowi *flp, struct fib_result *res)
1304{
1305 struct trie *t = (struct trie *) tb->tb_data;
1306 int plen, ret = 0;
1307 struct node *n;
1308 struct tnode *pn;
1309 int pos, bits;
Olof Johansson91b9a272005-08-09 20:24:39 -07001310 t_key key = ntohl(flp->fl4_dst);
Robert Olsson19baf832005-06-21 12:43:18 -07001311 int chopped_off;
1312 t_key cindex = 0;
1313 int current_prefix_length = KEYLENGTH;
Olof Johansson91b9a272005-08-09 20:24:39 -07001314 struct tnode *cn;
1315 t_key node_prefix, key_prefix, pref_mismatch;
1316 int mp;
1317
Robert Olsson2373ce12005-08-25 13:01:29 -07001318 rcu_read_lock();
Robert Olsson19baf832005-06-21 12:43:18 -07001319
Robert Olsson2373ce12005-08-25 13:01:29 -07001320 n = rcu_dereference(t->trie);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001321 if (!n)
Robert Olsson19baf832005-06-21 12:43:18 -07001322 goto failed;
1323
1324#ifdef CONFIG_IP_FIB_TRIE_STATS
1325 t->stats.gets++;
1326#endif
1327
1328 /* Just a leaf? */
1329 if (IS_LEAF(n)) {
Patrick McHardy06c74272005-08-23 22:06:09 -07001330 if ((ret = check_leaf(t, (struct leaf *)n, key, &plen, flp, res)) <= 0)
Robert Olsson19baf832005-06-21 12:43:18 -07001331 goto found;
1332 goto failed;
1333 }
1334 pn = (struct tnode *) n;
1335 chopped_off = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001336
Olof Johansson91b9a272005-08-09 20:24:39 -07001337 while (pn) {
Robert Olsson19baf832005-06-21 12:43:18 -07001338 pos = pn->pos;
1339 bits = pn->bits;
1340
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001341 if (!chopped_off)
Robert Olsson19baf832005-06-21 12:43:18 -07001342 cindex = tkey_extract_bits(MASK_PFX(key, current_prefix_length), pos, bits);
1343
1344 n = tnode_get_child(pn, cindex);
1345
1346 if (n == NULL) {
1347#ifdef CONFIG_IP_FIB_TRIE_STATS
1348 t->stats.null_node_hit++;
1349#endif
1350 goto backtrace;
1351 }
1352
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001353 if (IS_LEAF(n)) {
Patrick McHardy06c74272005-08-23 22:06:09 -07001354 if ((ret = check_leaf(t, (struct leaf *)n, key, &plen, flp, res)) <= 0)
Robert Olsson19baf832005-06-21 12:43:18 -07001355 goto found;
Olof Johansson91b9a272005-08-09 20:24:39 -07001356 else
1357 goto backtrace;
1358 }
1359
1360#define HL_OPTIMIZE
1361#ifdef HL_OPTIMIZE
1362 cn = (struct tnode *)n;
1363
1364 /*
1365 * It's a tnode, and we can do some extra checks here if we
1366 * like, to avoid descending into a dead-end branch.
1367 * This tnode is in the parent's child array at index
1368 * key[p_pos..p_pos+p_bits] but potentially with some bits
1369 * chopped off, so in reality the index may be just a
1370 * subprefix, padded with zero at the end.
1371 * We can also take a look at any skipped bits in this
1372 * tnode - everything up to p_pos is supposed to be ok,
1373 * and the non-chopped bits of the index (se previous
1374 * paragraph) are also guaranteed ok, but the rest is
1375 * considered unknown.
1376 *
1377 * The skipped bits are key[pos+bits..cn->pos].
1378 */
1379
1380 /* If current_prefix_length < pos+bits, we are already doing
1381 * actual prefix matching, which means everything from
1382 * pos+(bits-chopped_off) onward must be zero along some
1383 * branch of this subtree - otherwise there is *no* valid
1384 * prefix present. Here we can only check the skipped
1385 * bits. Remember, since we have already indexed into the
1386 * parent's child array, we know that the bits we chopped of
1387 * *are* zero.
1388 */
1389
1390 /* NOTA BENE: CHECKING ONLY SKIPPED BITS FOR THE NEW NODE HERE */
1391
1392 if (current_prefix_length < pos+bits) {
1393 if (tkey_extract_bits(cn->key, current_prefix_length,
1394 cn->pos - current_prefix_length) != 0 ||
1395 !(cn->child[0]))
1396 goto backtrace;
1397 }
1398
1399 /*
1400 * If chopped_off=0, the index is fully validated and we
1401 * only need to look at the skipped bits for this, the new,
1402 * tnode. What we actually want to do is to find out if
1403 * these skipped bits match our key perfectly, or if we will
1404 * have to count on finding a matching prefix further down,
1405 * because if we do, we would like to have some way of
1406 * verifying the existence of such a prefix at this point.
1407 */
1408
1409 /* The only thing we can do at this point is to verify that
1410 * any such matching prefix can indeed be a prefix to our
1411 * key, and if the bits in the node we are inspecting that
1412 * do not match our key are not ZERO, this cannot be true.
1413 * Thus, find out where there is a mismatch (before cn->pos)
1414 * and verify that all the mismatching bits are zero in the
1415 * new tnode's key.
1416 */
1417
1418 /* Note: We aren't very concerned about the piece of the key
1419 * that precede pn->pos+pn->bits, since these have already been
1420 * checked. The bits after cn->pos aren't checked since these are
1421 * by definition "unknown" at this point. Thus, what we want to
1422 * see is if we are about to enter the "prefix matching" state,
1423 * and in that case verify that the skipped bits that will prevail
1424 * throughout this subtree are zero, as they have to be if we are
1425 * to find a matching prefix.
1426 */
1427
1428 node_prefix = MASK_PFX(cn->key, cn->pos);
1429 key_prefix = MASK_PFX(key, cn->pos);
1430 pref_mismatch = key_prefix^node_prefix;
1431 mp = 0;
1432
1433 /* In short: If skipped bits in this node do not match the search
1434 * key, enter the "prefix matching" state.directly.
1435 */
1436 if (pref_mismatch) {
1437 while (!(pref_mismatch & (1<<(KEYLENGTH-1)))) {
1438 mp++;
1439 pref_mismatch = pref_mismatch <<1;
1440 }
1441 key_prefix = tkey_extract_bits(cn->key, mp, cn->pos-mp);
1442
1443 if (key_prefix != 0)
1444 goto backtrace;
1445
1446 if (current_prefix_length >= cn->pos)
1447 current_prefix_length = mp;
1448 }
1449#endif
1450 pn = (struct tnode *)n; /* Descend */
1451 chopped_off = 0;
1452 continue;
1453
Robert Olsson19baf832005-06-21 12:43:18 -07001454backtrace:
1455 chopped_off++;
1456
1457 /* As zero don't change the child key (cindex) */
Olof Johansson91b9a272005-08-09 20:24:39 -07001458 while ((chopped_off <= pn->bits) && !(cindex & (1<<(chopped_off-1))))
Robert Olsson19baf832005-06-21 12:43:18 -07001459 chopped_off++;
Robert Olsson19baf832005-06-21 12:43:18 -07001460
1461 /* Decrease current_... with bits chopped off */
1462 if (current_prefix_length > pn->pos + pn->bits - chopped_off)
1463 current_prefix_length = pn->pos + pn->bits - chopped_off;
Olof Johansson91b9a272005-08-09 20:24:39 -07001464
Robert Olsson19baf832005-06-21 12:43:18 -07001465 /*
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001466 * Either we do the actual chop off according or if we have
Robert Olsson19baf832005-06-21 12:43:18 -07001467 * chopped off all bits in this tnode walk up to our parent.
1468 */
1469
Olof Johansson91b9a272005-08-09 20:24:39 -07001470 if (chopped_off <= pn->bits) {
Robert Olsson19baf832005-06-21 12:43:18 -07001471 cindex &= ~(1 << (chopped_off-1));
Olof Johansson91b9a272005-08-09 20:24:39 -07001472 } else {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001473 if (NODE_PARENT(pn) == NULL)
Robert Olsson19baf832005-06-21 12:43:18 -07001474 goto failed;
Olof Johansson91b9a272005-08-09 20:24:39 -07001475
Robert Olsson19baf832005-06-21 12:43:18 -07001476 /* Get Child's index */
1477 cindex = tkey_extract_bits(pn->key, NODE_PARENT(pn)->pos, NODE_PARENT(pn)->bits);
1478 pn = NODE_PARENT(pn);
1479 chopped_off = 0;
1480
1481#ifdef CONFIG_IP_FIB_TRIE_STATS
1482 t->stats.backtrack++;
1483#endif
1484 goto backtrace;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001485 }
Robert Olsson19baf832005-06-21 12:43:18 -07001486 }
1487failed:
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001488 ret = 1;
Robert Olsson19baf832005-06-21 12:43:18 -07001489found:
Robert Olsson2373ce12005-08-25 13:01:29 -07001490 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001491 return ret;
1492}
1493
Robert Olsson2373ce12005-08-25 13:01:29 -07001494/* only called from updater side */
Robert Olsson19baf832005-06-21 12:43:18 -07001495static int trie_leaf_remove(struct trie *t, t_key key)
1496{
1497 t_key cindex;
1498 struct tnode *tp = NULL;
1499 struct node *n = t->trie;
1500 struct leaf *l;
1501
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001502 pr_debug("entering trie_leaf_remove(%p)\n", n);
Robert Olsson19baf832005-06-21 12:43:18 -07001503
1504 /* Note that in the case skipped bits, those bits are *not* checked!
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001505 * When we finish this, we will have NULL or a T_LEAF, and the
Robert Olsson19baf832005-06-21 12:43:18 -07001506 * T_LEAF may or may not match our key.
1507 */
1508
Olof Johansson91b9a272005-08-09 20:24:39 -07001509 while (n != NULL && IS_TNODE(n)) {
Robert Olsson19baf832005-06-21 12:43:18 -07001510 struct tnode *tn = (struct tnode *) n;
1511 check_tnode(tn);
1512 n = tnode_get_child(tn ,tkey_extract_bits(key, tn->pos, tn->bits));
1513
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001514 BUG_ON(n && NODE_PARENT(n) != tn);
Olof Johansson91b9a272005-08-09 20:24:39 -07001515 }
Robert Olsson19baf832005-06-21 12:43:18 -07001516 l = (struct leaf *) n;
1517
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001518 if (!n || !tkey_equals(l->key, key))
Robert Olsson19baf832005-06-21 12:43:18 -07001519 return 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001520
1521 /*
1522 * Key found.
1523 * Remove the leaf and rebalance the tree
Robert Olsson19baf832005-06-21 12:43:18 -07001524 */
1525
1526 t->revision++;
1527 t->size--;
1528
Robert Olsson2373ce12005-08-25 13:01:29 -07001529 preempt_disable();
Robert Olsson19baf832005-06-21 12:43:18 -07001530 tp = NODE_PARENT(n);
1531 tnode_free((struct tnode *) n);
1532
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001533 if (tp) {
Robert Olsson19baf832005-06-21 12:43:18 -07001534 cindex = tkey_extract_bits(key, tp->pos, tp->bits);
1535 put_child(t, (struct tnode *)tp, cindex, NULL);
Robert Olsson2373ce12005-08-25 13:01:29 -07001536 rcu_assign_pointer(t->trie, trie_rebalance(t, tp));
Olof Johansson91b9a272005-08-09 20:24:39 -07001537 } else
Robert Olsson2373ce12005-08-25 13:01:29 -07001538 rcu_assign_pointer(t->trie, NULL);
1539 preempt_enable();
Robert Olsson19baf832005-06-21 12:43:18 -07001540
1541 return 1;
1542}
1543
1544static int
1545fn_trie_delete(struct fib_table *tb, struct rtmsg *r, struct kern_rta *rta,
Olof Johansson91b9a272005-08-09 20:24:39 -07001546 struct nlmsghdr *nlhdr, struct netlink_skb_parms *req)
Robert Olsson19baf832005-06-21 12:43:18 -07001547{
1548 struct trie *t = (struct trie *) tb->tb_data;
1549 u32 key, mask;
1550 int plen = r->rtm_dst_len;
1551 u8 tos = r->rtm_tos;
1552 struct fib_alias *fa, *fa_to_delete;
1553 struct list_head *fa_head;
1554 struct leaf *l;
Olof Johansson91b9a272005-08-09 20:24:39 -07001555 struct leaf_info *li;
1556
Robert Olsson19baf832005-06-21 12:43:18 -07001557
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001558 if (plen > 32)
Robert Olsson19baf832005-06-21 12:43:18 -07001559 return -EINVAL;
1560
1561 key = 0;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001562 if (rta->rta_dst)
Robert Olsson19baf832005-06-21 12:43:18 -07001563 memcpy(&key, rta->rta_dst, 4);
1564
1565 key = ntohl(key);
Olof Johansson91b9a272005-08-09 20:24:39 -07001566 mask = ntohl(inet_make_mask(plen));
Robert Olsson19baf832005-06-21 12:43:18 -07001567
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001568 if (key & ~mask)
Robert Olsson19baf832005-06-21 12:43:18 -07001569 return -EINVAL;
1570
1571 key = key & mask;
1572 l = fib_find_node(t, key);
1573
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001574 if (!l)
Robert Olsson19baf832005-06-21 12:43:18 -07001575 return -ESRCH;
1576
1577 fa_head = get_fa_head(l, plen);
1578 fa = fib_find_alias(fa_head, tos, 0);
1579
1580 if (!fa)
1581 return -ESRCH;
1582
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001583 pr_debug("Deleting %08x/%d tos=%d t=%p\n", key, plen, tos, t);
Robert Olsson19baf832005-06-21 12:43:18 -07001584
1585 fa_to_delete = NULL;
1586 fa_head = fa->fa_list.prev;
Robert Olsson2373ce12005-08-25 13:01:29 -07001587
Robert Olsson19baf832005-06-21 12:43:18 -07001588 list_for_each_entry(fa, fa_head, fa_list) {
1589 struct fib_info *fi = fa->fa_info;
1590
1591 if (fa->fa_tos != tos)
1592 break;
1593
1594 if ((!r->rtm_type ||
1595 fa->fa_type == r->rtm_type) &&
1596 (r->rtm_scope == RT_SCOPE_NOWHERE ||
1597 fa->fa_scope == r->rtm_scope) &&
1598 (!r->rtm_protocol ||
1599 fi->fib_protocol == r->rtm_protocol) &&
1600 fib_nh_match(r, nlhdr, rta, fi) == 0) {
1601 fa_to_delete = fa;
1602 break;
1603 }
1604 }
1605
Olof Johansson91b9a272005-08-09 20:24:39 -07001606 if (!fa_to_delete)
1607 return -ESRCH;
Robert Olsson19baf832005-06-21 12:43:18 -07001608
Olof Johansson91b9a272005-08-09 20:24:39 -07001609 fa = fa_to_delete;
1610 rtmsg_fib(RTM_DELROUTE, htonl(key), fa, plen, tb->tb_id, nlhdr, req);
Robert Olsson19baf832005-06-21 12:43:18 -07001611
Olof Johansson91b9a272005-08-09 20:24:39 -07001612 l = fib_find_node(t, key);
Robert Olsson772cb712005-09-19 15:31:18 -07001613 li = find_leaf_info(l, plen);
Robert Olsson19baf832005-06-21 12:43:18 -07001614
Robert Olsson2373ce12005-08-25 13:01:29 -07001615 list_del_rcu(&fa->fa_list);
Robert Olsson19baf832005-06-21 12:43:18 -07001616
Olof Johansson91b9a272005-08-09 20:24:39 -07001617 if (list_empty(fa_head)) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001618 hlist_del_rcu(&li->hlist);
Olof Johansson91b9a272005-08-09 20:24:39 -07001619 free_leaf_info(li);
Robert Olsson2373ce12005-08-25 13:01:29 -07001620 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001621
1622 if (hlist_empty(&l->list))
1623 trie_leaf_remove(t, key);
1624
1625 if (fa->fa_state & FA_S_ACCESSED)
1626 rt_cache_flush(-1);
1627
Robert Olsson2373ce12005-08-25 13:01:29 -07001628 fib_release_info(fa->fa_info);
1629 alias_free_mem_rcu(fa);
Olof Johansson91b9a272005-08-09 20:24:39 -07001630 return 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001631}
1632
1633static int trie_flush_list(struct trie *t, struct list_head *head)
1634{
1635 struct fib_alias *fa, *fa_node;
1636 int found = 0;
1637
1638 list_for_each_entry_safe(fa, fa_node, head, fa_list) {
1639 struct fib_info *fi = fa->fa_info;
Robert Olsson19baf832005-06-21 12:43:18 -07001640
Robert Olsson2373ce12005-08-25 13:01:29 -07001641 if (fi && (fi->fib_flags & RTNH_F_DEAD)) {
1642 list_del_rcu(&fa->fa_list);
1643 fib_release_info(fa->fa_info);
1644 alias_free_mem_rcu(fa);
Robert Olsson19baf832005-06-21 12:43:18 -07001645 found++;
1646 }
1647 }
1648 return found;
1649}
1650
1651static int trie_flush_leaf(struct trie *t, struct leaf *l)
1652{
1653 int found = 0;
1654 struct hlist_head *lih = &l->list;
1655 struct hlist_node *node, *tmp;
1656 struct leaf_info *li = NULL;
1657
1658 hlist_for_each_entry_safe(li, node, tmp, lih, hlist) {
Robert Olsson19baf832005-06-21 12:43:18 -07001659 found += trie_flush_list(t, &li->falh);
1660
1661 if (list_empty(&li->falh)) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001662 hlist_del_rcu(&li->hlist);
Robert Olsson19baf832005-06-21 12:43:18 -07001663 free_leaf_info(li);
1664 }
1665 }
1666 return found;
1667}
1668
Robert Olsson2373ce12005-08-25 13:01:29 -07001669/* rcu_read_lock needs to be hold by caller from readside */
1670
Robert Olsson19baf832005-06-21 12:43:18 -07001671static struct leaf *nextleaf(struct trie *t, struct leaf *thisleaf)
1672{
1673 struct node *c = (struct node *) thisleaf;
1674 struct tnode *p;
1675 int idx;
Robert Olsson2373ce12005-08-25 13:01:29 -07001676 struct node *trie = rcu_dereference(t->trie);
Robert Olsson19baf832005-06-21 12:43:18 -07001677
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001678 if (c == NULL) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001679 if (trie == NULL)
Robert Olsson19baf832005-06-21 12:43:18 -07001680 return NULL;
1681
Robert Olsson2373ce12005-08-25 13:01:29 -07001682 if (IS_LEAF(trie)) /* trie w. just a leaf */
1683 return (struct leaf *) trie;
Robert Olsson19baf832005-06-21 12:43:18 -07001684
Robert Olsson2373ce12005-08-25 13:01:29 -07001685 p = (struct tnode*) trie; /* Start */
Olof Johansson91b9a272005-08-09 20:24:39 -07001686 } else
Robert Olsson19baf832005-06-21 12:43:18 -07001687 p = (struct tnode *) NODE_PARENT(c);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001688
Robert Olsson19baf832005-06-21 12:43:18 -07001689 while (p) {
1690 int pos, last;
1691
1692 /* Find the next child of the parent */
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001693 if (c)
1694 pos = 1 + tkey_extract_bits(c->key, p->pos, p->bits);
1695 else
Robert Olsson19baf832005-06-21 12:43:18 -07001696 pos = 0;
1697
1698 last = 1 << p->bits;
Olof Johansson91b9a272005-08-09 20:24:39 -07001699 for (idx = pos; idx < last ; idx++) {
Robert Olsson2373ce12005-08-25 13:01:29 -07001700 c = rcu_dereference(p->child[idx]);
1701
1702 if (!c)
Olof Johansson91b9a272005-08-09 20:24:39 -07001703 continue;
Robert Olsson19baf832005-06-21 12:43:18 -07001704
Olof Johansson91b9a272005-08-09 20:24:39 -07001705 /* Decend if tnode */
Robert Olsson2373ce12005-08-25 13:01:29 -07001706 while (IS_TNODE(c)) {
1707 p = (struct tnode *) c;
1708 idx = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07001709
Olof Johansson91b9a272005-08-09 20:24:39 -07001710 /* Rightmost non-NULL branch */
1711 if (p && IS_TNODE(p))
Robert Olsson2373ce12005-08-25 13:01:29 -07001712 while (!(c = rcu_dereference(p->child[idx]))
1713 && idx < (1<<p->bits)) idx++;
Robert Olsson19baf832005-06-21 12:43:18 -07001714
Olof Johansson91b9a272005-08-09 20:24:39 -07001715 /* Done with this tnode? */
Robert Olsson2373ce12005-08-25 13:01:29 -07001716 if (idx >= (1 << p->bits) || !c)
Olof Johansson91b9a272005-08-09 20:24:39 -07001717 goto up;
Robert Olsson19baf832005-06-21 12:43:18 -07001718 }
Robert Olsson2373ce12005-08-25 13:01:29 -07001719 return (struct leaf *) c;
Robert Olsson19baf832005-06-21 12:43:18 -07001720 }
1721up:
1722 /* No more children go up one step */
Olof Johansson91b9a272005-08-09 20:24:39 -07001723 c = (struct node *) p;
Robert Olsson19baf832005-06-21 12:43:18 -07001724 p = (struct tnode *) NODE_PARENT(p);
1725 }
1726 return NULL; /* Ready. Root of trie */
1727}
1728
1729static int fn_trie_flush(struct fib_table *tb)
1730{
1731 struct trie *t = (struct trie *) tb->tb_data;
1732 struct leaf *ll = NULL, *l = NULL;
1733 int found = 0, h;
1734
1735 t->revision++;
1736
Olof Johansson91b9a272005-08-09 20:24:39 -07001737 for (h = 0; (l = nextleaf(t, l)) != NULL; h++) {
Robert Olsson19baf832005-06-21 12:43:18 -07001738 found += trie_flush_leaf(t, l);
1739
1740 if (ll && hlist_empty(&ll->list))
1741 trie_leaf_remove(t, ll->key);
1742 ll = l;
1743 }
1744
1745 if (ll && hlist_empty(&ll->list))
1746 trie_leaf_remove(t, ll->key);
1747
Stephen Hemminger0c7770c2005-08-23 21:59:41 -07001748 pr_debug("trie_flush found=%d\n", found);
Robert Olsson19baf832005-06-21 12:43:18 -07001749 return found;
1750}
1751
Olof Johansson91b9a272005-08-09 20:24:39 -07001752static int trie_last_dflt = -1;
Robert Olsson19baf832005-06-21 12:43:18 -07001753
1754static void
1755fn_trie_select_default(struct fib_table *tb, const struct flowi *flp, struct fib_result *res)
1756{
1757 struct trie *t = (struct trie *) tb->tb_data;
1758 int order, last_idx;
1759 struct fib_info *fi = NULL;
1760 struct fib_info *last_resort;
1761 struct fib_alias *fa = NULL;
1762 struct list_head *fa_head;
1763 struct leaf *l;
1764
1765 last_idx = -1;
1766 last_resort = NULL;
1767 order = -1;
1768
Robert Olsson2373ce12005-08-25 13:01:29 -07001769 rcu_read_lock();
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001770
Robert Olsson19baf832005-06-21 12:43:18 -07001771 l = fib_find_node(t, 0);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001772 if (!l)
Robert Olsson19baf832005-06-21 12:43:18 -07001773 goto out;
1774
1775 fa_head = get_fa_head(l, 0);
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001776 if (!fa_head)
Robert Olsson19baf832005-06-21 12:43:18 -07001777 goto out;
1778
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001779 if (list_empty(fa_head))
Robert Olsson19baf832005-06-21 12:43:18 -07001780 goto out;
1781
Robert Olsson2373ce12005-08-25 13:01:29 -07001782 list_for_each_entry_rcu(fa, fa_head, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07001783 struct fib_info *next_fi = fa->fa_info;
Olof Johansson91b9a272005-08-09 20:24:39 -07001784
Robert Olsson19baf832005-06-21 12:43:18 -07001785 if (fa->fa_scope != res->scope ||
1786 fa->fa_type != RTN_UNICAST)
1787 continue;
Olof Johansson91b9a272005-08-09 20:24:39 -07001788
Robert Olsson19baf832005-06-21 12:43:18 -07001789 if (next_fi->fib_priority > res->fi->fib_priority)
1790 break;
1791 if (!next_fi->fib_nh[0].nh_gw ||
1792 next_fi->fib_nh[0].nh_scope != RT_SCOPE_LINK)
1793 continue;
1794 fa->fa_state |= FA_S_ACCESSED;
Olof Johansson91b9a272005-08-09 20:24:39 -07001795
Robert Olsson19baf832005-06-21 12:43:18 -07001796 if (fi == NULL) {
1797 if (next_fi != res->fi)
1798 break;
1799 } else if (!fib_detect_death(fi, order, &last_resort,
1800 &last_idx, &trie_last_dflt)) {
1801 if (res->fi)
1802 fib_info_put(res->fi);
1803 res->fi = fi;
1804 atomic_inc(&fi->fib_clntref);
1805 trie_last_dflt = order;
1806 goto out;
1807 }
1808 fi = next_fi;
1809 order++;
1810 }
1811 if (order <= 0 || fi == NULL) {
1812 trie_last_dflt = -1;
1813 goto out;
1814 }
1815
1816 if (!fib_detect_death(fi, order, &last_resort, &last_idx, &trie_last_dflt)) {
1817 if (res->fi)
1818 fib_info_put(res->fi);
1819 res->fi = fi;
1820 atomic_inc(&fi->fib_clntref);
1821 trie_last_dflt = order;
1822 goto out;
1823 }
1824 if (last_idx >= 0) {
1825 if (res->fi)
1826 fib_info_put(res->fi);
1827 res->fi = last_resort;
1828 if (last_resort)
1829 atomic_inc(&last_resort->fib_clntref);
1830 }
1831 trie_last_dflt = last_idx;
1832 out:;
Robert Olsson2373ce12005-08-25 13:01:29 -07001833 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001834}
1835
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001836static 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 -07001837 struct sk_buff *skb, struct netlink_callback *cb)
1838{
1839 int i, s_i;
1840 struct fib_alias *fa;
1841
Olof Johansson91b9a272005-08-09 20:24:39 -07001842 u32 xkey = htonl(key);
Robert Olsson19baf832005-06-21 12:43:18 -07001843
Olof Johansson91b9a272005-08-09 20:24:39 -07001844 s_i = cb->args[3];
Robert Olsson19baf832005-06-21 12:43:18 -07001845 i = 0;
1846
Robert Olsson2373ce12005-08-25 13:01:29 -07001847 /* rcu_read_lock is hold by caller */
1848
1849 list_for_each_entry_rcu(fa, fah, fa_list) {
Robert Olsson19baf832005-06-21 12:43:18 -07001850 if (i < s_i) {
1851 i++;
1852 continue;
1853 }
Stephen Hemminger78c66712005-09-21 00:15:39 -07001854 BUG_ON(!fa->fa_info);
Robert Olsson19baf832005-06-21 12:43:18 -07001855
1856 if (fib_dump_info(skb, NETLINK_CB(cb->skb).pid,
1857 cb->nlh->nlmsg_seq,
1858 RTM_NEWROUTE,
1859 tb->tb_id,
1860 fa->fa_type,
1861 fa->fa_scope,
1862 &xkey,
1863 plen,
1864 fa->fa_tos,
David S. Miller90f66912005-06-21 14:43:28 -07001865 fa->fa_info, 0) < 0) {
Robert Olsson19baf832005-06-21 12:43:18 -07001866 cb->args[3] = i;
1867 return -1;
Olof Johansson91b9a272005-08-09 20:24:39 -07001868 }
Robert Olsson19baf832005-06-21 12:43:18 -07001869 i++;
1870 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001871 cb->args[3] = i;
Robert Olsson19baf832005-06-21 12:43:18 -07001872 return skb->len;
1873}
1874
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001875static 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 -07001876 struct netlink_callback *cb)
1877{
1878 int h, s_h;
1879 struct list_head *fa_head;
1880 struct leaf *l = NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07001881
Olof Johansson91b9a272005-08-09 20:24:39 -07001882 s_h = cb->args[2];
Robert Olsson19baf832005-06-21 12:43:18 -07001883
Olof Johansson91b9a272005-08-09 20:24:39 -07001884 for (h = 0; (l = nextleaf(t, l)) != NULL; h++) {
Robert Olsson19baf832005-06-21 12:43:18 -07001885 if (h < s_h)
1886 continue;
1887 if (h > s_h)
1888 memset(&cb->args[3], 0,
1889 sizeof(cb->args) - 3*sizeof(cb->args[0]));
1890
1891 fa_head = get_fa_head(l, plen);
Olof Johansson91b9a272005-08-09 20:24:39 -07001892
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001893 if (!fa_head)
Robert Olsson19baf832005-06-21 12:43:18 -07001894 continue;
1895
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001896 if (list_empty(fa_head))
Robert Olsson19baf832005-06-21 12:43:18 -07001897 continue;
1898
1899 if (fn_trie_dump_fa(l->key, plen, fa_head, tb, skb, cb)<0) {
Olof Johansson91b9a272005-08-09 20:24:39 -07001900 cb->args[2] = h;
Robert Olsson19baf832005-06-21 12:43:18 -07001901 return -1;
1902 }
1903 }
Olof Johansson91b9a272005-08-09 20:24:39 -07001904 cb->args[2] = h;
Robert Olsson19baf832005-06-21 12:43:18 -07001905 return skb->len;
1906}
1907
1908static int fn_trie_dump(struct fib_table *tb, struct sk_buff *skb, struct netlink_callback *cb)
1909{
1910 int m, s_m;
1911 struct trie *t = (struct trie *) tb->tb_data;
1912
1913 s_m = cb->args[1];
1914
Robert Olsson2373ce12005-08-25 13:01:29 -07001915 rcu_read_lock();
Olof Johansson91b9a272005-08-09 20:24:39 -07001916 for (m = 0; m <= 32; m++) {
Robert Olsson19baf832005-06-21 12:43:18 -07001917 if (m < s_m)
1918 continue;
1919 if (m > s_m)
1920 memset(&cb->args[2], 0,
Olof Johansson91b9a272005-08-09 20:24:39 -07001921 sizeof(cb->args) - 2*sizeof(cb->args[0]));
Robert Olsson19baf832005-06-21 12:43:18 -07001922
1923 if (fn_trie_dump_plen(t, 32-m, tb, skb, cb)<0) {
1924 cb->args[1] = m;
1925 goto out;
1926 }
1927 }
Robert Olsson2373ce12005-08-25 13:01:29 -07001928 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001929 cb->args[1] = m;
1930 return skb->len;
Olof Johansson91b9a272005-08-09 20:24:39 -07001931out:
Robert Olsson2373ce12005-08-25 13:01:29 -07001932 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07001933 return -1;
1934}
1935
1936/* Fix more generic FIB names for init later */
1937
1938#ifdef CONFIG_IP_MULTIPLE_TABLES
1939struct fib_table * fib_hash_init(int id)
1940#else
1941struct fib_table * __init fib_hash_init(int id)
1942#endif
1943{
1944 struct fib_table *tb;
1945 struct trie *t;
1946
1947 if (fn_alias_kmem == NULL)
1948 fn_alias_kmem = kmem_cache_create("ip_fib_alias",
1949 sizeof(struct fib_alias),
1950 0, SLAB_HWCACHE_ALIGN,
1951 NULL, NULL);
1952
1953 tb = kmalloc(sizeof(struct fib_table) + sizeof(struct trie),
1954 GFP_KERNEL);
1955 if (tb == NULL)
1956 return NULL;
1957
1958 tb->tb_id = id;
1959 tb->tb_lookup = fn_trie_lookup;
1960 tb->tb_insert = fn_trie_insert;
1961 tb->tb_delete = fn_trie_delete;
1962 tb->tb_flush = fn_trie_flush;
1963 tb->tb_select_default = fn_trie_select_default;
1964 tb->tb_dump = fn_trie_dump;
1965 memset(tb->tb_data, 0, sizeof(struct trie));
1966
1967 t = (struct trie *) tb->tb_data;
1968
1969 trie_init(t);
1970
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001971 if (id == RT_TABLE_LOCAL)
Olof Johansson91b9a272005-08-09 20:24:39 -07001972 trie_local = t;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07001973 else if (id == RT_TABLE_MAIN)
Olof Johansson91b9a272005-08-09 20:24:39 -07001974 trie_main = t;
Robert Olsson19baf832005-06-21 12:43:18 -07001975
1976 if (id == RT_TABLE_LOCAL)
Stephen Hemminger78c66712005-09-21 00:15:39 -07001977 printk(KERN_INFO "IPv4 FIB: Using LC-trie version %s\n", VERSION);
Robert Olsson19baf832005-06-21 12:43:18 -07001978
1979 return tb;
1980}
1981
Robert Olsson19baf832005-06-21 12:43:18 -07001982#ifdef CONFIG_PROC_FS
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001983/* Depth first Trie walk iterator */
1984struct fib_trie_iter {
1985 struct tnode *tnode;
1986 struct trie *trie;
1987 unsigned index;
1988 unsigned depth;
1989};
Robert Olsson19baf832005-06-21 12:43:18 -07001990
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001991static struct node *fib_trie_get_next(struct fib_trie_iter *iter)
Robert Olsson19baf832005-06-21 12:43:18 -07001992{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07001993 struct tnode *tn = iter->tnode;
1994 unsigned cindex = iter->index;
1995 struct tnode *p;
1996
1997 pr_debug("get_next iter={node=%p index=%d depth=%d}\n",
1998 iter->tnode, iter->index, iter->depth);
1999rescan:
2000 while (cindex < (1<<tn->bits)) {
2001 struct node *n = tnode_get_child(tn, cindex);
2002
2003 if (n) {
2004 if (IS_LEAF(n)) {
2005 iter->tnode = tn;
2006 iter->index = cindex + 1;
2007 } else {
2008 /* push down one level */
2009 iter->tnode = (struct tnode *) n;
2010 iter->index = 0;
2011 ++iter->depth;
2012 }
2013 return n;
2014 }
2015
2016 ++cindex;
2017 }
2018
2019 /* Current node exhausted, pop back up */
2020 p = NODE_PARENT(tn);
2021 if (p) {
2022 cindex = tkey_extract_bits(tn->key, p->pos, p->bits)+1;
2023 tn = p;
2024 --iter->depth;
2025 goto rescan;
2026 }
2027
2028 /* got root? */
Robert Olsson19baf832005-06-21 12:43:18 -07002029 return NULL;
2030}
2031
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002032static struct node *fib_trie_get_first(struct fib_trie_iter *iter,
2033 struct trie *t)
Robert Olsson19baf832005-06-21 12:43:18 -07002034{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002035 struct node *n = rcu_dereference(t->trie);
2036
2037 if (n && IS_TNODE(n)) {
2038 iter->tnode = (struct tnode *) n;
2039 iter->trie = t;
2040 iter->index = 0;
Robert Olsson1d25cd62005-09-19 15:29:52 -07002041 iter->depth = 1;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002042 return n;
2043 }
Robert Olsson19baf832005-06-21 12:43:18 -07002044 return NULL;
2045}
2046
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002047static void trie_collect_stats(struct trie *t, struct trie_stat *s)
Robert Olsson19baf832005-06-21 12:43:18 -07002048{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002049 struct node *n;
2050 struct fib_trie_iter iter;
Robert Olsson19baf832005-06-21 12:43:18 -07002051
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002052 memset(s, 0, sizeof(*s));
Robert Olsson19baf832005-06-21 12:43:18 -07002053
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002054 rcu_read_lock();
2055 for (n = fib_trie_get_first(&iter, t); n;
2056 n = fib_trie_get_next(&iter)) {
2057 if (IS_LEAF(n)) {
2058 s->leaves++;
2059 s->totdepth += iter.depth;
2060 if (iter.depth > s->maxdepth)
2061 s->maxdepth = iter.depth;
2062 } else {
2063 const struct tnode *tn = (const struct tnode *) n;
2064 int i;
Robert Olsson19baf832005-06-21 12:43:18 -07002065
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002066 s->tnodes++;
2067 s->nodesizes[tn->bits]++;
2068 for (i = 0; i < (1<<tn->bits); i++)
2069 if (!tn->child[i])
2070 s->nullpointers++;
2071 }
2072 }
2073 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002074}
2075
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002076/*
Robert Olsson19baf832005-06-21 12:43:18 -07002077 * This outputs /proc/net/fib_triestats
Robert Olsson19baf832005-06-21 12:43:18 -07002078 */
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002079static void trie_show_stats(struct seq_file *seq, struct trie_stat *stat)
Robert Olsson19baf832005-06-21 12:43:18 -07002080{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002081 unsigned i, max, pointers, bytes, avdepth;
Robert Olsson19baf832005-06-21 12:43:18 -07002082
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002083 if (stat->leaves)
2084 avdepth = stat->totdepth*100 / stat->leaves;
2085 else
2086 avdepth = 0;
Robert Olsson19baf832005-06-21 12:43:18 -07002087
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002088 seq_printf(seq, "\tAver depth: %d.%02d\n", avdepth / 100, avdepth % 100 );
2089 seq_printf(seq, "\tMax depth: %u\n", stat->maxdepth);
Robert Olsson19baf832005-06-21 12:43:18 -07002090
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002091 seq_printf(seq, "\tLeaves: %u\n", stat->leaves);
Olof Johansson91b9a272005-08-09 20:24:39 -07002092
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002093 bytes = sizeof(struct leaf) * stat->leaves;
2094 seq_printf(seq, "\tInternal nodes: %d\n\t", stat->tnodes);
2095 bytes += sizeof(struct tnode) * stat->tnodes;
Robert Olsson19baf832005-06-21 12:43:18 -07002096
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002097 max = MAX_CHILDS-1;
2098 while (max >= 0 && stat->nodesizes[max] == 0)
2099 max--;
Robert Olsson19baf832005-06-21 12:43:18 -07002100
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002101 pointers = 0;
2102 for (i = 1; i <= max; i++)
2103 if (stat->nodesizes[i] != 0) {
2104 seq_printf(seq, " %d: %d", i, stat->nodesizes[i]);
2105 pointers += (1<<i) * stat->nodesizes[i];
2106 }
2107 seq_putc(seq, '\n');
2108 seq_printf(seq, "\tPointers: %d\n", pointers);
Robert Olsson19baf832005-06-21 12:43:18 -07002109
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002110 bytes += sizeof(struct node *) * pointers;
2111 seq_printf(seq, "Null ptrs: %d\n", stat->nullpointers);
2112 seq_printf(seq, "Total size: %d kB\n", (bytes + 1023) / 1024);
Robert Olsson19baf832005-06-21 12:43:18 -07002113
2114#ifdef CONFIG_IP_FIB_TRIE_STATS
2115 seq_printf(seq, "Counters:\n---------\n");
2116 seq_printf(seq,"gets = %d\n", t->stats.gets);
2117 seq_printf(seq,"backtracks = %d\n", t->stats.backtrack);
2118 seq_printf(seq,"semantic match passed = %d\n", t->stats.semantic_match_passed);
2119 seq_printf(seq,"semantic match miss = %d\n", t->stats.semantic_match_miss);
2120 seq_printf(seq,"null node hit= %d\n", t->stats.null_node_hit);
Robert Olsson2f368952005-07-05 15:02:40 -07002121 seq_printf(seq,"skipped node resize = %d\n", t->stats.resize_node_skipped);
Robert Olsson19baf832005-06-21 12:43:18 -07002122#ifdef CLEAR_STATS
2123 memset(&(t->stats), 0, sizeof(t->stats));
2124#endif
2125#endif /* CONFIG_IP_FIB_TRIE_STATS */
2126}
2127
2128static int fib_triestat_seq_show(struct seq_file *seq, void *v)
2129{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002130 struct trie_stat *stat;
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002131
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002132 stat = kmalloc(sizeof(*stat), GFP_KERNEL);
2133 if (!stat)
2134 return -ENOMEM;
Robert Olsson19baf832005-06-21 12:43:18 -07002135
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002136 seq_printf(seq, "Basic info: size of leaf: %Zd bytes, size of tnode: %Zd bytes.\n",
2137 sizeof(struct leaf), sizeof(struct tnode));
Olof Johansson91b9a272005-08-09 20:24:39 -07002138
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002139 if (trie_local) {
2140 seq_printf(seq, "Local:\n");
2141 trie_collect_stats(trie_local, stat);
2142 trie_show_stats(seq, stat);
Robert Olsson19baf832005-06-21 12:43:18 -07002143 }
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002144
2145 if (trie_main) {
2146 seq_printf(seq, "Main:\n");
2147 trie_collect_stats(trie_main, stat);
2148 trie_show_stats(seq, stat);
2149 }
2150 kfree(stat);
2151
Robert Olsson19baf832005-06-21 12:43:18 -07002152 return 0;
2153}
2154
Robert Olsson19baf832005-06-21 12:43:18 -07002155static int fib_triestat_seq_open(struct inode *inode, struct file *file)
2156{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002157 return single_open(file, fib_triestat_seq_show, NULL);
Robert Olsson19baf832005-06-21 12:43:18 -07002158}
2159
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002160static struct file_operations fib_triestat_fops = {
Stephen Hemmingerc877efb2005-07-19 14:01:51 -07002161 .owner = THIS_MODULE,
2162 .open = fib_triestat_seq_open,
2163 .read = seq_read,
2164 .llseek = seq_lseek,
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002165 .release = single_release,
Robert Olsson19baf832005-06-21 12:43:18 -07002166};
2167
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002168static struct node *fib_trie_get_idx(struct fib_trie_iter *iter,
2169 loff_t pos)
Robert Olsson19baf832005-06-21 12:43:18 -07002170{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002171 loff_t idx = 0;
2172 struct node *n;
Robert Olsson19baf832005-06-21 12:43:18 -07002173
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002174 for (n = fib_trie_get_first(iter, trie_local);
2175 n; ++idx, n = fib_trie_get_next(iter)) {
2176 if (pos == idx)
2177 return n;
2178 }
Robert Olsson19baf832005-06-21 12:43:18 -07002179
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002180 for (n = fib_trie_get_first(iter, trie_main);
2181 n; ++idx, n = fib_trie_get_next(iter)) {
2182 if (pos == idx)
2183 return n;
2184 }
Robert Olsson19baf832005-06-21 12:43:18 -07002185 return NULL;
2186}
2187
2188static void *fib_trie_seq_start(struct seq_file *seq, loff_t *pos)
2189{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002190 rcu_read_lock();
2191 if (*pos == 0)
Olof Johansson91b9a272005-08-09 20:24:39 -07002192 return SEQ_START_TOKEN;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002193 return fib_trie_get_idx(seq->private, *pos - 1);
Robert Olsson19baf832005-06-21 12:43:18 -07002194}
2195
2196static void *fib_trie_seq_next(struct seq_file *seq, void *v, loff_t *pos)
2197{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002198 struct fib_trie_iter *iter = seq->private;
2199 void *l = v;
2200
Robert Olsson19baf832005-06-21 12:43:18 -07002201 ++*pos;
Olof Johansson91b9a272005-08-09 20:24:39 -07002202 if (v == SEQ_START_TOKEN)
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002203 return fib_trie_get_idx(iter, 0);
Olof Johansson91b9a272005-08-09 20:24:39 -07002204
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002205 v = fib_trie_get_next(iter);
2206 BUG_ON(v == l);
2207 if (v)
2208 return v;
2209
2210 /* continue scan in next trie */
2211 if (iter->trie == trie_local)
2212 return fib_trie_get_first(iter, trie_main);
2213
2214 return NULL;
Robert Olsson19baf832005-06-21 12:43:18 -07002215}
2216
2217static void fib_trie_seq_stop(struct seq_file *seq, void *v)
2218{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002219 rcu_read_unlock();
Robert Olsson19baf832005-06-21 12:43:18 -07002220}
2221
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002222static void seq_indent(struct seq_file *seq, int n)
2223{
2224 while (n-- > 0) seq_puts(seq, " ");
2225}
Robert Olsson19baf832005-06-21 12:43:18 -07002226
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002227static inline const char *rtn_scope(enum rt_scope_t s)
2228{
2229 static char buf[32];
2230
2231 switch(s) {
2232 case RT_SCOPE_UNIVERSE: return "universe";
2233 case RT_SCOPE_SITE: return "site";
2234 case RT_SCOPE_LINK: return "link";
2235 case RT_SCOPE_HOST: return "host";
2236 case RT_SCOPE_NOWHERE: return "nowhere";
2237 default:
2238 snprintf(buf, sizeof(buf), "scope=%d", s);
2239 return buf;
2240 }
2241}
2242
2243static const char *rtn_type_names[__RTN_MAX] = {
2244 [RTN_UNSPEC] = "UNSPEC",
2245 [RTN_UNICAST] = "UNICAST",
2246 [RTN_LOCAL] = "LOCAL",
2247 [RTN_BROADCAST] = "BROADCAST",
2248 [RTN_ANYCAST] = "ANYCAST",
2249 [RTN_MULTICAST] = "MULTICAST",
2250 [RTN_BLACKHOLE] = "BLACKHOLE",
2251 [RTN_UNREACHABLE] = "UNREACHABLE",
2252 [RTN_PROHIBIT] = "PROHIBIT",
2253 [RTN_THROW] = "THROW",
2254 [RTN_NAT] = "NAT",
2255 [RTN_XRESOLVE] = "XRESOLVE",
2256};
2257
2258static inline const char *rtn_type(unsigned t)
2259{
2260 static char buf[32];
2261
2262 if (t < __RTN_MAX && rtn_type_names[t])
2263 return rtn_type_names[t];
2264 snprintf(buf, sizeof(buf), "type %d", t);
2265 return buf;
2266}
2267
2268/* Pretty print the trie */
Robert Olsson19baf832005-06-21 12:43:18 -07002269static int fib_trie_seq_show(struct seq_file *seq, void *v)
2270{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002271 const struct fib_trie_iter *iter = seq->private;
2272 struct node *n = v;
Robert Olsson19baf832005-06-21 12:43:18 -07002273
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002274 if (v == SEQ_START_TOKEN)
2275 return 0;
Robert Olsson19baf832005-06-21 12:43:18 -07002276
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002277 if (IS_TNODE(n)) {
2278 struct tnode *tn = (struct tnode *) n;
2279 t_key prf = ntohl(MASK_PFX(tn->key, tn->pos));
2280
2281 if (!NODE_PARENT(n)) {
2282 if (iter->trie == trie_local)
2283 seq_puts(seq, "<local>:\n");
2284 else
2285 seq_puts(seq, "<main>:\n");
Robert Olsson1d25cd62005-09-19 15:29:52 -07002286 }
2287 seq_indent(seq, iter->depth-1);
2288 seq_printf(seq, " +-- %d.%d.%d.%d/%d %d %d %d\n",
2289 NIPQUAD(prf), tn->pos, tn->bits, tn->full_children,
2290 tn->empty_children);
2291
Olof Johansson91b9a272005-08-09 20:24:39 -07002292 } else {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002293 struct leaf *l = (struct leaf *) n;
2294 int i;
2295 u32 val = ntohl(l->key);
2296
2297 seq_indent(seq, iter->depth);
2298 seq_printf(seq, " |-- %d.%d.%d.%d\n", NIPQUAD(val));
2299 for (i = 32; i >= 0; i--) {
Robert Olsson772cb712005-09-19 15:31:18 -07002300 struct leaf_info *li = find_leaf_info(l, i);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002301 if (li) {
2302 struct fib_alias *fa;
2303 list_for_each_entry_rcu(fa, &li->falh, fa_list) {
2304 seq_indent(seq, iter->depth+1);
2305 seq_printf(seq, " /%d %s %s", i,
2306 rtn_scope(fa->fa_scope),
2307 rtn_type(fa->fa_type));
2308 if (fa->fa_tos)
2309 seq_printf(seq, "tos =%d\n",
2310 fa->fa_tos);
2311 seq_putc(seq, '\n');
2312 }
2313 }
2314 }
Robert Olsson19baf832005-06-21 12:43:18 -07002315 }
2316
2317 return 0;
2318}
2319
2320static struct seq_operations fib_trie_seq_ops = {
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002321 .start = fib_trie_seq_start,
2322 .next = fib_trie_seq_next,
2323 .stop = fib_trie_seq_stop,
2324 .show = fib_trie_seq_show,
Robert Olsson19baf832005-06-21 12:43:18 -07002325};
2326
2327static int fib_trie_seq_open(struct inode *inode, struct file *file)
2328{
2329 struct seq_file *seq;
2330 int rc = -ENOMEM;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002331 struct fib_trie_iter *s = kmalloc(sizeof(*s), GFP_KERNEL);
2332
2333 if (!s)
2334 goto out;
Robert Olsson19baf832005-06-21 12:43:18 -07002335
2336 rc = seq_open(file, &fib_trie_seq_ops);
2337 if (rc)
2338 goto out_kfree;
2339
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002340 seq = file->private_data;
2341 seq->private = s;
2342 memset(s, 0, sizeof(*s));
Robert Olsson19baf832005-06-21 12:43:18 -07002343out:
2344 return rc;
2345out_kfree:
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002346 kfree(s);
Robert Olsson19baf832005-06-21 12:43:18 -07002347 goto out;
2348}
2349
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002350static struct file_operations fib_trie_fops = {
2351 .owner = THIS_MODULE,
2352 .open = fib_trie_seq_open,
2353 .read = seq_read,
2354 .llseek = seq_lseek,
2355 .release = seq_release_private,
2356};
2357
2358static unsigned fib_flag_trans(int type, u32 mask, const struct fib_info *fi)
2359{
2360 static unsigned type2flags[RTN_MAX + 1] = {
2361 [7] = RTF_REJECT, [8] = RTF_REJECT,
2362 };
2363 unsigned flags = type2flags[type];
2364
2365 if (fi && fi->fib_nh->nh_gw)
2366 flags |= RTF_GATEWAY;
2367 if (mask == 0xFFFFFFFF)
2368 flags |= RTF_HOST;
2369 flags |= RTF_UP;
2370 return flags;
2371}
2372
2373/*
2374 * This outputs /proc/net/route.
2375 * The format of the file is not supposed to be changed
2376 * and needs to be same as fib_hash output to avoid breaking
2377 * legacy utilities
2378 */
2379static int fib_route_seq_show(struct seq_file *seq, void *v)
2380{
2381 struct leaf *l = v;
2382 int i;
2383 char bf[128];
2384
2385 if (v == SEQ_START_TOKEN) {
2386 seq_printf(seq, "%-127s\n", "Iface\tDestination\tGateway "
2387 "\tFlags\tRefCnt\tUse\tMetric\tMask\t\tMTU"
2388 "\tWindow\tIRTT");
2389 return 0;
2390 }
2391
2392 if (IS_TNODE(l))
2393 return 0;
2394
2395 for (i=32; i>=0; i--) {
Robert Olsson772cb712005-09-19 15:31:18 -07002396 struct leaf_info *li = find_leaf_info(l, i);
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002397 struct fib_alias *fa;
2398 u32 mask, prefix;
2399
2400 if (!li)
2401 continue;
2402
2403 mask = inet_make_mask(li->plen);
2404 prefix = htonl(l->key);
2405
2406 list_for_each_entry_rcu(fa, &li->falh, fa_list) {
Herbert Xu1371e372005-10-15 09:42:39 +10002407 const struct fib_info *fi = fa->fa_info;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002408 unsigned flags = fib_flag_trans(fa->fa_type, mask, fi);
2409
2410 if (fa->fa_type == RTN_BROADCAST
2411 || fa->fa_type == RTN_MULTICAST)
2412 continue;
2413
2414 if (fi)
2415 snprintf(bf, sizeof(bf),
2416 "%s\t%08X\t%08X\t%04X\t%d\t%u\t%d\t%08X\t%d\t%u\t%u",
2417 fi->fib_dev ? fi->fib_dev->name : "*",
2418 prefix,
2419 fi->fib_nh->nh_gw, flags, 0, 0,
2420 fi->fib_priority,
2421 mask,
2422 (fi->fib_advmss ? fi->fib_advmss + 40 : 0),
2423 fi->fib_window,
2424 fi->fib_rtt >> 3);
2425 else
2426 snprintf(bf, sizeof(bf),
2427 "*\t%08X\t%08X\t%04X\t%d\t%u\t%d\t%08X\t%d\t%u\t%u",
2428 prefix, 0, flags, 0, 0, 0,
2429 mask, 0, 0, 0);
2430
2431 seq_printf(seq, "%-127s\n", bf);
2432 }
2433 }
2434
2435 return 0;
2436}
2437
2438static struct seq_operations fib_route_seq_ops = {
2439 .start = fib_trie_seq_start,
2440 .next = fib_trie_seq_next,
2441 .stop = fib_trie_seq_stop,
2442 .show = fib_route_seq_show,
2443};
2444
2445static int fib_route_seq_open(struct inode *inode, struct file *file)
2446{
2447 struct seq_file *seq;
2448 int rc = -ENOMEM;
2449 struct fib_trie_iter *s = kmalloc(sizeof(*s), GFP_KERNEL);
2450
2451 if (!s)
2452 goto out;
2453
2454 rc = seq_open(file, &fib_route_seq_ops);
2455 if (rc)
2456 goto out_kfree;
2457
2458 seq = file->private_data;
2459 seq->private = s;
2460 memset(s, 0, sizeof(*s));
2461out:
2462 return rc;
2463out_kfree:
2464 kfree(s);
2465 goto out;
2466}
2467
2468static struct file_operations fib_route_fops = {
2469 .owner = THIS_MODULE,
2470 .open = fib_route_seq_open,
2471 .read = seq_read,
2472 .llseek = seq_lseek,
2473 .release = seq_release_private,
Robert Olsson19baf832005-06-21 12:43:18 -07002474};
2475
2476int __init fib_proc_init(void)
2477{
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002478 if (!proc_net_fops_create("fib_trie", S_IRUGO, &fib_trie_fops))
2479 goto out1;
2480
2481 if (!proc_net_fops_create("fib_triestat", S_IRUGO, &fib_triestat_fops))
2482 goto out2;
2483
2484 if (!proc_net_fops_create("route", S_IRUGO, &fib_route_fops))
2485 goto out3;
2486
Robert Olsson19baf832005-06-21 12:43:18 -07002487 return 0;
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002488
2489out3:
2490 proc_net_remove("fib_triestat");
2491out2:
2492 proc_net_remove("fib_trie");
2493out1:
2494 return -ENOMEM;
Robert Olsson19baf832005-06-21 12:43:18 -07002495}
2496
2497void __init fib_proc_exit(void)
2498{
2499 proc_net_remove("fib_trie");
Stephen Hemmingercb7b5932005-09-09 13:35:42 -07002500 proc_net_remove("fib_triestat");
2501 proc_net_remove("route");
Robert Olsson19baf832005-06-21 12:43:18 -07002502}
2503
2504#endif /* CONFIG_PROC_FS */