blob: 65f0e758ec3819d57f1799e5563a9f90dc0e41eb [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 Lameter201b6262005-09-06 15:16:46 -07004 * Copyright (C) 2005 SGI, Christoph Lameter <clameter@sgi.com>
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>
31#include <linux/gfp.h>
32#include <linux/string.h>
33#include <linux/bitops.h>
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080034#include <linux/rcupdate.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070035
36
37#ifdef __KERNEL__
Nick Piggincfd9b7d2006-06-23 02:03:22 -070038#define RADIX_TREE_MAP_SHIFT (CONFIG_BASE_SMALL ? 4 : 6)
Linus Torvalds1da177e2005-04-16 15:20:36 -070039#else
40#define RADIX_TREE_MAP_SHIFT 3 /* For more stressful testing */
41#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -070042
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
49struct radix_tree_node {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080050 unsigned int height; /* Height from the bottom */
Linus Torvalds1da177e2005-04-16 15:20:36 -070051 unsigned int count;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080052 struct rcu_head rcu_head;
Linus Torvalds1da177e2005-04-16 15:20:36 -070053 void *slots[RADIX_TREE_MAP_SIZE];
Jonathan Corbetdaff89f2006-03-25 03:08:05 -080054 unsigned long tags[RADIX_TREE_MAX_TAGS][RADIX_TREE_TAG_LONGS];
Linus Torvalds1da177e2005-04-16 15:20:36 -070055};
56
57struct radix_tree_path {
Christoph Lameter201b6262005-09-06 15:16:46 -070058 struct radix_tree_node *node;
Linus Torvalds1da177e2005-04-16 15:20:36 -070059 int offset;
60};
61
62#define RADIX_TREE_INDEX_BITS (8 /* CHAR_BIT */ * sizeof(unsigned long))
Jeff Moyer26fb1582007-10-16 01:24:49 -070063#define RADIX_TREE_MAX_PATH (DIV_ROUND_UP(RADIX_TREE_INDEX_BITS, \
64 RADIX_TREE_MAP_SHIFT))
Linus Torvalds1da177e2005-04-16 15:20:36 -070065
Jeff Moyer26fb1582007-10-16 01:24:49 -070066/*
67 * The height_to_maxindex array needs to be one deeper than the maximum
68 * path as height 0 holds only 1 entry.
69 */
70static unsigned long height_to_maxindex[RADIX_TREE_MAX_PATH + 1] __read_mostly;
Linus Torvalds1da177e2005-04-16 15:20:36 -070071
72/*
73 * Radix tree node cache.
74 */
Christoph Lametere18b8902006-12-06 20:33:20 -080075static struct kmem_cache *radix_tree_node_cachep;
Linus Torvalds1da177e2005-04-16 15:20:36 -070076
77/*
78 * Per-cpu pool of preloaded nodes
79 */
80struct radix_tree_preload {
81 int nr;
82 struct radix_tree_node *nodes[RADIX_TREE_MAX_PATH];
83};
84DEFINE_PER_CPU(struct radix_tree_preload, radix_tree_preloads) = { 0, };
85
Nick Piggin612d6c12006-06-23 02:03:22 -070086static inline gfp_t root_gfp_mask(struct radix_tree_root *root)
87{
88 return root->gfp_mask & __GFP_BITS_MASK;
89}
90
Linus Torvalds1da177e2005-04-16 15:20:36 -070091/*
92 * This assumes that the caller has performed appropriate preallocation, and
93 * that the caller has pinned this thread of control to the current CPU.
94 */
95static struct radix_tree_node *
96radix_tree_node_alloc(struct radix_tree_root *root)
97{
Nick Piggine2848a02008-02-04 22:29:10 -080098 struct radix_tree_node *ret = NULL;
Nick Piggin612d6c12006-06-23 02:03:22 -070099 gfp_t gfp_mask = root_gfp_mask(root);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700100
Nick Piggine2848a02008-02-04 22:29:10 -0800101 if (!(gfp_mask & __GFP_WAIT)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700102 struct radix_tree_preload *rtp;
103
Nick Piggine2848a02008-02-04 22:29:10 -0800104 /*
105 * Provided the caller has preloaded here, we will always
106 * succeed in getting a node here (and never reach
107 * kmem_cache_alloc)
108 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109 rtp = &__get_cpu_var(radix_tree_preloads);
110 if (rtp->nr) {
111 ret = rtp->nodes[rtp->nr - 1];
112 rtp->nodes[rtp->nr - 1] = NULL;
113 rtp->nr--;
114 }
115 }
Nick Piggine2848a02008-02-04 22:29:10 -0800116 if (ret == NULL)
117 ret = kmem_cache_alloc(radix_tree_node_cachep,
118 set_migrateflags(gfp_mask, __GFP_RECLAIMABLE));
119
Nick Pigginc0bc9872007-10-16 01:24:42 -0700120 BUG_ON(radix_tree_is_indirect_ptr(ret));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700121 return ret;
122}
123
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800124static void radix_tree_node_rcu_free(struct rcu_head *head)
125{
126 struct radix_tree_node *node =
127 container_of(head, struct radix_tree_node, rcu_head);
128 kmem_cache_free(radix_tree_node_cachep, node);
129}
130
Linus Torvalds1da177e2005-04-16 15:20:36 -0700131static inline void
132radix_tree_node_free(struct radix_tree_node *node)
133{
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800134 call_rcu(&node->rcu_head, radix_tree_node_rcu_free);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700135}
136
137/*
138 * Load up this CPU's radix_tree_node buffer with sufficient objects to
139 * ensure that the addition of a single element in the tree cannot fail. On
140 * success, return zero, with preemption disabled. On error, return -ENOMEM
141 * with preemption not disabled.
142 */
Al Virodd0fc662005-10-07 07:46:04 +0100143int radix_tree_preload(gfp_t gfp_mask)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700144{
145 struct radix_tree_preload *rtp;
146 struct radix_tree_node *node;
147 int ret = -ENOMEM;
148
149 preempt_disable();
150 rtp = &__get_cpu_var(radix_tree_preloads);
151 while (rtp->nr < ARRAY_SIZE(rtp->nodes)) {
152 preempt_enable();
Mel Gormane12ba742007-10-16 01:25:52 -0700153 node = kmem_cache_alloc(radix_tree_node_cachep,
154 set_migrateflags(gfp_mask, __GFP_RECLAIMABLE));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700155 if (node == NULL)
156 goto out;
157 preempt_disable();
158 rtp = &__get_cpu_var(radix_tree_preloads);
159 if (rtp->nr < ARRAY_SIZE(rtp->nodes))
160 rtp->nodes[rtp->nr++] = node;
161 else
162 kmem_cache_free(radix_tree_node_cachep, node);
163 }
164 ret = 0;
165out:
166 return ret;
167}
David Chinnerd7f09232007-07-14 16:05:04 +1000168EXPORT_SYMBOL(radix_tree_preload);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700169
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800170static inline void tag_set(struct radix_tree_node *node, unsigned int tag,
171 int offset)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700172{
Nick Piggind5274262006-01-08 01:01:41 -0800173 __set_bit(offset, node->tags[tag]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700174}
175
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800176static inline void tag_clear(struct radix_tree_node *node, unsigned int tag,
177 int offset)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700178{
Nick Piggind5274262006-01-08 01:01:41 -0800179 __clear_bit(offset, node->tags[tag]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700180}
181
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800182static inline int tag_get(struct radix_tree_node *node, unsigned int tag,
183 int offset)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700184{
Nick Piggind5274262006-01-08 01:01:41 -0800185 return test_bit(offset, node->tags[tag]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700186}
187
Nick Piggin612d6c12006-06-23 02:03:22 -0700188static inline void root_tag_set(struct radix_tree_root *root, unsigned int tag)
189{
Al Viro20241ad2006-10-10 22:47:57 +0100190 root->gfp_mask |= (__force gfp_t)(1 << (tag + __GFP_BITS_SHIFT));
Nick Piggin612d6c12006-06-23 02:03:22 -0700191}
192
193
194static inline void root_tag_clear(struct radix_tree_root *root, unsigned int tag)
195{
Al Viro20241ad2006-10-10 22:47:57 +0100196 root->gfp_mask &= (__force gfp_t)~(1 << (tag + __GFP_BITS_SHIFT));
Nick Piggin612d6c12006-06-23 02:03:22 -0700197}
198
199static inline void root_tag_clear_all(struct radix_tree_root *root)
200{
201 root->gfp_mask &= __GFP_BITS_MASK;
202}
203
204static inline int root_tag_get(struct radix_tree_root *root, unsigned int tag)
205{
Al Viro20241ad2006-10-10 22:47:57 +0100206 return (__force unsigned)root->gfp_mask & (1 << (tag + __GFP_BITS_SHIFT));
Nick Piggin612d6c12006-06-23 02:03:22 -0700207}
208
Linus Torvalds1da177e2005-04-16 15:20:36 -0700209/*
Nick Piggin6e954b92006-01-08 01:01:40 -0800210 * Returns 1 if any slot in the node has this tag set.
211 * Otherwise returns 0.
212 */
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800213static inline int any_tag_set(struct radix_tree_node *node, unsigned int tag)
Nick Piggin6e954b92006-01-08 01:01:40 -0800214{
215 int idx;
216 for (idx = 0; idx < RADIX_TREE_TAG_LONGS; idx++) {
217 if (node->tags[tag][idx])
218 return 1;
219 }
220 return 0;
221}
222
223/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700224 * Return the maximum key which can be store into a
225 * radix tree with height HEIGHT.
226 */
227static inline unsigned long radix_tree_maxindex(unsigned int height)
228{
229 return height_to_maxindex[height];
230}
231
232/*
233 * Extend a radix tree so it can store key @index.
234 */
235static int radix_tree_extend(struct radix_tree_root *root, unsigned long index)
236{
237 struct radix_tree_node *node;
238 unsigned int height;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700239 int tag;
240
241 /* Figure out what the height should be. */
242 height = root->height + 1;
243 while (index > radix_tree_maxindex(height))
244 height++;
245
246 if (root->rnode == NULL) {
247 root->height = height;
248 goto out;
249 }
250
Linus Torvalds1da177e2005-04-16 15:20:36 -0700251 do {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800252 unsigned int newheight;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700253 if (!(node = radix_tree_node_alloc(root)))
254 return -ENOMEM;
255
256 /* Increase the height. */
Nick Pigginc0bc9872007-10-16 01:24:42 -0700257 node->slots[0] = radix_tree_indirect_to_ptr(root->rnode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700258
259 /* Propagate the aggregated tag info into the new root */
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800260 for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++) {
Nick Piggin612d6c12006-06-23 02:03:22 -0700261 if (root_tag_get(root, tag))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700262 tag_set(node, tag, 0);
263 }
264
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800265 newheight = root->height+1;
266 node->height = newheight;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700267 node->count = 1;
Nick Pigginc0bc9872007-10-16 01:24:42 -0700268 node = radix_tree_ptr_to_indirect(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800269 rcu_assign_pointer(root->rnode, node);
270 root->height = newheight;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700271 } while (height > root->height);
272out:
273 return 0;
274}
275
276/**
277 * radix_tree_insert - insert into a radix tree
278 * @root: radix tree root
279 * @index: index key
280 * @item: item to insert
281 *
282 * Insert an item into the radix tree at position @index.
283 */
284int radix_tree_insert(struct radix_tree_root *root,
285 unsigned long index, void *item)
286{
Christoph Lameter201b6262005-09-06 15:16:46 -0700287 struct radix_tree_node *node = NULL, *slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700288 unsigned int height, shift;
289 int offset;
290 int error;
291
Nick Pigginc0bc9872007-10-16 01:24:42 -0700292 BUG_ON(radix_tree_is_indirect_ptr(item));
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800293
Linus Torvalds1da177e2005-04-16 15:20:36 -0700294 /* Make sure the tree is high enough. */
Nick Piggin612d6c12006-06-23 02:03:22 -0700295 if (index > radix_tree_maxindex(root->height)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296 error = radix_tree_extend(root, index);
297 if (error)
298 return error;
299 }
300
Nick Pigginc0bc9872007-10-16 01:24:42 -0700301 slot = radix_tree_indirect_to_ptr(root->rnode);
302
Linus Torvalds1da177e2005-04-16 15:20:36 -0700303 height = root->height;
304 shift = (height-1) * RADIX_TREE_MAP_SHIFT;
305
306 offset = 0; /* uninitialised var warning */
Nick Piggin612d6c12006-06-23 02:03:22 -0700307 while (height > 0) {
Christoph Lameter201b6262005-09-06 15:16:46 -0700308 if (slot == NULL) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700309 /* Have to add a child node. */
Christoph Lameter201b6262005-09-06 15:16:46 -0700310 if (!(slot = radix_tree_node_alloc(root)))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700311 return -ENOMEM;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800312 slot->height = height;
Christoph Lameter201b6262005-09-06 15:16:46 -0700313 if (node) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800314 rcu_assign_pointer(node->slots[offset], slot);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700315 node->count++;
Christoph Lameter201b6262005-09-06 15:16:46 -0700316 } else
Nick Pigginc0bc9872007-10-16 01:24:42 -0700317 rcu_assign_pointer(root->rnode,
318 radix_tree_ptr_to_indirect(slot));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700319 }
320
321 /* Go a level down */
322 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
Christoph Lameter201b6262005-09-06 15:16:46 -0700323 node = slot;
324 slot = node->slots[offset];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700325 shift -= RADIX_TREE_MAP_SHIFT;
326 height--;
Nick Piggin612d6c12006-06-23 02:03:22 -0700327 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700328
Christoph Lameter201b6262005-09-06 15:16:46 -0700329 if (slot != NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700330 return -EEXIST;
Christoph Lameter201b6262005-09-06 15:16:46 -0700331
Nick Piggin612d6c12006-06-23 02:03:22 -0700332 if (node) {
333 node->count++;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800334 rcu_assign_pointer(node->slots[offset], item);
Nick Piggin612d6c12006-06-23 02:03:22 -0700335 BUG_ON(tag_get(node, 0, offset));
336 BUG_ON(tag_get(node, 1, offset));
337 } else {
Nick Pigginc0bc9872007-10-16 01:24:42 -0700338 rcu_assign_pointer(root->rnode, item);
Nick Piggin612d6c12006-06-23 02:03:22 -0700339 BUG_ON(root_tag_get(root, 0));
340 BUG_ON(root_tag_get(root, 1));
341 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700342
Linus Torvalds1da177e2005-04-16 15:20:36 -0700343 return 0;
344}
345EXPORT_SYMBOL(radix_tree_insert);
346
Hans Reisera4331362005-11-07 00:59:29 -0800347/**
348 * radix_tree_lookup_slot - lookup a slot in a radix tree
349 * @root: radix tree root
350 * @index: index key
351 *
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800352 * Returns: the slot corresponding to the position @index in the
353 * radix tree @root. This is useful for update-if-exists operations.
354 *
355 * This function cannot be called under rcu_read_lock, it must be
356 * excluded from writers, as must the returned slot for subsequent
357 * use by radix_tree_deref_slot() and radix_tree_replace slot.
358 * Caller must hold tree write locked across slot lookup and
359 * replace.
Hans Reisera4331362005-11-07 00:59:29 -0800360 */
361void **radix_tree_lookup_slot(struct radix_tree_root *root, unsigned long index)
362{
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800363 unsigned int height, shift;
364 struct radix_tree_node *node, **slot;
365
366 node = root->rnode;
367 if (node == NULL)
368 return NULL;
369
Nick Pigginc0bc9872007-10-16 01:24:42 -0700370 if (!radix_tree_is_indirect_ptr(node)) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800371 if (index > 0)
372 return NULL;
373 return (void **)&root->rnode;
374 }
Nick Pigginc0bc9872007-10-16 01:24:42 -0700375 node = radix_tree_indirect_to_ptr(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800376
377 height = node->height;
378 if (index > radix_tree_maxindex(height))
379 return NULL;
380
381 shift = (height-1) * RADIX_TREE_MAP_SHIFT;
382
383 do {
384 slot = (struct radix_tree_node **)
385 (node->slots + ((index>>shift) & RADIX_TREE_MAP_MASK));
386 node = *slot;
387 if (node == NULL)
388 return NULL;
389
390 shift -= RADIX_TREE_MAP_SHIFT;
391 height--;
392 } while (height > 0);
393
394 return (void **)slot;
Hans Reisera4331362005-11-07 00:59:29 -0800395}
396EXPORT_SYMBOL(radix_tree_lookup_slot);
397
Linus Torvalds1da177e2005-04-16 15:20:36 -0700398/**
399 * radix_tree_lookup - perform lookup operation on a radix tree
400 * @root: radix tree root
401 * @index: index key
402 *
403 * Lookup the item at the position @index in the radix tree @root.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800404 *
405 * This function can be called under rcu_read_lock, however the caller
406 * must manage lifetimes of leaf nodes (eg. RCU may also be used to free
407 * them safely). No RCU barriers are required to access or modify the
408 * returned item, however.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700409 */
410void *radix_tree_lookup(struct radix_tree_root *root, unsigned long index)
411{
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800412 unsigned int height, shift;
413 struct radix_tree_node *node, **slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700414
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800415 node = rcu_dereference(root->rnode);
416 if (node == NULL)
417 return NULL;
418
Nick Pigginc0bc9872007-10-16 01:24:42 -0700419 if (!radix_tree_is_indirect_ptr(node)) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800420 if (index > 0)
421 return NULL;
Nick Pigginc0bc9872007-10-16 01:24:42 -0700422 return node;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800423 }
Nick Pigginc0bc9872007-10-16 01:24:42 -0700424 node = radix_tree_indirect_to_ptr(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800425
426 height = node->height;
427 if (index > radix_tree_maxindex(height))
428 return NULL;
429
430 shift = (height-1) * RADIX_TREE_MAP_SHIFT;
431
432 do {
433 slot = (struct radix_tree_node **)
434 (node->slots + ((index>>shift) & RADIX_TREE_MAP_MASK));
435 node = rcu_dereference(*slot);
436 if (node == NULL)
437 return NULL;
438
439 shift -= RADIX_TREE_MAP_SHIFT;
440 height--;
441 } while (height > 0);
442
443 return node;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700444}
445EXPORT_SYMBOL(radix_tree_lookup);
446
447/**
448 * radix_tree_tag_set - set a tag on a radix tree node
449 * @root: radix tree root
450 * @index: index key
451 * @tag: tag index
452 *
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800453 * Set the search tag (which must be < RADIX_TREE_MAX_TAGS)
454 * corresponding to @index in the radix tree. From
Linus Torvalds1da177e2005-04-16 15:20:36 -0700455 * the root all the way down to the leaf node.
456 *
457 * Returns the address of the tagged item. Setting a tag on a not-present
458 * item is a bug.
459 */
460void *radix_tree_tag_set(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800461 unsigned long index, unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700462{
463 unsigned int height, shift;
Christoph Lameter201b6262005-09-06 15:16:46 -0700464 struct radix_tree_node *slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700465
466 height = root->height;
Peter Zijlstra4c91c362006-06-23 02:03:25 -0700467 BUG_ON(index > radix_tree_maxindex(height));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700468
Nick Pigginc0bc9872007-10-16 01:24:42 -0700469 slot = radix_tree_indirect_to_ptr(root->rnode);
Nick Piggin612d6c12006-06-23 02:03:22 -0700470 shift = (height - 1) * RADIX_TREE_MAP_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700471
472 while (height > 0) {
473 int offset;
474
475 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
Nick Piggind5274262006-01-08 01:01:41 -0800476 if (!tag_get(slot, tag, offset))
477 tag_set(slot, tag, offset);
Christoph Lameter201b6262005-09-06 15:16:46 -0700478 slot = slot->slots[offset];
479 BUG_ON(slot == NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700480 shift -= RADIX_TREE_MAP_SHIFT;
481 height--;
482 }
483
Nick Piggin612d6c12006-06-23 02:03:22 -0700484 /* set the root's tag bit */
485 if (slot && !root_tag_get(root, tag))
486 root_tag_set(root, tag);
487
Christoph Lameter201b6262005-09-06 15:16:46 -0700488 return slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700489}
490EXPORT_SYMBOL(radix_tree_tag_set);
491
492/**
493 * radix_tree_tag_clear - clear a tag on a radix tree node
494 * @root: radix tree root
495 * @index: index key
496 * @tag: tag index
497 *
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800498 * Clear the search tag (which must be < RADIX_TREE_MAX_TAGS)
499 * corresponding to @index in the radix tree. If
Linus Torvalds1da177e2005-04-16 15:20:36 -0700500 * this causes the leaf node to have no tags set then clear the tag in the
501 * next-to-leaf node, etc.
502 *
503 * Returns the address of the tagged item on success, else NULL. ie:
504 * has the same return value and semantics as radix_tree_lookup().
505 */
506void *radix_tree_tag_clear(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800507 unsigned long index, unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700508{
Jeff Moyer26fb1582007-10-16 01:24:49 -0700509 /*
510 * The radix tree path needs to be one longer than the maximum path
511 * since the "list" is null terminated.
512 */
513 struct radix_tree_path path[RADIX_TREE_MAX_PATH + 1], *pathp = path;
Nick Piggin612d6c12006-06-23 02:03:22 -0700514 struct radix_tree_node *slot = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700515 unsigned int height, shift;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700516
517 height = root->height;
518 if (index > radix_tree_maxindex(height))
519 goto out;
520
521 shift = (height - 1) * RADIX_TREE_MAP_SHIFT;
522 pathp->node = NULL;
Nick Pigginc0bc9872007-10-16 01:24:42 -0700523 slot = radix_tree_indirect_to_ptr(root->rnode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700524
525 while (height > 0) {
526 int offset;
527
Christoph Lameter201b6262005-09-06 15:16:46 -0700528 if (slot == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700529 goto out;
530
531 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
532 pathp[1].offset = offset;
Christoph Lameter201b6262005-09-06 15:16:46 -0700533 pathp[1].node = slot;
534 slot = slot->slots[offset];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700535 pathp++;
536 shift -= RADIX_TREE_MAP_SHIFT;
537 height--;
538 }
539
Nick Piggin612d6c12006-06-23 02:03:22 -0700540 if (slot == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700541 goto out;
542
Nick Piggin612d6c12006-06-23 02:03:22 -0700543 while (pathp->node) {
Nick Piggind5274262006-01-08 01:01:41 -0800544 if (!tag_get(pathp->node, tag, pathp->offset))
545 goto out;
Christoph Lameter201b6262005-09-06 15:16:46 -0700546 tag_clear(pathp->node, tag, pathp->offset);
Nick Piggin6e954b92006-01-08 01:01:40 -0800547 if (any_tag_set(pathp->node, tag))
548 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700549 pathp--;
Nick Piggin612d6c12006-06-23 02:03:22 -0700550 }
551
552 /* clear the root's tag bit */
553 if (root_tag_get(root, tag))
554 root_tag_clear(root, tag);
555
Linus Torvalds1da177e2005-04-16 15:20:36 -0700556out:
Nick Piggin612d6c12006-06-23 02:03:22 -0700557 return slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700558}
559EXPORT_SYMBOL(radix_tree_tag_clear);
560
561#ifndef __KERNEL__ /* Only the test harness uses this at present */
562/**
Marcelo Tosatti32605a12005-09-06 15:16:48 -0700563 * radix_tree_tag_get - get a tag on a radix tree node
564 * @root: radix tree root
565 * @index: index key
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800566 * @tag: tag index (< RADIX_TREE_MAX_TAGS)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700567 *
Marcelo Tosatti32605a12005-09-06 15:16:48 -0700568 * Return values:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700569 *
Nick Piggin612d6c12006-06-23 02:03:22 -0700570 * 0: tag not present or not set
571 * 1: tag set
Linus Torvalds1da177e2005-04-16 15:20:36 -0700572 */
573int radix_tree_tag_get(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800574 unsigned long index, unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700575{
576 unsigned int height, shift;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800577 struct radix_tree_node *node;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700578 int saw_unset_tag = 0;
579
Nick Piggin612d6c12006-06-23 02:03:22 -0700580 /* check the root's tag bit */
581 if (!root_tag_get(root, tag))
582 return 0;
583
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800584 node = rcu_dereference(root->rnode);
585 if (node == NULL)
586 return 0;
587
Nick Pigginc0bc9872007-10-16 01:24:42 -0700588 if (!radix_tree_is_indirect_ptr(node))
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800589 return (index == 0);
Nick Pigginc0bc9872007-10-16 01:24:42 -0700590 node = radix_tree_indirect_to_ptr(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800591
592 height = node->height;
593 if (index > radix_tree_maxindex(height))
594 return 0;
Nick Piggin612d6c12006-06-23 02:03:22 -0700595
Linus Torvalds1da177e2005-04-16 15:20:36 -0700596 shift = (height - 1) * RADIX_TREE_MAP_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700597
598 for ( ; ; ) {
599 int offset;
600
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800601 if (node == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700602 return 0;
603
604 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
605
606 /*
607 * This is just a debug check. Later, we can bale as soon as
608 * we see an unset tag.
609 */
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800610 if (!tag_get(node, tag, offset))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700611 saw_unset_tag = 1;
612 if (height == 1) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800613 int ret = tag_get(node, tag, offset);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700614
615 BUG_ON(ret && saw_unset_tag);
Wu Fengguange5dcd902006-06-25 05:48:14 -0700616 return !!ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700617 }
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800618 node = rcu_dereference(node->slots[offset]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700619 shift -= RADIX_TREE_MAP_SHIFT;
620 height--;
621 }
622}
623EXPORT_SYMBOL(radix_tree_tag_get);
624#endif
625
Fengguang Wu6df8ba42007-10-16 01:24:33 -0700626/**
627 * radix_tree_next_hole - find the next hole (not-present entry)
628 * @root: tree root
629 * @index: index key
630 * @max_scan: maximum range to search
631 *
632 * Search the set [index, min(index+max_scan-1, MAX_INDEX)] for the lowest
633 * indexed hole.
634 *
635 * Returns: the index of the hole if found, otherwise returns an index
636 * outside of the set specified (in which case 'return - index >= max_scan'
637 * will be true).
638 *
639 * radix_tree_next_hole may be called under rcu_read_lock. However, like
640 * radix_tree_gang_lookup, this will not atomically search a snapshot of the
641 * tree at a single point in time. For example, if a hole is created at index
642 * 5, then subsequently a hole is created at index 10, radix_tree_next_hole
643 * covering both indexes may return 10 if called under rcu_read_lock.
644 */
645unsigned long radix_tree_next_hole(struct radix_tree_root *root,
646 unsigned long index, unsigned long max_scan)
647{
648 unsigned long i;
649
650 for (i = 0; i < max_scan; i++) {
651 if (!radix_tree_lookup(root, index))
652 break;
653 index++;
654 if (index == 0)
655 break;
656 }
657
658 return index;
659}
660EXPORT_SYMBOL(radix_tree_next_hole);
661
Linus Torvalds1da177e2005-04-16 15:20:36 -0700662static unsigned int
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800663__lookup(struct radix_tree_node *slot, void **results, unsigned long index,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700664 unsigned int max_items, unsigned long *next_index)
665{
666 unsigned int nr_found = 0;
Christoph Lameter201b6262005-09-06 15:16:46 -0700667 unsigned int shift, height;
Christoph Lameter201b6262005-09-06 15:16:46 -0700668 unsigned long i;
669
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800670 height = slot->height;
671 if (height == 0)
Christoph Lameter201b6262005-09-06 15:16:46 -0700672 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700673 shift = (height-1) * RADIX_TREE_MAP_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700674
Christoph Lameter201b6262005-09-06 15:16:46 -0700675 for ( ; height > 1; height--) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800676 i = (index >> shift) & RADIX_TREE_MAP_MASK;
677 for (;;) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700678 if (slot->slots[i] != NULL)
679 break;
680 index &= ~((1UL << shift) - 1);
681 index += 1UL << shift;
682 if (index == 0)
683 goto out; /* 32-bit wraparound */
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800684 i++;
685 if (i == RADIX_TREE_MAP_SIZE)
686 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700687 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700688
Linus Torvalds1da177e2005-04-16 15:20:36 -0700689 shift -= RADIX_TREE_MAP_SHIFT;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800690 slot = rcu_dereference(slot->slots[i]);
691 if (slot == NULL)
692 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700693 }
Christoph Lameter201b6262005-09-06 15:16:46 -0700694
695 /* Bottom level: grab some items */
696 for (i = index & RADIX_TREE_MAP_MASK; i < RADIX_TREE_MAP_SIZE; i++) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800697 struct radix_tree_node *node;
Christoph Lameter201b6262005-09-06 15:16:46 -0700698 index++;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800699 node = slot->slots[i];
700 if (node) {
701 results[nr_found++] = rcu_dereference(node);
Christoph Lameter201b6262005-09-06 15:16:46 -0700702 if (nr_found == max_items)
703 goto out;
704 }
705 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700706out:
707 *next_index = index;
708 return nr_found;
709}
710
711/**
712 * radix_tree_gang_lookup - perform multiple lookup on a radix tree
713 * @root: radix tree root
714 * @results: where the results of the lookup are placed
715 * @first_index: start the lookup from this key
716 * @max_items: place up to this many items at *results
717 *
718 * Performs an index-ascending scan of the tree for present items. Places
719 * them at *@results and returns the number of items which were placed at
720 * *@results.
721 *
722 * The implementation is naive.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800723 *
724 * Like radix_tree_lookup, radix_tree_gang_lookup may be called under
725 * rcu_read_lock. In this case, rather than the returned results being
726 * an atomic snapshot of the tree at a single point in time, the semantics
727 * of an RCU protected gang lookup are as though multiple radix_tree_lookups
728 * have been issued in individual locks, and results stored in 'results'.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700729 */
730unsigned int
731radix_tree_gang_lookup(struct radix_tree_root *root, void **results,
732 unsigned long first_index, unsigned int max_items)
733{
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800734 unsigned long max_index;
735 struct radix_tree_node *node;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700736 unsigned long cur_index = first_index;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800737 unsigned int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700738
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800739 node = rcu_dereference(root->rnode);
740 if (!node)
741 return 0;
742
Nick Pigginc0bc9872007-10-16 01:24:42 -0700743 if (!radix_tree_is_indirect_ptr(node)) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800744 if (first_index > 0)
745 return 0;
Nick Pigginc0bc9872007-10-16 01:24:42 -0700746 results[0] = node;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800747 return 1;
748 }
Nick Pigginc0bc9872007-10-16 01:24:42 -0700749 node = radix_tree_indirect_to_ptr(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800750
751 max_index = radix_tree_maxindex(node->height);
752
753 ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700754 while (ret < max_items) {
755 unsigned int nr_found;
756 unsigned long next_index; /* Index of next search */
757
758 if (cur_index > max_index)
759 break;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800760 nr_found = __lookup(node, results + ret, cur_index,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700761 max_items - ret, &next_index);
762 ret += nr_found;
763 if (next_index == 0)
764 break;
765 cur_index = next_index;
766 }
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800767
Linus Torvalds1da177e2005-04-16 15:20:36 -0700768 return ret;
769}
770EXPORT_SYMBOL(radix_tree_gang_lookup);
771
772/*
773 * FIXME: the two tag_get()s here should use find_next_bit() instead of
774 * open-coding the search.
775 */
776static unsigned int
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800777__lookup_tag(struct radix_tree_node *slot, void **results, unsigned long index,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800778 unsigned int max_items, unsigned long *next_index, unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700779{
780 unsigned int nr_found = 0;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800781 unsigned int shift, height;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700782
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800783 height = slot->height;
784 if (height == 0)
Nick Piggin612d6c12006-06-23 02:03:22 -0700785 goto out;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800786 shift = (height-1) * RADIX_TREE_MAP_SHIFT;
Nick Piggin612d6c12006-06-23 02:03:22 -0700787
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800788 while (height > 0) {
789 unsigned long i = (index >> shift) & RADIX_TREE_MAP_MASK ;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700790
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800791 for (;;) {
792 if (tag_get(slot, tag, i))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700793 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700794 index &= ~((1UL << shift) - 1);
795 index += 1UL << shift;
796 if (index == 0)
797 goto out; /* 32-bit wraparound */
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800798 i++;
799 if (i == RADIX_TREE_MAP_SIZE)
800 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700801 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700802 height--;
803 if (height == 0) { /* Bottom level: grab some items */
804 unsigned long j = index & RADIX_TREE_MAP_MASK;
805
806 for ( ; j < RADIX_TREE_MAP_SIZE; j++) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800807 struct radix_tree_node *node;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700808 index++;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800809 if (!tag_get(slot, tag, j))
810 continue;
811 node = slot->slots[j];
812 /*
813 * Even though the tag was found set, we need to
814 * recheck that we have a non-NULL node, because
815 * if this lookup is lockless, it may have been
816 * subsequently deleted.
817 *
818 * Similar care must be taken in any place that
819 * lookup ->slots[x] without a lock (ie. can't
820 * rely on its value remaining the same).
821 */
822 if (node) {
823 node = rcu_dereference(node);
824 results[nr_found++] = node;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700825 if (nr_found == max_items)
826 goto out;
827 }
828 }
829 }
830 shift -= RADIX_TREE_MAP_SHIFT;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800831 slot = rcu_dereference(slot->slots[i]);
832 if (slot == NULL)
833 break;
834 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700835out:
836 *next_index = index;
837 return nr_found;
838}
839
840/**
841 * radix_tree_gang_lookup_tag - perform multiple lookup on a radix tree
842 * based on a tag
843 * @root: radix tree root
844 * @results: where the results of the lookup are placed
845 * @first_index: start the lookup from this key
846 * @max_items: place up to this many items at *results
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800847 * @tag: the tag index (< RADIX_TREE_MAX_TAGS)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700848 *
849 * Performs an index-ascending scan of the tree for present items which
850 * have the tag indexed by @tag set. Places the items at *@results and
851 * returns the number of items which were placed at *@results.
852 */
853unsigned int
854radix_tree_gang_lookup_tag(struct radix_tree_root *root, void **results,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800855 unsigned long first_index, unsigned int max_items,
856 unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700857{
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800858 struct radix_tree_node *node;
859 unsigned long max_index;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700860 unsigned long cur_index = first_index;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800861 unsigned int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700862
Nick Piggin612d6c12006-06-23 02:03:22 -0700863 /* check the root's tag bit */
864 if (!root_tag_get(root, tag))
865 return 0;
866
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800867 node = rcu_dereference(root->rnode);
868 if (!node)
869 return 0;
870
Nick Pigginc0bc9872007-10-16 01:24:42 -0700871 if (!radix_tree_is_indirect_ptr(node)) {
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800872 if (first_index > 0)
873 return 0;
Nick Pigginc0bc9872007-10-16 01:24:42 -0700874 results[0] = node;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800875 return 1;
876 }
Nick Pigginc0bc9872007-10-16 01:24:42 -0700877 node = radix_tree_indirect_to_ptr(node);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800878
879 max_index = radix_tree_maxindex(node->height);
880
881 ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700882 while (ret < max_items) {
883 unsigned int nr_found;
884 unsigned long next_index; /* Index of next search */
885
886 if (cur_index > max_index)
887 break;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800888 nr_found = __lookup_tag(node, results + ret, cur_index,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700889 max_items - ret, &next_index, tag);
890 ret += nr_found;
891 if (next_index == 0)
892 break;
893 cur_index = next_index;
894 }
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800895
Linus Torvalds1da177e2005-04-16 15:20:36 -0700896 return ret;
897}
898EXPORT_SYMBOL(radix_tree_gang_lookup_tag);
899
900/**
Nick Piggina5f51c92006-01-08 01:01:41 -0800901 * radix_tree_shrink - shrink height of a radix tree to minimal
902 * @root radix tree root
903 */
904static inline void radix_tree_shrink(struct radix_tree_root *root)
905{
906 /* try to shrink tree height */
Nick Pigginc0bc9872007-10-16 01:24:42 -0700907 while (root->height > 0) {
Nick Piggina5f51c92006-01-08 01:01:41 -0800908 struct radix_tree_node *to_free = root->rnode;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800909 void *newptr;
Nick Piggina5f51c92006-01-08 01:01:41 -0800910
Nick Pigginc0bc9872007-10-16 01:24:42 -0700911 BUG_ON(!radix_tree_is_indirect_ptr(to_free));
912 to_free = radix_tree_indirect_to_ptr(to_free);
913
914 /*
915 * The candidate node has more than one child, or its child
916 * is not at the leftmost slot, we cannot shrink.
917 */
918 if (to_free->count != 1)
919 break;
920 if (!to_free->slots[0])
921 break;
922
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800923 /*
924 * We don't need rcu_assign_pointer(), since we are simply
925 * moving the node from one part of the tree to another. If
926 * it was safe to dereference the old pointer to it
927 * (to_free->slots[0]), it will be safe to dereference the new
928 * one (root->rnode).
929 */
930 newptr = to_free->slots[0];
Nick Pigginc0bc9872007-10-16 01:24:42 -0700931 if (root->height > 1)
932 newptr = radix_tree_ptr_to_indirect(newptr);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800933 root->rnode = newptr;
Nick Piggina5f51c92006-01-08 01:01:41 -0800934 root->height--;
935 /* must only free zeroed nodes into the slab */
936 tag_clear(to_free, 0, 0);
937 tag_clear(to_free, 1, 0);
938 to_free->slots[0] = NULL;
939 to_free->count = 0;
940 radix_tree_node_free(to_free);
941 }
942}
943
944/**
Linus Torvalds1da177e2005-04-16 15:20:36 -0700945 * radix_tree_delete - delete an item from a radix tree
946 * @root: radix tree root
947 * @index: index key
948 *
949 * Remove the item at @index from the radix tree rooted at @root.
950 *
951 * Returns the address of the deleted item, or NULL if it was not present.
952 */
953void *radix_tree_delete(struct radix_tree_root *root, unsigned long index)
954{
Jeff Moyer26fb1582007-10-16 01:24:49 -0700955 /*
956 * The radix tree path needs to be one longer than the maximum path
957 * since the "list" is null terminated.
958 */
959 struct radix_tree_path path[RADIX_TREE_MAX_PATH + 1], *pathp = path;
Nick Piggin612d6c12006-06-23 02:03:22 -0700960 struct radix_tree_node *slot = NULL;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800961 struct radix_tree_node *to_free;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700962 unsigned int height, shift;
Nick Piggind5274262006-01-08 01:01:41 -0800963 int tag;
964 int offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700965
966 height = root->height;
967 if (index > radix_tree_maxindex(height))
968 goto out;
969
Nick Piggin612d6c12006-06-23 02:03:22 -0700970 slot = root->rnode;
Nick Pigginc0bc9872007-10-16 01:24:42 -0700971 if (height == 0) {
Nick Piggin612d6c12006-06-23 02:03:22 -0700972 root_tag_clear_all(root);
973 root->rnode = NULL;
974 goto out;
975 }
Nick Pigginc0bc9872007-10-16 01:24:42 -0700976 slot = radix_tree_indirect_to_ptr(slot);
Nick Piggin612d6c12006-06-23 02:03:22 -0700977
Linus Torvalds1da177e2005-04-16 15:20:36 -0700978 shift = (height - 1) * RADIX_TREE_MAP_SHIFT;
979 pathp->node = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700980
Nick Piggin612d6c12006-06-23 02:03:22 -0700981 do {
Christoph Lameter201b6262005-09-06 15:16:46 -0700982 if (slot == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700983 goto out;
984
Linus Torvalds1da177e2005-04-16 15:20:36 -0700985 pathp++;
Nick Piggind5274262006-01-08 01:01:41 -0800986 offset = (index >> shift) & RADIX_TREE_MAP_MASK;
987 pathp->offset = offset;
988 pathp->node = slot;
989 slot = slot->slots[offset];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700990 shift -= RADIX_TREE_MAP_SHIFT;
Nick Piggin612d6c12006-06-23 02:03:22 -0700991 height--;
992 } while (height > 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700993
Nick Piggin612d6c12006-06-23 02:03:22 -0700994 if (slot == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700995 goto out;
996
Linus Torvalds1da177e2005-04-16 15:20:36 -0700997 /*
998 * Clear all tags associated with the just-deleted item
999 */
Jonathan Corbetdaff89f2006-03-25 03:08:05 -08001000 for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++) {
Nick Piggin612d6c12006-06-23 02:03:22 -07001001 if (tag_get(pathp->node, tag, pathp->offset))
1002 radix_tree_tag_clear(root, index, tag);
Nick Piggind5274262006-01-08 01:01:41 -08001003 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001004
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001005 to_free = NULL;
Christoph Lameter201b6262005-09-06 15:16:46 -07001006 /* Now free the nodes we do not need anymore */
Nick Piggin612d6c12006-06-23 02:03:22 -07001007 while (pathp->node) {
Christoph Lameter201b6262005-09-06 15:16:46 -07001008 pathp->node->slots[pathp->offset] = NULL;
Nick Piggina5f51c92006-01-08 01:01:41 -08001009 pathp->node->count--;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001010 /*
1011 * Queue the node for deferred freeing after the
1012 * last reference to it disappears (set NULL, above).
1013 */
1014 if (to_free)
1015 radix_tree_node_free(to_free);
Nick Piggina5f51c92006-01-08 01:01:41 -08001016
1017 if (pathp->node->count) {
Nick Pigginc0bc9872007-10-16 01:24:42 -07001018 if (pathp->node ==
1019 radix_tree_indirect_to_ptr(root->rnode))
Nick Piggina5f51c92006-01-08 01:01:41 -08001020 radix_tree_shrink(root);
Christoph Lameter201b6262005-09-06 15:16:46 -07001021 goto out;
Nick Piggina5f51c92006-01-08 01:01:41 -08001022 }
Christoph Lameter201b6262005-09-06 15:16:46 -07001023
1024 /* Node with zero slots in use so free it */
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001025 to_free = pathp->node;
Nick Piggin612d6c12006-06-23 02:03:22 -07001026 pathp--;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001027
Linus Torvalds1da177e2005-04-16 15:20:36 -07001028 }
Nick Piggin612d6c12006-06-23 02:03:22 -07001029 root_tag_clear_all(root);
Christoph Lameter201b6262005-09-06 15:16:46 -07001030 root->height = 0;
Nick Piggin612d6c12006-06-23 02:03:22 -07001031 root->rnode = NULL;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08001032 if (to_free)
1033 radix_tree_node_free(to_free);
Nick Piggin612d6c12006-06-23 02:03:22 -07001034
Linus Torvalds1da177e2005-04-16 15:20:36 -07001035out:
Nick Piggin612d6c12006-06-23 02:03:22 -07001036 return slot;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001037}
1038EXPORT_SYMBOL(radix_tree_delete);
1039
1040/**
1041 * radix_tree_tagged - test whether any items in the tree are tagged
1042 * @root: radix tree root
1043 * @tag: tag to test
1044 */
Jonathan Corbetdaff89f2006-03-25 03:08:05 -08001045int radix_tree_tagged(struct radix_tree_root *root, unsigned int tag)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001046{
Nick Piggin612d6c12006-06-23 02:03:22 -07001047 return root_tag_get(root, tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001048}
1049EXPORT_SYMBOL(radix_tree_tagged);
1050
1051static void
Christoph Lameter4ba9b9d2007-10-16 23:25:51 -07001052radix_tree_node_ctor(struct kmem_cache *cachep, void *node)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001053{
1054 memset(node, 0, sizeof(struct radix_tree_node));
1055}
1056
1057static __init unsigned long __maxindex(unsigned int height)
1058{
Peter Lund430d2752007-10-16 23:29:35 -07001059 unsigned int width = height * RADIX_TREE_MAP_SHIFT;
1060 int shift = RADIX_TREE_INDEX_BITS - width;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001061
Peter Lund430d2752007-10-16 23:29:35 -07001062 if (shift < 0)
1063 return ~0UL;
1064 if (shift >= BITS_PER_LONG)
1065 return 0UL;
1066 return ~0UL >> shift;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001067}
1068
1069static __init void radix_tree_init_maxindex(void)
1070{
1071 unsigned int i;
1072
1073 for (i = 0; i < ARRAY_SIZE(height_to_maxindex); i++)
1074 height_to_maxindex[i] = __maxindex(i);
1075}
1076
Linus Torvalds1da177e2005-04-16 15:20:36 -07001077static int radix_tree_callback(struct notifier_block *nfb,
1078 unsigned long action,
1079 void *hcpu)
1080{
1081 int cpu = (long)hcpu;
1082 struct radix_tree_preload *rtp;
1083
1084 /* Free per-cpu pool of perloaded nodes */
Rafael J. Wysocki8bb78442007-05-09 02:35:10 -07001085 if (action == CPU_DEAD || action == CPU_DEAD_FROZEN) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001086 rtp = &per_cpu(radix_tree_preloads, cpu);
1087 while (rtp->nr) {
1088 kmem_cache_free(radix_tree_node_cachep,
1089 rtp->nodes[rtp->nr-1]);
1090 rtp->nodes[rtp->nr-1] = NULL;
1091 rtp->nr--;
1092 }
1093 }
1094 return NOTIFY_OK;
1095}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001096
1097void __init radix_tree_init(void)
1098{
1099 radix_tree_node_cachep = kmem_cache_create("radix_tree_node",
1100 sizeof(struct radix_tree_node), 0,
Paul Mundt20c2df82007-07-20 10:11:58 +09001101 SLAB_PANIC, radix_tree_node_ctor);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001102 radix_tree_init_maxindex();
1103 hotcpu_notifier(radix_tree_callback, 0);
1104}