Home | History | Annotate | Line # | Download | only in net
radix.c revision 1.43
      1  1.43     pooka /*	$NetBSD: radix.c,v 1.43 2009/05/27 17:46:50 pooka Exp $	*/
      2   1.7       cgd 
      3   1.1       cgd /*
      4   1.6   mycroft  * Copyright (c) 1988, 1989, 1993
      5   1.6   mycroft  *	The Regents of the University of California.  All rights reserved.
      6   1.1       cgd  *
      7   1.1       cgd  * Redistribution and use in source and binary forms, with or without
      8   1.1       cgd  * modification, are permitted provided that the following conditions
      9   1.1       cgd  * are met:
     10   1.1       cgd  * 1. Redistributions of source code must retain the above copyright
     11   1.1       cgd  *    notice, this list of conditions and the following disclaimer.
     12   1.1       cgd  * 2. Redistributions in binary form must reproduce the above copyright
     13   1.1       cgd  *    notice, this list of conditions and the following disclaimer in the
     14   1.1       cgd  *    documentation and/or other materials provided with the distribution.
     15  1.20       agc  * 3. Neither the name of the University nor the names of its contributors
     16   1.1       cgd  *    may be used to endorse or promote products derived from this software
     17   1.1       cgd  *    without specific prior written permission.
     18   1.1       cgd  *
     19   1.1       cgd  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     20   1.1       cgd  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     21   1.1       cgd  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     22   1.1       cgd  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     23   1.1       cgd  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     24   1.1       cgd  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     25   1.1       cgd  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     26   1.1       cgd  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     27   1.1       cgd  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     28   1.1       cgd  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     29   1.1       cgd  * SUCH DAMAGE.
     30   1.1       cgd  *
     31  1.13      fvdl  *	@(#)radix.c	8.6 (Berkeley) 10/17/95
     32   1.1       cgd  */
     33   1.1       cgd 
     34   1.1       cgd /*
     35   1.1       cgd  * Routines to build and maintain radix trees for routing lookups.
     36   1.1       cgd  */
     37  1.18     lukem 
     38  1.18     lukem #include <sys/cdefs.h>
     39  1.43     pooka __KERNEL_RCSID(0, "$NetBSD: radix.c,v 1.43 2009/05/27 17:46:50 pooka Exp $");
     40  1.18     lukem 
     41  1.12  christos #ifndef _NET_RADIX_H_
     42   1.4   mycroft #include <sys/param.h>
     43  1.43     pooka #include <sys/queue.h>
     44  1.43     pooka #include <sys/kmem.h>
     45  1.12  christos #ifdef	_KERNEL
     46  1.27     enami #include "opt_inet.h"
     47  1.27     enami 
     48   1.4   mycroft #include <sys/systm.h>
     49   1.4   mycroft #include <sys/malloc.h>
     50   1.1       cgd #define	M_DONTWAIT M_NOWAIT
     51   1.6   mycroft #include <sys/domain.h>
     52   1.9   mycroft #else
     53   1.9   mycroft #include <stdlib.h>
     54   1.6   mycroft #endif
     55  1.32    dyoung #include <machine/stdarg.h>
     56   1.9   mycroft #include <sys/syslog.h>
     57   1.4   mycroft #include <net/radix.h>
     58  1.12  christos #endif
     59   1.6   mycroft 
     60  1.32    dyoung typedef void (*rn_printer_t)(void *, const char *fmt, ...);
     61  1.32    dyoung 
     62   1.6   mycroft int	max_keylen;
     63   1.6   mycroft struct radix_mask *rn_mkfreelist;
     64   1.1       cgd struct radix_node_head *mask_rnhead;
     65   1.9   mycroft static char *addmask_key;
     66  1.21      matt static const char normal_chars[] =
     67  1.21      matt     {0, 0x80, 0xc0, 0xe0, 0xf0, 0xf8, 0xfc, 0xfe, -1};
     68   1.6   mycroft static char *rn_zeros, *rn_ones;
     69   1.6   mycroft 
     70   1.6   mycroft #define rn_masktop (mask_rnhead->rnh_treetop)
     71  1.10  christos 
     72  1.23      matt static int rn_satisfies_leaf(const char *, struct radix_node *, int);
     73  1.23      matt static int rn_lexobetter(const void *, const void *);
     74  1.23      matt static struct radix_mask *rn_new_radix_mask(struct radix_node *,
     75  1.23      matt     struct radix_mask *);
     76  1.32    dyoung static struct radix_node *rn_walknext(struct radix_node *, rn_printer_t,
     77  1.32    dyoung     void *);
     78  1.32    dyoung static struct radix_node *rn_walkfirst(struct radix_node *, rn_printer_t,
     79  1.32    dyoung     void *);
     80  1.32    dyoung static void rn_nodeprint(struct radix_node *, rn_printer_t, void *,
     81  1.32    dyoung     const char *);
     82  1.32    dyoung 
     83  1.32    dyoung #define	SUBTREE_OPEN	"[ "
     84  1.32    dyoung #define	SUBTREE_CLOSE	" ]"
     85  1.32    dyoung 
     86  1.32    dyoung #ifdef RN_DEBUG
     87  1.32    dyoung static void rn_treeprint(struct radix_node_head *, rn_printer_t, void *);
     88  1.32    dyoung #endif /* RN_DEBUG */
     89  1.12  christos 
     90   1.1       cgd /*
     91   1.1       cgd  * The data structure for the keys is a radix tree with one way
     92   1.1       cgd  * branching removed.  The index rn_b at an internal node n represents a bit
     93   1.1       cgd  * position to be tested.  The tree is arranged so that all descendants
     94   1.1       cgd  * of a node n have keys whose bits all agree up to position rn_b - 1.
     95   1.1       cgd  * (We say the index of n is rn_b.)
     96   1.1       cgd  *
     97   1.1       cgd  * There is at least one descendant which has a one bit at position rn_b,
     98   1.1       cgd  * and at least one with a zero there.
     99   1.1       cgd  *
    100   1.1       cgd  * A route is determined by a pair of key and mask.  We require that the
    101   1.1       cgd  * bit-wise logical and of the key and mask to be the key.
    102   1.1       cgd  * We define the index of a route to associated with the mask to be
    103   1.1       cgd  * the first bit number in the mask where 0 occurs (with bit number 0
    104   1.1       cgd  * representing the highest order bit).
    105  1.28     perry  *
    106   1.1       cgd  * We say a mask is normal if every bit is 0, past the index of the mask.
    107   1.1       cgd  * If a node n has a descendant (k, m) with index(m) == index(n) == rn_b,
    108   1.1       cgd  * and m is a normal mask, then the route applies to every descendant of n.
    109   1.1       cgd  * If the index(m) < rn_b, this implies the trailing last few bits of k
    110   1.1       cgd  * before bit b are all 0, (and hence consequently true of every descendant
    111   1.1       cgd  * of n), so the route applies to all descendants of the node as well.
    112  1.28     perry  *
    113   1.9   mycroft  * Similar logic shows that a non-normal mask m such that
    114   1.1       cgd  * index(m) <= index(n) could potentially apply to many children of n.
    115   1.1       cgd  * Thus, for each non-host route, we attach its mask to a list at an internal
    116  1.28     perry  * node as high in the tree as we can go.
    117   1.9   mycroft  *
    118   1.9   mycroft  * The present version of the code makes use of normal routes in short-
    119  1.31       wiz  * circuiting an explicit mask and compare operation when testing whether
    120   1.9   mycroft  * a key satisfies a normal route, and also in remembering the unique leaf
    121   1.9   mycroft  * that governs a subtree.
    122   1.1       cgd  */
    123   1.1       cgd 
    124   1.1       cgd struct radix_node *
    125  1.23      matt rn_search(
    126  1.23      matt 	const void *v_arg,
    127  1.23      matt 	struct radix_node *head)
    128   1.1       cgd {
    129  1.21      matt 	const u_char * const v = v_arg;
    130  1.14  augustss 	struct radix_node *x;
    131   1.1       cgd 
    132  1.21      matt 	for (x = head; x->rn_b >= 0;) {
    133   1.1       cgd 		if (x->rn_bmask & v[x->rn_off])
    134   1.1       cgd 			x = x->rn_r;
    135   1.1       cgd 		else
    136   1.1       cgd 			x = x->rn_l;
    137   1.1       cgd 	}
    138  1.37    dyoung 	return x;
    139  1.13      fvdl }
    140   1.1       cgd 
    141   1.1       cgd struct radix_node *
    142  1.23      matt rn_search_m(
    143  1.23      matt 	const void *v_arg,
    144  1.23      matt 	struct radix_node *head,
    145  1.23      matt 	const void *m_arg)
    146   1.1       cgd {
    147  1.14  augustss 	struct radix_node *x;
    148  1.21      matt 	const u_char * const v = v_arg;
    149  1.21      matt 	const u_char * const m = m_arg;
    150   1.1       cgd 
    151   1.1       cgd 	for (x = head; x->rn_b >= 0;) {
    152   1.1       cgd 		if ((x->rn_bmask & m[x->rn_off]) &&
    153   1.1       cgd 		    (x->rn_bmask & v[x->rn_off]))
    154   1.1       cgd 			x = x->rn_r;
    155   1.1       cgd 		else
    156   1.1       cgd 			x = x->rn_l;
    157   1.1       cgd 	}
    158   1.1       cgd 	return x;
    159  1.13      fvdl }
    160   1.1       cgd 
    161   1.6   mycroft int
    162  1.23      matt rn_refines(
    163  1.23      matt 	const void *m_arg,
    164  1.23      matt 	const void *n_arg)
    165   1.6   mycroft {
    166  1.21      matt 	const char *m = m_arg;
    167  1.21      matt 	const char *n = n_arg;
    168  1.29  christos 	const char *lim = n + *(const u_char *)n;
    169  1.21      matt 	const char *lim2 = lim;
    170  1.29  christos 	int longer = (*(const u_char *)n++) - (int)(*(const u_char *)m++);
    171   1.6   mycroft 	int masks_are_equal = 1;
    172   1.6   mycroft 
    173   1.6   mycroft 	if (longer > 0)
    174   1.6   mycroft 		lim -= longer;
    175   1.6   mycroft 	while (n < lim) {
    176   1.6   mycroft 		if (*n & ~(*m))
    177   1.6   mycroft 			return 0;
    178   1.6   mycroft 		if (*n++ != *m++)
    179   1.6   mycroft 			masks_are_equal = 0;
    180   1.6   mycroft 	}
    181   1.6   mycroft 	while (n < lim2)
    182   1.6   mycroft 		if (*n++)
    183   1.6   mycroft 			return 0;
    184   1.6   mycroft 	if (masks_are_equal && (longer < 0))
    185   1.6   mycroft 		for (lim2 = m - longer; m < lim2; )
    186   1.6   mycroft 			if (*m++)
    187   1.6   mycroft 				return 1;
    188  1.37    dyoung 	return !masks_are_equal;
    189   1.6   mycroft }
    190   1.1       cgd 
    191   1.9   mycroft struct radix_node *
    192  1.23      matt rn_lookup(
    193  1.23      matt 	const void *v_arg,
    194  1.23      matt 	const void *m_arg,
    195  1.23      matt 	struct radix_node_head *head)
    196   1.9   mycroft {
    197  1.14  augustss 	struct radix_node *x;
    198  1.21      matt 	const char *netmask = NULL;
    199   1.9   mycroft 
    200   1.9   mycroft 	if (m_arg) {
    201   1.9   mycroft 		if ((x = rn_addmask(m_arg, 1, head->rnh_treetop->rn_off)) == 0)
    202  1.37    dyoung 			return NULL;
    203   1.9   mycroft 		netmask = x->rn_key;
    204   1.9   mycroft 	}
    205   1.9   mycroft 	x = rn_match(v_arg, head);
    206  1.37    dyoung 	if (x != NULL && netmask != NULL) {
    207  1.37    dyoung 		while (x != NULL && x->rn_mask != netmask)
    208   1.9   mycroft 			x = x->rn_dupedkey;
    209   1.9   mycroft 	}
    210   1.9   mycroft 	return x;
    211   1.9   mycroft }
    212   1.9   mycroft 
    213  1.10  christos static int
    214  1.23      matt rn_satisfies_leaf(
    215  1.23      matt 	const char *trial,
    216  1.23      matt 	struct radix_node *leaf,
    217  1.23      matt 	int skip)
    218  1.23      matt {
    219  1.23      matt 	const char *cp = trial;
    220  1.23      matt 	const char *cp2 = leaf->rn_key;
    221  1.23      matt 	const char *cp3 = leaf->rn_mask;
    222  1.21      matt 	const char *cplim;
    223  1.29  christos 	int length = min(*(const u_char *)cp, *(const u_char *)cp2);
    224   1.9   mycroft 
    225   1.9   mycroft 	if (cp3 == 0)
    226   1.9   mycroft 		cp3 = rn_ones;
    227   1.9   mycroft 	else
    228  1.29  christos 		length = min(length, *(const u_char *)cp3);
    229   1.9   mycroft 	cplim = cp + length; cp3 += skip; cp2 += skip;
    230   1.9   mycroft 	for (cp += skip; cp < cplim; cp++, cp2++, cp3++)
    231   1.9   mycroft 		if ((*cp ^ *cp2) & *cp3)
    232   1.9   mycroft 			return 0;
    233   1.9   mycroft 	return 1;
    234   1.9   mycroft }
    235   1.1       cgd 
    236   1.1       cgd struct radix_node *
    237  1.23      matt rn_match(
    238  1.23      matt 	const void *v_arg,
    239  1.23      matt 	struct radix_node_head *head)
    240   1.1       cgd {
    241  1.21      matt 	const char * const v = v_arg;
    242  1.23      matt 	struct radix_node *t = head->rnh_treetop;
    243  1.23      matt 	struct radix_node *top = t;
    244  1.23      matt 	struct radix_node *x;
    245  1.23      matt 	struct radix_node *saved_t;
    246  1.21      matt 	const char *cp = v;
    247  1.21      matt 	const char *cp2;
    248  1.21      matt 	const char *cplim;
    249  1.23      matt 	int off = t->rn_off;
    250  1.29  christos 	int vlen = *(const u_char *)cp;
    251  1.23      matt 	int matched_off;
    252  1.14  augustss 	int test, b, rn_b;
    253   1.1       cgd 
    254   1.1       cgd 	/*
    255   1.6   mycroft 	 * Open code rn_search(v, top) to avoid overhead of extra
    256   1.1       cgd 	 * subroutine call.
    257   1.1       cgd 	 */
    258   1.1       cgd 	for (; t->rn_b >= 0; ) {
    259   1.1       cgd 		if (t->rn_bmask & cp[t->rn_off])
    260   1.1       cgd 			t = t->rn_r;
    261   1.1       cgd 		else
    262   1.1       cgd 			t = t->rn_l;
    263   1.1       cgd 	}
    264   1.1       cgd 	/*
    265   1.1       cgd 	 * See if we match exactly as a host destination
    266   1.9   mycroft 	 * or at least learn how many bits match, for normal mask finesse.
    267   1.9   mycroft 	 *
    268   1.9   mycroft 	 * It doesn't hurt us to limit how many bytes to check
    269   1.9   mycroft 	 * to the length of the mask, since if it matches we had a genuine
    270   1.9   mycroft 	 * match and the leaf we have is the most specific one anyway;
    271   1.9   mycroft 	 * if it didn't match with a shorter length it would fail
    272   1.9   mycroft 	 * with a long one.  This wins big for class B&C netmasks which
    273   1.9   mycroft 	 * are probably the most common case...
    274   1.1       cgd 	 */
    275   1.9   mycroft 	if (t->rn_mask)
    276  1.29  christos 		vlen = *(const u_char *)t->rn_mask;
    277   1.1       cgd 	cp += off; cp2 = t->rn_key + off; cplim = v + vlen;
    278   1.1       cgd 	for (; cp < cplim; cp++, cp2++)
    279   1.1       cgd 		if (*cp != *cp2)
    280   1.1       cgd 			goto on1;
    281   1.1       cgd 	/*
    282   1.1       cgd 	 * This extra grot is in case we are explicitly asked
    283   1.1       cgd 	 * to look up the default.  Ugh!
    284   1.1       cgd 	 */
    285   1.1       cgd 	if ((t->rn_flags & RNF_ROOT) && t->rn_dupedkey)
    286   1.1       cgd 		t = t->rn_dupedkey;
    287   1.1       cgd 	return t;
    288   1.1       cgd on1:
    289   1.9   mycroft 	test = (*cp ^ *cp2) & 0xff; /* find first bit that differs */
    290   1.9   mycroft 	for (b = 7; (test >>= 1) > 0;)
    291   1.9   mycroft 		b--;
    292   1.1       cgd 	matched_off = cp - v;
    293   1.9   mycroft 	b += matched_off << 3;
    294   1.9   mycroft 	rn_b = -1 - b;
    295   1.9   mycroft 	/*
    296   1.9   mycroft 	 * If there is a host route in a duped-key chain, it will be first.
    297   1.9   mycroft 	 */
    298   1.9   mycroft 	if ((saved_t = t)->rn_mask == 0)
    299   1.9   mycroft 		t = t->rn_dupedkey;
    300   1.9   mycroft 	for (; t; t = t->rn_dupedkey)
    301   1.1       cgd 		/*
    302   1.9   mycroft 		 * Even if we don't match exactly as a host,
    303   1.1       cgd 		 * we may match if the leaf we wound up at is
    304   1.1       cgd 		 * a route to a net.
    305   1.1       cgd 		 */
    306   1.9   mycroft 		if (t->rn_flags & RNF_NORMAL) {
    307   1.9   mycroft 			if (rn_b <= t->rn_b)
    308   1.9   mycroft 				return t;
    309  1.15    itojun 		} else if (rn_satisfies_leaf(v, t, matched_off))
    310   1.9   mycroft 				return t;
    311   1.1       cgd 	t = saved_t;
    312   1.1       cgd 	/* start searching up the tree */
    313   1.1       cgd 	do {
    314  1.14  augustss 		struct radix_mask *m;
    315   1.1       cgd 		t = t->rn_p;
    316  1.12  christos 		m = t->rn_mklist;
    317  1.12  christos 		if (m) {
    318   1.1       cgd 			/*
    319   1.9   mycroft 			 * If non-contiguous masks ever become important
    320   1.9   mycroft 			 * we can restore the masking and open coding of
    321   1.9   mycroft 			 * the search and satisfaction test and put the
    322   1.9   mycroft 			 * calculation of "off" back before the "do".
    323   1.1       cgd 			 */
    324   1.1       cgd 			do {
    325   1.9   mycroft 				if (m->rm_flags & RNF_NORMAL) {
    326   1.9   mycroft 					if (rn_b <= m->rm_b)
    327  1.37    dyoung 						return m->rm_leaf;
    328   1.9   mycroft 				} else {
    329   1.9   mycroft 					off = min(t->rn_off, matched_off);
    330   1.9   mycroft 					x = rn_search_m(v, t, m->rm_mask);
    331   1.9   mycroft 					while (x && x->rn_mask != m->rm_mask)
    332   1.9   mycroft 						x = x->rn_dupedkey;
    333  1.15    itojun 					if (x && rn_satisfies_leaf(v, x, off))
    334  1.17    itojun 						return x;
    335   1.9   mycroft 				}
    336  1.15    itojun 				m = m->rm_mklist;
    337  1.12  christos 			} while (m);
    338   1.1       cgd 		}
    339   1.6   mycroft 	} while (t != top);
    340  1.37    dyoung 	return NULL;
    341  1.13      fvdl }
    342  1.28     perry 
    343  1.32    dyoung static void
    344  1.32    dyoung rn_nodeprint(struct radix_node *rn, rn_printer_t printer, void *arg,
    345  1.32    dyoung     const char *delim)
    346  1.32    dyoung {
    347  1.32    dyoung 	(*printer)(arg, "%s(%s%p: p<%p> l<%p> r<%p>)",
    348  1.32    dyoung 	    delim, ((void *)rn == arg) ? "*" : "", rn, rn->rn_p,
    349  1.32    dyoung 	    rn->rn_l, rn->rn_r);
    350  1.32    dyoung }
    351  1.32    dyoung 
    352   1.1       cgd #ifdef RN_DEBUG
    353   1.6   mycroft int	rn_debug =  1;
    354  1.32    dyoung 
    355  1.32    dyoung static void
    356  1.32    dyoung rn_dbg_print(void *arg, const char *fmt, ...)
    357  1.32    dyoung {
    358  1.32    dyoung 	va_list ap;
    359  1.32    dyoung 
    360  1.32    dyoung 	va_start(ap, fmt);
    361  1.32    dyoung 	vlog(LOG_DEBUG, fmt, ap);
    362  1.32    dyoung 	va_end(ap);
    363  1.32    dyoung }
    364  1.32    dyoung 
    365  1.32    dyoung static void
    366  1.32    dyoung rn_treeprint(struct radix_node_head *h, rn_printer_t printer, void *arg)
    367  1.32    dyoung {
    368  1.32    dyoung 	struct radix_node *dup, *rn;
    369  1.32    dyoung 	const char *delim;
    370  1.32    dyoung 
    371  1.32    dyoung 	if (printer == NULL)
    372  1.32    dyoung 		return;
    373  1.32    dyoung 
    374  1.32    dyoung 	rn = rn_walkfirst(h->rnh_treetop, printer, arg);
    375  1.32    dyoung 	for (;;) {
    376  1.32    dyoung 		/* Process leaves */
    377  1.32    dyoung 		delim = "";
    378  1.32    dyoung 		for (dup = rn; dup != NULL; dup = dup->rn_dupedkey) {
    379  1.32    dyoung 			if ((dup->rn_flags & RNF_ROOT) != 0)
    380  1.32    dyoung 				continue;
    381  1.32    dyoung 			rn_nodeprint(dup, printer, arg, delim);
    382  1.32    dyoung 			delim = ", ";
    383  1.32    dyoung 		}
    384  1.32    dyoung 		rn = rn_walknext(rn, printer, arg);
    385  1.32    dyoung 		if (rn->rn_flags & RNF_ROOT)
    386  1.32    dyoung 			return;
    387  1.32    dyoung 	}
    388  1.32    dyoung 	/* NOTREACHED */
    389  1.32    dyoung }
    390  1.32    dyoung 
    391  1.32    dyoung #define	traverse(__head, __rn)	rn_treeprint((__head), rn_dbg_print, (__rn))
    392  1.32    dyoung #endif /* RN_DEBUG */
    393   1.1       cgd 
    394   1.1       cgd struct radix_node *
    395  1.23      matt rn_newpair(
    396  1.23      matt 	const void *v,
    397  1.23      matt 	int b,
    398  1.23      matt 	struct radix_node nodes[2])
    399   1.1       cgd {
    400  1.23      matt 	struct radix_node *tt = nodes;
    401  1.23      matt 	struct radix_node *t = tt + 1;
    402   1.1       cgd 	t->rn_b = b; t->rn_bmask = 0x80 >> (b & 7);
    403   1.1       cgd 	t->rn_l = tt; t->rn_off = b >> 3;
    404  1.21      matt 	tt->rn_b = -1; tt->rn_key = v; tt->rn_p = t;
    405   1.1       cgd 	tt->rn_flags = t->rn_flags = RNF_ACTIVE;
    406   1.1       cgd 	return t;
    407   1.1       cgd }
    408   1.1       cgd 
    409   1.1       cgd struct radix_node *
    410  1.23      matt rn_insert(
    411  1.23      matt 	const void *v_arg,
    412  1.23      matt 	struct radix_node_head *head,
    413  1.23      matt 	int *dupentry,
    414  1.23      matt 	struct radix_node nodes[2])
    415   1.1       cgd {
    416   1.6   mycroft 	struct radix_node *top = head->rnh_treetop;
    417  1.14  augustss 	struct radix_node *t = rn_search(v_arg, top);
    418  1.23      matt 	struct radix_node *tt;
    419  1.23      matt 	const char *v = v_arg;
    420  1.21      matt 	int head_off = top->rn_off;
    421  1.29  christos 	int vlen = *((const u_char *)v);
    422  1.21      matt 	const char *cp = v + head_off;
    423  1.14  augustss 	int b;
    424   1.1       cgd     	/*
    425   1.9   mycroft 	 * Find first bit at which v and t->rn_key differ
    426   1.1       cgd 	 */
    427   1.1       cgd     {
    428  1.21      matt 	const char *cp2 = t->rn_key + head_off;
    429  1.21      matt 	const char *cplim = v + vlen;
    430  1.14  augustss 	int cmp_res;
    431   1.1       cgd 
    432   1.1       cgd 	while (cp < cplim)
    433   1.1       cgd 		if (*cp2++ != *cp++)
    434   1.1       cgd 			goto on1;
    435   1.1       cgd 	*dupentry = 1;
    436   1.1       cgd 	return t;
    437   1.1       cgd on1:
    438   1.1       cgd 	*dupentry = 0;
    439   1.1       cgd 	cmp_res = (cp[-1] ^ cp2[-1]) & 0xff;
    440   1.1       cgd 	for (b = (cp - v) << 3; cmp_res; b--)
    441   1.1       cgd 		cmp_res >>= 1;
    442   1.1       cgd     }
    443   1.1       cgd     {
    444  1.14  augustss 	struct radix_node *p, *x = top;
    445   1.1       cgd 	cp = v;
    446   1.1       cgd 	do {
    447   1.1       cgd 		p = x;
    448  1.28     perry 		if (cp[x->rn_off] & x->rn_bmask)
    449   1.1       cgd 			x = x->rn_r;
    450   1.1       cgd 		else x = x->rn_l;
    451   1.1       cgd 	} while (b > (unsigned) x->rn_b); /* x->rn_b < b && x->rn_b >= 0 */
    452   1.1       cgd #ifdef RN_DEBUG
    453   1.1       cgd 	if (rn_debug)
    454  1.32    dyoung 		log(LOG_DEBUG, "%s: Going In:\n", __func__), traverse(head, p);
    455   1.1       cgd #endif
    456   1.6   mycroft 	t = rn_newpair(v_arg, b, nodes); tt = t->rn_l;
    457   1.1       cgd 	if ((cp[p->rn_off] & p->rn_bmask) == 0)
    458   1.1       cgd 		p->rn_l = t;
    459   1.1       cgd 	else
    460   1.1       cgd 		p->rn_r = t;
    461   1.1       cgd 	x->rn_p = t; t->rn_p = p; /* frees x, p as temp vars below */
    462   1.1       cgd 	if ((cp[t->rn_off] & t->rn_bmask) == 0) {
    463   1.1       cgd 		t->rn_r = x;
    464   1.1       cgd 	} else {
    465   1.1       cgd 		t->rn_r = tt; t->rn_l = x;
    466   1.1       cgd 	}
    467   1.1       cgd #ifdef RN_DEBUG
    468  1.32    dyoung 	if (rn_debug) {
    469  1.32    dyoung 		log(LOG_DEBUG, "%s: Coming Out:\n", __func__),
    470  1.32    dyoung 		    traverse(head, p);
    471  1.32    dyoung 	}
    472  1.32    dyoung #endif /* RN_DEBUG */
    473   1.1       cgd     }
    474  1.37    dyoung 	return tt;
    475   1.1       cgd }
    476   1.1       cgd 
    477   1.1       cgd struct radix_node *
    478  1.23      matt rn_addmask(
    479  1.23      matt 	const void *n_arg,
    480  1.23      matt 	int search,
    481  1.23      matt 	int skip)
    482   1.1       cgd {
    483  1.21      matt 	const char *netmask = n_arg;
    484  1.21      matt 	const char *cp;
    485  1.21      matt 	const char *cplim;
    486  1.23      matt 	struct radix_node *x;
    487  1.23      matt 	struct radix_node *saved_x;
    488  1.14  augustss 	int b = 0, mlen, j;
    489   1.9   mycroft 	int maskduplicated, m0, isnormal;
    490   1.9   mycroft 	static int last_zeroed = 0;
    491   1.9   mycroft 
    492  1.29  christos 	if ((mlen = *(const u_char *)netmask) > max_keylen)
    493   1.9   mycroft 		mlen = max_keylen;
    494   1.9   mycroft 	if (skip == 0)
    495   1.9   mycroft 		skip = 1;
    496   1.9   mycroft 	if (mlen <= skip)
    497  1.37    dyoung 		return mask_rnhead->rnh_nodes;
    498   1.9   mycroft 	if (skip > 1)
    499  1.39    dyoung 		memmove(addmask_key + 1, rn_ones + 1, skip - 1);
    500   1.9   mycroft 	if ((m0 = mlen) > skip)
    501  1.39    dyoung 		memmove(addmask_key + skip, netmask + skip, mlen - skip);
    502   1.9   mycroft 	/*
    503   1.9   mycroft 	 * Trim trailing zeroes.
    504   1.9   mycroft 	 */
    505   1.9   mycroft 	for (cp = addmask_key + mlen; (cp > addmask_key) && cp[-1] == 0;)
    506   1.9   mycroft 		cp--;
    507   1.9   mycroft 	mlen = cp - addmask_key;
    508   1.9   mycroft 	if (mlen <= skip) {
    509   1.9   mycroft 		if (m0 >= last_zeroed)
    510   1.9   mycroft 			last_zeroed = mlen;
    511  1.37    dyoung 		return mask_rnhead->rnh_nodes;
    512   1.9   mycroft 	}
    513   1.9   mycroft 	if (m0 < last_zeroed)
    514  1.39    dyoung 		memset(addmask_key + m0, 0, last_zeroed - m0);
    515   1.9   mycroft 	*addmask_key = last_zeroed = mlen;
    516   1.9   mycroft 	x = rn_search(addmask_key, rn_masktop);
    517  1.39    dyoung 	if (memcmp(addmask_key, x->rn_key, mlen) != 0)
    518   1.9   mycroft 		x = 0;
    519   1.9   mycroft 	if (x || search)
    520  1.37    dyoung 		return x;
    521   1.6   mycroft 	R_Malloc(x, struct radix_node *, max_keylen + 2 * sizeof (*x));
    522  1.37    dyoung 	if ((saved_x = x) == NULL)
    523  1.37    dyoung 		return NULL;
    524  1.39    dyoung 	memset(x, 0, max_keylen + 2 * sizeof (*x));
    525  1.34  christos 	cp = netmask = (void *)(x + 2);
    526  1.39    dyoung 	memmove(x + 2, addmask_key, mlen);
    527   1.9   mycroft 	x = rn_insert(cp, mask_rnhead, &maskduplicated, x);
    528   1.9   mycroft 	if (maskduplicated) {
    529  1.16     enami 		log(LOG_ERR, "rn_addmask: mask impossibly already in tree\n");
    530   1.9   mycroft 		Free(saved_x);
    531  1.37    dyoung 		return x;
    532   1.9   mycroft 	}
    533   1.9   mycroft 	/*
    534   1.9   mycroft 	 * Calculate index of mask, and check for normalcy.
    535   1.9   mycroft 	 */
    536   1.9   mycroft 	cplim = netmask + mlen; isnormal = 1;
    537  1.29  christos 	for (cp = netmask + skip; (cp < cplim) && *(const u_char *)cp == 0xff;)
    538   1.9   mycroft 		cp++;
    539   1.1       cgd 	if (cp != cplim) {
    540  1.28     perry 		for (j = 0x80; (j & *cp) != 0; j >>= 1)
    541   1.9   mycroft 			b++;
    542   1.9   mycroft 		if (*cp != normal_chars[b] || cp != (cplim - 1))
    543   1.9   mycroft 			isnormal = 0;
    544   1.1       cgd 	}
    545   1.9   mycroft 	b += (cp - netmask) << 3;
    546   1.1       cgd 	x->rn_b = -1 - b;
    547   1.9   mycroft 	if (isnormal)
    548   1.9   mycroft 		x->rn_flags |= RNF_NORMAL;
    549  1.37    dyoung 	return x;
    550   1.1       cgd }
    551   1.1       cgd 
    552   1.9   mycroft static int	/* XXX: arbitrary ordering for non-contiguous masks */
    553  1.23      matt rn_lexobetter(
    554  1.23      matt 	const void *m_arg,
    555  1.23      matt 	const void *n_arg)
    556  1.23      matt {
    557  1.23      matt 	const u_char *mp = m_arg;
    558  1.23      matt 	const u_char *np = n_arg;
    559  1.23      matt 	const u_char *lim;
    560   1.9   mycroft 
    561   1.9   mycroft 	if (*mp > *np)
    562   1.9   mycroft 		return 1;  /* not really, but need to check longer one first */
    563  1.28     perry 	if (*mp == *np)
    564   1.9   mycroft 		for (lim = mp + *mp; mp < lim;)
    565   1.9   mycroft 			if (*mp++ > *np++)
    566   1.9   mycroft 				return 1;
    567   1.9   mycroft 	return 0;
    568   1.9   mycroft }
    569   1.9   mycroft 
    570   1.9   mycroft static struct radix_mask *
    571  1.23      matt rn_new_radix_mask(
    572  1.23      matt 	struct radix_node *tt,
    573  1.23      matt 	struct radix_mask *next)
    574   1.9   mycroft {
    575  1.14  augustss 	struct radix_mask *m;
    576   1.9   mycroft 
    577   1.9   mycroft 	MKGet(m);
    578  1.37    dyoung 	if (m == NULL) {
    579   1.9   mycroft 		log(LOG_ERR, "Mask for route not entered\n");
    580  1.37    dyoung 		return NULL;
    581   1.9   mycroft 	}
    582  1.39    dyoung 	memset(m, 0, sizeof(*m));
    583   1.9   mycroft 	m->rm_b = tt->rn_b;
    584   1.9   mycroft 	m->rm_flags = tt->rn_flags;
    585   1.9   mycroft 	if (tt->rn_flags & RNF_NORMAL)
    586   1.9   mycroft 		m->rm_leaf = tt;
    587   1.9   mycroft 	else
    588   1.9   mycroft 		m->rm_mask = tt->rn_mask;
    589   1.9   mycroft 	m->rm_mklist = next;
    590   1.9   mycroft 	tt->rn_mklist = m;
    591   1.9   mycroft 	return m;
    592   1.9   mycroft }
    593   1.9   mycroft 
    594   1.1       cgd struct radix_node *
    595  1.23      matt rn_addroute(
    596  1.23      matt 	const void *v_arg,
    597  1.23      matt 	const void *n_arg,
    598  1.23      matt 	struct radix_node_head *head,
    599  1.23      matt 	struct radix_node treenodes[2])
    600   1.1       cgd {
    601  1.33    dyoung 	const char *v = v_arg, *netmask = n_arg;
    602  1.33    dyoung 	struct radix_node *t, *x = NULL, *tt;
    603  1.33    dyoung 	struct radix_node *saved_tt, *top = head->rnh_treetop;
    604  1.10  christos 	short b = 0, b_leaf = 0;
    605   1.9   mycroft 	int keyduplicated;
    606  1.21      matt 	const char *mmask;
    607   1.1       cgd 	struct radix_mask *m, **mp;
    608   1.1       cgd 
    609   1.1       cgd 	/*
    610   1.1       cgd 	 * In dealing with non-contiguous masks, there may be
    611   1.1       cgd 	 * many different routes which have the same mask.
    612   1.1       cgd 	 * We will find it useful to have a unique pointer to
    613   1.1       cgd 	 * the mask to speed avoiding duplicate references at
    614   1.1       cgd 	 * nodes and possibly save time in calculating indices.
    615   1.1       cgd 	 */
    616  1.38    dyoung 	if (netmask != NULL) {
    617  1.37    dyoung 		if ((x = rn_addmask(netmask, 0, top->rn_off)) == NULL)
    618  1.37    dyoung 			return NULL;
    619   1.9   mycroft 		b_leaf = x->rn_b;
    620   1.9   mycroft 		b = -1 - x->rn_b;
    621   1.1       cgd 		netmask = x->rn_key;
    622   1.1       cgd 	}
    623   1.1       cgd 	/*
    624   1.1       cgd 	 * Deal with duplicated keys: attach node to previous instance
    625   1.1       cgd 	 */
    626   1.1       cgd 	saved_tt = tt = rn_insert(v, head, &keyduplicated, treenodes);
    627   1.1       cgd 	if (keyduplicated) {
    628  1.38    dyoung 		for (t = tt; tt != NULL; t = tt, tt = tt->rn_dupedkey) {
    629   1.1       cgd 			if (tt->rn_mask == netmask)
    630  1.37    dyoung 				return NULL;
    631  1.38    dyoung 			if (netmask == NULL ||
    632  1.38    dyoung 			    (tt->rn_mask != NULL &&
    633  1.38    dyoung 			     (b_leaf < tt->rn_b || /* index(netmask) > node */
    634   1.9   mycroft 			       rn_refines(netmask, tt->rn_mask) ||
    635   1.9   mycroft 			       rn_lexobetter(netmask, tt->rn_mask))))
    636   1.6   mycroft 				break;
    637   1.9   mycroft 		}
    638   1.1       cgd 		/*
    639   1.1       cgd 		 * If the mask is not duplicated, we wouldn't
    640   1.1       cgd 		 * find it among possible duplicate key entries
    641   1.1       cgd 		 * anyway, so the above test doesn't hurt.
    642   1.1       cgd 		 *
    643   1.6   mycroft 		 * We sort the masks for a duplicated key the same way as
    644   1.6   mycroft 		 * in a masklist -- most specific to least specific.
    645   1.6   mycroft 		 * This may require the unfortunate nuisance of relocating
    646   1.1       cgd 		 * the head of the list.
    647  1.12  christos 		 *
    648  1.12  christos 		 * We also reverse, or doubly link the list through the
    649  1.12  christos 		 * parent pointer.
    650   1.1       cgd 		 */
    651   1.9   mycroft 		if (tt == saved_tt) {
    652   1.6   mycroft 			struct	radix_node *xx = x;
    653   1.6   mycroft 			/* link in at head of list */
    654   1.6   mycroft 			(tt = treenodes)->rn_dupedkey = t;
    655   1.6   mycroft 			tt->rn_flags = t->rn_flags;
    656   1.6   mycroft 			tt->rn_p = x = t->rn_p;
    657  1.12  christos 			t->rn_p = tt;
    658  1.33    dyoung 			if (x->rn_l == t)
    659  1.33    dyoung 				x->rn_l = tt;
    660  1.33    dyoung 			else
    661  1.33    dyoung 				x->rn_r = tt;
    662  1.33    dyoung 			saved_tt = tt;
    663  1.33    dyoung 			x = xx;
    664   1.6   mycroft 		} else {
    665   1.6   mycroft 			(tt = treenodes)->rn_dupedkey = t->rn_dupedkey;
    666   1.6   mycroft 			t->rn_dupedkey = tt;
    667  1.12  christos 			tt->rn_p = t;
    668  1.12  christos 			if (tt->rn_dupedkey)
    669  1.12  christos 				tt->rn_dupedkey->rn_p = tt;
    670   1.6   mycroft 		}
    671  1.36    dyoung 		tt->rn_key = v;
    672   1.1       cgd 		tt->rn_b = -1;
    673   1.9   mycroft 		tt->rn_flags = RNF_ACTIVE;
    674   1.1       cgd 	}
    675   1.1       cgd 	/*
    676   1.1       cgd 	 * Put mask in tree.
    677   1.1       cgd 	 */
    678  1.38    dyoung 	if (netmask != NULL) {
    679   1.1       cgd 		tt->rn_mask = netmask;
    680   1.1       cgd 		tt->rn_b = x->rn_b;
    681   1.9   mycroft 		tt->rn_flags |= x->rn_flags & RNF_NORMAL;
    682   1.1       cgd 	}
    683   1.1       cgd 	t = saved_tt->rn_p;
    684   1.9   mycroft 	if (keyduplicated)
    685   1.9   mycroft 		goto on2;
    686   1.1       cgd 	b_leaf = -1 - t->rn_b;
    687  1.33    dyoung 	if (t->rn_r == saved_tt)
    688  1.33    dyoung 		x = t->rn_l;
    689  1.33    dyoung 	else
    690  1.33    dyoung 		x = t->rn_r;
    691   1.1       cgd 	/* Promote general routes from below */
    692  1.28     perry 	if (x->rn_b < 0) {
    693  1.38    dyoung 		for (mp = &t->rn_mklist; x != NULL; x = x->rn_dupedkey) {
    694  1.38    dyoung 			if (x->rn_mask != NULL && x->rn_b >= b_leaf &&
    695  1.38    dyoung 			    x->rn_mklist == NULL) {
    696  1.38    dyoung 				*mp = m = rn_new_radix_mask(x, NULL);
    697  1.38    dyoung 				if (m != NULL)
    698  1.38    dyoung 					mp = &m->rm_mklist;
    699  1.38    dyoung 			}
    700   1.1       cgd 		}
    701  1.38    dyoung 	} else if (x->rn_mklist != NULL) {
    702   1.1       cgd 		/*
    703   1.1       cgd 		 * Skip over masks whose index is > that of new node
    704   1.1       cgd 		 */
    705  1.38    dyoung 		for (mp = &x->rn_mklist; (m = *mp) != NULL; mp = &m->rm_mklist)
    706   1.1       cgd 			if (m->rm_b >= b_leaf)
    707   1.1       cgd 				break;
    708  1.33    dyoung 		t->rn_mklist = m;
    709  1.38    dyoung 		*mp = NULL;
    710   1.1       cgd 	}
    711   1.9   mycroft on2:
    712   1.1       cgd 	/* Add new route to highest possible ancestor's list */
    713  1.38    dyoung 	if (netmask == NULL || b > t->rn_b)
    714   1.1       cgd 		return tt; /* can't lift at all */
    715   1.1       cgd 	b_leaf = tt->rn_b;
    716   1.1       cgd 	do {
    717   1.1       cgd 		x = t;
    718   1.1       cgd 		t = t->rn_p;
    719   1.6   mycroft 	} while (b <= t->rn_b && x != top);
    720   1.1       cgd 	/*
    721   1.1       cgd 	 * Search through routes associated with node to
    722   1.1       cgd 	 * insert new route according to index.
    723   1.9   mycroft 	 * Need same criteria as when sorting dupedkeys to avoid
    724   1.9   mycroft 	 * double loop on deletion.
    725   1.1       cgd 	 */
    726  1.38    dyoung 	for (mp = &x->rn_mklist; (m = *mp) != NULL; mp = &m->rm_mklist) {
    727   1.1       cgd 		if (m->rm_b < b_leaf)
    728   1.1       cgd 			continue;
    729   1.1       cgd 		if (m->rm_b > b_leaf)
    730   1.1       cgd 			break;
    731   1.9   mycroft 		if (m->rm_flags & RNF_NORMAL) {
    732   1.9   mycroft 			mmask = m->rm_leaf->rn_mask;
    733   1.9   mycroft 			if (tt->rn_flags & RNF_NORMAL) {
    734  1.16     enami 				log(LOG_ERR, "Non-unique normal route,"
    735  1.16     enami 				    " mask not entered\n");
    736   1.9   mycroft 				return tt;
    737   1.9   mycroft 			}
    738   1.9   mycroft 		} else
    739   1.9   mycroft 			mmask = m->rm_mask;
    740   1.9   mycroft 		if (mmask == netmask) {
    741   1.1       cgd 			m->rm_refs++;
    742   1.1       cgd 			tt->rn_mklist = m;
    743   1.1       cgd 			return tt;
    744   1.1       cgd 		}
    745   1.9   mycroft 		if (rn_refines(netmask, mmask) || rn_lexobetter(netmask, mmask))
    746   1.6   mycroft 			break;
    747   1.1       cgd 	}
    748   1.9   mycroft 	*mp = rn_new_radix_mask(tt, *mp);
    749   1.1       cgd 	return tt;
    750   1.1       cgd }
    751   1.1       cgd 
    752   1.1       cgd struct radix_node *
    753  1.33    dyoung rn_delete1(
    754  1.23      matt 	const void *v_arg,
    755  1.23      matt 	const void *netmask_arg,
    756  1.33    dyoung 	struct radix_node_head *head,
    757  1.33    dyoung 	struct radix_node *rn)
    758  1.23      matt {
    759  1.33    dyoung 	struct radix_node *t, *p, *x, *tt;
    760  1.33    dyoung 	struct radix_mask *m, *saved_m, **mp;
    761  1.33    dyoung 	struct radix_node *dupedkey, *saved_tt, *top;
    762  1.33    dyoung 	const char *v, *netmask;
    763   1.6   mycroft 	int b, head_off, vlen;
    764   1.1       cgd 
    765  1.33    dyoung 	v = v_arg;
    766  1.33    dyoung 	netmask = netmask_arg;
    767   1.6   mycroft 	x = head->rnh_treetop;
    768   1.6   mycroft 	tt = rn_search(v, x);
    769   1.6   mycroft 	head_off = x->rn_off;
    770  1.29  christos 	vlen =  *(const u_char *)v;
    771   1.6   mycroft 	saved_tt = tt;
    772   1.6   mycroft 	top = x;
    773  1.38    dyoung 	if (tt == NULL ||
    774  1.39    dyoung 	    memcmp(v + head_off, tt->rn_key + head_off, vlen - head_off) != 0)
    775  1.37    dyoung 		return NULL;
    776   1.1       cgd 	/*
    777   1.1       cgd 	 * Delete our route from mask lists.
    778   1.1       cgd 	 */
    779  1.38    dyoung 	if (netmask != NULL) {
    780  1.38    dyoung 		if ((x = rn_addmask(netmask, 1, head_off)) == NULL)
    781  1.37    dyoung 			return NULL;
    782   1.9   mycroft 		netmask = x->rn_key;
    783   1.1       cgd 		while (tt->rn_mask != netmask)
    784  1.38    dyoung 			if ((tt = tt->rn_dupedkey) == NULL)
    785  1.37    dyoung 				return NULL;
    786   1.1       cgd 	}
    787  1.38    dyoung 	if (tt->rn_mask == NULL || (saved_m = m = tt->rn_mklist) == NULL)
    788   1.1       cgd 		goto on1;
    789   1.9   mycroft 	if (tt->rn_flags & RNF_NORMAL) {
    790   1.9   mycroft 		if (m->rm_leaf != tt || m->rm_refs > 0) {
    791   1.9   mycroft 			log(LOG_ERR, "rn_delete: inconsistent annotation\n");
    792  1.37    dyoung 			return NULL;  /* dangling ref could cause disaster */
    793   1.9   mycroft 		}
    794  1.28     perry 	} else {
    795   1.9   mycroft 		if (m->rm_mask != tt->rn_mask) {
    796   1.9   mycroft 			log(LOG_ERR, "rn_delete: inconsistent annotation\n");
    797   1.9   mycroft 			goto on1;
    798   1.9   mycroft 		}
    799   1.9   mycroft 		if (--m->rm_refs >= 0)
    800   1.9   mycroft 			goto on1;
    801   1.1       cgd 	}
    802   1.1       cgd 	b = -1 - tt->rn_b;
    803   1.1       cgd 	t = saved_tt->rn_p;
    804   1.1       cgd 	if (b > t->rn_b)
    805   1.1       cgd 		goto on1; /* Wasn't lifted at all */
    806   1.1       cgd 	do {
    807   1.1       cgd 		x = t;
    808   1.1       cgd 		t = t->rn_p;
    809   1.6   mycroft 	} while (b <= t->rn_b && x != top);
    810  1.38    dyoung 	for (mp = &x->rn_mklist; (m = *mp) != NULL; mp = &m->rm_mklist) {
    811   1.1       cgd 		if (m == saved_m) {
    812   1.1       cgd 			*mp = m->rm_mklist;
    813   1.1       cgd 			MKFree(m);
    814   1.1       cgd 			break;
    815   1.1       cgd 		}
    816  1.38    dyoung 	}
    817  1.38    dyoung 	if (m == NULL) {
    818   1.9   mycroft 		log(LOG_ERR, "rn_delete: couldn't find our annotation\n");
    819   1.9   mycroft 		if (tt->rn_flags & RNF_NORMAL)
    820  1.37    dyoung 			return NULL; /* Dangling ref to us */
    821   1.9   mycroft 	}
    822   1.1       cgd on1:
    823   1.1       cgd 	/*
    824   1.1       cgd 	 * Eliminate us from tree
    825   1.1       cgd 	 */
    826   1.1       cgd 	if (tt->rn_flags & RNF_ROOT)
    827  1.37    dyoung 		return NULL;
    828   1.1       cgd #ifdef RN_DEBUG
    829  1.32    dyoung 	if (rn_debug)
    830  1.32    dyoung 		log(LOG_DEBUG, "%s: Going In:\n", __func__), traverse(head, tt);
    831   1.6   mycroft #endif
    832   1.1       cgd 	t = tt->rn_p;
    833  1.12  christos 	dupedkey = saved_tt->rn_dupedkey;
    834  1.38    dyoung 	if (dupedkey != NULL) {
    835  1.12  christos 		/*
    836  1.12  christos 		 * Here, tt is the deletion target, and
    837  1.12  christos 		 * saved_tt is the head of the dupedkey chain.
    838  1.12  christos 		 */
    839   1.1       cgd 		if (tt == saved_tt) {
    840  1.33    dyoung 			x = dupedkey;
    841  1.33    dyoung 			x->rn_p = t;
    842  1.33    dyoung 			if (t->rn_l == tt)
    843  1.33    dyoung 				t->rn_l = x;
    844  1.33    dyoung 			else
    845  1.33    dyoung 				t->rn_r = x;
    846   1.6   mycroft 		} else {
    847  1.12  christos 			/* find node in front of tt on the chain */
    848  1.38    dyoung 			for (x = p = saved_tt;
    849  1.38    dyoung 			     p != NULL && p->rn_dupedkey != tt;)
    850   1.6   mycroft 				p = p->rn_dupedkey;
    851  1.38    dyoung 			if (p != NULL) {
    852  1.12  christos 				p->rn_dupedkey = tt->rn_dupedkey;
    853  1.38    dyoung 				if (tt->rn_dupedkey != NULL)
    854  1.12  christos 					tt->rn_dupedkey->rn_p = p;
    855  1.38    dyoung 			} else
    856  1.38    dyoung 				log(LOG_ERR, "rn_delete: couldn't find us\n");
    857   1.6   mycroft 		}
    858   1.6   mycroft 		t = tt + 1;
    859   1.6   mycroft 		if  (t->rn_flags & RNF_ACTIVE) {
    860  1.33    dyoung 			*++x = *t;
    861  1.33    dyoung 			p = t->rn_p;
    862  1.33    dyoung 			if (p->rn_l == t)
    863  1.33    dyoung 				p->rn_l = x;
    864  1.33    dyoung 			else
    865  1.33    dyoung 				p->rn_r = x;
    866  1.33    dyoung 			x->rn_l->rn_p = x;
    867  1.33    dyoung 			x->rn_r->rn_p = x;
    868   1.1       cgd 		}
    869   1.1       cgd 		goto out;
    870   1.1       cgd 	}
    871  1.33    dyoung 	if (t->rn_l == tt)
    872  1.33    dyoung 		x = t->rn_r;
    873  1.33    dyoung 	else
    874  1.33    dyoung 		x = t->rn_l;
    875   1.1       cgd 	p = t->rn_p;
    876  1.33    dyoung 	if (p->rn_r == t)
    877  1.33    dyoung 		p->rn_r = x;
    878  1.33    dyoung 	else
    879  1.33    dyoung 		p->rn_l = x;
    880   1.1       cgd 	x->rn_p = p;
    881   1.1       cgd 	/*
    882   1.1       cgd 	 * Demote routes attached to us.
    883   1.1       cgd 	 */
    884  1.38    dyoung 	if (t->rn_mklist == NULL)
    885  1.38    dyoung 		;
    886  1.38    dyoung 	else if (x->rn_b >= 0) {
    887  1.38    dyoung 		for (mp = &x->rn_mklist; (m = *mp) != NULL; mp = &m->rm_mklist)
    888  1.38    dyoung 			;
    889  1.38    dyoung 		*mp = t->rn_mklist;
    890  1.38    dyoung 	} else {
    891  1.38    dyoung 		/* If there are any key,mask pairs in a sibling
    892  1.38    dyoung 		   duped-key chain, some subset will appear sorted
    893  1.38    dyoung 		   in the same order attached to our mklist */
    894  1.38    dyoung 		for (m = t->rn_mklist;
    895  1.38    dyoung 		     m != NULL && x != NULL;
    896  1.38    dyoung 		     x = x->rn_dupedkey) {
    897  1.38    dyoung 			if (m == x->rn_mklist) {
    898  1.38    dyoung 				struct radix_mask *mm = m->rm_mklist;
    899  1.38    dyoung 				x->rn_mklist = NULL;
    900  1.38    dyoung 				if (--(m->rm_refs) < 0)
    901  1.38    dyoung 					MKFree(m);
    902  1.38    dyoung 				m = mm;
    903  1.38    dyoung 			}
    904  1.38    dyoung 		}
    905  1.38    dyoung 		if (m != NULL) {
    906  1.38    dyoung 			log(LOG_ERR, "rn_delete: Orphaned Mask %p at %p\n",
    907  1.38    dyoung 			    m, x);
    908   1.1       cgd 		}
    909   1.1       cgd 	}
    910   1.1       cgd 	/*
    911   1.1       cgd 	 * We may be holding an active internal node in the tree.
    912   1.1       cgd 	 */
    913   1.1       cgd 	x = tt + 1;
    914   1.1       cgd 	if (t != x) {
    915   1.1       cgd 		*t = *x;
    916  1.33    dyoung 		t->rn_l->rn_p = t;
    917  1.33    dyoung 		t->rn_r->rn_p = t;
    918   1.1       cgd 		p = x->rn_p;
    919  1.33    dyoung 		if (p->rn_l == x)
    920  1.33    dyoung 			p->rn_l = t;
    921  1.33    dyoung 		else
    922  1.33    dyoung 			p->rn_r = t;
    923   1.1       cgd 	}
    924   1.1       cgd out:
    925  1.32    dyoung #ifdef RN_DEBUG
    926  1.32    dyoung 	if (rn_debug) {
    927  1.32    dyoung 		log(LOG_DEBUG, "%s: Coming Out:\n", __func__),
    928  1.32    dyoung 		    traverse(head, tt);
    929  1.32    dyoung 	}
    930  1.32    dyoung #endif /* RN_DEBUG */
    931   1.1       cgd 	tt->rn_flags &= ~RNF_ACTIVE;
    932   1.1       cgd 	tt[1].rn_flags &= ~RNF_ACTIVE;
    933  1.37    dyoung 	return tt;
    934   1.1       cgd }
    935   1.1       cgd 
    936  1.33    dyoung struct radix_node *
    937  1.33    dyoung rn_delete(
    938  1.33    dyoung 	const void *v_arg,
    939  1.33    dyoung 	const void *netmask_arg,
    940  1.33    dyoung 	struct radix_node_head *head)
    941  1.33    dyoung {
    942  1.33    dyoung 	return rn_delete1(v_arg, netmask_arg, head, NULL);
    943  1.33    dyoung }
    944  1.33    dyoung 
    945  1.32    dyoung static struct radix_node *
    946  1.32    dyoung rn_walknext(struct radix_node *rn, rn_printer_t printer, void *arg)
    947  1.32    dyoung {
    948  1.32    dyoung 	/* If at right child go back up, otherwise, go right */
    949  1.32    dyoung 	while (rn->rn_p->rn_r == rn && (rn->rn_flags & RNF_ROOT) == 0) {
    950  1.32    dyoung 		if (printer != NULL)
    951  1.32    dyoung 			(*printer)(arg, SUBTREE_CLOSE);
    952  1.32    dyoung 		rn = rn->rn_p;
    953  1.32    dyoung 	}
    954  1.32    dyoung 	if (printer)
    955  1.32    dyoung 		rn_nodeprint(rn->rn_p, printer, arg, "");
    956  1.32    dyoung 	/* Find the next *leaf* since next node might vanish, too */
    957  1.32    dyoung 	for (rn = rn->rn_p->rn_r; rn->rn_b >= 0;) {
    958  1.32    dyoung 		if (printer != NULL)
    959  1.32    dyoung 			(*printer)(arg, SUBTREE_OPEN);
    960  1.32    dyoung 		rn = rn->rn_l;
    961  1.32    dyoung 	}
    962  1.32    dyoung 	return rn;
    963  1.32    dyoung }
    964  1.32    dyoung 
    965  1.32    dyoung static struct radix_node *
    966  1.32    dyoung rn_walkfirst(struct radix_node *rn, rn_printer_t printer, void *arg)
    967  1.32    dyoung {
    968  1.32    dyoung 	/* First time through node, go left */
    969  1.32    dyoung 	while (rn->rn_b >= 0) {
    970  1.32    dyoung 		if (printer != NULL)
    971  1.32    dyoung 			(*printer)(arg, SUBTREE_OPEN);
    972  1.32    dyoung 		rn = rn->rn_l;
    973  1.32    dyoung 	}
    974  1.32    dyoung 	return rn;
    975  1.32    dyoung }
    976  1.32    dyoung 
    977   1.6   mycroft int
    978  1.23      matt rn_walktree(
    979  1.23      matt 	struct radix_node_head *h,
    980  1.23      matt 	int (*f)(struct radix_node *, void *),
    981  1.23      matt 	void *w)
    982   1.6   mycroft {
    983   1.6   mycroft 	int error;
    984  1.32    dyoung 	struct radix_node *base, *next, *rn;
    985   1.6   mycroft 	/*
    986   1.6   mycroft 	 * This gets complicated because we may delete the node
    987   1.6   mycroft 	 * while applying the function f to it, so we need to calculate
    988   1.6   mycroft 	 * the successor node in advance.
    989   1.6   mycroft 	 */
    990  1.32    dyoung 	rn = rn_walkfirst(h->rnh_treetop, NULL, NULL);
    991   1.6   mycroft 	for (;;) {
    992   1.6   mycroft 		base = rn;
    993  1.32    dyoung 		next = rn_walknext(rn, NULL, NULL);
    994   1.6   mycroft 		/* Process leaves */
    995  1.10  christos 		while ((rn = base) != NULL) {
    996   1.6   mycroft 			base = rn->rn_dupedkey;
    997   1.6   mycroft 			if (!(rn->rn_flags & RNF_ROOT) && (error = (*f)(rn, w)))
    998  1.37    dyoung 				return error;
    999   1.6   mycroft 		}
   1000   1.6   mycroft 		rn = next;
   1001   1.6   mycroft 		if (rn->rn_flags & RNF_ROOT)
   1002  1.37    dyoung 			return 0;
   1003   1.6   mycroft 	}
   1004   1.6   mycroft 	/* NOTREACHED */
   1005   1.6   mycroft }
   1006   1.6   mycroft 
   1007  1.43     pooka struct delayinit {
   1008  1.43     pooka 	void **head;
   1009  1.43     pooka 	int off;
   1010  1.43     pooka 	SLIST_ENTRY(delayinit) entries;
   1011  1.43     pooka };
   1012  1.43     pooka static SLIST_HEAD(, delayinit) delayinits = SLIST_HEAD_INITIALIZER(delayheads);
   1013  1.43     pooka static int radix_initialized;
   1014  1.43     pooka 
   1015  1.43     pooka /*
   1016  1.43     pooka  * Initialize a radix tree once radix is initialized.  Only for bootstrap.
   1017  1.43     pooka  * Assume that no concurrency protection is necessary at this stage.
   1018  1.43     pooka  */
   1019  1.43     pooka void
   1020  1.43     pooka rn_delayedinit(void **head, int off)
   1021  1.43     pooka {
   1022  1.43     pooka 	struct delayinit *di;
   1023  1.43     pooka 
   1024  1.43     pooka 	KASSERT(radix_initialized == 0);
   1025  1.43     pooka 
   1026  1.43     pooka 	di = kmem_alloc(sizeof(*di), KM_SLEEP);
   1027  1.43     pooka 	di->head = head;
   1028  1.43     pooka 	di->off = off;
   1029  1.43     pooka 	SLIST_INSERT_HEAD(&delayinits, di, entries);
   1030  1.43     pooka }
   1031  1.43     pooka 
   1032   1.6   mycroft int
   1033  1.41       dsl rn_inithead(void **head, int off)
   1034   1.1       cgd {
   1035  1.14  augustss 	struct radix_node_head *rnh;
   1036  1.15    itojun 
   1037  1.37    dyoung 	if (*head != NULL)
   1038  1.37    dyoung 		return 1;
   1039   1.1       cgd 	R_Malloc(rnh, struct radix_node_head *, sizeof (*rnh));
   1040  1.37    dyoung 	if (rnh == NULL)
   1041  1.37    dyoung 		return 0;
   1042  1.15    itojun 	*head = rnh;
   1043  1.15    itojun 	return rn_inithead0(rnh, off);
   1044  1.15    itojun }
   1045  1.15    itojun 
   1046  1.15    itojun int
   1047  1.41       dsl rn_inithead0(struct radix_node_head *rnh, int off)
   1048  1.15    itojun {
   1049  1.23      matt 	struct radix_node *t;
   1050  1.23      matt 	struct radix_node *tt;
   1051  1.23      matt 	struct radix_node *ttt;
   1052  1.15    itojun 
   1053  1.39    dyoung 	memset(rnh, 0, sizeof(*rnh));
   1054   1.1       cgd 	t = rn_newpair(rn_zeros, off, rnh->rnh_nodes);
   1055   1.1       cgd 	ttt = rnh->rnh_nodes + 2;
   1056   1.1       cgd 	t->rn_r = ttt;
   1057   1.1       cgd 	t->rn_p = t;
   1058   1.1       cgd 	tt = t->rn_l;
   1059   1.1       cgd 	tt->rn_flags = t->rn_flags = RNF_ROOT | RNF_ACTIVE;
   1060   1.1       cgd 	tt->rn_b = -1 - off;
   1061   1.1       cgd 	*ttt = *tt;
   1062   1.1       cgd 	ttt->rn_key = rn_ones;
   1063   1.6   mycroft 	rnh->rnh_addaddr = rn_addroute;
   1064   1.6   mycroft 	rnh->rnh_deladdr = rn_delete;
   1065   1.6   mycroft 	rnh->rnh_matchaddr = rn_match;
   1066   1.9   mycroft 	rnh->rnh_lookup = rn_lookup;
   1067   1.1       cgd 	rnh->rnh_treetop = t;
   1068  1.37    dyoung 	return 1;
   1069   1.6   mycroft }
   1070   1.6   mycroft 
   1071   1.6   mycroft void
   1072  1.42    cegger rn_init(void)
   1073   1.6   mycroft {
   1074   1.6   mycroft 	char *cp, *cplim;
   1075  1.43     pooka 	struct delayinit *di;
   1076   1.8       jtc #ifdef _KERNEL
   1077  1.43     pooka 	struct domain *dp;
   1078   1.6   mycroft 
   1079  1.43     pooka 	if (radix_initialized)
   1080  1.43     pooka 		panic("radix already initialized");
   1081  1.43     pooka 	radix_initialized = 1;
   1082  1.43     pooka 
   1083  1.43     pooka 	DOMAIN_FOREACH(dp) {
   1084  1.43     pooka 		if (dp->dom_maxrtkey > max_keylen)
   1085  1.43     pooka 			max_keylen = dp->dom_maxrtkey;
   1086  1.27     enami 	}
   1087  1.25  christos #endif
   1088   1.6   mycroft 	if (max_keylen == 0) {
   1089   1.9   mycroft 		log(LOG_ERR,
   1090   1.9   mycroft 		    "rn_init: radix functions require max_keylen be set\n");
   1091   1.6   mycroft 		return;
   1092   1.6   mycroft 	}
   1093  1.43     pooka 
   1094   1.6   mycroft 	R_Malloc(rn_zeros, char *, 3 * max_keylen);
   1095   1.6   mycroft 	if (rn_zeros == NULL)
   1096   1.6   mycroft 		panic("rn_init");
   1097  1.39    dyoung 	memset(rn_zeros, 0, 3 * max_keylen);
   1098   1.6   mycroft 	rn_ones = cp = rn_zeros + max_keylen;
   1099   1.9   mycroft 	addmask_key = cplim = rn_ones + max_keylen;
   1100   1.6   mycroft 	while (cp < cplim)
   1101   1.6   mycroft 		*cp++ = -1;
   1102  1.19   thorpej 	if (rn_inithead((void *)&mask_rnhead, 0) == 0)
   1103   1.6   mycroft 		panic("rn_init 2");
   1104  1.43     pooka 
   1105  1.43     pooka 	while ((di = SLIST_FIRST(&delayinits)) != NULL) {
   1106  1.43     pooka 		if (!rn_inithead(di->head, di->off))
   1107  1.43     pooka 			panic("delayed rn_inithead failed");
   1108  1.43     pooka 		SLIST_REMOVE_HEAD(&delayinits, entries);
   1109  1.43     pooka 		kmem_free(di, sizeof(*di));
   1110  1.43     pooka 	}
   1111   1.1       cgd }
   1112