]>
Commit | Line | Data |
---|---|---|
1da177e4 LT |
1 | /* |
2 | * Copyright (C) 2001 Momchil Velikov | |
3 | * Portions Copyright (C) 2001 Christoph Hellwig | |
cde53535 | 4 | * Copyright (C) 2005 SGI, Christoph Lameter |
7cf9c2c7 | 5 | * Copyright (C) 2006 Nick Piggin |
1da177e4 LT |
6 | * |
7 | * This program is free software; you can redistribute it and/or | |
8 | * modify it under the terms of the GNU General Public License as | |
9 | * published by the Free Software Foundation; either version 2, or (at | |
10 | * your option) any later version. | |
11 | * | |
12 | * This program is distributed in the hope that it will be useful, but | |
13 | * WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
15 | * General Public License for more details. | |
16 | * | |
17 | * You should have received a copy of the GNU General Public License | |
18 | * along with this program; if not, write to the Free Software | |
19 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. | |
20 | */ | |
21 | ||
22 | #include <linux/errno.h> | |
23 | #include <linux/init.h> | |
24 | #include <linux/kernel.h> | |
25 | #include <linux/module.h> | |
26 | #include <linux/radix-tree.h> | |
27 | #include <linux/percpu.h> | |
28 | #include <linux/slab.h> | |
29 | #include <linux/notifier.h> | |
30 | #include <linux/cpu.h> | |
31 | #include <linux/gfp.h> | |
32 | #include <linux/string.h> | |
33 | #include <linux/bitops.h> | |
7cf9c2c7 | 34 | #include <linux/rcupdate.h> |
1da177e4 LT |
35 | |
36 | ||
37 | #ifdef __KERNEL__ | |
cfd9b7df | 38 | #define RADIX_TREE_MAP_SHIFT (CONFIG_BASE_SMALL ? 4 : 6) |
1da177e4 LT |
39 | #else |
40 | #define RADIX_TREE_MAP_SHIFT 3 /* For more stressful testing */ | |
41 | #endif | |
1da177e4 LT |
42 | |
43 | #define RADIX_TREE_MAP_SIZE (1UL << RADIX_TREE_MAP_SHIFT) | |
44 | #define RADIX_TREE_MAP_MASK (RADIX_TREE_MAP_SIZE-1) | |
45 | ||
46 | #define RADIX_TREE_TAG_LONGS \ | |
47 | ((RADIX_TREE_MAP_SIZE + BITS_PER_LONG - 1) / BITS_PER_LONG) | |
48 | ||
49 | struct radix_tree_node { | |
7cf9c2c7 | 50 | unsigned int height; /* Height from the bottom */ |
1da177e4 | 51 | unsigned int count; |
7cf9c2c7 | 52 | struct rcu_head rcu_head; |
1da177e4 | 53 | void *slots[RADIX_TREE_MAP_SIZE]; |
daff89f3 | 54 | unsigned long tags[RADIX_TREE_MAX_TAGS][RADIX_TREE_TAG_LONGS]; |
1da177e4 LT |
55 | }; |
56 | ||
57 | struct radix_tree_path { | |
201b6264 | 58 | struct radix_tree_node *node; |
1da177e4 LT |
59 | int offset; |
60 | }; | |
61 | ||
62 | #define RADIX_TREE_INDEX_BITS (8 /* CHAR_BIT */ * sizeof(unsigned long)) | |
26fb1589 JM |
63 | #define RADIX_TREE_MAX_PATH (DIV_ROUND_UP(RADIX_TREE_INDEX_BITS, \ |
64 | RADIX_TREE_MAP_SHIFT)) | |
1da177e4 | 65 | |
26fb1589 JM |
66 | /* |
67 | * The height_to_maxindex array needs to be one deeper than the maximum | |
68 | * path as height 0 holds only 1 entry. | |
69 | */ | |
70 | static unsigned long height_to_maxindex[RADIX_TREE_MAX_PATH + 1] __read_mostly; | |
1da177e4 LT |
71 | |
72 | /* | |
73 | * Radix tree node cache. | |
74 | */ | |
e18b890b | 75 | static struct kmem_cache *radix_tree_node_cachep; |
1da177e4 LT |
76 | |
77 | /* | |
78 | * Per-cpu pool of preloaded nodes | |
79 | */ | |
80 | struct radix_tree_preload { | |
81 | int nr; | |
82 | struct radix_tree_node *nodes[RADIX_TREE_MAX_PATH]; | |
83 | }; | |
8cef7d57 | 84 | static DEFINE_PER_CPU(struct radix_tree_preload, radix_tree_preloads) = { 0, }; |
1da177e4 | 85 | |
612d6c19 NP |
86 | static inline gfp_t root_gfp_mask(struct radix_tree_root *root) |
87 | { | |
88 | return root->gfp_mask & __GFP_BITS_MASK; | |
89 | } | |
90 | ||
643b52b9 NP |
91 | static inline void tag_set(struct radix_tree_node *node, unsigned int tag, |
92 | int offset) | |
93 | { | |
94 | __set_bit(offset, node->tags[tag]); | |
95 | } | |
96 | ||
97 | static inline void tag_clear(struct radix_tree_node *node, unsigned int tag, | |
98 | int offset) | |
99 | { | |
100 | __clear_bit(offset, node->tags[tag]); | |
101 | } | |
102 | ||
103 | static inline int tag_get(struct radix_tree_node *node, unsigned int tag, | |
104 | int offset) | |
105 | { | |
106 | return test_bit(offset, node->tags[tag]); | |
107 | } | |
108 | ||
109 | static inline void root_tag_set(struct radix_tree_root *root, unsigned int tag) | |
110 | { | |
111 | root->gfp_mask |= (__force gfp_t)(1 << (tag + __GFP_BITS_SHIFT)); | |
112 | } | |
113 | ||
114 | static inline void root_tag_clear(struct radix_tree_root *root, unsigned int tag) | |
115 | { | |
116 | root->gfp_mask &= (__force gfp_t)~(1 << (tag + __GFP_BITS_SHIFT)); | |
117 | } | |
118 | ||
119 | static inline void root_tag_clear_all(struct radix_tree_root *root) | |
120 | { | |
121 | root->gfp_mask &= __GFP_BITS_MASK; | |
122 | } | |
123 | ||
124 | static inline int root_tag_get(struct radix_tree_root *root, unsigned int tag) | |
125 | { | |
126 | return (__force unsigned)root->gfp_mask & (1 << (tag + __GFP_BITS_SHIFT)); | |
127 | } | |
128 | ||
129 | /* | |
130 | * Returns 1 if any slot in the node has this tag set. | |
131 | * Otherwise returns 0. | |
132 | */ | |
133 | static inline int any_tag_set(struct radix_tree_node *node, unsigned int tag) | |
134 | { | |
135 | int idx; | |
136 | for (idx = 0; idx < RADIX_TREE_TAG_LONGS; idx++) { | |
137 | if (node->tags[tag][idx]) | |
138 | return 1; | |
139 | } | |
140 | return 0; | |
141 | } | |
1da177e4 LT |
142 | /* |
143 | * This assumes that the caller has performed appropriate preallocation, and | |
144 | * that the caller has pinned this thread of control to the current CPU. | |
145 | */ | |
146 | static struct radix_tree_node * | |
147 | radix_tree_node_alloc(struct radix_tree_root *root) | |
148 | { | |
e2848a0e | 149 | struct radix_tree_node *ret = NULL; |
612d6c19 | 150 | gfp_t gfp_mask = root_gfp_mask(root); |
1da177e4 | 151 | |
e2848a0e | 152 | if (!(gfp_mask & __GFP_WAIT)) { |
1da177e4 LT |
153 | struct radix_tree_preload *rtp; |
154 | ||
e2848a0e NP |
155 | /* |
156 | * Provided the caller has preloaded here, we will always | |
157 | * succeed in getting a node here (and never reach | |
158 | * kmem_cache_alloc) | |
159 | */ | |
1da177e4 LT |
160 | rtp = &__get_cpu_var(radix_tree_preloads); |
161 | if (rtp->nr) { | |
162 | ret = rtp->nodes[rtp->nr - 1]; | |
163 | rtp->nodes[rtp->nr - 1] = NULL; | |
164 | rtp->nr--; | |
165 | } | |
166 | } | |
e2848a0e | 167 | if (ret == NULL) |
488514d1 | 168 | ret = kmem_cache_alloc(radix_tree_node_cachep, gfp_mask); |
e2848a0e | 169 | |
c0bc9875 | 170 | BUG_ON(radix_tree_is_indirect_ptr(ret)); |
1da177e4 LT |
171 | return ret; |
172 | } | |
173 | ||
7cf9c2c7 NP |
174 | static void radix_tree_node_rcu_free(struct rcu_head *head) |
175 | { | |
176 | struct radix_tree_node *node = | |
177 | container_of(head, struct radix_tree_node, rcu_head); | |
643b52b9 NP |
178 | |
179 | /* | |
180 | * must only free zeroed nodes into the slab. radix_tree_shrink | |
181 | * can leave us with a non-NULL entry in the first slot, so clear | |
182 | * that here to make sure. | |
183 | */ | |
184 | tag_clear(node, 0, 0); | |
185 | tag_clear(node, 1, 0); | |
186 | node->slots[0] = NULL; | |
187 | node->count = 0; | |
188 | ||
7cf9c2c7 NP |
189 | kmem_cache_free(radix_tree_node_cachep, node); |
190 | } | |
191 | ||
1da177e4 LT |
192 | static inline void |
193 | radix_tree_node_free(struct radix_tree_node *node) | |
194 | { | |
7cf9c2c7 | 195 | call_rcu(&node->rcu_head, radix_tree_node_rcu_free); |
1da177e4 LT |
196 | } |
197 | ||
198 | /* | |
199 | * Load up this CPU's radix_tree_node buffer with sufficient objects to | |
200 | * ensure that the addition of a single element in the tree cannot fail. On | |
201 | * success, return zero, with preemption disabled. On error, return -ENOMEM | |
202 | * with preemption not disabled. | |
b34df792 DH |
203 | * |
204 | * To make use of this facility, the radix tree must be initialised without | |
205 | * __GFP_WAIT being passed to INIT_RADIX_TREE(). | |
1da177e4 | 206 | */ |
dd0fc66f | 207 | int radix_tree_preload(gfp_t gfp_mask) |
1da177e4 LT |
208 | { |
209 | struct radix_tree_preload *rtp; | |
210 | struct radix_tree_node *node; | |
211 | int ret = -ENOMEM; | |
212 | ||
213 | preempt_disable(); | |
214 | rtp = &__get_cpu_var(radix_tree_preloads); | |
215 | while (rtp->nr < ARRAY_SIZE(rtp->nodes)) { | |
216 | preempt_enable(); | |
488514d1 | 217 | node = kmem_cache_alloc(radix_tree_node_cachep, gfp_mask); |
1da177e4 LT |
218 | if (node == NULL) |
219 | goto out; | |
220 | preempt_disable(); | |
221 | rtp = &__get_cpu_var(radix_tree_preloads); | |
222 | if (rtp->nr < ARRAY_SIZE(rtp->nodes)) | |
223 | rtp->nodes[rtp->nr++] = node; | |
224 | else | |
225 | kmem_cache_free(radix_tree_node_cachep, node); | |
226 | } | |
227 | ret = 0; | |
228 | out: | |
229 | return ret; | |
230 | } | |
d7f0923d | 231 | EXPORT_SYMBOL(radix_tree_preload); |
1da177e4 | 232 | |
1da177e4 LT |
233 | /* |
234 | * Return the maximum key which can be store into a | |
235 | * radix tree with height HEIGHT. | |
236 | */ | |
237 | static inline unsigned long radix_tree_maxindex(unsigned int height) | |
238 | { | |
239 | return height_to_maxindex[height]; | |
240 | } | |
241 | ||
242 | /* | |
243 | * Extend a radix tree so it can store key @index. | |
244 | */ | |
245 | static int radix_tree_extend(struct radix_tree_root *root, unsigned long index) | |
246 | { | |
247 | struct radix_tree_node *node; | |
248 | unsigned int height; | |
1da177e4 LT |
249 | int tag; |
250 | ||
251 | /* Figure out what the height should be. */ | |
252 | height = root->height + 1; | |
253 | while (index > radix_tree_maxindex(height)) | |
254 | height++; | |
255 | ||
256 | if (root->rnode == NULL) { | |
257 | root->height = height; | |
258 | goto out; | |
259 | } | |
260 | ||
1da177e4 | 261 | do { |
7cf9c2c7 | 262 | unsigned int newheight; |
1da177e4 LT |
263 | if (!(node = radix_tree_node_alloc(root))) |
264 | return -ENOMEM; | |
265 | ||
266 | /* Increase the height. */ | |
c0bc9875 | 267 | node->slots[0] = radix_tree_indirect_to_ptr(root->rnode); |
1da177e4 LT |
268 | |
269 | /* Propagate the aggregated tag info into the new root */ | |
daff89f3 | 270 | for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++) { |
612d6c19 | 271 | if (root_tag_get(root, tag)) |
1da177e4 LT |
272 | tag_set(node, tag, 0); |
273 | } | |
274 | ||
7cf9c2c7 NP |
275 | newheight = root->height+1; |
276 | node->height = newheight; | |
1da177e4 | 277 | node->count = 1; |
c0bc9875 | 278 | node = radix_tree_ptr_to_indirect(node); |
7cf9c2c7 NP |
279 | rcu_assign_pointer(root->rnode, node); |
280 | root->height = newheight; | |
1da177e4 LT |
281 | } while (height > root->height); |
282 | out: | |
283 | return 0; | |
284 | } | |
285 | ||
286 | /** | |
287 | * radix_tree_insert - insert into a radix tree | |
288 | * @root: radix tree root | |
289 | * @index: index key | |
290 | * @item: item to insert | |
291 | * | |
292 | * Insert an item into the radix tree at position @index. | |
293 | */ | |
294 | int radix_tree_insert(struct radix_tree_root *root, | |
295 | unsigned long index, void *item) | |
296 | { | |
201b6264 | 297 | struct radix_tree_node *node = NULL, *slot; |
1da177e4 LT |
298 | unsigned int height, shift; |
299 | int offset; | |
300 | int error; | |
301 | ||
c0bc9875 | 302 | BUG_ON(radix_tree_is_indirect_ptr(item)); |
7cf9c2c7 | 303 | |
1da177e4 | 304 | /* Make sure the tree is high enough. */ |
612d6c19 | 305 | if (index > radix_tree_maxindex(root->height)) { |
1da177e4 LT |
306 | error = radix_tree_extend(root, index); |
307 | if (error) | |
308 | return error; | |
309 | } | |
310 | ||
c0bc9875 NP |
311 | slot = radix_tree_indirect_to_ptr(root->rnode); |
312 | ||
1da177e4 LT |
313 | height = root->height; |
314 | shift = (height-1) * RADIX_TREE_MAP_SHIFT; | |
315 | ||
316 | offset = 0; /* uninitialised var warning */ | |
612d6c19 | 317 | while (height > 0) { |
201b6264 | 318 | if (slot == NULL) { |
1da177e4 | 319 | /* Have to add a child node. */ |
201b6264 | 320 | if (!(slot = radix_tree_node_alloc(root))) |
1da177e4 | 321 | return -ENOMEM; |
7cf9c2c7 | 322 | slot->height = height; |
201b6264 | 323 | if (node) { |
7cf9c2c7 | 324 | rcu_assign_pointer(node->slots[offset], slot); |
1da177e4 | 325 | node->count++; |
201b6264 | 326 | } else |
c0bc9875 NP |
327 | rcu_assign_pointer(root->rnode, |
328 | radix_tree_ptr_to_indirect(slot)); | |
1da177e4 LT |
329 | } |
330 | ||
331 | /* Go a level down */ | |
332 | offset = (index >> shift) & RADIX_TREE_MAP_MASK; | |
201b6264 CL |
333 | node = slot; |
334 | slot = node->slots[offset]; | |
1da177e4 LT |
335 | shift -= RADIX_TREE_MAP_SHIFT; |
336 | height--; | |
612d6c19 | 337 | } |
1da177e4 | 338 | |
201b6264 | 339 | if (slot != NULL) |
1da177e4 | 340 | return -EEXIST; |
201b6264 | 341 | |
612d6c19 NP |
342 | if (node) { |
343 | node->count++; | |
7cf9c2c7 | 344 | rcu_assign_pointer(node->slots[offset], item); |
612d6c19 NP |
345 | BUG_ON(tag_get(node, 0, offset)); |
346 | BUG_ON(tag_get(node, 1, offset)); | |
347 | } else { | |
c0bc9875 | 348 | rcu_assign_pointer(root->rnode, item); |
612d6c19 NP |
349 | BUG_ON(root_tag_get(root, 0)); |
350 | BUG_ON(root_tag_get(root, 1)); | |
351 | } | |
1da177e4 | 352 | |
1da177e4 LT |
353 | return 0; |
354 | } | |
355 | EXPORT_SYMBOL(radix_tree_insert); | |
356 | ||
b72b71c6 HS |
357 | /* |
358 | * is_slot == 1 : search for the slot. | |
359 | * is_slot == 0 : search for the node. | |
7cf9c2c7 | 360 | */ |
b72b71c6 HS |
361 | static void *radix_tree_lookup_element(struct radix_tree_root *root, |
362 | unsigned long index, int is_slot) | |
1da177e4 LT |
363 | { |
364 | unsigned int height, shift; | |
7cf9c2c7 | 365 | struct radix_tree_node *node, **slot; |
612d6c19 | 366 | |
47feff2c | 367 | node = rcu_dereference(root->rnode); |
7cf9c2c7 | 368 | if (node == NULL) |
1da177e4 LT |
369 | return NULL; |
370 | ||
c0bc9875 | 371 | if (!radix_tree_is_indirect_ptr(node)) { |
7cf9c2c7 NP |
372 | if (index > 0) |
373 | return NULL; | |
b72b71c6 | 374 | return is_slot ? (void *)&root->rnode : node; |
7cf9c2c7 | 375 | } |
c0bc9875 | 376 | node = radix_tree_indirect_to_ptr(node); |
7cf9c2c7 NP |
377 | |
378 | height = node->height; | |
379 | if (index > radix_tree_maxindex(height)) | |
380 | return NULL; | |
612d6c19 | 381 | |
1da177e4 | 382 | shift = (height-1) * RADIX_TREE_MAP_SHIFT; |
1da177e4 | 383 | |
7cf9c2c7 NP |
384 | do { |
385 | slot = (struct radix_tree_node **) | |
386 | (node->slots + ((index>>shift) & RADIX_TREE_MAP_MASK)); | |
47feff2c | 387 | node = rcu_dereference(*slot); |
7cf9c2c7 | 388 | if (node == NULL) |
1da177e4 LT |
389 | return NULL; |
390 | ||
1da177e4 LT |
391 | shift -= RADIX_TREE_MAP_SHIFT; |
392 | height--; | |
7cf9c2c7 | 393 | } while (height > 0); |
1da177e4 | 394 | |
b72b71c6 HS |
395 | return is_slot ? (void *)slot:node; |
396 | } | |
397 | ||
398 | /** | |
399 | * radix_tree_lookup_slot - lookup a slot in a radix tree | |
400 | * @root: radix tree root | |
401 | * @index: index key | |
402 | * | |
403 | * Returns: the slot corresponding to the position @index in the | |
404 | * radix tree @root. This is useful for update-if-exists operations. | |
405 | * | |
406 | * This function can be called under rcu_read_lock iff the slot is not | |
407 | * modified by radix_tree_replace_slot, otherwise it must be called | |
408 | * exclusive from other writers. Any dereference of the slot must be done | |
409 | * using radix_tree_deref_slot. | |
410 | */ | |
411 | void **radix_tree_lookup_slot(struct radix_tree_root *root, unsigned long index) | |
412 | { | |
413 | return (void **)radix_tree_lookup_element(root, index, 1); | |
a4331366 | 414 | } |
a4331366 HR |
415 | EXPORT_SYMBOL(radix_tree_lookup_slot); |
416 | ||
417 | /** | |
418 | * radix_tree_lookup - perform lookup operation on a radix tree | |
419 | * @root: radix tree root | |
420 | * @index: index key | |
421 | * | |
422 | * Lookup the item at the position @index in the radix tree @root. | |
7cf9c2c7 NP |
423 | * |
424 | * This function can be called under rcu_read_lock, however the caller | |
425 | * must manage lifetimes of leaf nodes (eg. RCU may also be used to free | |
426 | * them safely). No RCU barriers are required to access or modify the | |
427 | * returned item, however. | |
a4331366 HR |
428 | */ |
429 | void *radix_tree_lookup(struct radix_tree_root *root, unsigned long index) | |
430 | { | |
b72b71c6 | 431 | return radix_tree_lookup_element(root, index, 0); |
1da177e4 LT |
432 | } |
433 | EXPORT_SYMBOL(radix_tree_lookup); | |
434 | ||
435 | /** | |
436 | * radix_tree_tag_set - set a tag on a radix tree node | |
437 | * @root: radix tree root | |
438 | * @index: index key | |
439 | * @tag: tag index | |
440 | * | |
daff89f3 JC |
441 | * Set the search tag (which must be < RADIX_TREE_MAX_TAGS) |
442 | * corresponding to @index in the radix tree. From | |
1da177e4 LT |
443 | * the root all the way down to the leaf node. |
444 | * | |
445 | * Returns the address of the tagged item. Setting a tag on a not-present | |
446 | * item is a bug. | |
447 | */ | |
448 | void *radix_tree_tag_set(struct radix_tree_root *root, | |
daff89f3 | 449 | unsigned long index, unsigned int tag) |
1da177e4 LT |
450 | { |
451 | unsigned int height, shift; | |
201b6264 | 452 | struct radix_tree_node *slot; |
1da177e4 LT |
453 | |
454 | height = root->height; | |
4c91c364 | 455 | BUG_ON(index > radix_tree_maxindex(height)); |
1da177e4 | 456 | |
c0bc9875 | 457 | slot = radix_tree_indirect_to_ptr(root->rnode); |
612d6c19 | 458 | shift = (height - 1) * RADIX_TREE_MAP_SHIFT; |
1da177e4 LT |
459 | |
460 | while (height > 0) { | |
461 | int offset; | |
462 | ||
463 | offset = (index >> shift) & RADIX_TREE_MAP_MASK; | |
d5274261 NP |
464 | if (!tag_get(slot, tag, offset)) |
465 | tag_set(slot, tag, offset); | |
201b6264 CL |
466 | slot = slot->slots[offset]; |
467 | BUG_ON(slot == NULL); | |
1da177e4 LT |
468 | shift -= RADIX_TREE_MAP_SHIFT; |
469 | height--; | |
470 | } | |
471 | ||
612d6c19 NP |
472 | /* set the root's tag bit */ |
473 | if (slot && !root_tag_get(root, tag)) | |
474 | root_tag_set(root, tag); | |
475 | ||
201b6264 | 476 | return slot; |
1da177e4 LT |
477 | } |
478 | EXPORT_SYMBOL(radix_tree_tag_set); | |
479 | ||
480 | /** | |
481 | * radix_tree_tag_clear - clear a tag on a radix tree node | |
482 | * @root: radix tree root | |
483 | * @index: index key | |
484 | * @tag: tag index | |
485 | * | |
daff89f3 JC |
486 | * Clear the search tag (which must be < RADIX_TREE_MAX_TAGS) |
487 | * corresponding to @index in the radix tree. If | |
1da177e4 LT |
488 | * this causes the leaf node to have no tags set then clear the tag in the |
489 | * next-to-leaf node, etc. | |
490 | * | |
491 | * Returns the address of the tagged item on success, else NULL. ie: | |
492 | * has the same return value and semantics as radix_tree_lookup(). | |
493 | */ | |
494 | void *radix_tree_tag_clear(struct radix_tree_root *root, | |
daff89f3 | 495 | unsigned long index, unsigned int tag) |
1da177e4 | 496 | { |
26fb1589 JM |
497 | /* |
498 | * The radix tree path needs to be one longer than the maximum path | |
499 | * since the "list" is null terminated. | |
500 | */ | |
501 | struct radix_tree_path path[RADIX_TREE_MAX_PATH + 1], *pathp = path; | |
612d6c19 | 502 | struct radix_tree_node *slot = NULL; |
1da177e4 | 503 | unsigned int height, shift; |
1da177e4 LT |
504 | |
505 | height = root->height; | |
506 | if (index > radix_tree_maxindex(height)) | |
507 | goto out; | |
508 | ||
509 | shift = (height - 1) * RADIX_TREE_MAP_SHIFT; | |
510 | pathp->node = NULL; | |
c0bc9875 | 511 | slot = radix_tree_indirect_to_ptr(root->rnode); |
1da177e4 LT |
512 | |
513 | while (height > 0) { | |
514 | int offset; | |
515 | ||
201b6264 | 516 | if (slot == NULL) |
1da177e4 LT |
517 | goto out; |
518 | ||
519 | offset = (index >> shift) & RADIX_TREE_MAP_MASK; | |
520 | pathp[1].offset = offset; | |
201b6264 CL |
521 | pathp[1].node = slot; |
522 | slot = slot->slots[offset]; | |
1da177e4 LT |
523 | pathp++; |
524 | shift -= RADIX_TREE_MAP_SHIFT; | |
525 | height--; | |
526 | } | |
527 | ||
612d6c19 | 528 | if (slot == NULL) |
1da177e4 LT |
529 | goto out; |
530 | ||
612d6c19 | 531 | while (pathp->node) { |
d5274261 NP |
532 | if (!tag_get(pathp->node, tag, pathp->offset)) |
533 | goto out; | |
201b6264 | 534 | tag_clear(pathp->node, tag, pathp->offset); |
6e954b9e NP |
535 | if (any_tag_set(pathp->node, tag)) |
536 | goto out; | |
1da177e4 | 537 | pathp--; |
612d6c19 NP |
538 | } |
539 | ||
540 | /* clear the root's tag bit */ | |
541 | if (root_tag_get(root, tag)) | |
542 | root_tag_clear(root, tag); | |
543 | ||
1da177e4 | 544 | out: |
612d6c19 | 545 | return slot; |
1da177e4 LT |
546 | } |
547 | EXPORT_SYMBOL(radix_tree_tag_clear); | |
548 | ||
1da177e4 | 549 | /** |
32605a18 MT |
550 | * radix_tree_tag_get - get a tag on a radix tree node |
551 | * @root: radix tree root | |
552 | * @index: index key | |
daff89f3 | 553 | * @tag: tag index (< RADIX_TREE_MAX_TAGS) |
1da177e4 | 554 | * |
32605a18 | 555 | * Return values: |
1da177e4 | 556 | * |
612d6c19 NP |
557 | * 0: tag not present or not set |
558 | * 1: tag set | |
1da177e4 LT |
559 | */ |
560 | int radix_tree_tag_get(struct radix_tree_root *root, | |
daff89f3 | 561 | unsigned long index, unsigned int tag) |
1da177e4 LT |
562 | { |
563 | unsigned int height, shift; | |
7cf9c2c7 | 564 | struct radix_tree_node *node; |
1da177e4 LT |
565 | int saw_unset_tag = 0; |
566 | ||
612d6c19 NP |
567 | /* check the root's tag bit */ |
568 | if (!root_tag_get(root, tag)) | |
569 | return 0; | |
570 | ||
7cf9c2c7 NP |
571 | node = rcu_dereference(root->rnode); |
572 | if (node == NULL) | |
573 | return 0; | |
574 | ||
c0bc9875 | 575 | if (!radix_tree_is_indirect_ptr(node)) |
7cf9c2c7 | 576 | return (index == 0); |
c0bc9875 | 577 | node = radix_tree_indirect_to_ptr(node); |
7cf9c2c7 NP |
578 | |
579 | height = node->height; | |
580 | if (index > radix_tree_maxindex(height)) | |
581 | return 0; | |
612d6c19 | 582 | |
1da177e4 | 583 | shift = (height - 1) * RADIX_TREE_MAP_SHIFT; |
1da177e4 LT |
584 | |
585 | for ( ; ; ) { | |
586 | int offset; | |
587 | ||
7cf9c2c7 | 588 | if (node == NULL) |
1da177e4 LT |
589 | return 0; |
590 | ||
591 | offset = (index >> shift) & RADIX_TREE_MAP_MASK; | |
592 | ||
593 | /* | |
594 | * This is just a debug check. Later, we can bale as soon as | |
595 | * we see an unset tag. | |
596 | */ | |
7cf9c2c7 | 597 | if (!tag_get(node, tag, offset)) |
1da177e4 LT |
598 | saw_unset_tag = 1; |
599 | if (height == 1) { | |
7cf9c2c7 | 600 | int ret = tag_get(node, tag, offset); |
1da177e4 LT |
601 | |
602 | BUG_ON(ret && saw_unset_tag); | |
e5dcd90b | 603 | return !!ret; |
1da177e4 | 604 | } |
7cf9c2c7 | 605 | node = rcu_dereference(node->slots[offset]); |
1da177e4 LT |
606 | shift -= RADIX_TREE_MAP_SHIFT; |
607 | height--; | |
608 | } | |
609 | } | |
610 | EXPORT_SYMBOL(radix_tree_tag_get); | |
1da177e4 | 611 | |
6df8ba4f FW |
612 | /** |
613 | * radix_tree_next_hole - find the next hole (not-present entry) | |
614 | * @root: tree root | |
615 | * @index: index key | |
616 | * @max_scan: maximum range to search | |
617 | * | |
618 | * Search the set [index, min(index+max_scan-1, MAX_INDEX)] for the lowest | |
619 | * indexed hole. | |
620 | * | |
621 | * Returns: the index of the hole if found, otherwise returns an index | |
622 | * outside of the set specified (in which case 'return - index >= max_scan' | |
8e6bdb7f | 623 | * will be true). In rare cases of index wrap-around, 0 will be returned. |
6df8ba4f FW |
624 | * |
625 | * radix_tree_next_hole may be called under rcu_read_lock. However, like | |
8e6bdb7f WF |
626 | * radix_tree_gang_lookup, this will not atomically search a snapshot of |
627 | * the tree at a single point in time. For example, if a hole is created | |
628 | * at index 5, then subsequently a hole is created at index 10, | |
629 | * radix_tree_next_hole covering both indexes may return 10 if called | |
630 | * under rcu_read_lock. | |
6df8ba4f FW |
631 | */ |
632 | unsigned long radix_tree_next_hole(struct radix_tree_root *root, | |
633 | unsigned long index, unsigned long max_scan) | |
634 | { | |
635 | unsigned long i; | |
636 | ||
637 | for (i = 0; i < max_scan; i++) { | |
638 | if (!radix_tree_lookup(root, index)) | |
639 | break; | |
640 | index++; | |
641 | if (index == 0) | |
642 | break; | |
643 | } | |
644 | ||
645 | return index; | |
646 | } | |
647 | EXPORT_SYMBOL(radix_tree_next_hole); | |
648 | ||
dc566127 WF |
649 | /** |
650 | * radix_tree_prev_hole - find the prev hole (not-present entry) | |
651 | * @root: tree root | |
652 | * @index: index key | |
653 | * @max_scan: maximum range to search | |
654 | * | |
655 | * Search backwards in the range [max(index-max_scan+1, 0), index] | |
656 | * for the first hole. | |
657 | * | |
658 | * Returns: the index of the hole if found, otherwise returns an index | |
659 | * outside of the set specified (in which case 'index - return >= max_scan' | |
660 | * will be true). In rare cases of wrap-around, LONG_MAX will be returned. | |
661 | * | |
662 | * radix_tree_next_hole may be called under rcu_read_lock. However, like | |
663 | * radix_tree_gang_lookup, this will not atomically search a snapshot of | |
664 | * the tree at a single point in time. For example, if a hole is created | |
665 | * at index 10, then subsequently a hole is created at index 5, | |
666 | * radix_tree_prev_hole covering both indexes may return 5 if called under | |
667 | * rcu_read_lock. | |
668 | */ | |
669 | unsigned long radix_tree_prev_hole(struct radix_tree_root *root, | |
670 | unsigned long index, unsigned long max_scan) | |
671 | { | |
672 | unsigned long i; | |
673 | ||
674 | for (i = 0; i < max_scan; i++) { | |
675 | if (!radix_tree_lookup(root, index)) | |
676 | break; | |
677 | index--; | |
678 | if (index == LONG_MAX) | |
679 | break; | |
680 | } | |
681 | ||
682 | return index; | |
683 | } | |
684 | EXPORT_SYMBOL(radix_tree_prev_hole); | |
685 | ||
1da177e4 | 686 | static unsigned int |
47feff2c | 687 | __lookup(struct radix_tree_node *slot, void ***results, unsigned long index, |
1da177e4 LT |
688 | unsigned int max_items, unsigned long *next_index) |
689 | { | |
690 | unsigned int nr_found = 0; | |
201b6264 | 691 | unsigned int shift, height; |
201b6264 CL |
692 | unsigned long i; |
693 | ||
7cf9c2c7 NP |
694 | height = slot->height; |
695 | if (height == 0) | |
201b6264 | 696 | goto out; |
1da177e4 | 697 | shift = (height-1) * RADIX_TREE_MAP_SHIFT; |
1da177e4 | 698 | |
201b6264 | 699 | for ( ; height > 1; height--) { |
7cf9c2c7 NP |
700 | i = (index >> shift) & RADIX_TREE_MAP_MASK; |
701 | for (;;) { | |
1da177e4 LT |
702 | if (slot->slots[i] != NULL) |
703 | break; | |
704 | index &= ~((1UL << shift) - 1); | |
705 | index += 1UL << shift; | |
706 | if (index == 0) | |
707 | goto out; /* 32-bit wraparound */ | |
7cf9c2c7 NP |
708 | i++; |
709 | if (i == RADIX_TREE_MAP_SIZE) | |
710 | goto out; | |
1da177e4 | 711 | } |
1da177e4 | 712 | |
1da177e4 | 713 | shift -= RADIX_TREE_MAP_SHIFT; |
7cf9c2c7 NP |
714 | slot = rcu_dereference(slot->slots[i]); |
715 | if (slot == NULL) | |
716 | goto out; | |
1da177e4 | 717 | } |
201b6264 CL |
718 | |
719 | /* Bottom level: grab some items */ | |
720 | for (i = index & RADIX_TREE_MAP_MASK; i < RADIX_TREE_MAP_SIZE; i++) { | |
721 | index++; | |
47feff2c NP |
722 | if (slot->slots[i]) { |
723 | results[nr_found++] = &(slot->slots[i]); | |
201b6264 CL |
724 | if (nr_found == max_items) |
725 | goto out; | |
726 | } | |
727 | } | |
1da177e4 LT |
728 | out: |
729 | *next_index = index; | |
730 | return nr_found; | |
731 | } | |
732 | ||
733 | /** | |
734 | * radix_tree_gang_lookup - perform multiple lookup on a radix tree | |
735 | * @root: radix tree root | |
736 | * @results: where the results of the lookup are placed | |
737 | * @first_index: start the lookup from this key | |
738 | * @max_items: place up to this many items at *results | |
739 | * | |
740 | * Performs an index-ascending scan of the tree for present items. Places | |
741 | * them at *@results and returns the number of items which were placed at | |
742 | * *@results. | |
743 | * | |
744 | * The implementation is naive. | |
7cf9c2c7 NP |
745 | * |
746 | * Like radix_tree_lookup, radix_tree_gang_lookup may be called under | |
747 | * rcu_read_lock. In this case, rather than the returned results being | |
748 | * an atomic snapshot of the tree at a single point in time, the semantics | |
749 | * of an RCU protected gang lookup are as though multiple radix_tree_lookups | |
750 | * have been issued in individual locks, and results stored in 'results'. | |
1da177e4 LT |
751 | */ |
752 | unsigned int | |
753 | radix_tree_gang_lookup(struct radix_tree_root *root, void **results, | |
754 | unsigned long first_index, unsigned int max_items) | |
755 | { | |
7cf9c2c7 NP |
756 | unsigned long max_index; |
757 | struct radix_tree_node *node; | |
1da177e4 | 758 | unsigned long cur_index = first_index; |
7cf9c2c7 NP |
759 | unsigned int ret; |
760 | ||
761 | node = rcu_dereference(root->rnode); | |
762 | if (!node) | |
763 | return 0; | |
1da177e4 | 764 | |
c0bc9875 | 765 | if (!radix_tree_is_indirect_ptr(node)) { |
7cf9c2c7 NP |
766 | if (first_index > 0) |
767 | return 0; | |
c0bc9875 | 768 | results[0] = node; |
7cf9c2c7 NP |
769 | return 1; |
770 | } | |
c0bc9875 | 771 | node = radix_tree_indirect_to_ptr(node); |
7cf9c2c7 NP |
772 | |
773 | max_index = radix_tree_maxindex(node->height); | |
774 | ||
775 | ret = 0; | |
1da177e4 | 776 | while (ret < max_items) { |
47feff2c | 777 | unsigned int nr_found, slots_found, i; |
1da177e4 LT |
778 | unsigned long next_index; /* Index of next search */ |
779 | ||
780 | if (cur_index > max_index) | |
781 | break; | |
47feff2c | 782 | slots_found = __lookup(node, (void ***)results + ret, cur_index, |
1da177e4 | 783 | max_items - ret, &next_index); |
47feff2c NP |
784 | nr_found = 0; |
785 | for (i = 0; i < slots_found; i++) { | |
786 | struct radix_tree_node *slot; | |
787 | slot = *(((void ***)results)[ret + i]); | |
788 | if (!slot) | |
789 | continue; | |
790 | results[ret + nr_found] = rcu_dereference(slot); | |
791 | nr_found++; | |
792 | } | |
1da177e4 LT |
793 | ret += nr_found; |
794 | if (next_index == 0) | |
795 | break; | |
796 | cur_index = next_index; | |
797 | } | |
7cf9c2c7 | 798 | |
1da177e4 LT |
799 | return ret; |
800 | } | |
801 | EXPORT_SYMBOL(radix_tree_gang_lookup); | |
802 | ||
47feff2c NP |
803 | /** |
804 | * radix_tree_gang_lookup_slot - perform multiple slot lookup on radix tree | |
805 | * @root: radix tree root | |
806 | * @results: where the results of the lookup are placed | |
807 | * @first_index: start the lookup from this key | |
808 | * @max_items: place up to this many items at *results | |
809 | * | |
810 | * Performs an index-ascending scan of the tree for present items. Places | |
811 | * their slots at *@results and returns the number of items which were | |
812 | * placed at *@results. | |
813 | * | |
814 | * The implementation is naive. | |
815 | * | |
816 | * Like radix_tree_gang_lookup as far as RCU and locking goes. Slots must | |
817 | * be dereferenced with radix_tree_deref_slot, and if using only RCU | |
818 | * protection, radix_tree_deref_slot may fail requiring a retry. | |
819 | */ | |
820 | unsigned int | |
821 | radix_tree_gang_lookup_slot(struct radix_tree_root *root, void ***results, | |
822 | unsigned long first_index, unsigned int max_items) | |
823 | { | |
824 | unsigned long max_index; | |
825 | struct radix_tree_node *node; | |
826 | unsigned long cur_index = first_index; | |
827 | unsigned int ret; | |
828 | ||
829 | node = rcu_dereference(root->rnode); | |
830 | if (!node) | |
831 | return 0; | |
832 | ||
833 | if (!radix_tree_is_indirect_ptr(node)) { | |
834 | if (first_index > 0) | |
835 | return 0; | |
836 | results[0] = (void **)&root->rnode; | |
837 | return 1; | |
838 | } | |
839 | node = radix_tree_indirect_to_ptr(node); | |
840 | ||
841 | max_index = radix_tree_maxindex(node->height); | |
842 | ||
843 | ret = 0; | |
844 | while (ret < max_items) { | |
845 | unsigned int slots_found; | |
846 | unsigned long next_index; /* Index of next search */ | |
847 | ||
848 | if (cur_index > max_index) | |
849 | break; | |
850 | slots_found = __lookup(node, results + ret, cur_index, | |
851 | max_items - ret, &next_index); | |
852 | ret += slots_found; | |
853 | if (next_index == 0) | |
854 | break; | |
855 | cur_index = next_index; | |
856 | } | |
857 | ||
858 | return ret; | |
859 | } | |
860 | EXPORT_SYMBOL(radix_tree_gang_lookup_slot); | |
861 | ||
1da177e4 LT |
862 | /* |
863 | * FIXME: the two tag_get()s here should use find_next_bit() instead of | |
864 | * open-coding the search. | |
865 | */ | |
866 | static unsigned int | |
47feff2c | 867 | __lookup_tag(struct radix_tree_node *slot, void ***results, unsigned long index, |
daff89f3 | 868 | unsigned int max_items, unsigned long *next_index, unsigned int tag) |
1da177e4 LT |
869 | { |
870 | unsigned int nr_found = 0; | |
7cf9c2c7 | 871 | unsigned int shift, height; |
1da177e4 | 872 | |
7cf9c2c7 NP |
873 | height = slot->height; |
874 | if (height == 0) | |
612d6c19 | 875 | goto out; |
7cf9c2c7 | 876 | shift = (height-1) * RADIX_TREE_MAP_SHIFT; |
1da177e4 | 877 | |
7cf9c2c7 NP |
878 | while (height > 0) { |
879 | unsigned long i = (index >> shift) & RADIX_TREE_MAP_MASK ; | |
1da177e4 | 880 | |
7cf9c2c7 NP |
881 | for (;;) { |
882 | if (tag_get(slot, tag, i)) | |
1da177e4 | 883 | break; |
1da177e4 LT |
884 | index &= ~((1UL << shift) - 1); |
885 | index += 1UL << shift; | |
886 | if (index == 0) | |
887 | goto out; /* 32-bit wraparound */ | |
7cf9c2c7 NP |
888 | i++; |
889 | if (i == RADIX_TREE_MAP_SIZE) | |
890 | goto out; | |
1da177e4 | 891 | } |
1da177e4 LT |
892 | height--; |
893 | if (height == 0) { /* Bottom level: grab some items */ | |
894 | unsigned long j = index & RADIX_TREE_MAP_MASK; | |
895 | ||
896 | for ( ; j < RADIX_TREE_MAP_SIZE; j++) { | |
897 | index++; | |
7cf9c2c7 NP |
898 | if (!tag_get(slot, tag, j)) |
899 | continue; | |
7cf9c2c7 NP |
900 | /* |
901 | * Even though the tag was found set, we need to | |
902 | * recheck that we have a non-NULL node, because | |
903 | * if this lookup is lockless, it may have been | |
904 | * subsequently deleted. | |
905 | * | |
906 | * Similar care must be taken in any place that | |
907 | * lookup ->slots[x] without a lock (ie. can't | |
908 | * rely on its value remaining the same). | |
909 | */ | |
47feff2c NP |
910 | if (slot->slots[j]) { |
911 | results[nr_found++] = &(slot->slots[j]); | |
1da177e4 LT |
912 | if (nr_found == max_items) |
913 | goto out; | |
914 | } | |
915 | } | |
916 | } | |
917 | shift -= RADIX_TREE_MAP_SHIFT; | |
7cf9c2c7 NP |
918 | slot = rcu_dereference(slot->slots[i]); |
919 | if (slot == NULL) | |
920 | break; | |
921 | } | |
1da177e4 LT |
922 | out: |
923 | *next_index = index; | |
924 | return nr_found; | |
925 | } | |
926 | ||
927 | /** | |
928 | * radix_tree_gang_lookup_tag - perform multiple lookup on a radix tree | |
929 | * based on a tag | |
930 | * @root: radix tree root | |
931 | * @results: where the results of the lookup are placed | |
932 | * @first_index: start the lookup from this key | |
933 | * @max_items: place up to this many items at *results | |
daff89f3 | 934 | * @tag: the tag index (< RADIX_TREE_MAX_TAGS) |
1da177e4 LT |
935 | * |
936 | * Performs an index-ascending scan of the tree for present items which | |
937 | * have the tag indexed by @tag set. Places the items at *@results and | |
938 | * returns the number of items which were placed at *@results. | |
939 | */ | |
940 | unsigned int | |
941 | radix_tree_gang_lookup_tag(struct radix_tree_root *root, void **results, | |
daff89f3 JC |
942 | unsigned long first_index, unsigned int max_items, |
943 | unsigned int tag) | |
1da177e4 | 944 | { |
7cf9c2c7 NP |
945 | struct radix_tree_node *node; |
946 | unsigned long max_index; | |
1da177e4 | 947 | unsigned long cur_index = first_index; |
7cf9c2c7 | 948 | unsigned int ret; |
1da177e4 | 949 | |
612d6c19 NP |
950 | /* check the root's tag bit */ |
951 | if (!root_tag_get(root, tag)) | |
952 | return 0; | |
953 | ||
7cf9c2c7 NP |
954 | node = rcu_dereference(root->rnode); |
955 | if (!node) | |
956 | return 0; | |
957 | ||
c0bc9875 | 958 | if (!radix_tree_is_indirect_ptr(node)) { |
7cf9c2c7 NP |
959 | if (first_index > 0) |
960 | return 0; | |
c0bc9875 | 961 | results[0] = node; |
7cf9c2c7 NP |
962 | return 1; |
963 | } | |
c0bc9875 | 964 | node = radix_tree_indirect_to_ptr(node); |
7cf9c2c7 NP |
965 | |
966 | max_index = radix_tree_maxindex(node->height); | |
967 | ||
968 | ret = 0; | |
1da177e4 | 969 | while (ret < max_items) { |
47feff2c | 970 | unsigned int nr_found, slots_found, i; |
1da177e4 LT |
971 | unsigned long next_index; /* Index of next search */ |
972 | ||
973 | if (cur_index > max_index) | |
974 | break; | |
47feff2c NP |
975 | slots_found = __lookup_tag(node, (void ***)results + ret, |
976 | cur_index, max_items - ret, &next_index, tag); | |
977 | nr_found = 0; | |
978 | for (i = 0; i < slots_found; i++) { | |
979 | struct radix_tree_node *slot; | |
980 | slot = *(((void ***)results)[ret + i]); | |
981 | if (!slot) | |
982 | continue; | |
983 | results[ret + nr_found] = rcu_dereference(slot); | |
984 | nr_found++; | |
985 | } | |
1da177e4 LT |
986 | ret += nr_found; |
987 | if (next_index == 0) | |
988 | break; | |
989 | cur_index = next_index; | |
990 | } | |
7cf9c2c7 | 991 | |
1da177e4 LT |
992 | return ret; |
993 | } | |
994 | EXPORT_SYMBOL(radix_tree_gang_lookup_tag); | |
995 | ||
47feff2c NP |
996 | /** |
997 | * radix_tree_gang_lookup_tag_slot - perform multiple slot lookup on a | |
998 | * radix tree based on a tag | |
999 | * @root: radix tree root | |
1000 | * @results: where the results of the lookup are placed | |
1001 | * @first_index: start the lookup from this key | |
1002 | * @max_items: place up to this many items at *results | |
1003 | * @tag: the tag index (< RADIX_TREE_MAX_TAGS) | |
1004 | * | |
1005 | * Performs an index-ascending scan of the tree for present items which | |
1006 | * have the tag indexed by @tag set. Places the slots at *@results and | |
1007 | * returns the number of slots which were placed at *@results. | |
1008 | */ | |
1009 | unsigned int | |
1010 | radix_tree_gang_lookup_tag_slot(struct radix_tree_root *root, void ***results, | |
1011 | unsigned long first_index, unsigned int max_items, | |
1012 | unsigned int tag) | |
1013 | { | |
1014 | struct radix_tree_node *node; | |
1015 | unsigned long max_index; | |
1016 | unsigned long cur_index = first_index; | |
1017 | unsigned int ret; | |
1018 | ||
1019 | /* check the root's tag bit */ | |
1020 | if (!root_tag_get(root, tag)) | |
1021 | return 0; | |
1022 | ||
1023 | node = rcu_dereference(root->rnode); | |
1024 | if (!node) | |
1025 | return 0; | |
1026 | ||
1027 | if (!radix_tree_is_indirect_ptr(node)) { | |
1028 | if (first_index > 0) | |
1029 | return 0; | |
1030 | results[0] = (void **)&root->rnode; | |
1031 | return 1; | |
1032 | } | |
1033 | node = radix_tree_indirect_to_ptr(node); | |
1034 | ||
1035 | max_index = radix_tree_maxindex(node->height); | |
1036 | ||
1037 | ret = 0; | |
1038 | while (ret < max_items) { | |
1039 | unsigned int slots_found; | |
1040 | unsigned long next_index; /* Index of next search */ | |
1041 | ||
1042 | if (cur_index > max_index) | |
1043 | break; | |
1044 | slots_found = __lookup_tag(node, results + ret, | |
1045 | cur_index, max_items - ret, &next_index, tag); | |
1046 | ret += slots_found; | |
1047 | if (next_index == 0) | |
1048 | break; | |
1049 | cur_index = next_index; | |
1050 | } | |
1051 | ||
1052 | return ret; | |
1053 | } | |
1054 | EXPORT_SYMBOL(radix_tree_gang_lookup_tag_slot); | |
1055 | ||
1056 | ||
a5f51c96 NP |
1057 | /** |
1058 | * radix_tree_shrink - shrink height of a radix tree to minimal | |
1059 | * @root radix tree root | |
1060 | */ | |
1061 | static inline void radix_tree_shrink(struct radix_tree_root *root) | |
1062 | { | |
1063 | /* try to shrink tree height */ | |
c0bc9875 | 1064 | while (root->height > 0) { |
a5f51c96 | 1065 | struct radix_tree_node *to_free = root->rnode; |
7cf9c2c7 | 1066 | void *newptr; |
a5f51c96 | 1067 | |
c0bc9875 NP |
1068 | BUG_ON(!radix_tree_is_indirect_ptr(to_free)); |
1069 | to_free = radix_tree_indirect_to_ptr(to_free); | |
1070 | ||
1071 | /* | |
1072 | * The candidate node has more than one child, or its child | |
1073 | * is not at the leftmost slot, we cannot shrink. | |
1074 | */ | |
1075 | if (to_free->count != 1) | |
1076 | break; | |
1077 | if (!to_free->slots[0]) | |
1078 | break; | |
1079 | ||
7cf9c2c7 NP |
1080 | /* |
1081 | * We don't need rcu_assign_pointer(), since we are simply | |
1082 | * moving the node from one part of the tree to another. If | |
1083 | * it was safe to dereference the old pointer to it | |
1084 | * (to_free->slots[0]), it will be safe to dereference the new | |
1085 | * one (root->rnode). | |
1086 | */ | |
1087 | newptr = to_free->slots[0]; | |
c0bc9875 NP |
1088 | if (root->height > 1) |
1089 | newptr = radix_tree_ptr_to_indirect(newptr); | |
7cf9c2c7 | 1090 | root->rnode = newptr; |
a5f51c96 | 1091 | root->height--; |
a5f51c96 NP |
1092 | radix_tree_node_free(to_free); |
1093 | } | |
1094 | } | |
1095 | ||
1da177e4 LT |
1096 | /** |
1097 | * radix_tree_delete - delete an item from a radix tree | |
1098 | * @root: radix tree root | |
1099 | * @index: index key | |
1100 | * | |
1101 | * Remove the item at @index from the radix tree rooted at @root. | |
1102 | * | |
1103 | * Returns the address of the deleted item, or NULL if it was not present. | |
1104 | */ | |
1105 | void *radix_tree_delete(struct radix_tree_root *root, unsigned long index) | |
1106 | { | |
26fb1589 JM |
1107 | /* |
1108 | * The radix tree path needs to be one longer than the maximum path | |
1109 | * since the "list" is null terminated. | |
1110 | */ | |
1111 | struct radix_tree_path path[RADIX_TREE_MAX_PATH + 1], *pathp = path; | |
612d6c19 | 1112 | struct radix_tree_node *slot = NULL; |
7cf9c2c7 | 1113 | struct radix_tree_node *to_free; |
1da177e4 | 1114 | unsigned int height, shift; |
d5274261 NP |
1115 | int tag; |
1116 | int offset; | |
1da177e4 LT |
1117 | |
1118 | height = root->height; | |
1119 | if (index > radix_tree_maxindex(height)) | |
1120 | goto out; | |
1121 | ||
612d6c19 | 1122 | slot = root->rnode; |
c0bc9875 | 1123 | if (height == 0) { |
612d6c19 NP |
1124 | root_tag_clear_all(root); |
1125 | root->rnode = NULL; | |
1126 | goto out; | |
1127 | } | |
c0bc9875 | 1128 | slot = radix_tree_indirect_to_ptr(slot); |
612d6c19 | 1129 | |
1da177e4 LT |
1130 | shift = (height - 1) * RADIX_TREE_MAP_SHIFT; |
1131 | pathp->node = NULL; | |
1da177e4 | 1132 | |
612d6c19 | 1133 | do { |
201b6264 | 1134 | if (slot == NULL) |
1da177e4 LT |
1135 | goto out; |
1136 | ||
d5274261 | 1137 | pathp++; |
1da177e4 | 1138 | offset = (index >> shift) & RADIX_TREE_MAP_MASK; |
d5274261 NP |
1139 | pathp->offset = offset; |
1140 | pathp->node = slot; | |
201b6264 | 1141 | slot = slot->slots[offset]; |
1da177e4 | 1142 | shift -= RADIX_TREE_MAP_SHIFT; |
612d6c19 NP |
1143 | height--; |
1144 | } while (height > 0); | |
1da177e4 | 1145 | |
612d6c19 | 1146 | if (slot == NULL) |
1da177e4 LT |
1147 | goto out; |
1148 | ||
1da177e4 LT |
1149 | /* |
1150 | * Clear all tags associated with the just-deleted item | |
1151 | */ | |
daff89f3 | 1152 | for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++) { |
612d6c19 NP |
1153 | if (tag_get(pathp->node, tag, pathp->offset)) |
1154 | radix_tree_tag_clear(root, index, tag); | |
d5274261 | 1155 | } |
1da177e4 | 1156 | |
7cf9c2c7 | 1157 | to_free = NULL; |
201b6264 | 1158 | /* Now free the nodes we do not need anymore */ |
612d6c19 | 1159 | while (pathp->node) { |
201b6264 | 1160 | pathp->node->slots[pathp->offset] = NULL; |
a5f51c96 | 1161 | pathp->node->count--; |
7cf9c2c7 NP |
1162 | /* |
1163 | * Queue the node for deferred freeing after the | |
1164 | * last reference to it disappears (set NULL, above). | |
1165 | */ | |
1166 | if (to_free) | |
1167 | radix_tree_node_free(to_free); | |
a5f51c96 NP |
1168 | |
1169 | if (pathp->node->count) { | |
c0bc9875 NP |
1170 | if (pathp->node == |
1171 | radix_tree_indirect_to_ptr(root->rnode)) | |
a5f51c96 | 1172 | radix_tree_shrink(root); |
201b6264 | 1173 | goto out; |
a5f51c96 | 1174 | } |
201b6264 CL |
1175 | |
1176 | /* Node with zero slots in use so free it */ | |
7cf9c2c7 | 1177 | to_free = pathp->node; |
612d6c19 | 1178 | pathp--; |
7cf9c2c7 | 1179 | |
1da177e4 | 1180 | } |
612d6c19 | 1181 | root_tag_clear_all(root); |
201b6264 | 1182 | root->height = 0; |
612d6c19 | 1183 | root->rnode = NULL; |
7cf9c2c7 NP |
1184 | if (to_free) |
1185 | radix_tree_node_free(to_free); | |
612d6c19 | 1186 | |
1da177e4 | 1187 | out: |
612d6c19 | 1188 | return slot; |
1da177e4 LT |
1189 | } |
1190 | EXPORT_SYMBOL(radix_tree_delete); | |
1191 | ||
1192 | /** | |
1193 | * radix_tree_tagged - test whether any items in the tree are tagged | |
1194 | * @root: radix tree root | |
1195 | * @tag: tag to test | |
1196 | */ | |
daff89f3 | 1197 | int radix_tree_tagged(struct radix_tree_root *root, unsigned int tag) |
1da177e4 | 1198 | { |
612d6c19 | 1199 | return root_tag_get(root, tag); |
1da177e4 LT |
1200 | } |
1201 | EXPORT_SYMBOL(radix_tree_tagged); | |
1202 | ||
1203 | static void | |
51cc5068 | 1204 | radix_tree_node_ctor(void *node) |
1da177e4 LT |
1205 | { |
1206 | memset(node, 0, sizeof(struct radix_tree_node)); | |
1207 | } | |
1208 | ||
1209 | static __init unsigned long __maxindex(unsigned int height) | |
1210 | { | |
430d275a PL |
1211 | unsigned int width = height * RADIX_TREE_MAP_SHIFT; |
1212 | int shift = RADIX_TREE_INDEX_BITS - width; | |
1213 | ||
1214 | if (shift < 0) | |
1215 | return ~0UL; | |
1216 | if (shift >= BITS_PER_LONG) | |
1217 | return 0UL; | |
1218 | return ~0UL >> shift; | |
1da177e4 LT |
1219 | } |
1220 | ||
1221 | static __init void radix_tree_init_maxindex(void) | |
1222 | { | |
1223 | unsigned int i; | |
1224 | ||
1225 | for (i = 0; i < ARRAY_SIZE(height_to_maxindex); i++) | |
1226 | height_to_maxindex[i] = __maxindex(i); | |
1227 | } | |
1228 | ||
1da177e4 LT |
1229 | static int radix_tree_callback(struct notifier_block *nfb, |
1230 | unsigned long action, | |
1231 | void *hcpu) | |
1232 | { | |
1233 | int cpu = (long)hcpu; | |
1234 | struct radix_tree_preload *rtp; | |
1235 | ||
1236 | /* Free per-cpu pool of perloaded nodes */ | |
8bb78442 | 1237 | if (action == CPU_DEAD || action == CPU_DEAD_FROZEN) { |
1da177e4 LT |
1238 | rtp = &per_cpu(radix_tree_preloads, cpu); |
1239 | while (rtp->nr) { | |
1240 | kmem_cache_free(radix_tree_node_cachep, | |
1241 | rtp->nodes[rtp->nr-1]); | |
1242 | rtp->nodes[rtp->nr-1] = NULL; | |
1243 | rtp->nr--; | |
1244 | } | |
1245 | } | |
1246 | return NOTIFY_OK; | |
1247 | } | |
1da177e4 LT |
1248 | |
1249 | void __init radix_tree_init(void) | |
1250 | { | |
1251 | radix_tree_node_cachep = kmem_cache_create("radix_tree_node", | |
1252 | sizeof(struct radix_tree_node), 0, | |
488514d1 CL |
1253 | SLAB_PANIC | SLAB_RECLAIM_ACCOUNT, |
1254 | radix_tree_node_ctor); | |
1da177e4 LT |
1255 | radix_tree_init_maxindex(); |
1256 | hotcpu_notifier(radix_tree_callback, 0); | |
1257 | } |