xref: /OK3568_Linux_fs/kernel/drivers/md/persistent-data/dm-btree-remove.c (revision 4882a59341e53eb6f0b4789bf948001014eff981)
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, &center);
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, &center);
395*4882a593Smuzhiyun 		return r;
396*4882a593Smuzhiyun 	}
397*4882a593Smuzhiyun 
398*4882a593Smuzhiyun 	__rebalance3(info, parent, &left, &center, &right);
399*4882a593Smuzhiyun 
400*4882a593Smuzhiyun 	exit_child(info, &left);
401*4882a593Smuzhiyun 	exit_child(info, &center);
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