Home | History | Annotate | Line # | Download | only in netinet
ipf_rb.h revision 1.1.1.2
      1      1.1  christos /*	$NetBSD: ipf_rb.h,v 1.1.1.2 2012/07/22 13:45:38 darrenr Exp $	*/
      2      1.1  christos 
      3      1.1  christos /*
      4  1.1.1.2   darrenr  * Copyright (C) 2012 by Darren Reed.
      5      1.1  christos  *
      6      1.1  christos  * See the IPFILTER.LICENCE file for details on licencing.
      7      1.1  christos  *
      8      1.1  christos  */
      9      1.1  christos typedef enum rbcolour_e {
     10      1.1  christos 	C_BLACK = 0,
     11      1.1  christos 	C_RED = 1
     12      1.1  christos } rbcolour_t;
     13      1.1  christos 
     14      1.1  christos #define	RBI_LINK(_n, _t)							\
     15      1.1  christos 	struct _n##_rb_link {						\
     16      1.1  christos 		struct _t	*left;					\
     17      1.1  christos 		struct _t	*right;					\
     18      1.1  christos 		struct _t	*parent;				\
     19      1.1  christos 		rbcolour_t	colour;					\
     20      1.1  christos 	}
     21      1.1  christos 
     22      1.1  christos #define	RBI_HEAD(_n, _t)						\
     23      1.1  christos struct _n##_rb_head {							\
     24      1.1  christos 	struct _t	top;						\
     25      1.1  christos 	int		count;						\
     26      1.1  christos 	int		(* compare)(struct _t *, struct _t *);		\
     27      1.1  christos }
     28      1.1  christos 
     29      1.1  christos #define	RBI_CODE(_n, _t, _f, _cmp)					\
     30      1.1  christos 									\
     31      1.1  christos typedef	void	(*_n##_rb_walker_t)(_t *, void *);			\
     32      1.1  christos 									\
     33      1.1  christos _t *	_n##_rb_delete(struct _n##_rb_head *, _t *);			\
     34      1.1  christos void	_n##_rb_init(struct _n##_rb_head *);				\
     35      1.1  christos void	_n##_rb_insert(struct _n##_rb_head *, _t *);			\
     36      1.1  christos _t *	_n##_rb_search(struct _n##_rb_head *, void *);			\
     37      1.1  christos void	_n##_rb_walktree(struct _n##_rb_head *, _n##_rb_walker_t, void *);\
     38      1.1  christos 									\
     39      1.1  christos static void								\
     40      1.1  christos rotate_left(struct _n##_rb_head *head, _t *node)			\
     41      1.1  christos {									\
     42      1.1  christos 	_t *parent, *tmp1, *tmp2;					\
     43      1.1  christos 									\
     44      1.1  christos 	parent = node->_f.parent;					\
     45      1.1  christos 	tmp1 = node->_f.right;						\
     46      1.1  christos 	tmp2 = tmp1->_f.left;						\
     47      1.1  christos 	node->_f.right = tmp2;						\
     48      1.1  christos 	if (tmp2 != & _n##_rb_zero)					\
     49      1.1  christos 		tmp2->_f.parent = node;					\
     50      1.1  christos 	if (parent == & _n##_rb_zero)					\
     51      1.1  christos 		head->top._f.right = tmp1;				\
     52      1.1  christos 	else if (parent->_f.right == node)				\
     53      1.1  christos 		parent->_f.right = tmp1;				\
     54      1.1  christos 	else								\
     55      1.1  christos 		parent->_f.left = tmp1;					\
     56      1.1  christos 	tmp1->_f.left = node;						\
     57      1.1  christos 	tmp1->_f.parent = parent;					\
     58      1.1  christos 	node->_f.parent = tmp1;						\
     59      1.1  christos }									\
     60      1.1  christos 									\
     61      1.1  christos static void								\
     62      1.1  christos rotate_right(struct _n##_rb_head *head, _t *node)			\
     63      1.1  christos {									\
     64      1.1  christos 	_t *parent, *tmp1, *tmp2;					\
     65      1.1  christos 									\
     66      1.1  christos 	parent = node->_f.parent;					\
     67      1.1  christos 	tmp1 = node->_f.left;						\
     68      1.1  christos 	tmp2 = tmp1->_f.right;						\
     69      1.1  christos 	node->_f.left = tmp2;						\
     70      1.1  christos 	if (tmp2 != &_n##_rb_zero)					\
     71      1.1  christos 		tmp2->_f.parent = node;					\
     72      1.1  christos 	if (parent == &_n##_rb_zero)					\
     73      1.1  christos 		head->top._f.right = tmp1;				\
     74      1.1  christos 	else if (parent->_f.right == node)				\
     75      1.1  christos 		parent->_f.right = tmp1;				\
     76      1.1  christos 	else								\
     77      1.1  christos 		parent->_f.left = tmp1;					\
     78      1.1  christos 	tmp1->_f.right = node;						\
     79      1.1  christos 	tmp1->_f.parent = parent;					\
     80      1.1  christos 	node->_f.parent = tmp1;						\
     81      1.1  christos }									\
     82      1.1  christos 									\
     83      1.1  christos void									\
     84      1.1  christos _n##_rb_insert(struct _n##_rb_head *head, _t *node)			\
     85      1.1  christos {									\
     86      1.1  christos 	_t *n, *parent, **p, *tmp1, *gparent;				\
     87      1.1  christos 									\
     88      1.1  christos 	parent = &head->top;						\
     89      1.1  christos 	node->_f.left = &_n##_rb_zero;					\
     90      1.1  christos 	node->_f.right = &_n##_rb_zero;					\
     91      1.1  christos 	p = &head->top._f.right;					\
     92      1.1  christos 	while ((n = *p) != &_n##_rb_zero) {				\
     93      1.1  christos 		if (_cmp(node, n) < 0)					\
     94      1.1  christos 			p = &n->_f.left;				\
     95      1.1  christos 		else							\
     96      1.1  christos 			p = &n->_f.right;				\
     97      1.1  christos 		parent = n;						\
     98      1.1  christos 	}								\
     99      1.1  christos 	*p = node;							\
    100      1.1  christos 	node->_f.colour = C_RED;					\
    101      1.1  christos 	node->_f.parent = parent;					\
    102      1.1  christos 									\
    103      1.1  christos 	while ((node != &_n##_rb_zero) && (parent->_f.colour == C_RED)){\
    104      1.1  christos 		gparent = parent->_f.parent;				\
    105      1.1  christos 		if (parent == gparent->_f.left) {			\
    106      1.1  christos 			tmp1 = gparent->_f.right;			\
    107      1.1  christos 			if (tmp1->_f.colour == C_RED) {			\
    108      1.1  christos 				parent->_f.colour = C_BLACK;		\
    109      1.1  christos 				tmp1->_f.colour = C_BLACK;		\
    110      1.1  christos 				gparent->_f.colour = C_RED;		\
    111      1.1  christos 				node = gparent;				\
    112      1.1  christos 			} else {					\
    113      1.1  christos 				if (node == parent->_f.right) {		\
    114      1.1  christos 					node = parent;			\
    115      1.1  christos 					rotate_left(head, node);	\
    116      1.1  christos 					parent = node->_f.parent;	\
    117      1.1  christos 				}					\
    118      1.1  christos 				parent->_f.colour = C_BLACK;		\
    119      1.1  christos 				gparent->_f.colour = C_RED;		\
    120      1.1  christos 				rotate_right(head, gparent);		\
    121      1.1  christos 			}						\
    122      1.1  christos 		} else {						\
    123      1.1  christos 			tmp1 = gparent->_f.left;			\
    124      1.1  christos 			if (tmp1->_f.colour == C_RED) {			\
    125      1.1  christos 				parent->_f.colour = C_BLACK;		\
    126      1.1  christos 				tmp1->_f.colour = C_BLACK;		\
    127      1.1  christos 				gparent->_f.colour = C_RED;		\
    128      1.1  christos 				node = gparent;				\
    129      1.1  christos 			} else {					\
    130      1.1  christos 				if (node == parent->_f.left) {		\
    131      1.1  christos 					node = parent;			\
    132      1.1  christos 					rotate_right(head, node);	\
    133      1.1  christos 					parent = node->_f.parent;	\
    134      1.1  christos 				}					\
    135      1.1  christos 				parent->_f.colour = C_BLACK;		\
    136      1.1  christos 				gparent->_f.colour = C_RED;		\
    137      1.1  christos 				rotate_left(head, parent->_f.parent);	\
    138      1.1  christos 			}						\
    139      1.1  christos 		}							\
    140      1.1  christos 		parent = node->_f.parent;				\
    141      1.1  christos 	}								\
    142      1.1  christos 	head->top._f.right->_f.colour = C_BLACK;			\
    143      1.1  christos 	head->count++;						\
    144      1.1  christos }									\
    145      1.1  christos 									\
    146      1.1  christos static void								\
    147      1.1  christos deleteblack(struct _n##_rb_head *head, _t *parent, _t *node)		\
    148      1.1  christos {									\
    149      1.1  christos 	_t *tmp;							\
    150      1.1  christos 									\
    151      1.1  christos 	while ((node == &_n##_rb_zero || node->_f.colour == C_BLACK) &&	\
    152      1.1  christos 	       node != &head->top) {					\
    153      1.1  christos 		if (parent->_f.left == node) {				\
    154      1.1  christos 			tmp = parent->_f.right;				\
    155      1.1  christos 			if (tmp->_f.colour == C_RED) {			\
    156      1.1  christos 				tmp->_f.colour = C_BLACK;		\
    157      1.1  christos 				parent->_f.colour = C_RED;		\
    158      1.1  christos 				rotate_left(head, parent);		\
    159      1.1  christos 				tmp = parent->_f.right;			\
    160      1.1  christos 			}						\
    161      1.1  christos 			if ((tmp->_f.left == &_n##_rb_zero ||		\
    162      1.1  christos 			     tmp->_f.left->_f.colour == C_BLACK) &&	\
    163      1.1  christos 			    (tmp->_f.right == &_n##_rb_zero ||		\
    164      1.1  christos 			     tmp->_f.right->_f.colour == C_BLACK)) {	\
    165      1.1  christos 				tmp->_f.colour = C_RED;			\
    166      1.1  christos 				node = parent;				\
    167      1.1  christos 				parent = node->_f.parent;		\
    168      1.1  christos 			} else {					\
    169      1.1  christos 				if (tmp->_f.right == &_n##_rb_zero ||	\
    170      1.1  christos 				    tmp->_f.right->_f.colour == C_BLACK) {\
    171      1.1  christos 					_t *tmp2 = tmp->_f.left;	\
    172      1.1  christos 									\
    173      1.1  christos 					if (tmp2 != &_n##_rb_zero)	\
    174      1.1  christos 						tmp2->_f.colour = C_BLACK;\
    175      1.1  christos 					tmp->_f.colour = C_RED;		\
    176      1.1  christos 					rotate_right(head, tmp);	\
    177      1.1  christos 					tmp = parent->_f.right;		\
    178      1.1  christos 				}					\
    179      1.1  christos 				tmp->_f.colour = parent->_f.colour;	\
    180      1.1  christos 				parent->_f.colour = C_BLACK;		\
    181      1.1  christos 				if (tmp->_f.right != &_n##_rb_zero)	\
    182      1.1  christos 					tmp->_f.right->_f.colour = C_BLACK;\
    183      1.1  christos 				rotate_left(head, parent);		\
    184      1.1  christos 				node = head->top._f.right;		\
    185      1.1  christos 			}						\
    186      1.1  christos 		} else {						\
    187      1.1  christos 			tmp = parent->_f.left;				\
    188      1.1  christos 			if (tmp->_f.colour == C_RED) {			\
    189      1.1  christos 				tmp->_f.colour = C_BLACK;		\
    190      1.1  christos 				parent->_f.colour = C_RED;		\
    191      1.1  christos 				rotate_right(head, parent);		\
    192      1.1  christos 				tmp = parent->_f.left;			\
    193      1.1  christos 			}						\
    194      1.1  christos 			if ((tmp->_f.left == &_n##_rb_zero ||		\
    195      1.1  christos 			     tmp->_f.left->_f.colour == C_BLACK) &&	\
    196      1.1  christos 			    (tmp->_f.right == &_n##_rb_zero ||		\
    197      1.1  christos 			     tmp->_f.right->_f.colour == C_BLACK)) {	\
    198      1.1  christos 				tmp->_f.colour = C_RED;			\
    199      1.1  christos 				node = parent;				\
    200      1.1  christos 				parent = node->_f.parent;		\
    201      1.1  christos 			} else {					\
    202      1.1  christos 				if (tmp->_f.left == &_n##_rb_zero ||	\
    203      1.1  christos 				    tmp->_f.left->_f.colour == C_BLACK) {\
    204      1.1  christos 					_t *tmp2 = tmp->_f.right;	\
    205      1.1  christos 									\
    206      1.1  christos 					if (tmp2 != &_n##_rb_zero)	\
    207      1.1  christos 						tmp2->_f.colour = C_BLACK;\
    208      1.1  christos 					tmp->_f.colour = C_RED;		\
    209      1.1  christos 					rotate_left(head, tmp);		\
    210      1.1  christos 					tmp = parent->_f.left;		\
    211      1.1  christos 				}					\
    212      1.1  christos 				tmp->_f.colour = parent->_f.colour;	\
    213      1.1  christos 				parent->_f.colour = C_BLACK;		\
    214      1.1  christos 				if (tmp->_f.left != &_n##_rb_zero)	\
    215      1.1  christos 					tmp->_f.left->_f.colour = C_BLACK;\
    216      1.1  christos 				rotate_right(head, parent);		\
    217      1.1  christos 				node = head->top._f.right;		\
    218      1.1  christos 				break;					\
    219      1.1  christos 			}						\
    220      1.1  christos 		}							\
    221      1.1  christos 	}								\
    222      1.1  christos 	if (node != &_n##_rb_zero)					\
    223      1.1  christos 		node->_f.colour = C_BLACK;				\
    224      1.1  christos }									\
    225      1.1  christos 									\
    226      1.1  christos _t *									\
    227      1.1  christos _n##_rb_delete(struct _n##_rb_head *head, _t *node)			\
    228      1.1  christos {									\
    229      1.1  christos 	_t *child, *parent, *old = node, *left;				\
    230      1.1  christos 	rbcolour_t color;						\
    231      1.1  christos 									\
    232      1.1  christos 	if (node->_f.left == &_n##_rb_zero) {				\
    233      1.1  christos 		child = node->_f.right;					\
    234      1.1  christos 	} else if (node->_f.right == &_n##_rb_zero) {			\
    235      1.1  christos 		child = node->_f.left;					\
    236      1.1  christos 	} else {							\
    237      1.1  christos 		node = node->_f.right;					\
    238      1.1  christos 		while ((left = node->_f.left) != &_n##_rb_zero)		\
    239      1.1  christos 			node = left;					\
    240      1.1  christos 		child = node->_f.right;					\
    241      1.1  christos 		parent = node->_f.parent;				\
    242      1.1  christos 		color = node->_f.colour;				\
    243      1.1  christos 		if (child != &_n##_rb_zero)				\
    244      1.1  christos 			child->_f.parent = parent;			\
    245      1.1  christos 		if (parent != &_n##_rb_zero) {				\
    246      1.1  christos 			if (parent->_f.left == node)			\
    247      1.1  christos 				parent->_f.left = child;		\
    248      1.1  christos 			else						\
    249      1.1  christos 				parent->_f.right = child;		\
    250      1.1  christos 		} else {						\
    251      1.1  christos 			head->top._f.right = child;			\
    252      1.1  christos 		}							\
    253      1.1  christos 		if (node->_f.parent == old)				\
    254      1.1  christos 			parent = node;					\
    255      1.1  christos 		*node = *old;						\
    256      1.1  christos 		if (old->_f.parent != &_n##_rb_zero) {			\
    257      1.1  christos 			if (old->_f.parent->_f.left == old)		\
    258      1.1  christos 				old->_f.parent->_f.left = node;		\
    259      1.1  christos 			else						\
    260      1.1  christos 				old->_f.parent->_f.right = node;	\
    261      1.1  christos 		} else {						\
    262      1.1  christos 			head->top._f.right = child;			\
    263      1.1  christos 		}							\
    264      1.1  christos 		old->_f.left->_f.parent = node;				\
    265      1.1  christos 		if (old->_f.right != &_n##_rb_zero)			\
    266      1.1  christos 			old->_f.right->_f.parent = node;		\
    267      1.1  christos 		if (parent != &_n##_rb_zero) {				\
    268      1.1  christos 			left = parent;					\
    269      1.1  christos 		}							\
    270      1.1  christos 		goto colour;						\
    271      1.1  christos 	}								\
    272      1.1  christos 	parent = node->_f.parent;					\
    273      1.1  christos 	color= node->_f.colour;						\
    274      1.1  christos 	if (child != &_n##_rb_zero)					\
    275      1.1  christos 		child->_f.parent = parent;				\
    276      1.1  christos 	if (parent != &_n##_rb_zero) {					\
    277      1.1  christos 		if (parent->_f.left == node)				\
    278      1.1  christos 			parent->_f.left = child;			\
    279      1.1  christos 		else							\
    280      1.1  christos 			parent->_f.right = child;			\
    281      1.1  christos 	} else {							\
    282      1.1  christos 		head->top._f.right = child;				\
    283      1.1  christos 	}								\
    284      1.1  christos colour:									\
    285      1.1  christos 	if (color == C_BLACK)						\
    286      1.1  christos 		deleteblack(head, parent, node);			\
    287      1.1  christos 	head->count--;							\
    288      1.1  christos 	return old;							\
    289      1.1  christos }									\
    290      1.1  christos 									\
    291      1.1  christos void									\
    292      1.1  christos _n##_rb_init(struct _n##_rb_head *head)					\
    293      1.1  christos {									\
    294      1.1  christos 	memset(head, 0, sizeof(*head));					\
    295      1.1  christos 	memset(&_n##_rb_zero, 0, sizeof(_n##_rb_zero));			\
    296      1.1  christos 	head->top._f.left = &_n##_rb_zero;				\
    297      1.1  christos 	head->top._f.right = &_n##_rb_zero;				\
    298      1.1  christos 	head->top._f.parent = &head->top;				\
    299      1.1  christos 	_n##_rb_zero._f.left = &_n##_rb_zero;				\
    300      1.1  christos 	_n##_rb_zero._f.right = &_n##_rb_zero;				\
    301      1.1  christos 	_n##_rb_zero._f.parent = &_n##_rb_zero;				\
    302      1.1  christos }									\
    303      1.1  christos 									\
    304      1.1  christos void									\
    305      1.1  christos _n##_rb_walktree(struct _n##_rb_head *head, _n##_rb_walker_t func, void *arg)\
    306      1.1  christos {									\
    307      1.1  christos 	_t *prev;							\
    308      1.1  christos 	_t *next;							\
    309      1.1  christos 	_t *node = head->top._f.right;					\
    310      1.1  christos 	_t *base;							\
    311      1.1  christos 									\
    312      1.1  christos 	while (node != &_n##_rb_zero)					\
    313      1.1  christos 		node = node->_f.left;					\
    314      1.1  christos 									\
    315      1.1  christos 	for (;;) {							\
    316      1.1  christos 		base = node;						\
    317      1.1  christos 		prev = node;						\
    318      1.1  christos 		while ((node->_f.parent->_f.right == node) &&		\
    319      1.1  christos 		       (node != &_n##_rb_zero))	{			\
    320      1.1  christos 			prev = node;					\
    321      1.1  christos 			node = node->_f.parent;				\
    322      1.1  christos 		}							\
    323      1.1  christos 									\
    324      1.1  christos 		node = prev;						\
    325      1.1  christos 		for (node = node->_f.parent->_f.right; node != &_n##_rb_zero;\
    326      1.1  christos 		     node = node->_f.left)				\
    327      1.1  christos 			prev = node;					\
    328      1.1  christos 		next = prev;						\
    329      1.1  christos 									\
    330      1.1  christos 		if (node != &_n##_rb_zero)				\
    331      1.1  christos 			func(node, arg);				\
    332      1.1  christos 									\
    333      1.1  christos 		node = next;						\
    334      1.1  christos 		if (node == &_n##_rb_zero)				\
    335      1.1  christos 			break;						\
    336      1.1  christos 	}								\
    337      1.1  christos }									\
    338      1.1  christos 									\
    339      1.1  christos _t *									\
    340      1.1  christos _n##_rb_search(struct _n##_rb_head *head, void *key)			\
    341      1.1  christos {									\
    342      1.1  christos 	int	match;							\
    343      1.1  christos 	_t	*node;							\
    344      1.1  christos 	node = head->top._f.right;					\
    345      1.1  christos 	while (node != &_n##_rb_zero) {					\
    346      1.1  christos 		match = _cmp(key, node);				\
    347      1.1  christos 		if (match == 0)						\
    348      1.1  christos 			break;						\
    349      1.1  christos 		if (match< 0)						\
    350      1.1  christos 			node = node->_f.left;				\
    351      1.1  christos 		else							\
    352      1.1  christos 			node = node->_f.right;				\
    353      1.1  christos 	}								\
    354      1.1  christos 	if (node == &_n##_rb_zero || match != 0)			\
    355      1.1  christos 		return (NULL);						\
    356      1.1  christos 	return (node);							\
    357      1.1  christos }
    358      1.1  christos 
    359      1.1  christos #define	RBI_DELETE(_n, _h, _v)		_n##_rb_delete(_h, _v)
    360      1.1  christos #define	RBI_FIELD(_n)			struct _n##_rb_link
    361      1.1  christos #define	RBI_INIT(_n, _h)		_n##_rb_init(_h)
    362      1.1  christos #define	RBI_INSERT(_n, _h, _v)		_n##_rb_insert(_h, _v)
    363      1.1  christos #define	RBI_ISEMPTY(_h)			((_h)->count == 0)
    364      1.1  christos #define	RBI_SEARCH(_n, _h, _k)		_n##_rb_search(_h, _k)
    365      1.1  christos #define	RBI_WALK(_n, _h, _w, _a)	_n##_rb_walktree(_h, _w, _a)
    366      1.1  christos #define	RBI_ZERO(_n)			_n##_rb_zero
    367