Home | History | Annotate | Line # | Download | only in linux
interval_tree.h revision 1.9
      1  1.9  riastrad /*	$NetBSD: interval_tree.h,v 1.9 2021/12/19 00:46:44 riastradh Exp $	*/
      2  1.1  riastrad 
      3  1.1  riastrad /*-
      4  1.1  riastrad  * Copyright (c) 2018 The NetBSD Foundation, Inc.
      5  1.1  riastrad  * All rights reserved.
      6  1.1  riastrad  *
      7  1.1  riastrad  * This code is derived from software contributed to The NetBSD Foundation
      8  1.1  riastrad  * by Taylor R. Campbell.
      9  1.1  riastrad  *
     10  1.1  riastrad  * Redistribution and use in source and binary forms, with or without
     11  1.1  riastrad  * modification, are permitted provided that the following conditions
     12  1.1  riastrad  * are met:
     13  1.1  riastrad  * 1. Redistributions of source code must retain the above copyright
     14  1.1  riastrad  *    notice, this list of conditions and the following disclaimer.
     15  1.1  riastrad  * 2. Redistributions in binary form must reproduce the above copyright
     16  1.1  riastrad  *    notice, this list of conditions and the following disclaimer in the
     17  1.1  riastrad  *    documentation and/or other materials provided with the distribution.
     18  1.1  riastrad  *
     19  1.1  riastrad  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20  1.1  riastrad  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21  1.1  riastrad  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22  1.1  riastrad  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23  1.1  riastrad  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24  1.1  riastrad  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25  1.1  riastrad  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26  1.1  riastrad  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27  1.1  riastrad  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28  1.1  riastrad  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29  1.1  riastrad  * POSSIBILITY OF SUCH DAMAGE.
     30  1.1  riastrad  */
     31  1.1  riastrad 
     32  1.1  riastrad #ifndef	_LINUX_INTERVAL_TREE_H_
     33  1.1  riastrad #define	_LINUX_INTERVAL_TREE_H_
     34  1.1  riastrad 
     35  1.9  riastrad #include <linux/rbtree.h>
     36  1.6  riastrad 
     37  1.1  riastrad struct interval_tree_node {
     38  1.1  riastrad 	struct rb_node	itn_node;
     39  1.1  riastrad 	unsigned long	start;	/* inclusive */
     40  1.1  riastrad 	unsigned long	last;	/* inclusive */
     41  1.1  riastrad };
     42  1.1  riastrad 
     43  1.1  riastrad static inline int
     44  1.1  riastrad interval_tree_compare_nodes(void *cookie, const void *va, const void *vb)
     45  1.1  riastrad {
     46  1.1  riastrad 	const struct interval_tree_node *na = va;
     47  1.1  riastrad 	const struct interval_tree_node *nb = vb;
     48  1.1  riastrad 
     49  1.1  riastrad 	if (na->start < nb->start)
     50  1.1  riastrad 		return -1;
     51  1.1  riastrad 	if (na->start > nb->start)
     52  1.1  riastrad 		return +1;
     53  1.1  riastrad 	if (na->last < nb->last)
     54  1.1  riastrad 		return -1;
     55  1.1  riastrad 	if (na->last > nb->last)
     56  1.1  riastrad 		return +1;
     57  1.1  riastrad 	return 0;
     58  1.1  riastrad }
     59  1.1  riastrad 
     60  1.1  riastrad static inline int
     61  1.1  riastrad interval_tree_compare_key(void *cookie, const void *vn, const void *vk)
     62  1.1  riastrad {
     63  1.2  riastrad 	const struct interval_tree_node *n = vn;
     64  1.1  riastrad 	const unsigned long *k = vk;
     65  1.1  riastrad 
     66  1.5  riastrad 	if (n->start < *k)
     67  1.1  riastrad 		return -1;
     68  1.5  riastrad 	if (*k < n->start)
     69  1.1  riastrad 		return +1;
     70  1.1  riastrad 	return 0;
     71  1.1  riastrad }
     72  1.1  riastrad 
     73  1.2  riastrad static const rb_tree_ops_t interval_tree_ops = {
     74  1.3  riastrad 	.rbto_compare_nodes = interval_tree_compare_nodes,
     75  1.3  riastrad 	.rbto_compare_key = interval_tree_compare_key,
     76  1.1  riastrad 	.rbto_node_offset = offsetof(struct interval_tree_node, itn_node),
     77  1.1  riastrad };
     78  1.1  riastrad 
     79  1.1  riastrad static inline void
     80  1.6  riastrad interval_tree_init(struct rb_root *root)
     81  1.6  riastrad {
     82  1.6  riastrad 
     83  1.6  riastrad 	rb_tree_init(&root->rbr_tree, &interval_tree_ops);
     84  1.6  riastrad }
     85  1.6  riastrad 
     86  1.6  riastrad static inline void
     87  1.1  riastrad interval_tree_insert(struct interval_tree_node *node, struct rb_root *root)
     88  1.1  riastrad {
     89  1.1  riastrad 	struct interval_tree_node *collision __diagused;
     90  1.1  riastrad 
     91  1.1  riastrad 	collision = rb_tree_insert_node(&root->rbr_tree, node);
     92  1.1  riastrad 	KASSERT(collision == node);
     93  1.1  riastrad }
     94  1.1  riastrad 
     95  1.1  riastrad static inline void
     96  1.1  riastrad interval_tree_remove(struct interval_tree_node *node, struct rb_root *root)
     97  1.1  riastrad {
     98  1.1  riastrad 
     99  1.1  riastrad 	rb_tree_remove_node(&root->rbr_tree, node);
    100  1.1  riastrad }
    101  1.1  riastrad 
    102  1.2  riastrad static inline struct interval_tree_node *
    103  1.1  riastrad interval_tree_iter_first(struct rb_root *root, unsigned long start,
    104  1.1  riastrad     unsigned long last)
    105  1.1  riastrad {
    106  1.2  riastrad 	struct interval_tree_node *node;
    107  1.1  riastrad 
    108  1.1  riastrad 	node = rb_tree_find_node_geq(&root->rbr_tree, &start);
    109  1.1  riastrad 	if (node == NULL)
    110  1.1  riastrad 		return NULL;
    111  1.1  riastrad 	if (last < node->start)
    112  1.1  riastrad 		return NULL;
    113  1.8       tnn 	KASSERT(node->start <= last && node->last >= start);
    114  1.1  riastrad 
    115  1.1  riastrad 	return node;
    116  1.1  riastrad }
    117  1.1  riastrad 
    118  1.1  riastrad /*
    119  1.1  riastrad  * XXX Linux's interval_tree_iter_next doesn't take the root as an
    120  1.1  riastrad  * argument, which makes this difficult.  So we'll just patch those
    121  1.1  riastrad  * uses.
    122  1.1  riastrad  */
    123  1.2  riastrad static inline struct interval_tree_node *
    124  1.2  riastrad interval_tree_iter_next(struct rb_root *root, struct interval_tree_node *node,
    125  1.1  riastrad     unsigned long start, unsigned long last)
    126  1.1  riastrad {
    127  1.2  riastrad 	struct interval_tree_node *next;
    128  1.1  riastrad 
    129  1.1  riastrad 	KASSERT(node != NULL);
    130  1.1  riastrad 	next = rb_tree_iterate(&root->rbr_tree, node, RB_DIR_RIGHT);
    131  1.1  riastrad 	if (next == NULL)
    132  1.1  riastrad 		return NULL;
    133  1.8       tnn 	if (last < next->start)
    134  1.1  riastrad 		return NULL;
    135  1.8       tnn 	KASSERT(next->start <= last && next->last >= start);
    136  1.7  riastrad 
    137  1.7  riastrad 	return next;
    138  1.1  riastrad }
    139  1.1  riastrad 
    140  1.6  riastrad /*
    141  1.6  riastrad  * XXX This is not actually postorder, but I can't fathom why you would
    142  1.6  riastrad  * want postorder for an ordered tree; different insertion orders lead
    143  1.6  riastrad  * to different traversal orders.
    144  1.6  riastrad  */
    145  1.6  riastrad #define	rbtree_postorder_for_each_entry_safe(NODE, TMP, ROOT, FIELD)	      \
    146  1.6  riastrad 	for ((NODE) = RB_TREE_MIN(&(ROOT)->rbr_tree);			      \
    147  1.6  riastrad 		((NODE) != NULL &&					      \
    148  1.6  riastrad 		    ((TMP) = rb_tree_iterate(&(ROOT)->rbr_tree, (NODE),	      \
    149  1.6  riastrad 			RB_DIR_RIGHT)));				      \
    150  1.6  riastrad 		(NODE) = (TMP))
    151  1.6  riastrad 
    152  1.1  riastrad #endif	/* _LINUX_INTERVAL_TREE_H_ */
    153