1*4882a593Smuzhiyun /*
2*4882a593Smuzhiyun * Copyright (C) 2011 Red Hat, Inc.
3*4882a593Smuzhiyun *
4*4882a593Smuzhiyun * This file is released under the GPL.
5*4882a593Smuzhiyun */
6*4882a593Smuzhiyun
7*4882a593Smuzhiyun #include "dm-btree.h"
8*4882a593Smuzhiyun #include "dm-btree-internal.h"
9*4882a593Smuzhiyun #include "dm-transaction-manager.h"
10*4882a593Smuzhiyun
11*4882a593Smuzhiyun #include <linux/export.h>
12*4882a593Smuzhiyun
13*4882a593Smuzhiyun /*
14*4882a593Smuzhiyun * Removing an entry from a btree
15*4882a593Smuzhiyun * ==============================
16*4882a593Smuzhiyun *
17*4882a593Smuzhiyun * A very important constraint for our btree is that no node, except the
18*4882a593Smuzhiyun * root, may have fewer than a certain number of entries.
19*4882a593Smuzhiyun * (MIN_ENTRIES <= nr_entries <= MAX_ENTRIES).
20*4882a593Smuzhiyun *
21*4882a593Smuzhiyun * Ensuring this is complicated by the way we want to only ever hold the
22*4882a593Smuzhiyun * locks on 2 nodes concurrently, and only change nodes in a top to bottom
23*4882a593Smuzhiyun * fashion.
24*4882a593Smuzhiyun *
25*4882a593Smuzhiyun * Each node may have a left or right sibling. When decending the spine,
26*4882a593Smuzhiyun * if a node contains only MIN_ENTRIES then we try and increase this to at
27*4882a593Smuzhiyun * least MIN_ENTRIES + 1. We do this in the following ways:
28*4882a593Smuzhiyun *
29*4882a593Smuzhiyun * [A] No siblings => this can only happen if the node is the root, in which
30*4882a593Smuzhiyun * case we copy the childs contents over the root.
31*4882a593Smuzhiyun *
32*4882a593Smuzhiyun * [B] No left sibling
33*4882a593Smuzhiyun * ==> rebalance(node, right sibling)
34*4882a593Smuzhiyun *
35*4882a593Smuzhiyun * [C] No right sibling
36*4882a593Smuzhiyun * ==> rebalance(left sibling, node)
37*4882a593Smuzhiyun *
38*4882a593Smuzhiyun * [D] Both siblings, total_entries(left, node, right) <= DEL_THRESHOLD
39*4882a593Smuzhiyun * ==> delete node adding it's contents to left and right
40*4882a593Smuzhiyun *
41*4882a593Smuzhiyun * [E] Both siblings, total_entries(left, node, right) > DEL_THRESHOLD
42*4882a593Smuzhiyun * ==> rebalance(left, node, right)
43*4882a593Smuzhiyun *
44*4882a593Smuzhiyun * After these operations it's possible that the our original node no
45*4882a593Smuzhiyun * longer contains the desired sub tree. For this reason this rebalancing
46*4882a593Smuzhiyun * is performed on the children of the current node. This also avoids
47*4882a593Smuzhiyun * having a special case for the root.
48*4882a593Smuzhiyun *
49*4882a593Smuzhiyun * Once this rebalancing has occurred we can then step into the child node
50*4882a593Smuzhiyun * for internal nodes. Or delete the entry for leaf nodes.
51*4882a593Smuzhiyun */
52*4882a593Smuzhiyun
53*4882a593Smuzhiyun /*
54*4882a593Smuzhiyun * Some little utilities for moving node data around.
55*4882a593Smuzhiyun */
node_shift(struct btree_node * n,int shift)56*4882a593Smuzhiyun static void node_shift(struct btree_node *n, int shift)
57*4882a593Smuzhiyun {
58*4882a593Smuzhiyun uint32_t nr_entries = le32_to_cpu(n->header.nr_entries);
59*4882a593Smuzhiyun uint32_t value_size = le32_to_cpu(n->header.value_size);
60*4882a593Smuzhiyun
61*4882a593Smuzhiyun if (shift < 0) {
62*4882a593Smuzhiyun shift = -shift;
63*4882a593Smuzhiyun BUG_ON(shift > nr_entries);
64*4882a593Smuzhiyun BUG_ON((void *) key_ptr(n, shift) >= value_ptr(n, shift));
65*4882a593Smuzhiyun memmove(key_ptr(n, 0),
66*4882a593Smuzhiyun key_ptr(n, shift),
67*4882a593Smuzhiyun (nr_entries - shift) * sizeof(__le64));
68*4882a593Smuzhiyun memmove(value_ptr(n, 0),
69*4882a593Smuzhiyun value_ptr(n, shift),
70*4882a593Smuzhiyun (nr_entries - shift) * value_size);
71*4882a593Smuzhiyun } else {
72*4882a593Smuzhiyun BUG_ON(nr_entries + shift > le32_to_cpu(n->header.max_entries));
73*4882a593Smuzhiyun memmove(key_ptr(n, shift),
74*4882a593Smuzhiyun key_ptr(n, 0),
75*4882a593Smuzhiyun nr_entries * sizeof(__le64));
76*4882a593Smuzhiyun memmove(value_ptr(n, shift),
77*4882a593Smuzhiyun value_ptr(n, 0),
78*4882a593Smuzhiyun nr_entries * value_size);
79*4882a593Smuzhiyun }
80*4882a593Smuzhiyun }
81*4882a593Smuzhiyun
node_copy(struct btree_node * left,struct btree_node * right,int shift)82*4882a593Smuzhiyun static void node_copy(struct btree_node *left, struct btree_node *right, int shift)
83*4882a593Smuzhiyun {
84*4882a593Smuzhiyun uint32_t nr_left = le32_to_cpu(left->header.nr_entries);
85*4882a593Smuzhiyun uint32_t value_size = le32_to_cpu(left->header.value_size);
86*4882a593Smuzhiyun BUG_ON(value_size != le32_to_cpu(right->header.value_size));
87*4882a593Smuzhiyun
88*4882a593Smuzhiyun if (shift < 0) {
89*4882a593Smuzhiyun shift = -shift;
90*4882a593Smuzhiyun BUG_ON(nr_left + shift > le32_to_cpu(left->header.max_entries));
91*4882a593Smuzhiyun memcpy(key_ptr(left, nr_left),
92*4882a593Smuzhiyun key_ptr(right, 0),
93*4882a593Smuzhiyun shift * sizeof(__le64));
94*4882a593Smuzhiyun memcpy(value_ptr(left, nr_left),
95*4882a593Smuzhiyun value_ptr(right, 0),
96*4882a593Smuzhiyun shift * value_size);
97*4882a593Smuzhiyun } else {
98*4882a593Smuzhiyun BUG_ON(shift > le32_to_cpu(right->header.max_entries));
99*4882a593Smuzhiyun memcpy(key_ptr(right, 0),
100*4882a593Smuzhiyun key_ptr(left, nr_left - shift),
101*4882a593Smuzhiyun shift * sizeof(__le64));
102*4882a593Smuzhiyun memcpy(value_ptr(right, 0),
103*4882a593Smuzhiyun value_ptr(left, nr_left - shift),
104*4882a593Smuzhiyun shift * value_size);
105*4882a593Smuzhiyun }
106*4882a593Smuzhiyun }
107*4882a593Smuzhiyun
108*4882a593Smuzhiyun /*
109*4882a593Smuzhiyun * Delete a specific entry from a leaf node.
110*4882a593Smuzhiyun */
delete_at(struct btree_node * n,unsigned index)111*4882a593Smuzhiyun static void delete_at(struct btree_node *n, unsigned index)
112*4882a593Smuzhiyun {
113*4882a593Smuzhiyun unsigned nr_entries = le32_to_cpu(n->header.nr_entries);
114*4882a593Smuzhiyun unsigned nr_to_copy = nr_entries - (index + 1);
115*4882a593Smuzhiyun uint32_t value_size = le32_to_cpu(n->header.value_size);
116*4882a593Smuzhiyun BUG_ON(index >= nr_entries);
117*4882a593Smuzhiyun
118*4882a593Smuzhiyun if (nr_to_copy) {
119*4882a593Smuzhiyun memmove(key_ptr(n, index),
120*4882a593Smuzhiyun key_ptr(n, index + 1),
121*4882a593Smuzhiyun nr_to_copy * sizeof(__le64));
122*4882a593Smuzhiyun
123*4882a593Smuzhiyun memmove(value_ptr(n, index),
124*4882a593Smuzhiyun value_ptr(n, index + 1),
125*4882a593Smuzhiyun nr_to_copy * value_size);
126*4882a593Smuzhiyun }
127*4882a593Smuzhiyun
128*4882a593Smuzhiyun n->header.nr_entries = cpu_to_le32(nr_entries - 1);
129*4882a593Smuzhiyun }
130*4882a593Smuzhiyun
merge_threshold(struct btree_node * n)131*4882a593Smuzhiyun static unsigned merge_threshold(struct btree_node *n)
132*4882a593Smuzhiyun {
133*4882a593Smuzhiyun return le32_to_cpu(n->header.max_entries) / 3;
134*4882a593Smuzhiyun }
135*4882a593Smuzhiyun
136*4882a593Smuzhiyun struct child {
137*4882a593Smuzhiyun unsigned index;
138*4882a593Smuzhiyun struct dm_block *block;
139*4882a593Smuzhiyun struct btree_node *n;
140*4882a593Smuzhiyun };
141*4882a593Smuzhiyun
init_child(struct dm_btree_info * info,struct dm_btree_value_type * vt,struct btree_node * parent,unsigned index,struct child * result)142*4882a593Smuzhiyun static int init_child(struct dm_btree_info *info, struct dm_btree_value_type *vt,
143*4882a593Smuzhiyun struct btree_node *parent,
144*4882a593Smuzhiyun unsigned index, struct child *result)
145*4882a593Smuzhiyun {
146*4882a593Smuzhiyun int r, inc;
147*4882a593Smuzhiyun dm_block_t root;
148*4882a593Smuzhiyun
149*4882a593Smuzhiyun result->index = index;
150*4882a593Smuzhiyun root = value64(parent, index);
151*4882a593Smuzhiyun
152*4882a593Smuzhiyun r = dm_tm_shadow_block(info->tm, root, &btree_node_validator,
153*4882a593Smuzhiyun &result->block, &inc);
154*4882a593Smuzhiyun if (r)
155*4882a593Smuzhiyun return r;
156*4882a593Smuzhiyun
157*4882a593Smuzhiyun result->n = dm_block_data(result->block);
158*4882a593Smuzhiyun
159*4882a593Smuzhiyun if (inc)
160*4882a593Smuzhiyun inc_children(info->tm, result->n, vt);
161*4882a593Smuzhiyun
162*4882a593Smuzhiyun *((__le64 *) value_ptr(parent, index)) =
163*4882a593Smuzhiyun cpu_to_le64(dm_block_location(result->block));
164*4882a593Smuzhiyun
165*4882a593Smuzhiyun return 0;
166*4882a593Smuzhiyun }
167*4882a593Smuzhiyun
exit_child(struct dm_btree_info * info,struct child * c)168*4882a593Smuzhiyun static void exit_child(struct dm_btree_info *info, struct child *c)
169*4882a593Smuzhiyun {
170*4882a593Smuzhiyun dm_tm_unlock(info->tm, c->block);
171*4882a593Smuzhiyun }
172*4882a593Smuzhiyun
shift(struct btree_node * left,struct btree_node * right,int count)173*4882a593Smuzhiyun static void shift(struct btree_node *left, struct btree_node *right, int count)
174*4882a593Smuzhiyun {
175*4882a593Smuzhiyun uint32_t nr_left = le32_to_cpu(left->header.nr_entries);
176*4882a593Smuzhiyun uint32_t nr_right = le32_to_cpu(right->header.nr_entries);
177*4882a593Smuzhiyun uint32_t max_entries = le32_to_cpu(left->header.max_entries);
178*4882a593Smuzhiyun uint32_t r_max_entries = le32_to_cpu(right->header.max_entries);
179*4882a593Smuzhiyun
180*4882a593Smuzhiyun BUG_ON(max_entries != r_max_entries);
181*4882a593Smuzhiyun BUG_ON(nr_left - count > max_entries);
182*4882a593Smuzhiyun BUG_ON(nr_right + count > max_entries);
183*4882a593Smuzhiyun
184*4882a593Smuzhiyun if (!count)
185*4882a593Smuzhiyun return;
186*4882a593Smuzhiyun
187*4882a593Smuzhiyun if (count > 0) {
188*4882a593Smuzhiyun node_shift(right, count);
189*4882a593Smuzhiyun node_copy(left, right, count);
190*4882a593Smuzhiyun } else {
191*4882a593Smuzhiyun node_copy(left, right, count);
192*4882a593Smuzhiyun node_shift(right, count);
193*4882a593Smuzhiyun }
194*4882a593Smuzhiyun
195*4882a593Smuzhiyun left->header.nr_entries = cpu_to_le32(nr_left - count);
196*4882a593Smuzhiyun right->header.nr_entries = cpu_to_le32(nr_right + count);
197*4882a593Smuzhiyun }
198*4882a593Smuzhiyun
__rebalance2(struct dm_btree_info * info,struct btree_node * parent,struct child * l,struct child * r)199*4882a593Smuzhiyun static void __rebalance2(struct dm_btree_info *info, struct btree_node *parent,
200*4882a593Smuzhiyun struct child *l, struct child *r)
201*4882a593Smuzhiyun {
202*4882a593Smuzhiyun struct btree_node *left = l->n;
203*4882a593Smuzhiyun struct btree_node *right = r->n;
204*4882a593Smuzhiyun uint32_t nr_left = le32_to_cpu(left->header.nr_entries);
205*4882a593Smuzhiyun uint32_t nr_right = le32_to_cpu(right->header.nr_entries);
206*4882a593Smuzhiyun /*
207*4882a593Smuzhiyun * Ensure the number of entries in each child will be greater
208*4882a593Smuzhiyun * than or equal to (max_entries / 3 + 1), so no matter which
209*4882a593Smuzhiyun * child is used for removal, the number will still be not
210*4882a593Smuzhiyun * less than (max_entries / 3).
211*4882a593Smuzhiyun */
212*4882a593Smuzhiyun unsigned int threshold = 2 * (merge_threshold(left) + 1);
213*4882a593Smuzhiyun
214*4882a593Smuzhiyun if (nr_left + nr_right < threshold) {
215*4882a593Smuzhiyun /*
216*4882a593Smuzhiyun * Merge
217*4882a593Smuzhiyun */
218*4882a593Smuzhiyun node_copy(left, right, -nr_right);
219*4882a593Smuzhiyun left->header.nr_entries = cpu_to_le32(nr_left + nr_right);
220*4882a593Smuzhiyun delete_at(parent, r->index);
221*4882a593Smuzhiyun
222*4882a593Smuzhiyun /*
223*4882a593Smuzhiyun * We need to decrement the right block, but not it's
224*4882a593Smuzhiyun * children, since they're still referenced by left.
225*4882a593Smuzhiyun */
226*4882a593Smuzhiyun dm_tm_dec(info->tm, dm_block_location(r->block));
227*4882a593Smuzhiyun } else {
228*4882a593Smuzhiyun /*
229*4882a593Smuzhiyun * Rebalance.
230*4882a593Smuzhiyun */
231*4882a593Smuzhiyun unsigned target_left = (nr_left + nr_right) / 2;
232*4882a593Smuzhiyun shift(left, right, nr_left - target_left);
233*4882a593Smuzhiyun *key_ptr(parent, r->index) = right->keys[0];
234*4882a593Smuzhiyun }
235*4882a593Smuzhiyun }
236*4882a593Smuzhiyun
rebalance2(struct shadow_spine * s,struct dm_btree_info * info,struct dm_btree_value_type * vt,unsigned left_index)237*4882a593Smuzhiyun static int rebalance2(struct shadow_spine *s, struct dm_btree_info *info,
238*4882a593Smuzhiyun struct dm_btree_value_type *vt, unsigned left_index)
239*4882a593Smuzhiyun {
240*4882a593Smuzhiyun int r;
241*4882a593Smuzhiyun struct btree_node *parent;
242*4882a593Smuzhiyun struct child left, right;
243*4882a593Smuzhiyun
244*4882a593Smuzhiyun parent = dm_block_data(shadow_current(s));
245*4882a593Smuzhiyun
246*4882a593Smuzhiyun r = init_child(info, vt, parent, left_index, &left);
247*4882a593Smuzhiyun if (r)
248*4882a593Smuzhiyun return r;
249*4882a593Smuzhiyun
250*4882a593Smuzhiyun r = init_child(info, vt, parent, left_index + 1, &right);
251*4882a593Smuzhiyun if (r) {
252*4882a593Smuzhiyun exit_child(info, &left);
253*4882a593Smuzhiyun return r;
254*4882a593Smuzhiyun }
255*4882a593Smuzhiyun
256*4882a593Smuzhiyun __rebalance2(info, parent, &left, &right);
257*4882a593Smuzhiyun
258*4882a593Smuzhiyun exit_child(info, &left);
259*4882a593Smuzhiyun exit_child(info, &right);
260*4882a593Smuzhiyun
261*4882a593Smuzhiyun return 0;
262*4882a593Smuzhiyun }
263*4882a593Smuzhiyun
264*4882a593Smuzhiyun /*
265*4882a593Smuzhiyun * We dump as many entries from center as possible into left, then the rest
266*4882a593Smuzhiyun * in right, then rebalance2. This wastes some cpu, but I want something
267*4882a593Smuzhiyun * simple atm.
268*4882a593Smuzhiyun */
delete_center_node(struct dm_btree_info * info,struct btree_node * parent,struct child * l,struct child * c,struct child * r,struct btree_node * left,struct btree_node * center,struct btree_node * right,uint32_t nr_left,uint32_t nr_center,uint32_t nr_right)269*4882a593Smuzhiyun static void delete_center_node(struct dm_btree_info *info, struct btree_node *parent,
270*4882a593Smuzhiyun struct child *l, struct child *c, struct child *r,
271*4882a593Smuzhiyun struct btree_node *left, struct btree_node *center, struct btree_node *right,
272*4882a593Smuzhiyun uint32_t nr_left, uint32_t nr_center, uint32_t nr_right)
273*4882a593Smuzhiyun {
274*4882a593Smuzhiyun uint32_t max_entries = le32_to_cpu(left->header.max_entries);
275*4882a593Smuzhiyun unsigned shift = min(max_entries - nr_left, nr_center);
276*4882a593Smuzhiyun
277*4882a593Smuzhiyun BUG_ON(nr_left + shift > max_entries);
278*4882a593Smuzhiyun node_copy(left, center, -shift);
279*4882a593Smuzhiyun left->header.nr_entries = cpu_to_le32(nr_left + shift);
280*4882a593Smuzhiyun
281*4882a593Smuzhiyun if (shift != nr_center) {
282*4882a593Smuzhiyun shift = nr_center - shift;
283*4882a593Smuzhiyun BUG_ON((nr_right + shift) > max_entries);
284*4882a593Smuzhiyun node_shift(right, shift);
285*4882a593Smuzhiyun node_copy(center, right, shift);
286*4882a593Smuzhiyun right->header.nr_entries = cpu_to_le32(nr_right + shift);
287*4882a593Smuzhiyun }
288*4882a593Smuzhiyun *key_ptr(parent, r->index) = right->keys[0];
289*4882a593Smuzhiyun
290*4882a593Smuzhiyun delete_at(parent, c->index);
291*4882a593Smuzhiyun r->index--;
292*4882a593Smuzhiyun
293*4882a593Smuzhiyun dm_tm_dec(info->tm, dm_block_location(c->block));
294*4882a593Smuzhiyun __rebalance2(info, parent, l, r);
295*4882a593Smuzhiyun }
296*4882a593Smuzhiyun
297*4882a593Smuzhiyun /*
298*4882a593Smuzhiyun * Redistributes entries among 3 sibling nodes.
299*4882a593Smuzhiyun */
redistribute3(struct dm_btree_info * info,struct btree_node * parent,struct child * l,struct child * c,struct child * r,struct btree_node * left,struct btree_node * center,struct btree_node * right,uint32_t nr_left,uint32_t nr_center,uint32_t nr_right)300*4882a593Smuzhiyun static void redistribute3(struct dm_btree_info *info, struct btree_node *parent,
301*4882a593Smuzhiyun struct child *l, struct child *c, struct child *r,
302*4882a593Smuzhiyun struct btree_node *left, struct btree_node *center, struct btree_node *right,
303*4882a593Smuzhiyun uint32_t nr_left, uint32_t nr_center, uint32_t nr_right)
304*4882a593Smuzhiyun {
305*4882a593Smuzhiyun int s;
306*4882a593Smuzhiyun uint32_t max_entries = le32_to_cpu(left->header.max_entries);
307*4882a593Smuzhiyun unsigned total = nr_left + nr_center + nr_right;
308*4882a593Smuzhiyun unsigned target_right = total / 3;
309*4882a593Smuzhiyun unsigned remainder = (target_right * 3) != total;
310*4882a593Smuzhiyun unsigned target_left = target_right + remainder;
311*4882a593Smuzhiyun
312*4882a593Smuzhiyun BUG_ON(target_left > max_entries);
313*4882a593Smuzhiyun BUG_ON(target_right > max_entries);
314*4882a593Smuzhiyun
315*4882a593Smuzhiyun if (nr_left < nr_right) {
316*4882a593Smuzhiyun s = nr_left - target_left;
317*4882a593Smuzhiyun
318*4882a593Smuzhiyun if (s < 0 && nr_center < -s) {
319*4882a593Smuzhiyun /* not enough in central node */
320*4882a593Smuzhiyun shift(left, center, -nr_center);
321*4882a593Smuzhiyun s += nr_center;
322*4882a593Smuzhiyun shift(left, right, s);
323*4882a593Smuzhiyun nr_right += s;
324*4882a593Smuzhiyun } else
325*4882a593Smuzhiyun shift(left, center, s);
326*4882a593Smuzhiyun
327*4882a593Smuzhiyun shift(center, right, target_right - nr_right);
328*4882a593Smuzhiyun
329*4882a593Smuzhiyun } else {
330*4882a593Smuzhiyun s = target_right - nr_right;
331*4882a593Smuzhiyun if (s > 0 && nr_center < s) {
332*4882a593Smuzhiyun /* not enough in central node */
333*4882a593Smuzhiyun shift(center, right, nr_center);
334*4882a593Smuzhiyun s -= nr_center;
335*4882a593Smuzhiyun shift(left, right, s);
336*4882a593Smuzhiyun nr_left -= s;
337*4882a593Smuzhiyun } else
338*4882a593Smuzhiyun shift(center, right, s);
339*4882a593Smuzhiyun
340*4882a593Smuzhiyun shift(left, center, nr_left - target_left);
341*4882a593Smuzhiyun }
342*4882a593Smuzhiyun
343*4882a593Smuzhiyun *key_ptr(parent, c->index) = center->keys[0];
344*4882a593Smuzhiyun *key_ptr(parent, r->index) = right->keys[0];
345*4882a593Smuzhiyun }
346*4882a593Smuzhiyun
__rebalance3(struct dm_btree_info * info,struct btree_node * parent,struct child * l,struct child * c,struct child * r)347*4882a593Smuzhiyun static void __rebalance3(struct dm_btree_info *info, struct btree_node *parent,
348*4882a593Smuzhiyun struct child *l, struct child *c, struct child *r)
349*4882a593Smuzhiyun {
350*4882a593Smuzhiyun struct btree_node *left = l->n;
351*4882a593Smuzhiyun struct btree_node *center = c->n;
352*4882a593Smuzhiyun struct btree_node *right = r->n;
353*4882a593Smuzhiyun
354*4882a593Smuzhiyun uint32_t nr_left = le32_to_cpu(left->header.nr_entries);
355*4882a593Smuzhiyun uint32_t nr_center = le32_to_cpu(center->header.nr_entries);
356*4882a593Smuzhiyun uint32_t nr_right = le32_to_cpu(right->header.nr_entries);
357*4882a593Smuzhiyun
358*4882a593Smuzhiyun unsigned threshold = merge_threshold(left) * 4 + 1;
359*4882a593Smuzhiyun
360*4882a593Smuzhiyun BUG_ON(left->header.max_entries != center->header.max_entries);
361*4882a593Smuzhiyun BUG_ON(center->header.max_entries != right->header.max_entries);
362*4882a593Smuzhiyun
363*4882a593Smuzhiyun if ((nr_left + nr_center + nr_right) < threshold)
364*4882a593Smuzhiyun delete_center_node(info, parent, l, c, r, left, center, right,
365*4882a593Smuzhiyun nr_left, nr_center, nr_right);
366*4882a593Smuzhiyun else
367*4882a593Smuzhiyun redistribute3(info, parent, l, c, r, left, center, right,
368*4882a593Smuzhiyun nr_left, nr_center, nr_right);
369*4882a593Smuzhiyun }
370*4882a593Smuzhiyun
rebalance3(struct shadow_spine * s,struct dm_btree_info * info,struct dm_btree_value_type * vt,unsigned left_index)371*4882a593Smuzhiyun static int rebalance3(struct shadow_spine *s, struct dm_btree_info *info,
372*4882a593Smuzhiyun struct dm_btree_value_type *vt, unsigned left_index)
373*4882a593Smuzhiyun {
374*4882a593Smuzhiyun int r;
375*4882a593Smuzhiyun struct btree_node *parent = dm_block_data(shadow_current(s));
376*4882a593Smuzhiyun struct child left, center, right;
377*4882a593Smuzhiyun
378*4882a593Smuzhiyun /*
379*4882a593Smuzhiyun * FIXME: fill out an array?
380*4882a593Smuzhiyun */
381*4882a593Smuzhiyun r = init_child(info, vt, parent, left_index, &left);
382*4882a593Smuzhiyun if (r)
383*4882a593Smuzhiyun return r;
384*4882a593Smuzhiyun
385*4882a593Smuzhiyun r = init_child(info, vt, parent, left_index + 1, ¢er);
386*4882a593Smuzhiyun if (r) {
387*4882a593Smuzhiyun exit_child(info, &left);
388*4882a593Smuzhiyun return r;
389*4882a593Smuzhiyun }
390*4882a593Smuzhiyun
391*4882a593Smuzhiyun r = init_child(info, vt, parent, left_index + 2, &right);
392*4882a593Smuzhiyun if (r) {
393*4882a593Smuzhiyun exit_child(info, &left);
394*4882a593Smuzhiyun exit_child(info, ¢er);
395*4882a593Smuzhiyun return r;
396*4882a593Smuzhiyun }
397*4882a593Smuzhiyun
398*4882a593Smuzhiyun __rebalance3(info, parent, &left, ¢er, &right);
399*4882a593Smuzhiyun
400*4882a593Smuzhiyun exit_child(info, &left);
401*4882a593Smuzhiyun exit_child(info, ¢er);
402*4882a593Smuzhiyun exit_child(info, &right);
403*4882a593Smuzhiyun
404*4882a593Smuzhiyun return 0;
405*4882a593Smuzhiyun }
406*4882a593Smuzhiyun
rebalance_children(struct shadow_spine * s,struct dm_btree_info * info,struct dm_btree_value_type * vt,uint64_t key)407*4882a593Smuzhiyun static int rebalance_children(struct shadow_spine *s,
408*4882a593Smuzhiyun struct dm_btree_info *info,
409*4882a593Smuzhiyun struct dm_btree_value_type *vt, uint64_t key)
410*4882a593Smuzhiyun {
411*4882a593Smuzhiyun int i, r, has_left_sibling, has_right_sibling;
412*4882a593Smuzhiyun struct btree_node *n;
413*4882a593Smuzhiyun
414*4882a593Smuzhiyun n = dm_block_data(shadow_current(s));
415*4882a593Smuzhiyun
416*4882a593Smuzhiyun if (le32_to_cpu(n->header.nr_entries) == 1) {
417*4882a593Smuzhiyun struct dm_block *child;
418*4882a593Smuzhiyun dm_block_t b = value64(n, 0);
419*4882a593Smuzhiyun
420*4882a593Smuzhiyun r = dm_tm_read_lock(info->tm, b, &btree_node_validator, &child);
421*4882a593Smuzhiyun if (r)
422*4882a593Smuzhiyun return r;
423*4882a593Smuzhiyun
424*4882a593Smuzhiyun memcpy(n, dm_block_data(child),
425*4882a593Smuzhiyun dm_bm_block_size(dm_tm_get_bm(info->tm)));
426*4882a593Smuzhiyun
427*4882a593Smuzhiyun dm_tm_dec(info->tm, dm_block_location(child));
428*4882a593Smuzhiyun dm_tm_unlock(info->tm, child);
429*4882a593Smuzhiyun return 0;
430*4882a593Smuzhiyun }
431*4882a593Smuzhiyun
432*4882a593Smuzhiyun i = lower_bound(n, key);
433*4882a593Smuzhiyun if (i < 0)
434*4882a593Smuzhiyun return -ENODATA;
435*4882a593Smuzhiyun
436*4882a593Smuzhiyun has_left_sibling = i > 0;
437*4882a593Smuzhiyun has_right_sibling = i < (le32_to_cpu(n->header.nr_entries) - 1);
438*4882a593Smuzhiyun
439*4882a593Smuzhiyun if (!has_left_sibling)
440*4882a593Smuzhiyun r = rebalance2(s, info, vt, i);
441*4882a593Smuzhiyun
442*4882a593Smuzhiyun else if (!has_right_sibling)
443*4882a593Smuzhiyun r = rebalance2(s, info, vt, i - 1);
444*4882a593Smuzhiyun
445*4882a593Smuzhiyun else
446*4882a593Smuzhiyun r = rebalance3(s, info, vt, i - 1);
447*4882a593Smuzhiyun
448*4882a593Smuzhiyun return r;
449*4882a593Smuzhiyun }
450*4882a593Smuzhiyun
do_leaf(struct btree_node * n,uint64_t key,unsigned * index)451*4882a593Smuzhiyun static int do_leaf(struct btree_node *n, uint64_t key, unsigned *index)
452*4882a593Smuzhiyun {
453*4882a593Smuzhiyun int i = lower_bound(n, key);
454*4882a593Smuzhiyun
455*4882a593Smuzhiyun if ((i < 0) ||
456*4882a593Smuzhiyun (i >= le32_to_cpu(n->header.nr_entries)) ||
457*4882a593Smuzhiyun (le64_to_cpu(n->keys[i]) != key))
458*4882a593Smuzhiyun return -ENODATA;
459*4882a593Smuzhiyun
460*4882a593Smuzhiyun *index = i;
461*4882a593Smuzhiyun
462*4882a593Smuzhiyun return 0;
463*4882a593Smuzhiyun }
464*4882a593Smuzhiyun
465*4882a593Smuzhiyun /*
466*4882a593Smuzhiyun * Prepares for removal from one level of the hierarchy. The caller must
467*4882a593Smuzhiyun * call delete_at() to remove the entry at index.
468*4882a593Smuzhiyun */
remove_raw(struct shadow_spine * s,struct dm_btree_info * info,struct dm_btree_value_type * vt,dm_block_t root,uint64_t key,unsigned * index)469*4882a593Smuzhiyun static int remove_raw(struct shadow_spine *s, struct dm_btree_info *info,
470*4882a593Smuzhiyun struct dm_btree_value_type *vt, dm_block_t root,
471*4882a593Smuzhiyun uint64_t key, unsigned *index)
472*4882a593Smuzhiyun {
473*4882a593Smuzhiyun int i = *index, r;
474*4882a593Smuzhiyun struct btree_node *n;
475*4882a593Smuzhiyun
476*4882a593Smuzhiyun for (;;) {
477*4882a593Smuzhiyun r = shadow_step(s, root, vt);
478*4882a593Smuzhiyun if (r < 0)
479*4882a593Smuzhiyun break;
480*4882a593Smuzhiyun
481*4882a593Smuzhiyun /*
482*4882a593Smuzhiyun * We have to patch up the parent node, ugly, but I don't
483*4882a593Smuzhiyun * see a way to do this automatically as part of the spine
484*4882a593Smuzhiyun * op.
485*4882a593Smuzhiyun */
486*4882a593Smuzhiyun if (shadow_has_parent(s)) {
487*4882a593Smuzhiyun __le64 location = cpu_to_le64(dm_block_location(shadow_current(s)));
488*4882a593Smuzhiyun memcpy(value_ptr(dm_block_data(shadow_parent(s)), i),
489*4882a593Smuzhiyun &location, sizeof(__le64));
490*4882a593Smuzhiyun }
491*4882a593Smuzhiyun
492*4882a593Smuzhiyun n = dm_block_data(shadow_current(s));
493*4882a593Smuzhiyun
494*4882a593Smuzhiyun if (le32_to_cpu(n->header.flags) & LEAF_NODE)
495*4882a593Smuzhiyun return do_leaf(n, key, index);
496*4882a593Smuzhiyun
497*4882a593Smuzhiyun r = rebalance_children(s, info, vt, key);
498*4882a593Smuzhiyun if (r)
499*4882a593Smuzhiyun break;
500*4882a593Smuzhiyun
501*4882a593Smuzhiyun n = dm_block_data(shadow_current(s));
502*4882a593Smuzhiyun if (le32_to_cpu(n->header.flags) & LEAF_NODE)
503*4882a593Smuzhiyun return do_leaf(n, key, index);
504*4882a593Smuzhiyun
505*4882a593Smuzhiyun i = lower_bound(n, key);
506*4882a593Smuzhiyun
507*4882a593Smuzhiyun /*
508*4882a593Smuzhiyun * We know the key is present, or else
509*4882a593Smuzhiyun * rebalance_children would have returned
510*4882a593Smuzhiyun * -ENODATA
511*4882a593Smuzhiyun */
512*4882a593Smuzhiyun root = value64(n, i);
513*4882a593Smuzhiyun }
514*4882a593Smuzhiyun
515*4882a593Smuzhiyun return r;
516*4882a593Smuzhiyun }
517*4882a593Smuzhiyun
dm_btree_remove(struct dm_btree_info * info,dm_block_t root,uint64_t * keys,dm_block_t * new_root)518*4882a593Smuzhiyun int dm_btree_remove(struct dm_btree_info *info, dm_block_t root,
519*4882a593Smuzhiyun uint64_t *keys, dm_block_t *new_root)
520*4882a593Smuzhiyun {
521*4882a593Smuzhiyun unsigned level, last_level = info->levels - 1;
522*4882a593Smuzhiyun int index = 0, r = 0;
523*4882a593Smuzhiyun struct shadow_spine spine;
524*4882a593Smuzhiyun struct btree_node *n;
525*4882a593Smuzhiyun struct dm_btree_value_type le64_vt;
526*4882a593Smuzhiyun
527*4882a593Smuzhiyun init_le64_type(info->tm, &le64_vt);
528*4882a593Smuzhiyun init_shadow_spine(&spine, info);
529*4882a593Smuzhiyun for (level = 0; level < info->levels; level++) {
530*4882a593Smuzhiyun r = remove_raw(&spine, info,
531*4882a593Smuzhiyun (level == last_level ?
532*4882a593Smuzhiyun &info->value_type : &le64_vt),
533*4882a593Smuzhiyun root, keys[level], (unsigned *)&index);
534*4882a593Smuzhiyun if (r < 0)
535*4882a593Smuzhiyun break;
536*4882a593Smuzhiyun
537*4882a593Smuzhiyun n = dm_block_data(shadow_current(&spine));
538*4882a593Smuzhiyun if (level != last_level) {
539*4882a593Smuzhiyun root = value64(n, index);
540*4882a593Smuzhiyun continue;
541*4882a593Smuzhiyun }
542*4882a593Smuzhiyun
543*4882a593Smuzhiyun BUG_ON(index < 0 || index >= le32_to_cpu(n->header.nr_entries));
544*4882a593Smuzhiyun
545*4882a593Smuzhiyun if (info->value_type.dec)
546*4882a593Smuzhiyun info->value_type.dec(info->value_type.context,
547*4882a593Smuzhiyun value_ptr(n, index));
548*4882a593Smuzhiyun
549*4882a593Smuzhiyun delete_at(n, index);
550*4882a593Smuzhiyun }
551*4882a593Smuzhiyun
552*4882a593Smuzhiyun if (!r)
553*4882a593Smuzhiyun *new_root = shadow_root(&spine);
554*4882a593Smuzhiyun exit_shadow_spine(&spine);
555*4882a593Smuzhiyun
556*4882a593Smuzhiyun return r;
557*4882a593Smuzhiyun }
558*4882a593Smuzhiyun EXPORT_SYMBOL_GPL(dm_btree_remove);
559*4882a593Smuzhiyun
560*4882a593Smuzhiyun /*----------------------------------------------------------------*/
561*4882a593Smuzhiyun
remove_nearest(struct shadow_spine * s,struct dm_btree_info * info,struct dm_btree_value_type * vt,dm_block_t root,uint64_t key,int * index)562*4882a593Smuzhiyun static int remove_nearest(struct shadow_spine *s, struct dm_btree_info *info,
563*4882a593Smuzhiyun struct dm_btree_value_type *vt, dm_block_t root,
564*4882a593Smuzhiyun uint64_t key, int *index)
565*4882a593Smuzhiyun {
566*4882a593Smuzhiyun int i = *index, r;
567*4882a593Smuzhiyun struct btree_node *n;
568*4882a593Smuzhiyun
569*4882a593Smuzhiyun for (;;) {
570*4882a593Smuzhiyun r = shadow_step(s, root, vt);
571*4882a593Smuzhiyun if (r < 0)
572*4882a593Smuzhiyun break;
573*4882a593Smuzhiyun
574*4882a593Smuzhiyun /*
575*4882a593Smuzhiyun * We have to patch up the parent node, ugly, but I don't
576*4882a593Smuzhiyun * see a way to do this automatically as part of the spine
577*4882a593Smuzhiyun * op.
578*4882a593Smuzhiyun */
579*4882a593Smuzhiyun if (shadow_has_parent(s)) {
580*4882a593Smuzhiyun __le64 location = cpu_to_le64(dm_block_location(shadow_current(s)));
581*4882a593Smuzhiyun memcpy(value_ptr(dm_block_data(shadow_parent(s)), i),
582*4882a593Smuzhiyun &location, sizeof(__le64));
583*4882a593Smuzhiyun }
584*4882a593Smuzhiyun
585*4882a593Smuzhiyun n = dm_block_data(shadow_current(s));
586*4882a593Smuzhiyun
587*4882a593Smuzhiyun if (le32_to_cpu(n->header.flags) & LEAF_NODE) {
588*4882a593Smuzhiyun *index = lower_bound(n, key);
589*4882a593Smuzhiyun return 0;
590*4882a593Smuzhiyun }
591*4882a593Smuzhiyun
592*4882a593Smuzhiyun r = rebalance_children(s, info, vt, key);
593*4882a593Smuzhiyun if (r)
594*4882a593Smuzhiyun break;
595*4882a593Smuzhiyun
596*4882a593Smuzhiyun n = dm_block_data(shadow_current(s));
597*4882a593Smuzhiyun if (le32_to_cpu(n->header.flags) & LEAF_NODE) {
598*4882a593Smuzhiyun *index = lower_bound(n, key);
599*4882a593Smuzhiyun return 0;
600*4882a593Smuzhiyun }
601*4882a593Smuzhiyun
602*4882a593Smuzhiyun i = lower_bound(n, key);
603*4882a593Smuzhiyun
604*4882a593Smuzhiyun /*
605*4882a593Smuzhiyun * We know the key is present, or else
606*4882a593Smuzhiyun * rebalance_children would have returned
607*4882a593Smuzhiyun * -ENODATA
608*4882a593Smuzhiyun */
609*4882a593Smuzhiyun root = value64(n, i);
610*4882a593Smuzhiyun }
611*4882a593Smuzhiyun
612*4882a593Smuzhiyun return r;
613*4882a593Smuzhiyun }
614*4882a593Smuzhiyun
remove_one(struct dm_btree_info * info,dm_block_t root,uint64_t * keys,uint64_t end_key,dm_block_t * new_root,unsigned * nr_removed)615*4882a593Smuzhiyun static int remove_one(struct dm_btree_info *info, dm_block_t root,
616*4882a593Smuzhiyun uint64_t *keys, uint64_t end_key,
617*4882a593Smuzhiyun dm_block_t *new_root, unsigned *nr_removed)
618*4882a593Smuzhiyun {
619*4882a593Smuzhiyun unsigned level, last_level = info->levels - 1;
620*4882a593Smuzhiyun int index = 0, r = 0;
621*4882a593Smuzhiyun struct shadow_spine spine;
622*4882a593Smuzhiyun struct btree_node *n;
623*4882a593Smuzhiyun struct dm_btree_value_type le64_vt;
624*4882a593Smuzhiyun uint64_t k;
625*4882a593Smuzhiyun
626*4882a593Smuzhiyun init_le64_type(info->tm, &le64_vt);
627*4882a593Smuzhiyun init_shadow_spine(&spine, info);
628*4882a593Smuzhiyun for (level = 0; level < last_level; level++) {
629*4882a593Smuzhiyun r = remove_raw(&spine, info, &le64_vt,
630*4882a593Smuzhiyun root, keys[level], (unsigned *) &index);
631*4882a593Smuzhiyun if (r < 0)
632*4882a593Smuzhiyun goto out;
633*4882a593Smuzhiyun
634*4882a593Smuzhiyun n = dm_block_data(shadow_current(&spine));
635*4882a593Smuzhiyun root = value64(n, index);
636*4882a593Smuzhiyun }
637*4882a593Smuzhiyun
638*4882a593Smuzhiyun r = remove_nearest(&spine, info, &info->value_type,
639*4882a593Smuzhiyun root, keys[last_level], &index);
640*4882a593Smuzhiyun if (r < 0)
641*4882a593Smuzhiyun goto out;
642*4882a593Smuzhiyun
643*4882a593Smuzhiyun n = dm_block_data(shadow_current(&spine));
644*4882a593Smuzhiyun
645*4882a593Smuzhiyun if (index < 0)
646*4882a593Smuzhiyun index = 0;
647*4882a593Smuzhiyun
648*4882a593Smuzhiyun if (index >= le32_to_cpu(n->header.nr_entries)) {
649*4882a593Smuzhiyun r = -ENODATA;
650*4882a593Smuzhiyun goto out;
651*4882a593Smuzhiyun }
652*4882a593Smuzhiyun
653*4882a593Smuzhiyun k = le64_to_cpu(n->keys[index]);
654*4882a593Smuzhiyun if (k >= keys[last_level] && k < end_key) {
655*4882a593Smuzhiyun if (info->value_type.dec)
656*4882a593Smuzhiyun info->value_type.dec(info->value_type.context,
657*4882a593Smuzhiyun value_ptr(n, index));
658*4882a593Smuzhiyun
659*4882a593Smuzhiyun delete_at(n, index);
660*4882a593Smuzhiyun keys[last_level] = k + 1ull;
661*4882a593Smuzhiyun
662*4882a593Smuzhiyun } else
663*4882a593Smuzhiyun r = -ENODATA;
664*4882a593Smuzhiyun
665*4882a593Smuzhiyun out:
666*4882a593Smuzhiyun *new_root = shadow_root(&spine);
667*4882a593Smuzhiyun exit_shadow_spine(&spine);
668*4882a593Smuzhiyun
669*4882a593Smuzhiyun return r;
670*4882a593Smuzhiyun }
671*4882a593Smuzhiyun
dm_btree_remove_leaves(struct dm_btree_info * info,dm_block_t root,uint64_t * first_key,uint64_t end_key,dm_block_t * new_root,unsigned * nr_removed)672*4882a593Smuzhiyun int dm_btree_remove_leaves(struct dm_btree_info *info, dm_block_t root,
673*4882a593Smuzhiyun uint64_t *first_key, uint64_t end_key,
674*4882a593Smuzhiyun dm_block_t *new_root, unsigned *nr_removed)
675*4882a593Smuzhiyun {
676*4882a593Smuzhiyun int r;
677*4882a593Smuzhiyun
678*4882a593Smuzhiyun *nr_removed = 0;
679*4882a593Smuzhiyun do {
680*4882a593Smuzhiyun r = remove_one(info, root, first_key, end_key, &root, nr_removed);
681*4882a593Smuzhiyun if (!r)
682*4882a593Smuzhiyun (*nr_removed)++;
683*4882a593Smuzhiyun } while (!r);
684*4882a593Smuzhiyun
685*4882a593Smuzhiyun *new_root = root;
686*4882a593Smuzhiyun return r == -ENODATA ? 0 : r;
687*4882a593Smuzhiyun }
688*4882a593Smuzhiyun EXPORT_SYMBOL_GPL(dm_btree_remove_leaves);
689