Home | History | Annotate | Line # | Download | only in linux
rbtree.h revision 1.14
      1  1.14  riastrad /*	$NetBSD: rbtree.h,v 1.14 2021/12/19 11:45:41 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.14  riastrad 	return RB_TREE_NEXT(__UNCONST(&root->rbr_tree), vnode);
     91  1.11  riastrad }
     92  1.11  riastrad 
     93  1.11  riastrad static inline struct rb_node *
     94  1.14  riastrad rb_last(const struct rb_root *root)
     95   1.9  riastrad {
     96  1.14  riastrad 	char *vnode = RB_TREE_MAX(__UNCONST(&root->rbr_tree));
     97   1.9  riastrad 
     98   1.9  riastrad 	if (vnode)
     99  1.10  riastrad 		vnode += root->rbr_tree.rbt_ops->rbto_node_offset;
    100   1.9  riastrad 	return (struct rb_node *)vnode;
    101   1.9  riastrad }
    102   1.9  riastrad 
    103  1.10  riastrad static inline struct rb_node *
    104  1.14  riastrad rb_first_cached(const struct rb_root_cached *root)
    105  1.10  riastrad {
    106  1.10  riastrad 	return rb_first(&root->rb_root);
    107  1.10  riastrad }
    108  1.10  riastrad 
    109   1.5  riastrad static inline void
    110   1.6  riastrad rb_erase(struct rb_node *rbnode, struct rb_root *root)
    111   1.5  riastrad {
    112   1.5  riastrad 	struct rb_tree *tree = &root->rbr_tree;
    113   1.5  riastrad 	void *node = (char *)rbnode - tree->rbt_ops->rbto_node_offset;
    114   1.5  riastrad 
    115   1.5  riastrad 	rb_tree_remove_node(tree, node);
    116   1.5  riastrad }
    117   1.5  riastrad 
    118   1.5  riastrad static inline void
    119   1.6  riastrad rb_erase_cached(struct rb_node *rbnode, struct rb_root_cached *root)
    120   1.5  riastrad {
    121   1.8  riastrad 	rb_erase(rbnode, &root->rb_root);
    122   1.5  riastrad }
    123   1.5  riastrad 
    124   1.9  riastrad static inline void
    125   1.9  riastrad rb_replace_node(struct rb_node *old, struct rb_node *new, struct rb_root *root)
    126   1.9  riastrad {
    127   1.9  riastrad 	void *vold = (char *)old - root->rbr_tree.rbt_ops->rbto_node_offset;
    128   1.9  riastrad 	void *vnew = (char *)new - root->rbr_tree.rbt_ops->rbto_node_offset;
    129   1.9  riastrad 	void *collision __diagused;
    130   1.9  riastrad 
    131   1.9  riastrad 	rb_tree_remove_node(&root->rbr_tree, vold);
    132   1.9  riastrad 	collision = rb_tree_insert_node(&root->rbr_tree, vnew);
    133   1.9  riastrad 	KASSERT(collision == vnew);
    134   1.9  riastrad }
    135   1.9  riastrad 
    136   1.9  riastrad static inline void
    137   1.9  riastrad rb_replace_node_cached(struct rb_node *old, struct rb_node *new,
    138   1.9  riastrad     struct rb_root_cached *root)
    139   1.9  riastrad {
    140   1.9  riastrad 	rb_replace_node(old, new, &root->rb_root);
    141   1.9  riastrad }
    142   1.9  riastrad 
    143   1.7  riastrad /*
    144   1.7  riastrad  * XXX This is not actually postorder, but I can't fathom why you would
    145   1.7  riastrad  * want postorder for an ordered tree; different insertion orders lead
    146   1.7  riastrad  * to different traversal orders.
    147   1.7  riastrad  */
    148   1.7  riastrad #define	rbtree_postorder_for_each_entry_safe(NODE, TMP, ROOT, FIELD)	      \
    149   1.7  riastrad 	for ((NODE) = RB_TREE_MIN(&(ROOT)->rbr_tree);			      \
    150   1.7  riastrad 		((NODE) != NULL &&					      \
    151   1.7  riastrad 		    ((TMP) = rb_tree_iterate(&(ROOT)->rbr_tree, (NODE),	      \
    152   1.7  riastrad 			RB_DIR_RIGHT)));				      \
    153   1.7  riastrad 		(NODE) = (TMP))
    154   1.7  riastrad 
    155   1.2  riastrad #endif  /* _LINUX_RBTREE_H_ */
    156