blob: 1014171dd1c523efeb7773ba0f12c0881f942491 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * Copyright (C) 2001 Momchil Velikov
3 * Portions Copyright (C) 2001 Christoph Hellwig
Christoph Lametercde53532008-07-04 09:59:22 -07004 * Copyright (C) 2005 SGI, Christoph Lameter
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08005 * Copyright (C) 2006 Nick Piggin
Linus Torvalds1da177e2005-04-16 15:20:36 -07006 *
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>
Linus Torvalds1da177e2005-04-16 15:20:36 -070031#include <linux/string.h>
32#include <linux/bitops.h>
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080033#include <linux/rcupdate.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070034
35
36#ifdef __KERNEL__
Nick Piggincfd9b7d2006-06-23 02:03:22 -070037#define RADIX_TREE_MAP_SHIFT (CONFIG_BASE_SMALL ? 4 : 6)
Linus Torvalds1da177e2005-04-16 15:20:36 -070038#else
39#define RADIX_TREE_MAP_SHIFT 3 /* For more stressful testing */
40#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -070041
42#define RADIX_TREE_MAP_SIZE (1UL << RADIX_TREE_MAP_SHIFT)
43#define RADIX_TREE_MAP_MASK (RADIX_TREE_MAP_SIZE-1)
44
45#define RADIX_TREE_TAG_LONGS \
46 ((RADIX_TREE_MAP_SIZE + BITS_PER_LONG - 1) / BITS_PER_LONG)
47
48struct radix_tree_node {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080049 unsigned int height; /* Height from the bottom */
Linus Torvalds1da177e2005-04-16 15:20:36 -070050 unsigned int count;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080051 struct rcu_head rcu_head;
Linus Torvalds1da177e2005-04-16 15:20:36 -070052 void *slots[RADIX_TREE_MAP_SIZE];
Jonathan Corbetdaff89f2006-03-25 03:08:05 -080053 unsigned long tags[RADIX_TREE_MAX_TAGS][RADIX_TREE_TAG_LONGS];
Linus Torvalds1da177e2005-04-16 15:20:36 -070054};
55
56struct radix_tree_path {
Christoph Lameter201b6262005-09-06 15:16:46 -070057 struct radix_tree_node *node;
Linus Torvalds1da177e2005-04-16 15:20:36 -070058 int offset;
59};
60
61#define RADIX_TREE_INDEX_BITS (8 /* CHAR_BIT */ * sizeof(unsigned long))
Jeff Moyer26fb1582007-10-16 01:24:49 -070062#define RADIX_TREE_MAX_PATH (DIV_ROUND_UP(RADIX_TREE_INDEX_BITS, \
63 RADIX_TREE_MAP_SHIFT))
Linus Torvalds1da177e2005-04-16 15:20:36 -070064
Jeff Moyer26fb1582007-10-16 01:24:49 -070065/*
66 * The height_to_maxindex array needs to be one deeper than the maximum
67 * path as height 0 holds only 1 entry.
68 */
69static unsigned long height_to_maxindex[RADIX_TREE_MAX_PATH + 1] __read_mostly;
Linus Torvalds1da177e2005-04-16 15:20:36 -070070
71/*
72 * Radix tree node cache.
73 */
Christoph Lametere18b8902006-12-06 20:33:20 -080074static struct kmem_cache *radix_tree_node_cachep;
Linus Torvalds1da177e2005-04-16 15:20:36 -070075
76/*
77 * Per-cpu pool of preloaded nodes
78 */
79struct radix_tree_preload {
80 int nr;
81 struct radix_tree_node *nodes[RADIX_TREE_MAX_PATH];
82};
Harvey Harrison8cef7d52009-01-06 14:40:50 -080083static DEFINE_PER_CPU(struct radix_tree_preload, radix_tree_preloads) = { 0, };
Linus Torvalds1da177e2005-04-16 15:20:36 -070084
Nick Piggin612d6c12006-06-23 02:03:22 -070085static inline gfp_t root_gfp_mask(struct radix_tree_root *root)
86{
87 return root->gfp_mask & __GFP_BITS_MASK;
88}
89
Nick Piggin643b52b2008-06-12 15:21:52 -070090static inline void tag_set(struct radix_tree_node *node, unsigned int tag,
91 int offset)
92{
93 __set_bit(offset, node->tags[tag]);
94}
95
96static inline void tag_clear(struct radix_tree_node *node, unsigned int tag,
97 int offset)
98{
99 __clear_bit(offset, node->tags[tag]);
100}
101
102static inline int tag_get(struct radix_tree_node *node, unsigned int tag,
103 int offset)
104{
105 return test_bit(offset, node->tags[tag]);
106}
107
108static inline void root_tag_set(struct radix_tree_root *root, unsigned int tag)
109{
110 root->gfp_mask |= (__force gfp_t)(1 << (tag + __GFP_BITS_SHIFT));
111}
112
113static inline void root_tag_clear(struct radix_tree_root *root, unsigned int tag)
114{
115 root->gfp_mask &= (__force gfp_t)~(1 << (tag + __GFP_BITS_SHIFT));
116}
117
118static inline void root_tag_clear_all(struct radix_tree_root *root)
119{
120 root->gfp_mask &= __GFP_BITS_MASK;
121}
122
123static inline int root_tag_get(struct radix_tree_root *root, unsigned int tag)
124{
125 return (__force unsigned)root->gfp_mask & (1 << (tag + __GFP_BITS_SHIFT));
126}
127
128/*
129 * Returns 1 if any slot in the node has this tag set.
130 * Otherwise returns 0.
131 */
132static inline int any_tag_set(struct radix_tree_node *node, unsigned int tag)
133{
134 int idx;
135 for (idx = 0; idx < RADIX_TREE_TAG_LONGS; idx++) {
136 if (node->tags[tag][idx])
137 return 1;
138 }
139 return 0;
140}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700141/*
142 * This assumes that the caller has performed appropriate preallocation, and
143 * that the caller has pinned this thread of control to the current CPU.
144 */
145static struct radix_tree_node *
146radix_tree_node_alloc(struct radix_tree_root *root)
147{
Nick Piggine2848a02008-02-04 22:29:10 -0800148 struct radix_tree_node *ret = NULL;
Nick Piggin612d6c12006-06-23 02:03:22 -0700149 gfp_t gfp_mask = root_gfp_mask(root);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700150
Nick Piggine2848a02008-02-04 22:29:10 -0800151 if (!(gfp_mask & __GFP_WAIT)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700152 struct radix_tree_preload *rtp;
153
Nick Piggine2848a02008-02-04 22:29:10 -0800154 /*
155 * Provided the caller has preloaded here, we will always
156 * succeed in getting a node here (and never reach
157 * kmem_cache_alloc)
158 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700159 rtp = &__get_cpu_var(radix_tree_preloads);
160 if (rtp->nr) {
161 ret = rtp->nodes[rtp->nr - 1];
162 rtp->nodes[rtp->nr - 1] = NULL;
163 rtp->nr--;
164 }
165 }
Nick Piggine2848a02008-02-04 22:29:10 -0800166 if (ret == NULL)
Christoph Lameter488514d2008-04-28 02:12:05 -0700167 ret = kmem_cache_alloc(radix_tree_node_cachep, gfp_mask);
Nick Piggine2848a02008-02-04 22:29:10 -0800168
Nick Pigginc0bc9872007-10-16 01:24:42 -0700169 BUG_ON(radix_tree_is_indirect_ptr(ret));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700170 return ret;
171}
172
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800173static void radix_tree_node_rcu_free(struct rcu_head *head)
174{
175 struct radix_tree_node *node =
176 container_of(head, struct radix_tree_node, rcu_head);
Dave Chinnerb6dd0862010-08-23 10:33:19 +1000177 int i;
Nick Piggin643b52b2008-06-12 15:21:52 -0700178
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 */
Dave Chinnerb6dd0862010-08-23 10:33:19 +1000184 for (i = 0; i < RADIX_TREE_MAX_TAGS; i++)
185 tag_clear(node, i, 0);
186
Nick Piggin643b52b2008-06-12 15:21:52 -0700187 node->slots[0] = NULL;
188 node->count = 0;
189
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800190 kmem_cache_free(radix_tree_node_cachep, node);
191}
192
Linus Torvalds1da177e2005-04-16 15:20:36 -0700193static inline void
194radix_tree_node_free(struct radix_tree_node *node)
195{
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800196 call_rcu(&node->rcu_head, radix_tree_node_rcu_free);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700197}
198
199/*
200 * Load up this CPU's radix_tree_node buffer with sufficient objects to
201 * ensure that the addition of a single element in the tree cannot fail. On
202 * success, return zero, with preemption disabled. On error, return -ENOMEM
203 * with preemption not disabled.
David Howellsb34df792009-11-19 18:11:14 +0000204 *
205 * To make use of this facility, the radix tree must be initialised without
206 * __GFP_WAIT being passed to INIT_RADIX_TREE().
Linus Torvalds1da177e2005-04-16 15:20:36 -0700207 */
Al Virodd0fc662005-10-07 07:46:04 +0100208int radix_tree_preload(gfp_t gfp_mask)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700209{
210 struct radix_tree_preload *rtp;
211 struct radix_tree_node *node;
212 int ret = -ENOMEM;
213
214 preempt_disable();
215 rtp = &__get_cpu_var(radix_tree_preloads);
216 while (rtp->nr < ARRAY_SIZE(rtp->nodes)) {
217 preempt_enable();
Christoph Lameter488514d2008-04-28 02:12:05 -0700218 node = kmem_cache_alloc(radix_tree_node_cachep, gfp_mask);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700219 if (node == NULL)
220 goto out;
221 preempt_disable();
222 rtp = &__get_cpu_var(radix_tree_preloads);
223 if (rtp->nr < ARRAY_SIZE(rtp->nodes))
224 rtp->nodes[rtp->nr++] = node;
225 else
226 kmem_cache_free(radix_tree_node_cachep, node);
227 }
228 ret = 0;
229out:
230 return ret;
231}
David Chinnerd7f09232007-07-14 16:05:04 +1000232EXPORT_SYMBOL(radix_tree_preload);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700233
Nick Piggin6e954b92006-01-08 01:01:40 -0800234/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700235 * Return the maximum key which can be store into a
236 * radix tree with height HEIGHT.
237 */
238static inline unsigned long radix_tree_maxindex(unsigned int height)
239{
240 return height_to_maxindex[height];
241}
242
243/*
244 * Extend a radix tree so it can store key @index.
245 */
246static int radix_tree_extend(struct radix_tree_root *root, unsigned long index)
247{
248 struct radix_tree_node *node;
249 unsigned int height;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700250 int tag;
251
252 /* Figure out what the height should be. */
253 height = root->height + 1;
254 while (index > radix_tree_maxindex(height))
255 height++;
256
257 if (root->rnode == NULL) {
258 root->height = height;
259 goto out;
260 }
261
Linus Torvalds1da177e2005-04-16 15:20:36 -0700262 do {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800263 unsigned int newheight;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700264 if (!(node = radix_tree_node_alloc(root)))
265 return -ENOMEM;
266
267 /* Increase the height. */
Nick Pigginc0bc9872007-10-16 01:24:42 -0700268 node->slots[0] = radix_tree_indirect_to_ptr(root->rnode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700269
270 /* Propagate the aggregated tag info into the new root */
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800271 for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++) {
Nick Piggin612d6c12006-06-23 02:03:22 -0700272 if (root_tag_get(root, tag))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700273 tag_set(node, tag, 0);
274 }
275
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800276 newheight = root->height+1;
277 node->height = newheight;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700278 node->count = 1;
Nick Pigginc0bc9872007-10-16 01:24:42 -0700279 node = radix_tree_ptr_to_indirect(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800280 rcu_assign_pointer(root->rnode, node);
281 root->height = newheight;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700282 } while (height > root->height);
283out:
284 return 0;
285}
286
287/**
288 * radix_tree_insert - insert into a radix tree
289 * @root: radix tree root
290 * @index: index key
291 * @item: item to insert
292 *
293 * Insert an item into the radix tree at position @index.
294 */
295int radix_tree_insert(struct radix_tree_root *root,
296 unsigned long index, void *item)
297{
Christoph Lameter201b6262005-09-06 15:16:46 -0700298 struct radix_tree_node *node = NULL, *slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299 unsigned int height, shift;
300 int offset;
301 int error;
302
Nick Pigginc0bc9872007-10-16 01:24:42 -0700303 BUG_ON(radix_tree_is_indirect_ptr(item));
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800304
Linus Torvalds1da177e2005-04-16 15:20:36 -0700305 /* Make sure the tree is high enough. */
Nick Piggin612d6c12006-06-23 02:03:22 -0700306 if (index > radix_tree_maxindex(root->height)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700307 error = radix_tree_extend(root, index);
308 if (error)
309 return error;
310 }
311
Nick Pigginc0bc9872007-10-16 01:24:42 -0700312 slot = radix_tree_indirect_to_ptr(root->rnode);
313
Linus Torvalds1da177e2005-04-16 15:20:36 -0700314 height = root->height;
315 shift = (height-1) * RADIX_TREE_MAP_SHIFT;
316
317 offset = 0; /* uninitialised var warning */
Nick Piggin612d6c12006-06-23 02:03:22 -0700318 while (height > 0) {
Christoph Lameter201b6262005-09-06 15:16:46 -0700319 if (slot == NULL) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700320 /* Have to add a child node. */
Christoph Lameter201b6262005-09-06 15:16:46 -0700321 if (!(slot = radix_tree_node_alloc(root)))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700322 return -ENOMEM;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800323 slot->height = height;
Christoph Lameter201b6262005-09-06 15:16:46 -0700324 if (node) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800325 rcu_assign_pointer(node->slots[offset], slot);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700326 node->count++;
Christoph Lameter201b6262005-09-06 15:16:46 -0700327 } else
Nick Pigginc0bc9872007-10-16 01:24:42 -0700328 rcu_assign_pointer(root->rnode,
329 radix_tree_ptr_to_indirect(slot));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700330 }
331
332 /* Go a level down */
333 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
Christoph Lameter201b6262005-09-06 15:16:46 -0700334 node = slot;
335 slot = node->slots[offset];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700336 shift -= RADIX_TREE_MAP_SHIFT;
337 height--;
Nick Piggin612d6c12006-06-23 02:03:22 -0700338 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700339
Christoph Lameter201b6262005-09-06 15:16:46 -0700340 if (slot != NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700341 return -EEXIST;
Christoph Lameter201b6262005-09-06 15:16:46 -0700342
Nick Piggin612d6c12006-06-23 02:03:22 -0700343 if (node) {
344 node->count++;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800345 rcu_assign_pointer(node->slots[offset], item);
Nick Piggin612d6c12006-06-23 02:03:22 -0700346 BUG_ON(tag_get(node, 0, offset));
347 BUG_ON(tag_get(node, 1, offset));
348 } else {
Nick Pigginc0bc9872007-10-16 01:24:42 -0700349 rcu_assign_pointer(root->rnode, item);
Nick Piggin612d6c12006-06-23 02:03:22 -0700350 BUG_ON(root_tag_get(root, 0));
351 BUG_ON(root_tag_get(root, 1));
352 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700353
Linus Torvalds1da177e2005-04-16 15:20:36 -0700354 return 0;
355}
356EXPORT_SYMBOL(radix_tree_insert);
357
Huang Shijieb72b71c2009-06-16 15:33:42 -0700358/*
359 * is_slot == 1 : search for the slot.
360 * is_slot == 0 : search for the node.
Hans Reisera4331362005-11-07 00:59:29 -0800361 */
Huang Shijieb72b71c2009-06-16 15:33:42 -0700362static void *radix_tree_lookup_element(struct radix_tree_root *root,
363 unsigned long index, int is_slot)
Hans Reisera4331362005-11-07 00:59:29 -0800364{
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800365 unsigned int height, shift;
366 struct radix_tree_node *node, **slot;
367
Paul E. McKenney2676a582010-02-22 17:04:54 -0800368 node = rcu_dereference_raw(root->rnode);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800369 if (node == NULL)
370 return NULL;
371
Nick Pigginc0bc9872007-10-16 01:24:42 -0700372 if (!radix_tree_is_indirect_ptr(node)) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800373 if (index > 0)
374 return NULL;
Huang Shijieb72b71c2009-06-16 15:33:42 -0700375 return is_slot ? (void *)&root->rnode : node;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800376 }
Nick Pigginc0bc9872007-10-16 01:24:42 -0700377 node = radix_tree_indirect_to_ptr(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800378
379 height = node->height;
380 if (index > radix_tree_maxindex(height))
381 return NULL;
382
383 shift = (height-1) * RADIX_TREE_MAP_SHIFT;
384
385 do {
386 slot = (struct radix_tree_node **)
387 (node->slots + ((index>>shift) & RADIX_TREE_MAP_MASK));
Paul E. McKenney2676a582010-02-22 17:04:54 -0800388 node = rcu_dereference_raw(*slot);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800389 if (node == NULL)
390 return NULL;
391
392 shift -= RADIX_TREE_MAP_SHIFT;
393 height--;
394 } while (height > 0);
395
Huang Shijieb72b71c2009-06-16 15:33:42 -0700396 return is_slot ? (void *)slot:node;
397}
398
399/**
400 * radix_tree_lookup_slot - lookup a slot in a radix tree
401 * @root: radix tree root
402 * @index: index key
403 *
404 * Returns: the slot corresponding to the position @index in the
405 * radix tree @root. This is useful for update-if-exists operations.
406 *
407 * This function can be called under rcu_read_lock iff the slot is not
408 * modified by radix_tree_replace_slot, otherwise it must be called
409 * exclusive from other writers. Any dereference of the slot must be done
410 * using radix_tree_deref_slot.
411 */
412void **radix_tree_lookup_slot(struct radix_tree_root *root, unsigned long index)
413{
414 return (void **)radix_tree_lookup_element(root, index, 1);
Hans Reisera4331362005-11-07 00:59:29 -0800415}
416EXPORT_SYMBOL(radix_tree_lookup_slot);
417
Linus Torvalds1da177e2005-04-16 15:20:36 -0700418/**
419 * radix_tree_lookup - perform lookup operation on a radix tree
420 * @root: radix tree root
421 * @index: index key
422 *
423 * Lookup the item at the position @index in the radix tree @root.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800424 *
425 * This function can be called under rcu_read_lock, however the caller
426 * must manage lifetimes of leaf nodes (eg. RCU may also be used to free
427 * them safely). No RCU barriers are required to access or modify the
428 * returned item, however.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700429 */
430void *radix_tree_lookup(struct radix_tree_root *root, unsigned long index)
431{
Huang Shijieb72b71c2009-06-16 15:33:42 -0700432 return radix_tree_lookup_element(root, index, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700433}
434EXPORT_SYMBOL(radix_tree_lookup);
435
436/**
437 * radix_tree_tag_set - set a tag on a radix tree node
438 * @root: radix tree root
439 * @index: index key
440 * @tag: tag index
441 *
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800442 * Set the search tag (which must be < RADIX_TREE_MAX_TAGS)
443 * corresponding to @index in the radix tree. From
Linus Torvalds1da177e2005-04-16 15:20:36 -0700444 * the root all the way down to the leaf node.
445 *
446 * Returns the address of the tagged item. Setting a tag on a not-present
447 * item is a bug.
448 */
449void *radix_tree_tag_set(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800450 unsigned long index, unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700451{
452 unsigned int height, shift;
Christoph Lameter201b6262005-09-06 15:16:46 -0700453 struct radix_tree_node *slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700454
455 height = root->height;
Peter Zijlstra4c91c362006-06-23 02:03:25 -0700456 BUG_ON(index > radix_tree_maxindex(height));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700457
Nick Pigginc0bc9872007-10-16 01:24:42 -0700458 slot = radix_tree_indirect_to_ptr(root->rnode);
Nick Piggin612d6c12006-06-23 02:03:22 -0700459 shift = (height - 1) * RADIX_TREE_MAP_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700460
461 while (height > 0) {
462 int offset;
463
464 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
Nick Piggind5274262006-01-08 01:01:41 -0800465 if (!tag_get(slot, tag, offset))
466 tag_set(slot, tag, offset);
Christoph Lameter201b6262005-09-06 15:16:46 -0700467 slot = slot->slots[offset];
468 BUG_ON(slot == NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700469 shift -= RADIX_TREE_MAP_SHIFT;
470 height--;
471 }
472
Nick Piggin612d6c12006-06-23 02:03:22 -0700473 /* set the root's tag bit */
474 if (slot && !root_tag_get(root, tag))
475 root_tag_set(root, tag);
476
Christoph Lameter201b6262005-09-06 15:16:46 -0700477 return slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700478}
479EXPORT_SYMBOL(radix_tree_tag_set);
480
481/**
482 * radix_tree_tag_clear - clear a tag on a radix tree node
483 * @root: radix tree root
484 * @index: index key
485 * @tag: tag index
486 *
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800487 * Clear the search tag (which must be < RADIX_TREE_MAX_TAGS)
488 * corresponding to @index in the radix tree. If
Linus Torvalds1da177e2005-04-16 15:20:36 -0700489 * this causes the leaf node to have no tags set then clear the tag in the
490 * next-to-leaf node, etc.
491 *
492 * Returns the address of the tagged item on success, else NULL. ie:
493 * has the same return value and semantics as radix_tree_lookup().
494 */
495void *radix_tree_tag_clear(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800496 unsigned long index, unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700497{
Jeff Moyer26fb1582007-10-16 01:24:49 -0700498 /*
499 * The radix tree path needs to be one longer than the maximum path
500 * since the "list" is null terminated.
501 */
502 struct radix_tree_path path[RADIX_TREE_MAX_PATH + 1], *pathp = path;
Nick Piggin612d6c12006-06-23 02:03:22 -0700503 struct radix_tree_node *slot = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700504 unsigned int height, shift;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700505
506 height = root->height;
507 if (index > radix_tree_maxindex(height))
508 goto out;
509
510 shift = (height - 1) * RADIX_TREE_MAP_SHIFT;
511 pathp->node = NULL;
Nick Pigginc0bc9872007-10-16 01:24:42 -0700512 slot = radix_tree_indirect_to_ptr(root->rnode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700513
514 while (height > 0) {
515 int offset;
516
Christoph Lameter201b6262005-09-06 15:16:46 -0700517 if (slot == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700518 goto out;
519
520 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
521 pathp[1].offset = offset;
Christoph Lameter201b6262005-09-06 15:16:46 -0700522 pathp[1].node = slot;
523 slot = slot->slots[offset];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700524 pathp++;
525 shift -= RADIX_TREE_MAP_SHIFT;
526 height--;
527 }
528
Nick Piggin612d6c12006-06-23 02:03:22 -0700529 if (slot == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700530 goto out;
531
Nick Piggin612d6c12006-06-23 02:03:22 -0700532 while (pathp->node) {
Nick Piggind5274262006-01-08 01:01:41 -0800533 if (!tag_get(pathp->node, tag, pathp->offset))
534 goto out;
Christoph Lameter201b6262005-09-06 15:16:46 -0700535 tag_clear(pathp->node, tag, pathp->offset);
Nick Piggin6e954b92006-01-08 01:01:40 -0800536 if (any_tag_set(pathp->node, tag))
537 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700538 pathp--;
Nick Piggin612d6c12006-06-23 02:03:22 -0700539 }
540
541 /* clear the root's tag bit */
542 if (root_tag_get(root, tag))
543 root_tag_clear(root, tag);
544
Linus Torvalds1da177e2005-04-16 15:20:36 -0700545out:
Nick Piggin612d6c12006-06-23 02:03:22 -0700546 return slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700547}
548EXPORT_SYMBOL(radix_tree_tag_clear);
549
Linus Torvalds1da177e2005-04-16 15:20:36 -0700550/**
Marcelo Tosatti32605a12005-09-06 15:16:48 -0700551 * radix_tree_tag_get - get a tag on a radix tree node
552 * @root: radix tree root
553 * @index: index key
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800554 * @tag: tag index (< RADIX_TREE_MAX_TAGS)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700555 *
Marcelo Tosatti32605a12005-09-06 15:16:48 -0700556 * Return values:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700557 *
Nick Piggin612d6c12006-06-23 02:03:22 -0700558 * 0: tag not present or not set
559 * 1: tag set
David Howellsce826532010-04-06 22:36:20 +0100560 *
561 * Note that the return value of this function may not be relied on, even if
562 * the RCU lock is held, unless tag modification and node deletion are excluded
563 * from concurrency.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700564 */
565int radix_tree_tag_get(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800566 unsigned long index, unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700567{
568 unsigned int height, shift;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800569 struct radix_tree_node *node;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700570 int saw_unset_tag = 0;
571
Nick Piggin612d6c12006-06-23 02:03:22 -0700572 /* check the root's tag bit */
573 if (!root_tag_get(root, tag))
574 return 0;
575
Paul E. McKenney2676a582010-02-22 17:04:54 -0800576 node = rcu_dereference_raw(root->rnode);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800577 if (node == NULL)
578 return 0;
579
Nick Pigginc0bc9872007-10-16 01:24:42 -0700580 if (!radix_tree_is_indirect_ptr(node))
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800581 return (index == 0);
Nick Pigginc0bc9872007-10-16 01:24:42 -0700582 node = radix_tree_indirect_to_ptr(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800583
584 height = node->height;
585 if (index > radix_tree_maxindex(height))
586 return 0;
Nick Piggin612d6c12006-06-23 02:03:22 -0700587
Linus Torvalds1da177e2005-04-16 15:20:36 -0700588 shift = (height - 1) * RADIX_TREE_MAP_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700589
590 for ( ; ; ) {
591 int offset;
592
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800593 if (node == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700594 return 0;
595
596 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
597
598 /*
599 * This is just a debug check. Later, we can bale as soon as
600 * we see an unset tag.
601 */
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800602 if (!tag_get(node, tag, offset))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700603 saw_unset_tag = 1;
David Howellsce826532010-04-06 22:36:20 +0100604 if (height == 1)
605 return !!tag_get(node, tag, offset);
Paul E. McKenney2676a582010-02-22 17:04:54 -0800606 node = rcu_dereference_raw(node->slots[offset]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700607 shift -= RADIX_TREE_MAP_SHIFT;
608 height--;
609 }
610}
611EXPORT_SYMBOL(radix_tree_tag_get);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700612
Fengguang Wu6df8ba42007-10-16 01:24:33 -0700613/**
Jan Karaebf8aa42010-08-09 17:19:11 -0700614 * radix_tree_range_tag_if_tagged - for each item in given range set given
615 * tag if item has another tag set
616 * @root: radix tree root
617 * @first_indexp: pointer to a starting index of a range to scan
618 * @last_index: last index of a range to scan
619 * @nr_to_tag: maximum number items to tag
620 * @iftag: tag index to test
621 * @settag: tag index to set if tested tag is set
622 *
623 * This function scans range of radix tree from first_index to last_index
624 * (inclusive). For each item in the range if iftag is set, the function sets
625 * also settag. The function stops either after tagging nr_to_tag items or
626 * after reaching last_index.
627 *
628 * The function returns number of leaves where the tag was set and sets
629 * *first_indexp to the first unscanned index.
630 */
631unsigned long radix_tree_range_tag_if_tagged(struct radix_tree_root *root,
632 unsigned long *first_indexp, unsigned long last_index,
633 unsigned long nr_to_tag,
634 unsigned int iftag, unsigned int settag)
635{
636 unsigned int height = root->height, shift;
637 unsigned long tagged = 0, index = *first_indexp;
638 struct radix_tree_node *open_slots[height], *slot;
639
640 last_index = min(last_index, radix_tree_maxindex(height));
641 if (index > last_index)
642 return 0;
643 if (!nr_to_tag)
644 return 0;
645 if (!root_tag_get(root, iftag)) {
646 *first_indexp = last_index + 1;
647 return 0;
648 }
649 if (height == 0) {
650 *first_indexp = last_index + 1;
651 root_tag_set(root, settag);
652 return 1;
653 }
654
655 shift = (height - 1) * RADIX_TREE_MAP_SHIFT;
656 slot = radix_tree_indirect_to_ptr(root->rnode);
657
658 for (;;) {
659 int offset;
660
661 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
662 if (!slot->slots[offset])
663 goto next;
664 if (!tag_get(slot, iftag, offset))
665 goto next;
666 tag_set(slot, settag, offset);
667 if (height == 1) {
668 tagged++;
669 goto next;
670 }
671 /* Go down one level */
672 height--;
673 shift -= RADIX_TREE_MAP_SHIFT;
674 open_slots[height] = slot;
675 slot = slot->slots[offset];
676 continue;
677next:
678 /* Go to next item at level determined by 'shift' */
679 index = ((index >> shift) + 1) << shift;
680 if (index > last_index)
681 break;
682 if (tagged >= nr_to_tag)
683 break;
684 while (((index >> shift) & RADIX_TREE_MAP_MASK) == 0) {
685 /*
686 * We've fully scanned this node. Go up. Because
687 * last_index is guaranteed to be in the tree, what
688 * we do below cannot wander astray.
689 */
690 slot = open_slots[height];
691 height++;
692 shift += RADIX_TREE_MAP_SHIFT;
693 }
694 }
695 /*
696 * The iftag must have been set somewhere because otherwise
697 * we would return immediated at the beginning of the function
698 */
699 root_tag_set(root, settag);
700 *first_indexp = index;
701
702 return tagged;
703}
704EXPORT_SYMBOL(radix_tree_range_tag_if_tagged);
705
706
707/**
Fengguang Wu6df8ba42007-10-16 01:24:33 -0700708 * radix_tree_next_hole - find the next hole (not-present entry)
709 * @root: tree root
710 * @index: index key
711 * @max_scan: maximum range to search
712 *
713 * Search the set [index, min(index+max_scan-1, MAX_INDEX)] for the lowest
714 * indexed hole.
715 *
716 * Returns: the index of the hole if found, otherwise returns an index
717 * outside of the set specified (in which case 'return - index >= max_scan'
Wu Fengguang8e6bdb72008-11-27 11:42:22 +0100718 * will be true). In rare cases of index wrap-around, 0 will be returned.
Fengguang Wu6df8ba42007-10-16 01:24:33 -0700719 *
720 * radix_tree_next_hole may be called under rcu_read_lock. However, like
Wu Fengguang8e6bdb72008-11-27 11:42:22 +0100721 * radix_tree_gang_lookup, this will not atomically search a snapshot of
722 * the tree at a single point in time. For example, if a hole is created
723 * at index 5, then subsequently a hole is created at index 10,
724 * radix_tree_next_hole covering both indexes may return 10 if called
725 * under rcu_read_lock.
Fengguang Wu6df8ba42007-10-16 01:24:33 -0700726 */
727unsigned long radix_tree_next_hole(struct radix_tree_root *root,
728 unsigned long index, unsigned long max_scan)
729{
730 unsigned long i;
731
732 for (i = 0; i < max_scan; i++) {
733 if (!radix_tree_lookup(root, index))
734 break;
735 index++;
736 if (index == 0)
737 break;
738 }
739
740 return index;
741}
742EXPORT_SYMBOL(radix_tree_next_hole);
743
Wu Fengguangdc566122009-06-16 15:31:32 -0700744/**
745 * radix_tree_prev_hole - find the prev hole (not-present entry)
746 * @root: tree root
747 * @index: index key
748 * @max_scan: maximum range to search
749 *
750 * Search backwards in the range [max(index-max_scan+1, 0), index]
751 * for the first hole.
752 *
753 * Returns: the index of the hole if found, otherwise returns an index
754 * outside of the set specified (in which case 'index - return >= max_scan'
Cesar Eduardo Barrosedcd1d82010-05-26 14:44:27 -0700755 * will be true). In rare cases of wrap-around, ULONG_MAX will be returned.
Wu Fengguangdc566122009-06-16 15:31:32 -0700756 *
757 * radix_tree_next_hole may be called under rcu_read_lock. However, like
758 * radix_tree_gang_lookup, this will not atomically search a snapshot of
759 * the tree at a single point in time. For example, if a hole is created
760 * at index 10, then subsequently a hole is created at index 5,
761 * radix_tree_prev_hole covering both indexes may return 5 if called under
762 * rcu_read_lock.
763 */
764unsigned long radix_tree_prev_hole(struct radix_tree_root *root,
765 unsigned long index, unsigned long max_scan)
766{
767 unsigned long i;
768
769 for (i = 0; i < max_scan; i++) {
770 if (!radix_tree_lookup(root, index))
771 break;
772 index--;
Cesar Eduardo Barrosedcd1d82010-05-26 14:44:27 -0700773 if (index == ULONG_MAX)
Wu Fengguangdc566122009-06-16 15:31:32 -0700774 break;
775 }
776
777 return index;
778}
779EXPORT_SYMBOL(radix_tree_prev_hole);
780
Linus Torvalds1da177e2005-04-16 15:20:36 -0700781static unsigned int
Nick Piggin47feff22008-07-25 19:45:29 -0700782__lookup(struct radix_tree_node *slot, void ***results, unsigned long index,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700783 unsigned int max_items, unsigned long *next_index)
784{
785 unsigned int nr_found = 0;
Christoph Lameter201b6262005-09-06 15:16:46 -0700786 unsigned int shift, height;
Christoph Lameter201b6262005-09-06 15:16:46 -0700787 unsigned long i;
788
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800789 height = slot->height;
790 if (height == 0)
Christoph Lameter201b6262005-09-06 15:16:46 -0700791 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700792 shift = (height-1) * RADIX_TREE_MAP_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700793
Christoph Lameter201b6262005-09-06 15:16:46 -0700794 for ( ; height > 1; height--) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800795 i = (index >> shift) & RADIX_TREE_MAP_MASK;
796 for (;;) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700797 if (slot->slots[i] != NULL)
798 break;
799 index &= ~((1UL << shift) - 1);
800 index += 1UL << shift;
801 if (index == 0)
802 goto out; /* 32-bit wraparound */
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800803 i++;
804 if (i == RADIX_TREE_MAP_SIZE)
805 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700806 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700807
Linus Torvalds1da177e2005-04-16 15:20:36 -0700808 shift -= RADIX_TREE_MAP_SHIFT;
Paul E. McKenney2676a582010-02-22 17:04:54 -0800809 slot = rcu_dereference_raw(slot->slots[i]);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800810 if (slot == NULL)
811 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700812 }
Christoph Lameter201b6262005-09-06 15:16:46 -0700813
814 /* Bottom level: grab some items */
815 for (i = index & RADIX_TREE_MAP_MASK; i < RADIX_TREE_MAP_SIZE; i++) {
816 index++;
Nick Piggin47feff22008-07-25 19:45:29 -0700817 if (slot->slots[i]) {
818 results[nr_found++] = &(slot->slots[i]);
Christoph Lameter201b6262005-09-06 15:16:46 -0700819 if (nr_found == max_items)
820 goto out;
821 }
822 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700823out:
824 *next_index = index;
825 return nr_found;
826}
827
828/**
829 * radix_tree_gang_lookup - perform multiple lookup on a radix tree
830 * @root: radix tree root
831 * @results: where the results of the lookup are placed
832 * @first_index: start the lookup from this key
833 * @max_items: place up to this many items at *results
834 *
835 * Performs an index-ascending scan of the tree for present items. Places
836 * them at *@results and returns the number of items which were placed at
837 * *@results.
838 *
839 * The implementation is naive.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800840 *
841 * Like radix_tree_lookup, radix_tree_gang_lookup may be called under
842 * rcu_read_lock. In this case, rather than the returned results being
843 * an atomic snapshot of the tree at a single point in time, the semantics
844 * of an RCU protected gang lookup are as though multiple radix_tree_lookups
845 * have been issued in individual locks, and results stored in 'results'.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700846 */
847unsigned int
848radix_tree_gang_lookup(struct radix_tree_root *root, void **results,
849 unsigned long first_index, unsigned int max_items)
850{
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800851 unsigned long max_index;
852 struct radix_tree_node *node;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700853 unsigned long cur_index = first_index;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800854 unsigned int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700855
Paul E. McKenney2676a582010-02-22 17:04:54 -0800856 node = rcu_dereference_raw(root->rnode);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800857 if (!node)
858 return 0;
859
Nick Pigginc0bc9872007-10-16 01:24:42 -0700860 if (!radix_tree_is_indirect_ptr(node)) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800861 if (first_index > 0)
862 return 0;
Nick Pigginc0bc9872007-10-16 01:24:42 -0700863 results[0] = node;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800864 return 1;
865 }
Nick Pigginc0bc9872007-10-16 01:24:42 -0700866 node = radix_tree_indirect_to_ptr(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800867
868 max_index = radix_tree_maxindex(node->height);
869
870 ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700871 while (ret < max_items) {
Nick Piggin47feff22008-07-25 19:45:29 -0700872 unsigned int nr_found, slots_found, i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700873 unsigned long next_index; /* Index of next search */
874
875 if (cur_index > max_index)
876 break;
Nick Piggin47feff22008-07-25 19:45:29 -0700877 slots_found = __lookup(node, (void ***)results + ret, cur_index,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700878 max_items - ret, &next_index);
Nick Piggin47feff22008-07-25 19:45:29 -0700879 nr_found = 0;
880 for (i = 0; i < slots_found; i++) {
881 struct radix_tree_node *slot;
882 slot = *(((void ***)results)[ret + i]);
883 if (!slot)
884 continue;
Paul E. McKenney2676a582010-02-22 17:04:54 -0800885 results[ret + nr_found] = rcu_dereference_raw(slot);
Nick Piggin47feff22008-07-25 19:45:29 -0700886 nr_found++;
887 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700888 ret += nr_found;
889 if (next_index == 0)
890 break;
891 cur_index = next_index;
892 }
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800893
Linus Torvalds1da177e2005-04-16 15:20:36 -0700894 return ret;
895}
896EXPORT_SYMBOL(radix_tree_gang_lookup);
897
Nick Piggin47feff22008-07-25 19:45:29 -0700898/**
899 * radix_tree_gang_lookup_slot - perform multiple slot lookup on radix tree
900 * @root: radix tree root
901 * @results: where the results of the lookup are placed
902 * @first_index: start the lookup from this key
903 * @max_items: place up to this many items at *results
904 *
905 * Performs an index-ascending scan of the tree for present items. Places
906 * their slots at *@results and returns the number of items which were
907 * placed at *@results.
908 *
909 * The implementation is naive.
910 *
911 * Like radix_tree_gang_lookup as far as RCU and locking goes. Slots must
912 * be dereferenced with radix_tree_deref_slot, and if using only RCU
913 * protection, radix_tree_deref_slot may fail requiring a retry.
914 */
915unsigned int
916radix_tree_gang_lookup_slot(struct radix_tree_root *root, void ***results,
917 unsigned long first_index, unsigned int max_items)
918{
919 unsigned long max_index;
920 struct radix_tree_node *node;
921 unsigned long cur_index = first_index;
922 unsigned int ret;
923
Paul E. McKenney2676a582010-02-22 17:04:54 -0800924 node = rcu_dereference_raw(root->rnode);
Nick Piggin47feff22008-07-25 19:45:29 -0700925 if (!node)
926 return 0;
927
928 if (!radix_tree_is_indirect_ptr(node)) {
929 if (first_index > 0)
930 return 0;
931 results[0] = (void **)&root->rnode;
932 return 1;
933 }
934 node = radix_tree_indirect_to_ptr(node);
935
936 max_index = radix_tree_maxindex(node->height);
937
938 ret = 0;
939 while (ret < max_items) {
940 unsigned int slots_found;
941 unsigned long next_index; /* Index of next search */
942
943 if (cur_index > max_index)
944 break;
945 slots_found = __lookup(node, results + ret, cur_index,
946 max_items - ret, &next_index);
947 ret += slots_found;
948 if (next_index == 0)
949 break;
950 cur_index = next_index;
951 }
952
953 return ret;
954}
955EXPORT_SYMBOL(radix_tree_gang_lookup_slot);
956
Linus Torvalds1da177e2005-04-16 15:20:36 -0700957/*
958 * FIXME: the two tag_get()s here should use find_next_bit() instead of
959 * open-coding the search.
960 */
961static unsigned int
Nick Piggin47feff22008-07-25 19:45:29 -0700962__lookup_tag(struct radix_tree_node *slot, void ***results, unsigned long index,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800963 unsigned int max_items, unsigned long *next_index, unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700964{
965 unsigned int nr_found = 0;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800966 unsigned int shift, height;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700967
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800968 height = slot->height;
969 if (height == 0)
Nick Piggin612d6c12006-06-23 02:03:22 -0700970 goto out;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800971 shift = (height-1) * RADIX_TREE_MAP_SHIFT;
Nick Piggin612d6c12006-06-23 02:03:22 -0700972
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800973 while (height > 0) {
974 unsigned long i = (index >> shift) & RADIX_TREE_MAP_MASK ;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700975
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800976 for (;;) {
977 if (tag_get(slot, tag, i))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700978 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700979 index &= ~((1UL << shift) - 1);
980 index += 1UL << shift;
981 if (index == 0)
982 goto out; /* 32-bit wraparound */
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800983 i++;
984 if (i == RADIX_TREE_MAP_SIZE)
985 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700986 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700987 height--;
988 if (height == 0) { /* Bottom level: grab some items */
989 unsigned long j = index & RADIX_TREE_MAP_MASK;
990
991 for ( ; j < RADIX_TREE_MAP_SIZE; j++) {
992 index++;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800993 if (!tag_get(slot, tag, j))
994 continue;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800995 /*
996 * Even though the tag was found set, we need to
997 * recheck that we have a non-NULL node, because
998 * if this lookup is lockless, it may have been
999 * subsequently deleted.
1000 *
1001 * Similar care must be taken in any place that
1002 * lookup ->slots[x] without a lock (ie. can't
1003 * rely on its value remaining the same).
1004 */
Nick Piggin47feff22008-07-25 19:45:29 -07001005 if (slot->slots[j]) {
1006 results[nr_found++] = &(slot->slots[j]);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001007 if (nr_found == max_items)
1008 goto out;
1009 }
1010 }
1011 }
1012 shift -= RADIX_TREE_MAP_SHIFT;
Paul E. McKenney2676a582010-02-22 17:04:54 -08001013 slot = rcu_dereference_raw(slot->slots[i]);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001014 if (slot == NULL)
1015 break;
1016 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001017out:
1018 *next_index = index;
1019 return nr_found;
1020}
1021
1022/**
1023 * radix_tree_gang_lookup_tag - perform multiple lookup on a radix tree
1024 * based on a tag
1025 * @root: radix tree root
1026 * @results: where the results of the lookup are placed
1027 * @first_index: start the lookup from this key
1028 * @max_items: place up to this many items at *results
Jonathan Corbetdaff89f2006-03-25 03:08:05 -08001029 * @tag: the tag index (< RADIX_TREE_MAX_TAGS)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001030 *
1031 * Performs an index-ascending scan of the tree for present items which
1032 * have the tag indexed by @tag set. Places the items at *@results and
1033 * returns the number of items which were placed at *@results.
1034 */
1035unsigned int
1036radix_tree_gang_lookup_tag(struct radix_tree_root *root, void **results,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -08001037 unsigned long first_index, unsigned int max_items,
1038 unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001039{
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001040 struct radix_tree_node *node;
1041 unsigned long max_index;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001042 unsigned long cur_index = first_index;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001043 unsigned int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001044
Nick Piggin612d6c12006-06-23 02:03:22 -07001045 /* check the root's tag bit */
1046 if (!root_tag_get(root, tag))
1047 return 0;
1048
Paul E. McKenney2676a582010-02-22 17:04:54 -08001049 node = rcu_dereference_raw(root->rnode);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001050 if (!node)
1051 return 0;
1052
Nick Pigginc0bc9872007-10-16 01:24:42 -07001053 if (!radix_tree_is_indirect_ptr(node)) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001054 if (first_index > 0)
1055 return 0;
Nick Pigginc0bc9872007-10-16 01:24:42 -07001056 results[0] = node;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001057 return 1;
1058 }
Nick Pigginc0bc9872007-10-16 01:24:42 -07001059 node = radix_tree_indirect_to_ptr(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001060
1061 max_index = radix_tree_maxindex(node->height);
1062
1063 ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001064 while (ret < max_items) {
Nick Piggin47feff22008-07-25 19:45:29 -07001065 unsigned int nr_found, slots_found, i;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001066 unsigned long next_index; /* Index of next search */
1067
1068 if (cur_index > max_index)
1069 break;
Nick Piggin47feff22008-07-25 19:45:29 -07001070 slots_found = __lookup_tag(node, (void ***)results + ret,
1071 cur_index, max_items - ret, &next_index, tag);
1072 nr_found = 0;
1073 for (i = 0; i < slots_found; i++) {
1074 struct radix_tree_node *slot;
1075 slot = *(((void ***)results)[ret + i]);
1076 if (!slot)
1077 continue;
Paul E. McKenney2676a582010-02-22 17:04:54 -08001078 results[ret + nr_found] = rcu_dereference_raw(slot);
Nick Piggin47feff22008-07-25 19:45:29 -07001079 nr_found++;
1080 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001081 ret += nr_found;
1082 if (next_index == 0)
1083 break;
1084 cur_index = next_index;
1085 }
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001086
Linus Torvalds1da177e2005-04-16 15:20:36 -07001087 return ret;
1088}
1089EXPORT_SYMBOL(radix_tree_gang_lookup_tag);
1090
1091/**
Nick Piggin47feff22008-07-25 19:45:29 -07001092 * radix_tree_gang_lookup_tag_slot - perform multiple slot lookup on a
1093 * radix tree based on a tag
1094 * @root: radix tree root
1095 * @results: where the results of the lookup are placed
1096 * @first_index: start the lookup from this key
1097 * @max_items: place up to this many items at *results
1098 * @tag: the tag index (< RADIX_TREE_MAX_TAGS)
1099 *
1100 * Performs an index-ascending scan of the tree for present items which
1101 * have the tag indexed by @tag set. Places the slots at *@results and
1102 * returns the number of slots which were placed at *@results.
1103 */
1104unsigned int
1105radix_tree_gang_lookup_tag_slot(struct radix_tree_root *root, void ***results,
1106 unsigned long first_index, unsigned int max_items,
1107 unsigned int tag)
1108{
1109 struct radix_tree_node *node;
1110 unsigned long max_index;
1111 unsigned long cur_index = first_index;
1112 unsigned int ret;
1113
1114 /* check the root's tag bit */
1115 if (!root_tag_get(root, tag))
1116 return 0;
1117
Paul E. McKenney2676a582010-02-22 17:04:54 -08001118 node = rcu_dereference_raw(root->rnode);
Nick Piggin47feff22008-07-25 19:45:29 -07001119 if (!node)
1120 return 0;
1121
1122 if (!radix_tree_is_indirect_ptr(node)) {
1123 if (first_index > 0)
1124 return 0;
1125 results[0] = (void **)&root->rnode;
1126 return 1;
1127 }
1128 node = radix_tree_indirect_to_ptr(node);
1129
1130 max_index = radix_tree_maxindex(node->height);
1131
1132 ret = 0;
1133 while (ret < max_items) {
1134 unsigned int slots_found;
1135 unsigned long next_index; /* Index of next search */
1136
1137 if (cur_index > max_index)
1138 break;
1139 slots_found = __lookup_tag(node, results + ret,
1140 cur_index, max_items - ret, &next_index, tag);
1141 ret += slots_found;
1142 if (next_index == 0)
1143 break;
1144 cur_index = next_index;
1145 }
1146
1147 return ret;
1148}
1149EXPORT_SYMBOL(radix_tree_gang_lookup_tag_slot);
1150
1151
1152/**
Nick Piggina5f51c92006-01-08 01:01:41 -08001153 * radix_tree_shrink - shrink height of a radix tree to minimal
1154 * @root radix tree root
1155 */
1156static inline void radix_tree_shrink(struct radix_tree_root *root)
1157{
1158 /* try to shrink tree height */
Nick Pigginc0bc9872007-10-16 01:24:42 -07001159 while (root->height > 0) {
Nick Piggina5f51c92006-01-08 01:01:41 -08001160 struct radix_tree_node *to_free = root->rnode;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001161 void *newptr;
Nick Piggina5f51c92006-01-08 01:01:41 -08001162
Nick Pigginc0bc9872007-10-16 01:24:42 -07001163 BUG_ON(!radix_tree_is_indirect_ptr(to_free));
1164 to_free = radix_tree_indirect_to_ptr(to_free);
1165
1166 /*
1167 * The candidate node has more than one child, or its child
1168 * is not at the leftmost slot, we cannot shrink.
1169 */
1170 if (to_free->count != 1)
1171 break;
1172 if (!to_free->slots[0])
1173 break;
1174
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001175 /*
1176 * We don't need rcu_assign_pointer(), since we are simply
1177 * moving the node from one part of the tree to another. If
1178 * it was safe to dereference the old pointer to it
1179 * (to_free->slots[0]), it will be safe to dereference the new
1180 * one (root->rnode).
1181 */
1182 newptr = to_free->slots[0];
Nick Pigginc0bc9872007-10-16 01:24:42 -07001183 if (root->height > 1)
1184 newptr = radix_tree_ptr_to_indirect(newptr);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001185 root->rnode = newptr;
Nick Piggina5f51c92006-01-08 01:01:41 -08001186 root->height--;
Nick Piggina5f51c92006-01-08 01:01:41 -08001187 radix_tree_node_free(to_free);
1188 }
1189}
1190
1191/**
Linus Torvalds1da177e2005-04-16 15:20:36 -07001192 * radix_tree_delete - delete an item from a radix tree
1193 * @root: radix tree root
1194 * @index: index key
1195 *
1196 * Remove the item at @index from the radix tree rooted at @root.
1197 *
1198 * Returns the address of the deleted item, or NULL if it was not present.
1199 */
1200void *radix_tree_delete(struct radix_tree_root *root, unsigned long index)
1201{
Jeff Moyer26fb1582007-10-16 01:24:49 -07001202 /*
1203 * The radix tree path needs to be one longer than the maximum path
1204 * since the "list" is null terminated.
1205 */
1206 struct radix_tree_path path[RADIX_TREE_MAX_PATH + 1], *pathp = path;
Nick Piggin612d6c12006-06-23 02:03:22 -07001207 struct radix_tree_node *slot = NULL;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001208 struct radix_tree_node *to_free;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001209 unsigned int height, shift;
Nick Piggind5274262006-01-08 01:01:41 -08001210 int tag;
1211 int offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001212
1213 height = root->height;
1214 if (index > radix_tree_maxindex(height))
1215 goto out;
1216
Nick Piggin612d6c12006-06-23 02:03:22 -07001217 slot = root->rnode;
Nick Pigginc0bc9872007-10-16 01:24:42 -07001218 if (height == 0) {
Nick Piggin612d6c12006-06-23 02:03:22 -07001219 root_tag_clear_all(root);
1220 root->rnode = NULL;
1221 goto out;
1222 }
Nick Pigginc0bc9872007-10-16 01:24:42 -07001223 slot = radix_tree_indirect_to_ptr(slot);
Nick Piggin612d6c12006-06-23 02:03:22 -07001224
Linus Torvalds1da177e2005-04-16 15:20:36 -07001225 shift = (height - 1) * RADIX_TREE_MAP_SHIFT;
1226 pathp->node = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001227
Nick Piggin612d6c12006-06-23 02:03:22 -07001228 do {
Christoph Lameter201b6262005-09-06 15:16:46 -07001229 if (slot == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001230 goto out;
1231
Linus Torvalds1da177e2005-04-16 15:20:36 -07001232 pathp++;
Nick Piggind5274262006-01-08 01:01:41 -08001233 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
1234 pathp->offset = offset;
1235 pathp->node = slot;
1236 slot = slot->slots[offset];
Linus Torvalds1da177e2005-04-16 15:20:36 -07001237 shift -= RADIX_TREE_MAP_SHIFT;
Nick Piggin612d6c12006-06-23 02:03:22 -07001238 height--;
1239 } while (height > 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001240
Nick Piggin612d6c12006-06-23 02:03:22 -07001241 if (slot == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001242 goto out;
1243
Linus Torvalds1da177e2005-04-16 15:20:36 -07001244 /*
1245 * Clear all tags associated with the just-deleted item
1246 */
Jonathan Corbetdaff89f2006-03-25 03:08:05 -08001247 for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++) {
Nick Piggin612d6c12006-06-23 02:03:22 -07001248 if (tag_get(pathp->node, tag, pathp->offset))
1249 radix_tree_tag_clear(root, index, tag);
Nick Piggind5274262006-01-08 01:01:41 -08001250 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001251
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001252 to_free = NULL;
Christoph Lameter201b6262005-09-06 15:16:46 -07001253 /* Now free the nodes we do not need anymore */
Nick Piggin612d6c12006-06-23 02:03:22 -07001254 while (pathp->node) {
Christoph Lameter201b6262005-09-06 15:16:46 -07001255 pathp->node->slots[pathp->offset] = NULL;
Nick Piggina5f51c92006-01-08 01:01:41 -08001256 pathp->node->count--;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001257 /*
1258 * Queue the node for deferred freeing after the
1259 * last reference to it disappears (set NULL, above).
1260 */
1261 if (to_free)
1262 radix_tree_node_free(to_free);
Nick Piggina5f51c92006-01-08 01:01:41 -08001263
1264 if (pathp->node->count) {
Nick Pigginc0bc9872007-10-16 01:24:42 -07001265 if (pathp->node ==
1266 radix_tree_indirect_to_ptr(root->rnode))
Nick Piggina5f51c92006-01-08 01:01:41 -08001267 radix_tree_shrink(root);
Christoph Lameter201b6262005-09-06 15:16:46 -07001268 goto out;
Nick Piggina5f51c92006-01-08 01:01:41 -08001269 }
Christoph Lameter201b6262005-09-06 15:16:46 -07001270
1271 /* Node with zero slots in use so free it */
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001272 to_free = pathp->node;
Nick Piggin612d6c12006-06-23 02:03:22 -07001273 pathp--;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001274
Linus Torvalds1da177e2005-04-16 15:20:36 -07001275 }
Nick Piggin612d6c12006-06-23 02:03:22 -07001276 root_tag_clear_all(root);
Christoph Lameter201b6262005-09-06 15:16:46 -07001277 root->height = 0;
Nick Piggin612d6c12006-06-23 02:03:22 -07001278 root->rnode = NULL;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001279 if (to_free)
1280 radix_tree_node_free(to_free);
Nick Piggin612d6c12006-06-23 02:03:22 -07001281
Linus Torvalds1da177e2005-04-16 15:20:36 -07001282out:
Nick Piggin612d6c12006-06-23 02:03:22 -07001283 return slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001284}
1285EXPORT_SYMBOL(radix_tree_delete);
1286
1287/**
1288 * radix_tree_tagged - test whether any items in the tree are tagged
1289 * @root: radix tree root
1290 * @tag: tag to test
1291 */
Jonathan Corbetdaff89f2006-03-25 03:08:05 -08001292int radix_tree_tagged(struct radix_tree_root *root, unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001293{
Nick Piggin612d6c12006-06-23 02:03:22 -07001294 return root_tag_get(root, tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001295}
1296EXPORT_SYMBOL(radix_tree_tagged);
1297
1298static void
Alexey Dobriyan51cc5062008-07-25 19:45:34 -07001299radix_tree_node_ctor(void *node)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001300{
1301 memset(node, 0, sizeof(struct radix_tree_node));
1302}
1303
1304static __init unsigned long __maxindex(unsigned int height)
1305{
Peter Lund430d2752007-10-16 23:29:35 -07001306 unsigned int width = height * RADIX_TREE_MAP_SHIFT;
1307 int shift = RADIX_TREE_INDEX_BITS - width;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001308
Peter Lund430d2752007-10-16 23:29:35 -07001309 if (shift < 0)
1310 return ~0UL;
1311 if (shift >= BITS_PER_LONG)
1312 return 0UL;
1313 return ~0UL >> shift;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001314}
1315
1316static __init void radix_tree_init_maxindex(void)
1317{
1318 unsigned int i;
1319
1320 for (i = 0; i < ARRAY_SIZE(height_to_maxindex); i++)
1321 height_to_maxindex[i] = __maxindex(i);
1322}
1323
Linus Torvalds1da177e2005-04-16 15:20:36 -07001324static int radix_tree_callback(struct notifier_block *nfb,
1325 unsigned long action,
1326 void *hcpu)
1327{
1328 int cpu = (long)hcpu;
1329 struct radix_tree_preload *rtp;
1330
1331 /* Free per-cpu pool of perloaded nodes */
Rafael J. Wysocki8bb78442007-05-09 02:35:10 -07001332 if (action == CPU_DEAD || action == CPU_DEAD_FROZEN) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001333 rtp = &per_cpu(radix_tree_preloads, cpu);
1334 while (rtp->nr) {
1335 kmem_cache_free(radix_tree_node_cachep,
1336 rtp->nodes[rtp->nr-1]);
1337 rtp->nodes[rtp->nr-1] = NULL;
1338 rtp->nr--;
1339 }
1340 }
1341 return NOTIFY_OK;
1342}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001343
1344void __init radix_tree_init(void)
1345{
1346 radix_tree_node_cachep = kmem_cache_create("radix_tree_node",
1347 sizeof(struct radix_tree_node), 0,
Christoph Lameter488514d2008-04-28 02:12:05 -07001348 SLAB_PANIC | SLAB_RECLAIM_ACCOUNT,
1349 radix_tree_node_ctor);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001350 radix_tree_init_maxindex();
1351 hotcpu_notifier(radix_tree_callback, 0);
1352}