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