xref: /OK3568_Linux_fs/kernel/drivers/block/drbd/drbd_interval.c (revision 4882a59341e53eb6f0b4789bf948001014eff981)
1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0
2*4882a593Smuzhiyun #include <asm/bug.h>
3*4882a593Smuzhiyun #include <linux/rbtree_augmented.h>
4*4882a593Smuzhiyun #include "drbd_interval.h"
5*4882a593Smuzhiyun 
6*4882a593Smuzhiyun /**
7*4882a593Smuzhiyun  * interval_end  -  return end of @node
8*4882a593Smuzhiyun  */
9*4882a593Smuzhiyun static inline
interval_end(struct rb_node * node)10*4882a593Smuzhiyun sector_t interval_end(struct rb_node *node)
11*4882a593Smuzhiyun {
12*4882a593Smuzhiyun 	struct drbd_interval *this = rb_entry(node, struct drbd_interval, rb);
13*4882a593Smuzhiyun 	return this->end;
14*4882a593Smuzhiyun }
15*4882a593Smuzhiyun 
16*4882a593Smuzhiyun #define NODE_END(node) ((node)->sector + ((node)->size >> 9))
17*4882a593Smuzhiyun 
18*4882a593Smuzhiyun RB_DECLARE_CALLBACKS_MAX(static, augment_callbacks,
19*4882a593Smuzhiyun 			 struct drbd_interval, rb, sector_t, end, NODE_END);
20*4882a593Smuzhiyun 
21*4882a593Smuzhiyun /**
22*4882a593Smuzhiyun  * drbd_insert_interval  -  insert a new interval into a tree
23*4882a593Smuzhiyun  */
24*4882a593Smuzhiyun bool
drbd_insert_interval(struct rb_root * root,struct drbd_interval * this)25*4882a593Smuzhiyun drbd_insert_interval(struct rb_root *root, struct drbd_interval *this)
26*4882a593Smuzhiyun {
27*4882a593Smuzhiyun 	struct rb_node **new = &root->rb_node, *parent = NULL;
28*4882a593Smuzhiyun 	sector_t this_end = this->sector + (this->size >> 9);
29*4882a593Smuzhiyun 
30*4882a593Smuzhiyun 	BUG_ON(!IS_ALIGNED(this->size, 512));
31*4882a593Smuzhiyun 
32*4882a593Smuzhiyun 	while (*new) {
33*4882a593Smuzhiyun 		struct drbd_interval *here =
34*4882a593Smuzhiyun 			rb_entry(*new, struct drbd_interval, rb);
35*4882a593Smuzhiyun 
36*4882a593Smuzhiyun 		parent = *new;
37*4882a593Smuzhiyun 		if (here->end < this_end)
38*4882a593Smuzhiyun 			here->end = this_end;
39*4882a593Smuzhiyun 		if (this->sector < here->sector)
40*4882a593Smuzhiyun 			new = &(*new)->rb_left;
41*4882a593Smuzhiyun 		else if (this->sector > here->sector)
42*4882a593Smuzhiyun 			new = &(*new)->rb_right;
43*4882a593Smuzhiyun 		else if (this < here)
44*4882a593Smuzhiyun 			new = &(*new)->rb_left;
45*4882a593Smuzhiyun 		else if (this > here)
46*4882a593Smuzhiyun 			new = &(*new)->rb_right;
47*4882a593Smuzhiyun 		else
48*4882a593Smuzhiyun 			return false;
49*4882a593Smuzhiyun 	}
50*4882a593Smuzhiyun 
51*4882a593Smuzhiyun 	this->end = this_end;
52*4882a593Smuzhiyun 	rb_link_node(&this->rb, parent, new);
53*4882a593Smuzhiyun 	rb_insert_augmented(&this->rb, root, &augment_callbacks);
54*4882a593Smuzhiyun 	return true;
55*4882a593Smuzhiyun }
56*4882a593Smuzhiyun 
57*4882a593Smuzhiyun /**
58*4882a593Smuzhiyun  * drbd_contains_interval  -  check if a tree contains a given interval
59*4882a593Smuzhiyun  * @sector:	start sector of @interval
60*4882a593Smuzhiyun  * @interval:	may not be a valid pointer
61*4882a593Smuzhiyun  *
62*4882a593Smuzhiyun  * Returns if the tree contains the node @interval with start sector @start.
63*4882a593Smuzhiyun  * Does not dereference @interval until @interval is known to be a valid object
64*4882a593Smuzhiyun  * in @tree.  Returns %false if @interval is in the tree but with a different
65*4882a593Smuzhiyun  * sector number.
66*4882a593Smuzhiyun  */
67*4882a593Smuzhiyun bool
drbd_contains_interval(struct rb_root * root,sector_t sector,struct drbd_interval * interval)68*4882a593Smuzhiyun drbd_contains_interval(struct rb_root *root, sector_t sector,
69*4882a593Smuzhiyun 		       struct drbd_interval *interval)
70*4882a593Smuzhiyun {
71*4882a593Smuzhiyun 	struct rb_node *node = root->rb_node;
72*4882a593Smuzhiyun 
73*4882a593Smuzhiyun 	while (node) {
74*4882a593Smuzhiyun 		struct drbd_interval *here =
75*4882a593Smuzhiyun 			rb_entry(node, struct drbd_interval, rb);
76*4882a593Smuzhiyun 
77*4882a593Smuzhiyun 		if (sector < here->sector)
78*4882a593Smuzhiyun 			node = node->rb_left;
79*4882a593Smuzhiyun 		else if (sector > here->sector)
80*4882a593Smuzhiyun 			node = node->rb_right;
81*4882a593Smuzhiyun 		else if (interval < here)
82*4882a593Smuzhiyun 			node = node->rb_left;
83*4882a593Smuzhiyun 		else if (interval > here)
84*4882a593Smuzhiyun 			node = node->rb_right;
85*4882a593Smuzhiyun 		else
86*4882a593Smuzhiyun 			return true;
87*4882a593Smuzhiyun 	}
88*4882a593Smuzhiyun 	return false;
89*4882a593Smuzhiyun }
90*4882a593Smuzhiyun 
91*4882a593Smuzhiyun /**
92*4882a593Smuzhiyun  * drbd_remove_interval  -  remove an interval from a tree
93*4882a593Smuzhiyun  */
94*4882a593Smuzhiyun void
drbd_remove_interval(struct rb_root * root,struct drbd_interval * this)95*4882a593Smuzhiyun drbd_remove_interval(struct rb_root *root, struct drbd_interval *this)
96*4882a593Smuzhiyun {
97*4882a593Smuzhiyun 	rb_erase_augmented(&this->rb, root, &augment_callbacks);
98*4882a593Smuzhiyun }
99*4882a593Smuzhiyun 
100*4882a593Smuzhiyun /**
101*4882a593Smuzhiyun  * drbd_find_overlap  - search for an interval overlapping with [sector, sector + size)
102*4882a593Smuzhiyun  * @sector:	start sector
103*4882a593Smuzhiyun  * @size:	size, aligned to 512 bytes
104*4882a593Smuzhiyun  *
105*4882a593Smuzhiyun  * Returns an interval overlapping with [sector, sector + size), or NULL if
106*4882a593Smuzhiyun  * there is none.  When there is more than one overlapping interval in the
107*4882a593Smuzhiyun  * tree, the interval with the lowest start sector is returned, and all other
108*4882a593Smuzhiyun  * overlapping intervals will be on the right side of the tree, reachable with
109*4882a593Smuzhiyun  * rb_next().
110*4882a593Smuzhiyun  */
111*4882a593Smuzhiyun struct drbd_interval *
drbd_find_overlap(struct rb_root * root,sector_t sector,unsigned int size)112*4882a593Smuzhiyun drbd_find_overlap(struct rb_root *root, sector_t sector, unsigned int size)
113*4882a593Smuzhiyun {
114*4882a593Smuzhiyun 	struct rb_node *node = root->rb_node;
115*4882a593Smuzhiyun 	struct drbd_interval *overlap = NULL;
116*4882a593Smuzhiyun 	sector_t end = sector + (size >> 9);
117*4882a593Smuzhiyun 
118*4882a593Smuzhiyun 	BUG_ON(!IS_ALIGNED(size, 512));
119*4882a593Smuzhiyun 
120*4882a593Smuzhiyun 	while (node) {
121*4882a593Smuzhiyun 		struct drbd_interval *here =
122*4882a593Smuzhiyun 			rb_entry(node, struct drbd_interval, rb);
123*4882a593Smuzhiyun 
124*4882a593Smuzhiyun 		if (node->rb_left &&
125*4882a593Smuzhiyun 		    sector < interval_end(node->rb_left)) {
126*4882a593Smuzhiyun 			/* Overlap if any must be on left side */
127*4882a593Smuzhiyun 			node = node->rb_left;
128*4882a593Smuzhiyun 		} else if (here->sector < end &&
129*4882a593Smuzhiyun 			   sector < here->sector + (here->size >> 9)) {
130*4882a593Smuzhiyun 			overlap = here;
131*4882a593Smuzhiyun 			break;
132*4882a593Smuzhiyun 		} else if (sector >= here->sector) {
133*4882a593Smuzhiyun 			/* Overlap if any must be on right side */
134*4882a593Smuzhiyun 			node = node->rb_right;
135*4882a593Smuzhiyun 		} else
136*4882a593Smuzhiyun 			break;
137*4882a593Smuzhiyun 	}
138*4882a593Smuzhiyun 	return overlap;
139*4882a593Smuzhiyun }
140*4882a593Smuzhiyun 
141*4882a593Smuzhiyun struct drbd_interval *
drbd_next_overlap(struct drbd_interval * i,sector_t sector,unsigned int size)142*4882a593Smuzhiyun drbd_next_overlap(struct drbd_interval *i, sector_t sector, unsigned int size)
143*4882a593Smuzhiyun {
144*4882a593Smuzhiyun 	sector_t end = sector + (size >> 9);
145*4882a593Smuzhiyun 	struct rb_node *node;
146*4882a593Smuzhiyun 
147*4882a593Smuzhiyun 	for (;;) {
148*4882a593Smuzhiyun 		node = rb_next(&i->rb);
149*4882a593Smuzhiyun 		if (!node)
150*4882a593Smuzhiyun 			return NULL;
151*4882a593Smuzhiyun 		i = rb_entry(node, struct drbd_interval, rb);
152*4882a593Smuzhiyun 		if (i->sector >= end)
153*4882a593Smuzhiyun 			return NULL;
154*4882a593Smuzhiyun 		if (sector < i->sector + (i->size >> 9))
155*4882a593Smuzhiyun 			return i;
156*4882a593Smuzhiyun 	}
157*4882a593Smuzhiyun }
158