Home | History | Annotate | Line # | Download | only in linux
      1  1.18  riastrad /*	$NetBSD: rbtree.h,v 1.18 2022/02/27 14:18:34 riastradh Exp $	*/
      2   1.2  riastrad 
      3   1.2  riastrad /*-
      4   1.2  riastrad  * Copyright (c) 2013 The NetBSD Foundation, Inc.
      5   1.2  riastrad  * All rights reserved.
      6   1.2  riastrad  *
      7   1.2  riastrad  * This code is derived from software contributed to The NetBSD Foundation
      8   1.2  riastrad  * by Taylor R. Campbell.
      9   1.2  riastrad  *
     10   1.2  riastrad  * Redistribution and use in source and binary forms, with or without
     11   1.2  riastrad  * modification, are permitted provided that the following conditions
     12   1.2  riastrad  * are met:
     13   1.2  riastrad  * 1. Redistributions of source code must retain the above copyright
     14   1.2  riastrad  *    notice, this list of conditions and the following disclaimer.
     15   1.2  riastrad  * 2. Redistributions in binary form must reproduce the above copyright
     16   1.2  riastrad  *    notice, this list of conditions and the following disclaimer in the
     17   1.2  riastrad  *    documentation and/or other materials provided with the distribution.
     18   1.2  riastrad  *
     19   1.2  riastrad  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20   1.2  riastrad  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21   1.2  riastrad  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22   1.2  riastrad  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23   1.2  riastrad  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24   1.2  riastrad  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25   1.2  riastrad  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26   1.2  riastrad  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27   1.2  riastrad  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28   1.2  riastrad  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29   1.2  riastrad  * POSSIBILITY OF SUCH DAMAGE.
     30   1.2  riastrad  */
     31   1.2  riastrad 
     32   1.2  riastrad #ifndef _LINUX_RBTREE_H_
     33   1.2  riastrad #define _LINUX_RBTREE_H_
     34   1.2  riastrad 
     35   1.3  riastrad #include <sys/rbtree.h>
     36   1.3  riastrad 
     37   1.9  riastrad #include <lib/libkern/libkern.h>
     38   1.9  riastrad 
     39   1.3  riastrad struct rb_root {
     40   1.3  riastrad 	struct rb_tree	rbr_tree;
     41   1.3  riastrad };
     42   1.3  riastrad 
     43   1.4  riastrad struct rb_root_cached {
     44   1.8  riastrad 	struct rb_root	rb_root; /* Linux API name */
     45   1.4  riastrad };
     46   1.4  riastrad 
     47   1.9  riastrad #define	rb_entry(P, T, F) container_of(P, T, F)
     48   1.9  riastrad #define	rb_entry_safe(P, T, F)						      \
     49   1.9  riastrad ({									      \
     50   1.9  riastrad 	__typeof__(P) __p = (P);					      \
     51   1.9  riastrad 	__p ? container_of(__p, T, F) : NULL;				      \
     52   1.9  riastrad })
     53   1.9  riastrad 
     54  1.14  riastrad /*
     55  1.14  riastrad  * Several of these functions take const inputs and return non-const
     56  1.14  riastrad  * outputs.  That is a deliberate choice.  It would be better if these
     57  1.14  riastrad  * functions could be const-polymorphic -- return const if given const,
     58  1.14  riastrad  * return non-const if given non-const -- but C doesn't let us express
     59  1.14  riastrad  * that.  We are using them to adapt Linux code that is defined in
     60  1.14  riastrad  * terms of token-substitution macros, without types of their own,
     61  1.14  riastrad  * which happen to work out with both const and non-const variants.
     62  1.14  riastrad  * Presumably the Linux code compiles upstream and has some level of
     63  1.14  riastrad  * const type-checking in Linux, so this abuse of __UNCONST does not
     64  1.14  riastrad  * carry substantial risk over to this code here.
     65  1.14  riastrad  */
     66  1.14  riastrad 
     67   1.3  riastrad static inline bool
     68  1.14  riastrad RB_EMPTY_ROOT(const struct rb_root *root)
     69   1.3  riastrad {
     70   1.3  riastrad 
     71  1.14  riastrad 	return RB_TREE_MIN(__UNCONST(&root->rbr_tree)) == NULL;
     72   1.3  riastrad }
     73   1.3  riastrad 
     74   1.9  riastrad static inline struct rb_node *
     75  1.14  riastrad rb_first(const struct rb_root *root)
     76  1.10  riastrad {
     77  1.14  riastrad 	char *vnode = RB_TREE_MIN(__UNCONST(&root->rbr_tree));
     78  1.10  riastrad 
     79  1.10  riastrad 	if (vnode)
     80  1.10  riastrad 		vnode += root->rbr_tree.rbt_ops->rbto_node_offset;
     81  1.10  riastrad 	return (struct rb_node *)vnode;
     82  1.10  riastrad }
     83  1.10  riastrad 
     84  1.10  riastrad static inline struct rb_node *
     85  1.14  riastrad rb_next2(const struct rb_root *root, const struct rb_node *rbnode)
     86  1.12  riastrad {
     87  1.14  riastrad 	char *vnode = (char *)__UNCONST(rbnode);
     88  1.13  riastrad 
     89  1.13  riastrad 	vnode -= root->rbr_tree.rbt_ops->rbto_node_offset;
     90  1.15  riastrad 	vnode = RB_TREE_NEXT(__UNCONST(&root->rbr_tree), vnode);
     91  1.15  riastrad 	if (vnode)
     92  1.15  riastrad 		vnode += root->rbr_tree.rbt_ops->rbto_node_offset;
     93  1.15  riastrad 	return (struct rb_node *)vnode;
     94  1.11  riastrad }
     95  1.11  riastrad 
     96  1.11  riastrad static inline struct rb_node *
     97  1.14  riastrad rb_last(const struct rb_root *root)
     98   1.9  riastrad {
     99  1.14  riastrad 	char *vnode = RB_TREE_MAX(__UNCONST(&root->rbr_tree));
    100   1.9  riastrad 
    101   1.9  riastrad 	if (vnode)
    102  1.10  riastrad 		vnode += root->rbr_tree.rbt_ops->rbto_node_offset;
    103   1.9  riastrad 	return (struct rb_node *)vnode;
    104   1.9  riastrad }
    105   1.9  riastrad 
    106  1.10  riastrad static inline struct rb_node *
    107  1.14  riastrad rb_first_cached(const struct rb_root_cached *root)
    108  1.10  riastrad {
    109  1.10  riastrad 	return rb_first(&root->rb_root);
    110  1.10  riastrad }
    111  1.10  riastrad 
    112   1.5  riastrad static inline void
    113   1.6  riastrad rb_erase(struct rb_node *rbnode, struct rb_root *root)
    114   1.5  riastrad {
    115   1.5  riastrad 	struct rb_tree *tree = &root->rbr_tree;
    116   1.5  riastrad 	void *node = (char *)rbnode - tree->rbt_ops->rbto_node_offset;
    117   1.5  riastrad 
    118   1.5  riastrad 	rb_tree_remove_node(tree, node);
    119   1.5  riastrad }
    120   1.5  riastrad 
    121   1.5  riastrad static inline void
    122   1.6  riastrad rb_erase_cached(struct rb_node *rbnode, struct rb_root_cached *root)
    123   1.5  riastrad {
    124   1.8  riastrad 	rb_erase(rbnode, &root->rb_root);
    125   1.5  riastrad }
    126   1.5  riastrad 
    127   1.9  riastrad static inline void
    128   1.9  riastrad rb_replace_node(struct rb_node *old, struct rb_node *new, struct rb_root *root)
    129   1.9  riastrad {
    130   1.9  riastrad 	void *vold = (char *)old - root->rbr_tree.rbt_ops->rbto_node_offset;
    131   1.9  riastrad 	void *vnew = (char *)new - root->rbr_tree.rbt_ops->rbto_node_offset;
    132   1.9  riastrad 	void *collision __diagused;
    133   1.9  riastrad 
    134   1.9  riastrad 	rb_tree_remove_node(&root->rbr_tree, vold);
    135   1.9  riastrad 	collision = rb_tree_insert_node(&root->rbr_tree, vnew);
    136   1.9  riastrad 	KASSERT(collision == vnew);
    137   1.9  riastrad }
    138   1.9  riastrad 
    139   1.9  riastrad static inline void
    140   1.9  riastrad rb_replace_node_cached(struct rb_node *old, struct rb_node *new,
    141   1.9  riastrad     struct rb_root_cached *root)
    142   1.9  riastrad {
    143   1.9  riastrad 	rb_replace_node(old, new, &root->rb_root);
    144   1.9  riastrad }
    145   1.9  riastrad 
    146   1.7  riastrad /*
    147  1.17  riastrad  * This violates the abstraction of rbtree(3) for postorder traversal
    148  1.17  riastrad  * -- children first, then parents -- so it is safe for cleanup code
    149  1.17  riastrad  * that just frees all the nodes without removing them from the tree.
    150   1.7  riastrad  */
    151  1.17  riastrad static inline struct rb_node *
    152  1.17  riastrad rb_first_postorder(const struct rb_root *root)
    153  1.17  riastrad {
    154  1.17  riastrad 	struct rb_node *node, *child;
    155  1.17  riastrad 
    156  1.17  riastrad 	if ((node = root->rbr_tree.rbt_root) == NULL)
    157  1.17  riastrad 		return NULL;
    158  1.17  riastrad 	for (;; node = child) {
    159  1.17  riastrad 		if ((child = node->rb_left) != NULL)
    160  1.17  riastrad 			continue;
    161  1.17  riastrad 		if ((child = node->rb_right) != NULL)
    162  1.17  riastrad 			continue;
    163  1.17  riastrad 		return node;
    164  1.17  riastrad 	}
    165  1.17  riastrad }
    166  1.17  riastrad 
    167  1.17  riastrad static inline struct rb_node *
    168  1.17  riastrad rb_next2_postorder(const struct rb_root *root, struct rb_node *node)
    169  1.17  riastrad {
    170  1.17  riastrad 	struct rb_node *parent, *child;
    171  1.17  riastrad 
    172  1.17  riastrad 	if (node == NULL)
    173  1.17  riastrad 		return NULL;
    174  1.17  riastrad 
    175  1.17  riastrad 	/*
    176  1.17  riastrad 	 * If we're at the root, there are no more siblings and no
    177  1.17  riastrad 	 * parent, so post-order iteration is done.
    178  1.17  riastrad 	 */
    179  1.17  riastrad 	if (RB_ROOT_P(&root->rbr_tree, node))
    180  1.17  riastrad 		return NULL;
    181  1.17  riastrad 	parent = RB_FATHER(node);	/* kinda sexist, innit */
    182  1.17  riastrad 	KASSERT(parent != NULL);
    183  1.17  riastrad 
    184  1.17  riastrad 	/*
    185  1.17  riastrad 	 * If we're the right child, we've already processed the left
    186  1.17  riastrad 	 * child (which may be gone by now), so just return the parent.
    187  1.17  riastrad 	 */
    188  1.17  riastrad 	if (RB_RIGHT_P(node))
    189  1.17  riastrad 		return parent;
    190  1.17  riastrad 
    191  1.17  riastrad 	/*
    192  1.17  riastrad 	 * Otherwise, move down to the leftmost child of our right
    193  1.17  riastrad 	 * sibling -- or return the parent if there is none.
    194  1.17  riastrad 	 */
    195  1.17  riastrad 	if ((node = parent->rb_right) == NULL)
    196  1.17  riastrad 		return parent;
    197  1.17  riastrad 	for (;; node = child) {
    198  1.17  riastrad 		if ((child = node->rb_left) != NULL)
    199  1.17  riastrad 			continue;
    200  1.17  riastrad 		if ((child = node->rb_right) != NULL)
    201  1.17  riastrad 			continue;
    202  1.17  riastrad 		return node;
    203  1.17  riastrad 	}
    204  1.17  riastrad }
    205  1.17  riastrad 
    206  1.18  riastrad /*
    207  1.18  riastrad  * Extension to Linux API, which allows copying a struct rb_root object
    208  1.18  riastrad  * with `=' or `memcpy' and no additional relocation.
    209  1.18  riastrad  */
    210  1.18  riastrad static inline void
    211  1.18  riastrad rb_move(struct rb_root *to, struct rb_root *from)
    212  1.18  riastrad {
    213  1.18  riastrad 	struct rb_node *root;
    214  1.18  riastrad 
    215  1.18  riastrad 	*to = *from;
    216  1.18  riastrad 	memset(from, 0, sizeof(*from)); /* paranoia */
    217  1.18  riastrad 	if ((root = to->rbr_tree.rbt_root) == NULL)
    218  1.18  riastrad 		return;
    219  1.18  riastrad 
    220  1.18  riastrad 	/*
    221  1.18  riastrad 	 * The root node's `parent' is a strict-aliasing-unsafe hack
    222  1.18  riastrad 	 * pointing at the root of the tree.
    223  1.18  riastrad 	 */
    224  1.18  riastrad 	RB_SET_FATHER(root, (struct rb_node *)(void *)&to->rbr_tree.rbt_root);
    225  1.18  riastrad }
    226  1.18  riastrad 
    227  1.17  riastrad #define	rbtree_postorder_for_each_entry_safe(ENTRY, TMP, ROOT, FIELD)	      \
    228  1.17  riastrad 	for ((ENTRY) = rb_entry_safe(rb_first_postorder(ROOT),		      \
    229  1.17  riastrad 		    __typeof__(*(ENTRY)), FIELD);			      \
    230  1.17  riastrad 		((ENTRY) != NULL &&					      \
    231  1.17  riastrad 		    ((TMP) = rb_entry_safe(rb_next2_postorder((ROOT),	      \
    232  1.17  riastrad 			    &(ENTRY)->FIELD), __typeof__(*(ENTRY)), FIELD),   \
    233  1.17  riastrad 			1));						      \
    234  1.17  riastrad 		(ENTRY) = (TMP))
    235   1.7  riastrad 
    236   1.2  riastrad #endif  /* _LINUX_RBTREE_H_ */
    237