radix-tree.c 53.0 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3
/*
 * Copyright (C) 2001 Momchil Velikov
 * Portions Copyright (C) 2001 Christoph Hellwig
C
Christoph Lameter 已提交
4
 * Copyright (C) 2005 SGI, Christoph Lameter
5
 * Copyright (C) 2006 Nick Piggin
6
 * Copyright (C) 2012 Konstantin Khlebnikov
7 8
 * Copyright (C) 2016 Intel, Matthew Wilcox
 * Copyright (C) 2016 Intel, Ross Zwisler
L
Linus Torvalds 已提交
9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
 * published by the Free Software Foundation; either version 2, or (at
 * your option) any later version.
 *
 * This program is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 */

M
Matthew Wilcox 已提交
25
#include <linux/cpu.h>
L
Linus Torvalds 已提交
26 27 28
#include <linux/errno.h>
#include <linux/init.h>
#include <linux/kernel.h>
29
#include <linux/export.h>
L
Linus Torvalds 已提交
30 31 32
#include <linux/radix-tree.h>
#include <linux/percpu.h>
#include <linux/slab.h>
33
#include <linux/kmemleak.h>
L
Linus Torvalds 已提交
34 35 36
#include <linux/cpu.h>
#include <linux/string.h>
#include <linux/bitops.h>
37
#include <linux/rcupdate.h>
38
#include <linux/preempt.h>		/* in_interrupt() */
L
Linus Torvalds 已提交
39 40


41 42 43
/* Number of nodes in fully populated tree of given height */
static unsigned long height_to_maxnodes[RADIX_TREE_MAX_PATH + 1] __read_mostly;

L
Linus Torvalds 已提交
44 45 46
/*
 * Radix tree node cache.
 */
47
static struct kmem_cache *radix_tree_node_cachep;
L
Linus Torvalds 已提交
48

49 50 51 52 53 54 55 56 57 58 59 60 61
/*
 * The radix tree is variable-height, so an insert operation not only has
 * to build the branch to its corresponding item, it also has to build the
 * branch to existing items if the size has to be increased (by
 * radix_tree_extend).
 *
 * The worst case is a zero height tree with just a single item at index 0,
 * and then inserting an item at index ULONG_MAX. This requires 2 new branches
 * of RADIX_TREE_MAX_PATH size to be created, with only the root node shared.
 * Hence:
 */
#define RADIX_TREE_PRELOAD_SIZE (RADIX_TREE_MAX_PATH * 2 - 1)

L
Linus Torvalds 已提交
62 63 64 65
/*
 * Per-cpu pool of preloaded nodes
 */
struct radix_tree_preload {
M
Matthew Wilcox 已提交
66
	unsigned nr;
67 68
	/* nodes->private_data points to next preallocated node */
	struct radix_tree_node *nodes;
L
Linus Torvalds 已提交
69
};
70
static DEFINE_PER_CPU(struct radix_tree_preload, radix_tree_preloads) = { 0, };
L
Linus Torvalds 已提交
71

72 73 74 75 76
static inline struct radix_tree_node *entry_to_node(void *ptr)
{
	return (void *)((unsigned long)ptr & ~RADIX_TREE_INTERNAL_NODE);
}

77
static inline void *node_to_entry(void *ptr)
N
Nick Piggin 已提交
78
{
79
	return (void *)((unsigned long)ptr | RADIX_TREE_INTERNAL_NODE);
N
Nick Piggin 已提交
80 81
}

82
#define RADIX_TREE_RETRY	node_to_entry(NULL)
83

84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104
#ifdef CONFIG_RADIX_TREE_MULTIORDER
/* Sibling slots point directly to another slot in the same node */
static inline bool is_sibling_entry(struct radix_tree_node *parent, void *node)
{
	void **ptr = node;
	return (parent->slots <= ptr) &&
			(ptr < parent->slots + RADIX_TREE_MAP_SIZE);
}
#else
static inline bool is_sibling_entry(struct radix_tree_node *parent, void *node)
{
	return false;
}
#endif

static inline unsigned long get_slot_offset(struct radix_tree_node *parent,
						 void **slot)
{
	return slot - parent->slots;
}

105 106
static unsigned int radix_tree_descend(struct radix_tree_node *parent,
			struct radix_tree_node **nodep, unsigned long index)
107
{
108
	unsigned int offset = (index >> parent->shift) & RADIX_TREE_MAP_MASK;
109 110 111
	void **entry = rcu_dereference_raw(parent->slots[offset]);

#ifdef CONFIG_RADIX_TREE_MULTIORDER
112
	if (radix_tree_is_internal_node(entry)) {
113 114 115 116
		if (is_sibling_entry(parent, entry)) {
			void **sibentry = (void **) entry_to_node(entry);
			offset = get_slot_offset(parent, sibentry);
			entry = rcu_dereference_raw(*sibentry);
117 118 119 120 121 122 123 124
		}
	}
#endif

	*nodep = (void *)entry;
	return offset;
}

N
Nick Piggin 已提交
125 126 127 128 129
static inline gfp_t root_gfp_mask(struct radix_tree_root *root)
{
	return root->gfp_mask & __GFP_BITS_MASK;
}

130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152
static inline void tag_set(struct radix_tree_node *node, unsigned int tag,
		int offset)
{
	__set_bit(offset, node->tags[tag]);
}

static inline void tag_clear(struct radix_tree_node *node, unsigned int tag,
		int offset)
{
	__clear_bit(offset, node->tags[tag]);
}

static inline int tag_get(struct radix_tree_node *node, unsigned int tag,
		int offset)
{
	return test_bit(offset, node->tags[tag]);
}

static inline void root_tag_set(struct radix_tree_root *root, unsigned int tag)
{
	root->gfp_mask |= (__force gfp_t)(1 << (tag + __GFP_BITS_SHIFT));
}

M
Matthew Wilcox 已提交
153
static inline void root_tag_clear(struct radix_tree_root *root, unsigned tag)
154 155 156 157 158 159 160 161 162 163 164
{
	root->gfp_mask &= (__force gfp_t)~(1 << (tag + __GFP_BITS_SHIFT));
}

static inline void root_tag_clear_all(struct radix_tree_root *root)
{
	root->gfp_mask &= __GFP_BITS_MASK;
}

static inline int root_tag_get(struct radix_tree_root *root, unsigned int tag)
{
M
Matthew Wilcox 已提交
165
	return (__force int)root->gfp_mask & (1 << (tag + __GFP_BITS_SHIFT));
166 167
}

168 169 170 171 172
static inline unsigned root_tags_get(struct radix_tree_root *root)
{
	return (__force unsigned)root->gfp_mask >> __GFP_BITS_SHIFT;
}

173 174 175 176 177 178
/*
 * Returns 1 if any slot in the node has this tag set.
 * Otherwise returns 0.
 */
static inline int any_tag_set(struct radix_tree_node *node, unsigned int tag)
{
M
Matthew Wilcox 已提交
179
	unsigned idx;
180 181 182 183 184 185
	for (idx = 0; idx < RADIX_TREE_TAG_LONGS; idx++) {
		if (node->tags[tag][idx])
			return 1;
	}
	return 0;
}
186 187 188 189 190 191 192 193 194 195 196 197 198

/**
 * radix_tree_find_next_bit - find the next set bit in a memory region
 *
 * @addr: The address to base the search on
 * @size: The bitmap size in bits
 * @offset: The bitnumber to start searching at
 *
 * Unrollable variant of find_next_bit() for constant size arrays.
 * Tail bits starting from size to roundup(size, BITS_PER_LONG) must be zero.
 * Returns next bit offset, or size if nothing found.
 */
static __always_inline unsigned long
199 200
radix_tree_find_next_bit(struct radix_tree_node *node, unsigned int tag,
			 unsigned long offset)
201
{
202
	const unsigned long *addr = node->tags[tag];
203

204
	if (offset < RADIX_TREE_MAP_SIZE) {
205 206 207 208 209 210 211
		unsigned long tmp;

		addr += offset / BITS_PER_LONG;
		tmp = *addr >> (offset % BITS_PER_LONG);
		if (tmp)
			return __ffs(tmp) + offset;
		offset = (offset + BITS_PER_LONG) & ~(BITS_PER_LONG - 1);
212
		while (offset < RADIX_TREE_MAP_SIZE) {
213 214 215 216 217 218
			tmp = *++addr;
			if (tmp)
				return __ffs(tmp) + offset;
			offset += BITS_PER_LONG;
		}
	}
219
	return RADIX_TREE_MAP_SIZE;
220 221
}

222 223 224 225 226
static unsigned int iter_offset(const struct radix_tree_iter *iter)
{
	return (iter->index >> iter_shift(iter)) & RADIX_TREE_MAP_MASK;
}

M
Matthew Wilcox 已提交
227 228 229 230 231 232 233 234 235 236 237 238 239
/*
 * The maximum index which can be stored in a radix tree
 */
static inline unsigned long shift_maxindex(unsigned int shift)
{
	return (RADIX_TREE_MAP_SIZE << shift) - 1;
}

static inline unsigned long node_maxindex(struct radix_tree_node *node)
{
	return shift_maxindex(node->shift);
}

240
#ifndef __KERNEL__
M
Matthew Wilcox 已提交
241
static void dump_node(struct radix_tree_node *node, unsigned long index)
M
Matthew Wilcox 已提交
242
{
243
	unsigned long i;
M
Matthew Wilcox 已提交
244

M
Matthew Wilcox 已提交
245 246 247
	pr_debug("radix node: %p offset %d indices %lu-%lu parent %p tags %lx %lx %lx shift %d count %d exceptional %d\n",
		node, node->offset, index, index | node_maxindex(node),
		node->parent,
248
		node->tags[0][0], node->tags[1][0], node->tags[2][0],
M
Matthew Wilcox 已提交
249
		node->shift, node->count, node->exceptional);
250 251

	for (i = 0; i < RADIX_TREE_MAP_SIZE; i++) {
M
Matthew Wilcox 已提交
252 253
		unsigned long first = index | (i << node->shift);
		unsigned long last = first | ((1UL << node->shift) - 1);
254 255 256
		void *entry = node->slots[i];
		if (!entry)
			continue;
M
Matthew Wilcox 已提交
257 258 259
		if (entry == RADIX_TREE_RETRY) {
			pr_debug("radix retry offset %ld indices %lu-%lu parent %p\n",
					i, first, last, node);
260
		} else if (!radix_tree_is_internal_node(entry)) {
M
Matthew Wilcox 已提交
261 262 263 264 265 266
			pr_debug("radix entry %p offset %ld indices %lu-%lu parent %p\n",
					entry, i, first, last, node);
		} else if (is_sibling_entry(node, entry)) {
			pr_debug("radix sblng %p offset %ld indices %lu-%lu parent %p val %p\n",
					entry, i, first, last, node,
					*(void **)entry_to_node(entry));
267
		} else {
268
			dump_node(entry_to_node(entry), first);
269 270
		}
	}
M
Matthew Wilcox 已提交
271 272 273 274 275
}

/* For debug */
static void radix_tree_dump(struct radix_tree_root *root)
{
M
Matthew Wilcox 已提交
276 277
	pr_debug("radix root: %p rnode %p tags %x\n",
			root, root->rnode,
M
Matthew Wilcox 已提交
278
			root->gfp_mask >> __GFP_BITS_SHIFT);
279
	if (!radix_tree_is_internal_node(root->rnode))
M
Matthew Wilcox 已提交
280
		return;
281
	dump_node(entry_to_node(root->rnode), 0);
M
Matthew Wilcox 已提交
282 283 284
}
#endif

L
Linus Torvalds 已提交
285 286 287 288 289
/*
 * This assumes that the caller has performed appropriate preallocation, and
 * that the caller has pinned this thread of control to the current CPU.
 */
static struct radix_tree_node *
290 291 292 293
radix_tree_node_alloc(struct radix_tree_root *root,
			struct radix_tree_node *parent,
			unsigned int shift, unsigned int offset,
			unsigned int count, unsigned int exceptional)
L
Linus Torvalds 已提交
294
{
295
	struct radix_tree_node *ret = NULL;
N
Nick Piggin 已提交
296
	gfp_t gfp_mask = root_gfp_mask(root);
L
Linus Torvalds 已提交
297

298
	/*
M
Matthew Wilcox 已提交
299 300 301
	 * Preload code isn't irq safe and it doesn't make sense to use
	 * preloading during an interrupt anyway as all the allocations have
	 * to be atomic. So just do normal allocation when in interrupt.
302
	 */
303
	if (!gfpflags_allow_blocking(gfp_mask) && !in_interrupt()) {
L
Linus Torvalds 已提交
304 305
		struct radix_tree_preload *rtp;

306 307
		/*
		 * Even if the caller has preloaded, try to allocate from the
308 309
		 * cache first for the new node to get accounted to the memory
		 * cgroup.
310 311
		 */
		ret = kmem_cache_alloc(radix_tree_node_cachep,
312
				       gfp_mask | __GFP_NOWARN);
313 314 315
		if (ret)
			goto out;

316 317 318 319 320
		/*
		 * Provided the caller has preloaded here, we will always
		 * succeed in getting a node here (and never reach
		 * kmem_cache_alloc)
		 */
321
		rtp = this_cpu_ptr(&radix_tree_preloads);
L
Linus Torvalds 已提交
322
		if (rtp->nr) {
323 324 325
			ret = rtp->nodes;
			rtp->nodes = ret->private_data;
			ret->private_data = NULL;
L
Linus Torvalds 已提交
326 327
			rtp->nr--;
		}
328 329 330 331 332
		/*
		 * Update the allocation stack trace as this is more useful
		 * for debugging.
		 */
		kmemleak_update_trace(ret);
333
		goto out;
L
Linus Torvalds 已提交
334
	}
335
	ret = kmem_cache_alloc(radix_tree_node_cachep, gfp_mask);
336
out:
337
	BUG_ON(radix_tree_is_internal_node(ret));
338 339 340 341 342 343 344
	if (ret) {
		ret->parent = parent;
		ret->shift = shift;
		ret->offset = offset;
		ret->count = count;
		ret->exceptional = exceptional;
	}
L
Linus Torvalds 已提交
345 346 347
	return ret;
}

348 349 350 351
static void radix_tree_node_rcu_free(struct rcu_head *head)
{
	struct radix_tree_node *node =
			container_of(head, struct radix_tree_node, rcu_head);
352 353

	/*
M
Matthew Wilcox 已提交
354 355 356
	 * Must only free zeroed nodes into the slab.  We can be left with
	 * non-NULL entries by radix_tree_free_nodes, so clear the entries
	 * and tags here.
357
	 */
M
Matthew Wilcox 已提交
358 359
	memset(node->slots, 0, sizeof(node->slots));
	memset(node->tags, 0, sizeof(node->tags));
360
	INIT_LIST_HEAD(&node->private_list);
361

362 363 364
	kmem_cache_free(radix_tree_node_cachep, node);
}

L
Linus Torvalds 已提交
365 366 367
static inline void
radix_tree_node_free(struct radix_tree_node *node)
{
368
	call_rcu(&node->rcu_head, radix_tree_node_rcu_free);
L
Linus Torvalds 已提交
369 370 371 372 373 374 375
}

/*
 * Load up this CPU's radix_tree_node buffer with sufficient objects to
 * ensure that the addition of a single element in the tree cannot fail.  On
 * success, return zero, with preemption disabled.  On error, return -ENOMEM
 * with preemption not disabled.
376 377
 *
 * To make use of this facility, the radix tree must be initialised without
378
 * __GFP_DIRECT_RECLAIM being passed to INIT_RADIX_TREE().
L
Linus Torvalds 已提交
379
 */
380
static int __radix_tree_preload(gfp_t gfp_mask, unsigned nr)
L
Linus Torvalds 已提交
381 382 383 384 385
{
	struct radix_tree_preload *rtp;
	struct radix_tree_node *node;
	int ret = -ENOMEM;

386 387 388 389 390 391
	/*
	 * Nodes preloaded by one cgroup can be be used by another cgroup, so
	 * they should never be accounted to any particular memory cgroup.
	 */
	gfp_mask &= ~__GFP_ACCOUNT;

L
Linus Torvalds 已提交
392
	preempt_disable();
393
	rtp = this_cpu_ptr(&radix_tree_preloads);
394
	while (rtp->nr < nr) {
L
Linus Torvalds 已提交
395
		preempt_enable();
C
Christoph Lameter 已提交
396
		node = kmem_cache_alloc(radix_tree_node_cachep, gfp_mask);
L
Linus Torvalds 已提交
397 398 399
		if (node == NULL)
			goto out;
		preempt_disable();
400
		rtp = this_cpu_ptr(&radix_tree_preloads);
401
		if (rtp->nr < nr) {
402 403 404 405
			node->private_data = rtp->nodes;
			rtp->nodes = node;
			rtp->nr++;
		} else {
L
Linus Torvalds 已提交
406
			kmem_cache_free(radix_tree_node_cachep, node);
407
		}
L
Linus Torvalds 已提交
408 409 410 411 412
	}
	ret = 0;
out:
	return ret;
}
413 414 415 416 417 418 419 420

/*
 * Load up this CPU's radix_tree_node buffer with sufficient objects to
 * ensure that the addition of a single element in the tree cannot fail.  On
 * success, return zero, with preemption disabled.  On error, return -ENOMEM
 * with preemption not disabled.
 *
 * To make use of this facility, the radix tree must be initialised without
421
 * __GFP_DIRECT_RECLAIM being passed to INIT_RADIX_TREE().
422 423 424 425
 */
int radix_tree_preload(gfp_t gfp_mask)
{
	/* Warn on non-sensical use... */
426
	WARN_ON_ONCE(!gfpflags_allow_blocking(gfp_mask));
427
	return __radix_tree_preload(gfp_mask, RADIX_TREE_PRELOAD_SIZE);
428
}
429
EXPORT_SYMBOL(radix_tree_preload);
L
Linus Torvalds 已提交
430

431 432 433 434 435 436 437
/*
 * The same as above function, except we don't guarantee preloading happens.
 * We do it, if we decide it helps. On success, return zero with preemption
 * disabled. On error, return -ENOMEM with preemption not disabled.
 */
int radix_tree_maybe_preload(gfp_t gfp_mask)
{
438
	if (gfpflags_allow_blocking(gfp_mask))
439
		return __radix_tree_preload(gfp_mask, RADIX_TREE_PRELOAD_SIZE);
440 441 442 443 444 445
	/* Preloading doesn't help anything with this gfp mask, skip it */
	preempt_disable();
	return 0;
}
EXPORT_SYMBOL(radix_tree_maybe_preload);

446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467
#ifdef CONFIG_RADIX_TREE_MULTIORDER
/*
 * Preload with enough objects to ensure that we can split a single entry
 * of order @old_order into many entries of size @new_order
 */
int radix_tree_split_preload(unsigned int old_order, unsigned int new_order,
							gfp_t gfp_mask)
{
	unsigned top = 1 << (old_order % RADIX_TREE_MAP_SHIFT);
	unsigned layers = (old_order / RADIX_TREE_MAP_SHIFT) -
				(new_order / RADIX_TREE_MAP_SHIFT);
	unsigned nr = 0;

	WARN_ON_ONCE(!gfpflags_allow_blocking(gfp_mask));
	BUG_ON(new_order >= old_order);

	while (layers--)
		nr = nr * RADIX_TREE_MAP_SIZE + 1;
	return __radix_tree_preload(gfp_mask, top * nr);
}
#endif

468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512
/*
 * The same as function above, but preload number of nodes required to insert
 * (1 << order) continuous naturally-aligned elements.
 */
int radix_tree_maybe_preload_order(gfp_t gfp_mask, int order)
{
	unsigned long nr_subtrees;
	int nr_nodes, subtree_height;

	/* Preloading doesn't help anything with this gfp mask, skip it */
	if (!gfpflags_allow_blocking(gfp_mask)) {
		preempt_disable();
		return 0;
	}

	/*
	 * Calculate number and height of fully populated subtrees it takes to
	 * store (1 << order) elements.
	 */
	nr_subtrees = 1 << order;
	for (subtree_height = 0; nr_subtrees > RADIX_TREE_MAP_SIZE;
			subtree_height++)
		nr_subtrees >>= RADIX_TREE_MAP_SHIFT;

	/*
	 * The worst case is zero height tree with a single item at index 0 and
	 * then inserting items starting at ULONG_MAX - (1 << order).
	 *
	 * This requires RADIX_TREE_MAX_PATH nodes to build branch from root to
	 * 0-index item.
	 */
	nr_nodes = RADIX_TREE_MAX_PATH;

	/* Plus branch to fully populated subtrees. */
	nr_nodes += RADIX_TREE_MAX_PATH - subtree_height;

	/* Root node is shared. */
	nr_nodes--;

	/* Plus nodes required to build subtrees. */
	nr_nodes += nr_subtrees * height_to_maxnodes[subtree_height];

	return __radix_tree_preload(gfp_mask, nr_nodes);
}

513 514 515 516 517 518 519
static unsigned radix_tree_load_root(struct radix_tree_root *root,
		struct radix_tree_node **nodep, unsigned long *maxindex)
{
	struct radix_tree_node *node = rcu_dereference_raw(root->rnode);

	*nodep = node;

520
	if (likely(radix_tree_is_internal_node(node))) {
521
		node = entry_to_node(node);
522
		*maxindex = node_maxindex(node);
523
		return node->shift + RADIX_TREE_MAP_SHIFT;
524 525 526 527 528 529
	}

	*maxindex = 0;
	return 0;
}

L
Linus Torvalds 已提交
530 531 532
/*
 *	Extend a radix tree so it can store key @index.
 */
533
static int radix_tree_extend(struct radix_tree_root *root,
M
Matthew Wilcox 已提交
534
				unsigned long index, unsigned int shift)
L
Linus Torvalds 已提交
535
{
536
	struct radix_tree_node *slot;
M
Matthew Wilcox 已提交
537
	unsigned int maxshift;
L
Linus Torvalds 已提交
538 539
	int tag;

M
Matthew Wilcox 已提交
540 541 542 543
	/* Figure out what the shift should be.  */
	maxshift = shift;
	while (index > shift_maxindex(maxshift))
		maxshift += RADIX_TREE_MAP_SHIFT;
L
Linus Torvalds 已提交
544

M
Matthew Wilcox 已提交
545 546
	slot = root->rnode;
	if (!slot)
L
Linus Torvalds 已提交
547 548 549
		goto out;

	do {
550 551
		struct radix_tree_node *node = radix_tree_node_alloc(root,
							NULL, shift, 0, 1, 0);
M
Matthew Wilcox 已提交
552
		if (!node)
L
Linus Torvalds 已提交
553 554 555
			return -ENOMEM;

		/* Propagate the aggregated tag info into the new root */
556
		for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++) {
N
Nick Piggin 已提交
557
			if (root_tag_get(root, tag))
L
Linus Torvalds 已提交
558 559 560
				tag_set(node, tag, 0);
		}

M
Matthew Wilcox 已提交
561
		BUG_ON(shift > BITS_PER_LONG);
562
		if (radix_tree_is_internal_node(slot)) {
563
			entry_to_node(slot)->parent = node;
564
		} else if (radix_tree_exceptional_entry(slot)) {
565
			/* Moving an exceptional root->rnode to a node */
566
			node->exceptional = 1;
567
		}
568
		node->slots[0] = slot;
569 570
		slot = node_to_entry(node);
		rcu_assign_pointer(root->rnode, slot);
M
Matthew Wilcox 已提交
571 572
		shift += RADIX_TREE_MAP_SHIFT;
	} while (shift <= maxshift);
L
Linus Torvalds 已提交
573
out:
M
Matthew Wilcox 已提交
574
	return maxshift + RADIX_TREE_MAP_SHIFT;
L
Linus Torvalds 已提交
575 576
}

577 578 579 580
/**
 *	radix_tree_shrink    -    shrink radix tree to minimum height
 *	@root		radix tree root
 */
581
static inline void radix_tree_shrink(struct radix_tree_root *root,
582 583
				     radix_tree_update_node_t update_node,
				     void *private)
584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635
{
	for (;;) {
		struct radix_tree_node *node = root->rnode;
		struct radix_tree_node *child;

		if (!radix_tree_is_internal_node(node))
			break;
		node = entry_to_node(node);

		/*
		 * The candidate node has more than one child, or its child
		 * is not at the leftmost slot, or the child is a multiorder
		 * entry, we cannot shrink.
		 */
		if (node->count != 1)
			break;
		child = node->slots[0];
		if (!child)
			break;
		if (!radix_tree_is_internal_node(child) && node->shift)
			break;

		if (radix_tree_is_internal_node(child))
			entry_to_node(child)->parent = NULL;

		/*
		 * We don't need rcu_assign_pointer(), since we are simply
		 * moving the node from one part of the tree to another: if it
		 * was safe to dereference the old pointer to it
		 * (node->slots[0]), it will be safe to dereference the new
		 * one (root->rnode) as far as dependent read barriers go.
		 */
		root->rnode = child;

		/*
		 * We have a dilemma here. The node's slot[0] must not be
		 * NULLed in case there are concurrent lookups expecting to
		 * find the item. However if this was a bottom-level node,
		 * then it may be subject to the slot pointer being visible
		 * to callers dereferencing it. If item corresponding to
		 * slot[0] is subsequently deleted, these callers would expect
		 * their slot to become empty sooner or later.
		 *
		 * For example, lockless pagecache will look up a slot, deref
		 * the page pointer, and if the page has 0 refcount it means it
		 * was concurrently deleted from pagecache so try the deref
		 * again. Fortunately there is already a requirement for logic
		 * to retry the entire slot lookup -- the indirect pointer
		 * problem (replacing direct root node with an indirect pointer
		 * also results in a stale slot). So tag the slot as indirect
		 * to force callers to retry.
		 */
636 637
		node->count = 0;
		if (!radix_tree_is_internal_node(child)) {
638
			node->slots[0] = RADIX_TREE_RETRY;
639 640 641
			if (update_node)
				update_node(node, private);
		}
642

643
		WARN_ON_ONCE(!list_empty(&node->private_list));
644 645 646 647
		radix_tree_node_free(node);
	}
}

648
static void delete_node(struct radix_tree_root *root,
649 650
			struct radix_tree_node *node,
			radix_tree_update_node_t update_node, void *private)
651 652 653 654 655 656
{
	do {
		struct radix_tree_node *parent;

		if (node->count) {
			if (node == entry_to_node(root->rnode))
657 658
				radix_tree_shrink(root, update_node, private);
			return;
659 660 661 662 663 664 665 666 667 668 669
		}

		parent = node->parent;
		if (parent) {
			parent->slots[node->offset] = NULL;
			parent->count--;
		} else {
			root_tag_clear_all(root);
			root->rnode = NULL;
		}

670
		WARN_ON_ONCE(!list_empty(&node->private_list));
671 672 673 674 675 676
		radix_tree_node_free(node);

		node = parent;
	} while (node);
}

L
Linus Torvalds 已提交
677
/**
678
 *	__radix_tree_create	-	create a slot in a radix tree
L
Linus Torvalds 已提交
679 680
 *	@root:		radix tree root
 *	@index:		index key
681
 *	@order:		index occupies 2^order aligned slots
682 683
 *	@nodep:		returns node
 *	@slotp:		returns slot
L
Linus Torvalds 已提交
684
 *
685 686 687 688 689 690 691 692
 *	Create, if necessary, and return the node and slot for an item
 *	at position @index in the radix tree @root.
 *
 *	Until there is more than one item in the tree, no nodes are
 *	allocated and @root->rnode is used as a direct slot instead of
 *	pointing to a node, in which case *@nodep will be NULL.
 *
 *	Returns -ENOMEM, or 0 for success.
L
Linus Torvalds 已提交
693
 */
694
int __radix_tree_create(struct radix_tree_root *root, unsigned long index,
695 696
			unsigned order, struct radix_tree_node **nodep,
			void ***slotp)
L
Linus Torvalds 已提交
697
{
698 699
	struct radix_tree_node *node = NULL, *child;
	void **slot = (void **)&root->rnode;
700
	unsigned long maxindex;
701
	unsigned int shift, offset = 0;
702 703
	unsigned long max = index | ((1UL << order) - 1);

704
	shift = radix_tree_load_root(root, &child, &maxindex);
L
Linus Torvalds 已提交
705 706

	/* Make sure the tree is high enough.  */
M
Matthew Wilcox 已提交
707 708
	if (order > 0 && max == ((1UL << order) - 1))
		max++;
709
	if (max > maxindex) {
M
Matthew Wilcox 已提交
710
		int error = radix_tree_extend(root, max, shift);
711
		if (error < 0)
L
Linus Torvalds 已提交
712
			return error;
713
		shift = error;
714
		child = root->rnode;
L
Linus Torvalds 已提交
715 716
	}

717
	while (shift > order) {
718
		shift -= RADIX_TREE_MAP_SHIFT;
719
		if (child == NULL) {
L
Linus Torvalds 已提交
720
			/* Have to add a child node.  */
721 722
			child = radix_tree_node_alloc(root, node, shift,
							offset, 0, 0);
723
			if (!child)
L
Linus Torvalds 已提交
724
				return -ENOMEM;
725 726
			rcu_assign_pointer(*slot, node_to_entry(child));
			if (node)
L
Linus Torvalds 已提交
727
				node->count++;
728
		} else if (!radix_tree_is_internal_node(child))
729
			break;
L
Linus Torvalds 已提交
730 731

		/* Go a level down */
732
		node = entry_to_node(child);
733
		offset = radix_tree_descend(node, &child, index);
734
		slot = &node->slots[offset];
735 736
	}

M
Matthew Wilcox 已提交
737 738 739 740 741 742 743
	if (nodep)
		*nodep = node;
	if (slotp)
		*slotp = slot;
	return 0;
}

744
#ifdef CONFIG_RADIX_TREE_MULTIORDER
M
Matthew Wilcox 已提交
745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771
/*
 * Free any nodes below this node.  The tree is presumed to not need
 * shrinking, and any user data in the tree is presumed to not need a
 * destructor called on it.  If we need to add a destructor, we can
 * add that functionality later.  Note that we may not clear tags or
 * slots from the tree as an RCU walker may still have a pointer into
 * this subtree.  We could replace the entries with RADIX_TREE_RETRY,
 * but we'll still have to clear those in rcu_free.
 */
static void radix_tree_free_nodes(struct radix_tree_node *node)
{
	unsigned offset = 0;
	struct radix_tree_node *child = entry_to_node(node);

	for (;;) {
		void *entry = child->slots[offset];
		if (radix_tree_is_internal_node(entry) &&
					!is_sibling_entry(child, entry)) {
			child = entry_to_node(entry);
			offset = 0;
			continue;
		}
		offset++;
		while (offset == RADIX_TREE_MAP_SIZE) {
			struct radix_tree_node *old = child;
			offset = child->offset + 1;
			child = child->parent;
772
			WARN_ON_ONCE(!list_empty(&old->private_list));
M
Matthew Wilcox 已提交
773 774 775 776 777 778 779 780 781 782 783 784 785 786
			radix_tree_node_free(old);
			if (old == entry_to_node(node))
				return;
		}
	}
}

static inline int insert_entries(struct radix_tree_node *node, void **slot,
				void *item, unsigned order, bool replace)
{
	struct radix_tree_node *child;
	unsigned i, n, tag, offset, tags = 0;

	if (node) {
M
Matthew Wilcox 已提交
787 788 789 790
		if (order > node->shift)
			n = 1 << (order - node->shift);
		else
			n = 1;
M
Matthew Wilcox 已提交
791 792 793 794 795 796 797
		offset = get_slot_offset(node, slot);
	} else {
		n = 1;
		offset = 0;
	}

	if (n > 1) {
798
		offset = offset & ~(n - 1);
799
		slot = &node->slots[offset];
M
Matthew Wilcox 已提交
800 801 802 803 804 805 806 807 808 809 810
	}
	child = node_to_entry(slot);

	for (i = 0; i < n; i++) {
		if (slot[i]) {
			if (replace) {
				node->count--;
				for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++)
					if (tag_get(node, tag, offset + i))
						tags |= 1 << tag;
			} else
811 812
				return -EEXIST;
		}
M
Matthew Wilcox 已提交
813
	}
814

M
Matthew Wilcox 已提交
815 816 817
	for (i = 0; i < n; i++) {
		struct radix_tree_node *old = slot[i];
		if (i) {
818
			rcu_assign_pointer(slot[i], child);
M
Matthew Wilcox 已提交
819 820 821 822 823 824 825 826
			for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++)
				if (tags & (1 << tag))
					tag_clear(node, tag, offset + i);
		} else {
			rcu_assign_pointer(slot[i], item);
			for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++)
				if (tags & (1 << tag))
					tag_set(node, tag, offset);
827
		}
M
Matthew Wilcox 已提交
828
		if (radix_tree_is_internal_node(old) &&
M
Matthew Wilcox 已提交
829 830
					!is_sibling_entry(node, old) &&
					(old != RADIX_TREE_RETRY))
M
Matthew Wilcox 已提交
831 832 833
			radix_tree_free_nodes(old);
		if (radix_tree_exceptional_entry(old))
			node->exceptional--;
N
Nick Piggin 已提交
834
	}
M
Matthew Wilcox 已提交
835 836 837 838 839 840
	if (node) {
		node->count += n;
		if (radix_tree_exceptional_entry(item))
			node->exceptional += n;
	}
	return n;
841
}
M
Matthew Wilcox 已提交
842 843 844 845 846 847 848 849 850 851 852 853 854 855 856
#else
static inline int insert_entries(struct radix_tree_node *node, void **slot,
				void *item, unsigned order, bool replace)
{
	if (*slot)
		return -EEXIST;
	rcu_assign_pointer(*slot, item);
	if (node) {
		node->count++;
		if (radix_tree_exceptional_entry(item))
			node->exceptional++;
	}
	return 1;
}
#endif
857 858

/**
859
 *	__radix_tree_insert    -    insert into a radix tree
860 861
 *	@root:		radix tree root
 *	@index:		index key
862
 *	@order:		key covers the 2^order indices around index
863 864 865 866
 *	@item:		item to insert
 *
 *	Insert an item into the radix tree at position @index.
 */
867 868
int __radix_tree_insert(struct radix_tree_root *root, unsigned long index,
			unsigned order, void *item)
869 870 871 872 873
{
	struct radix_tree_node *node;
	void **slot;
	int error;

874
	BUG_ON(radix_tree_is_internal_node(item));
875

876
	error = __radix_tree_create(root, index, order, &node, &slot);
877 878
	if (error)
		return error;
M
Matthew Wilcox 已提交
879 880 881 882

	error = insert_entries(node, slot, item, order, false);
	if (error < 0)
		return error;
883

N
Nick Piggin 已提交
884
	if (node) {
885 886 887 888
		unsigned offset = get_slot_offset(node, slot);
		BUG_ON(tag_get(node, 0, offset));
		BUG_ON(tag_get(node, 1, offset));
		BUG_ON(tag_get(node, 2, offset));
N
Nick Piggin 已提交
889
	} else {
890
		BUG_ON(root_tags_get(root));
N
Nick Piggin 已提交
891
	}
L
Linus Torvalds 已提交
892 893 894

	return 0;
}
895
EXPORT_SYMBOL(__radix_tree_insert);
L
Linus Torvalds 已提交
896

897 898 899 900 901 902 903 904 905 906 907 908 909
/**
 *	__radix_tree_lookup	-	lookup an item in a radix tree
 *	@root:		radix tree root
 *	@index:		index key
 *	@nodep:		returns node
 *	@slotp:		returns slot
 *
 *	Lookup and return the item at position @index in the radix
 *	tree @root.
 *
 *	Until there is more than one item in the tree, no nodes are
 *	allocated and @root->rnode is used as a direct slot instead of
 *	pointing to a node, in which case *@nodep will be NULL.
910
 */
911 912
void *__radix_tree_lookup(struct radix_tree_root *root, unsigned long index,
			  struct radix_tree_node **nodep, void ***slotp)
L
Linus Torvalds 已提交
913
{
914
	struct radix_tree_node *node, *parent;
915
	unsigned long maxindex;
916
	void **slot;
N
Nick Piggin 已提交
917

918 919 920
 restart:
	parent = NULL;
	slot = (void **)&root->rnode;
921
	radix_tree_load_root(root, &node, &maxindex);
922
	if (index > maxindex)
L
Linus Torvalds 已提交
923 924
		return NULL;

925
	while (radix_tree_is_internal_node(node)) {
926
		unsigned offset;
L
Linus Torvalds 已提交
927

928 929
		if (node == RADIX_TREE_RETRY)
			goto restart;
930
		parent = entry_to_node(node);
931
		offset = radix_tree_descend(parent, &node, index);
932 933
		slot = parent->slots + offset;
	}
L
Linus Torvalds 已提交
934

935 936 937 938 939
	if (nodep)
		*nodep = parent;
	if (slotp)
		*slotp = slot;
	return node;
940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956
}

/**
 *	radix_tree_lookup_slot    -    lookup a slot in a radix tree
 *	@root:		radix tree root
 *	@index:		index key
 *
 *	Returns:  the slot corresponding to the position @index in the
 *	radix tree @root. This is useful for update-if-exists operations.
 *
 *	This function can be called under rcu_read_lock iff the slot is not
 *	modified by radix_tree_replace_slot, otherwise it must be called
 *	exclusive from other writers. Any dereference of the slot must be done
 *	using radix_tree_deref_slot.
 */
void **radix_tree_lookup_slot(struct radix_tree_root *root, unsigned long index)
{
957 958 959 960 961
	void **slot;

	if (!__radix_tree_lookup(root, index, NULL, &slot))
		return NULL;
	return slot;
962 963 964 965 966 967 968 969 970
}
EXPORT_SYMBOL(radix_tree_lookup_slot);

/**
 *	radix_tree_lookup    -    perform lookup operation on a radix tree
 *	@root:		radix tree root
 *	@index:		index key
 *
 *	Lookup the item at the position @index in the radix tree @root.
971 972 973 974 975
 *
 *	This function can be called under rcu_read_lock, however the caller
 *	must manage lifetimes of leaf nodes (eg. RCU may also be used to free
 *	them safely). No RCU barriers are required to access or modify the
 *	returned item, however.
976 977 978
 */
void *radix_tree_lookup(struct radix_tree_root *root, unsigned long index)
{
979
	return __radix_tree_lookup(root, index, NULL, NULL);
L
Linus Torvalds 已提交
980 981 982
}
EXPORT_SYMBOL(radix_tree_lookup);

983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000
static inline int slot_count(struct radix_tree_node *node,
						void **slot)
{
	int n = 1;
#ifdef CONFIG_RADIX_TREE_MULTIORDER
	void *ptr = node_to_entry(slot);
	unsigned offset = get_slot_offset(node, slot);
	int i;

	for (i = 1; offset + i < RADIX_TREE_MAP_SIZE; i++) {
		if (node->slots[offset + i] != ptr)
			break;
		n++;
	}
#endif
	return n;
}

1001 1002 1003 1004
static void replace_slot(struct radix_tree_root *root,
			 struct radix_tree_node *node,
			 void **slot, void *item,
			 bool warn_typeswitch)
1005 1006
{
	void *old = rcu_dereference_raw(*slot);
1007
	int count, exceptional;
1008 1009 1010

	WARN_ON_ONCE(radix_tree_is_internal_node(item));

1011
	count = !!item - !!old;
1012 1013 1014
	exceptional = !!radix_tree_exceptional_entry(item) -
		      !!radix_tree_exceptional_entry(old);

1015
	WARN_ON_ONCE(warn_typeswitch && (count || exceptional));
1016

1017 1018
	if (node) {
		node->count += count;
1019 1020 1021 1022
		if (exceptional) {
			exceptional *= slot_count(node, slot);
			node->exceptional += exceptional;
		}
1023
	}
1024 1025 1026 1027

	rcu_assign_pointer(*slot, item);
}

1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047
static inline void delete_sibling_entries(struct radix_tree_node *node,
						void **slot)
{
#ifdef CONFIG_RADIX_TREE_MULTIORDER
	bool exceptional = radix_tree_exceptional_entry(*slot);
	void *ptr = node_to_entry(slot);
	unsigned offset = get_slot_offset(node, slot);
	int i;

	for (i = 1; offset + i < RADIX_TREE_MAP_SIZE; i++) {
		if (node->slots[offset + i] != ptr)
			break;
		node->slots[offset + i] = NULL;
		node->count--;
		if (exceptional)
			node->exceptional--;
	}
#endif
}

1048 1049
/**
 * __radix_tree_replace		- replace item in a slot
1050 1051 1052 1053 1054 1055
 * @root:		radix tree root
 * @node:		pointer to tree node
 * @slot:		pointer to slot in @node
 * @item:		new item to store in the slot.
 * @update_node:	callback for changing leaf nodes
 * @private:		private data to pass to @update_node
1056 1057 1058 1059 1060 1061
 *
 * For use with __radix_tree_lookup().  Caller must hold tree write locked
 * across slot lookup and replacement.
 */
void __radix_tree_replace(struct radix_tree_root *root,
			  struct radix_tree_node *node,
1062 1063
			  void **slot, void *item,
			  radix_tree_update_node_t update_node, void *private)
1064
{
1065 1066
	if (!item)
		delete_sibling_entries(node, slot);
1067
	/*
1068 1069 1070
	 * This function supports replacing exceptional entries and
	 * deleting entries, but that needs accounting against the
	 * node unless the slot is root->rnode.
1071 1072 1073
	 */
	replace_slot(root, node, slot, item,
		     !node && slot != (void **)&root->rnode);
1074

1075 1076 1077 1078 1079 1080 1081
	if (!node)
		return;

	if (update_node)
		update_node(node, private);

	delete_node(root, node, update_node, private);
1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095
}

/**
 * radix_tree_replace_slot	- replace item in a slot
 * @root:	radix tree root
 * @slot:	pointer to slot
 * @item:	new item to store in the slot.
 *
 * For use with radix_tree_lookup_slot(), radix_tree_gang_lookup_slot(),
 * radix_tree_gang_lookup_tag_slot().  Caller must hold tree write locked
 * across slot lookup and replacement.
 *
 * NOTE: This cannot be used to switch between non-entries (empty slots),
 * regular entries, and exceptional entries, as that requires accounting
1096
 * inside the radix tree node. When switching from one type of entry or
M
Matthew Wilcox 已提交
1097 1098
 * deleting, use __radix_tree_lookup() and __radix_tree_replace() or
 * radix_tree_iter_replace().
1099 1100 1101 1102 1103 1104 1105
 */
void radix_tree_replace_slot(struct radix_tree_root *root,
			     void **slot, void *item)
{
	replace_slot(root, NULL, slot, item, true);
}

M
Matthew Wilcox 已提交
1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120
/**
 * radix_tree_iter_replace - replace item in a slot
 * @root:	radix tree root
 * @slot:	pointer to slot
 * @item:	new item to store in the slot.
 *
 * For use with radix_tree_split() and radix_tree_for_each_slot().
 * Caller must hold tree write locked across split and replacement.
 */
void radix_tree_iter_replace(struct radix_tree_root *root,
		const struct radix_tree_iter *iter, void **slot, void *item)
{
	__radix_tree_replace(root, iter->node, slot, item, NULL, NULL);
}

M
Matthew Wilcox 已提交
1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152
#ifdef CONFIG_RADIX_TREE_MULTIORDER
/**
 * radix_tree_join - replace multiple entries with one multiorder entry
 * @root: radix tree root
 * @index: an index inside the new entry
 * @order: order of the new entry
 * @item: new entry
 *
 * Call this function to replace several entries with one larger entry.
 * The existing entries are presumed to not need freeing as a result of
 * this call.
 *
 * The replacement entry will have all the tags set on it that were set
 * on any of the entries it is replacing.
 */
int radix_tree_join(struct radix_tree_root *root, unsigned long index,
			unsigned order, void *item)
{
	struct radix_tree_node *node;
	void **slot;
	int error;

	BUG_ON(radix_tree_is_internal_node(item));

	error = __radix_tree_create(root, index, order, &node, &slot);
	if (!error)
		error = insert_entries(node, slot, item, order, true);
	if (error > 0)
		error = 0;

	return error;
}
M
Matthew Wilcox 已提交
1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214

/**
 * radix_tree_split - Split an entry into smaller entries
 * @root: radix tree root
 * @index: An index within the large entry
 * @order: Order of new entries
 *
 * Call this function as the first step in replacing a multiorder entry
 * with several entries of lower order.  After this function returns,
 * loop over the relevant portion of the tree using radix_tree_for_each_slot()
 * and call radix_tree_iter_replace() to set up each new entry.
 *
 * The tags from this entry are replicated to all the new entries.
 *
 * The radix tree should be locked against modification during the entire
 * replacement operation.  Lock-free lookups will see RADIX_TREE_RETRY which
 * should prompt RCU walkers to restart the lookup from the root.
 */
int radix_tree_split(struct radix_tree_root *root, unsigned long index,
				unsigned order)
{
	struct radix_tree_node *parent, *node, *child;
	void **slot;
	unsigned int offset, end;
	unsigned n, tag, tags = 0;

	if (!__radix_tree_lookup(root, index, &parent, &slot))
		return -ENOENT;
	if (!parent)
		return -ENOENT;

	offset = get_slot_offset(parent, slot);

	for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++)
		if (tag_get(parent, tag, offset))
			tags |= 1 << tag;

	for (end = offset + 1; end < RADIX_TREE_MAP_SIZE; end++) {
		if (!is_sibling_entry(parent, parent->slots[end]))
			break;
		for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++)
			if (tags & (1 << tag))
				tag_set(parent, tag, end);
		/* rcu_assign_pointer ensures tags are set before RETRY */
		rcu_assign_pointer(parent->slots[end], RADIX_TREE_RETRY);
	}
	rcu_assign_pointer(parent->slots[offset], RADIX_TREE_RETRY);
	parent->exceptional -= (end - offset);

	if (order == parent->shift)
		return 0;
	if (order > parent->shift) {
		while (offset < end)
			offset += insert_entries(parent, &parent->slots[offset],
					RADIX_TREE_RETRY, order, true);
		return 0;
	}

	node = parent;

	for (;;) {
		if (node->shift > order) {
1215 1216 1217
			child = radix_tree_node_alloc(root, node,
					node->shift - RADIX_TREE_MAP_SHIFT,
					offset, 0, 0);
M
Matthew Wilcox 已提交
1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261
			if (!child)
				goto nomem;
			if (node != parent) {
				node->count++;
				node->slots[offset] = node_to_entry(child);
				for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++)
					if (tags & (1 << tag))
						tag_set(node, tag, offset);
			}

			node = child;
			offset = 0;
			continue;
		}

		n = insert_entries(node, &node->slots[offset],
					RADIX_TREE_RETRY, order, false);
		BUG_ON(n > RADIX_TREE_MAP_SIZE);

		for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++)
			if (tags & (1 << tag))
				tag_set(node, tag, offset);
		offset += n;

		while (offset == RADIX_TREE_MAP_SIZE) {
			if (node == parent)
				break;
			offset = node->offset;
			child = node;
			node = node->parent;
			rcu_assign_pointer(node->slots[offset],
						node_to_entry(child));
			offset++;
		}
		if ((node == parent) && (offset == end))
			return 0;
	}

 nomem:
	/* Shouldn't happen; did user forget to preload? */
	/* TODO: free all the allocated nodes */
	WARN_ON(1);
	return -ENOMEM;
}
M
Matthew Wilcox 已提交
1262 1263
#endif

L
Linus Torvalds 已提交
1264 1265 1266 1267
/**
 *	radix_tree_tag_set - set a tag on a radix tree node
 *	@root:		radix tree root
 *	@index:		index key
M
Matthew Wilcox 已提交
1268
 *	@tag:		tag index
L
Linus Torvalds 已提交
1269
 *
1270 1271
 *	Set the search tag (which must be < RADIX_TREE_MAX_TAGS)
 *	corresponding to @index in the radix tree.  From
L
Linus Torvalds 已提交
1272 1273
 *	the root all the way down to the leaf node.
 *
M
Matthew Wilcox 已提交
1274
 *	Returns the address of the tagged item.  Setting a tag on a not-present
L
Linus Torvalds 已提交
1275 1276 1277
 *	item is a bug.
 */
void *radix_tree_tag_set(struct radix_tree_root *root,
1278
			unsigned long index, unsigned int tag)
L
Linus Torvalds 已提交
1279
{
1280 1281
	struct radix_tree_node *node, *parent;
	unsigned long maxindex;
L
Linus Torvalds 已提交
1282

1283
	radix_tree_load_root(root, &node, &maxindex);
1284
	BUG_ON(index > maxindex);
L
Linus Torvalds 已提交
1285

1286
	while (radix_tree_is_internal_node(node)) {
1287
		unsigned offset;
L
Linus Torvalds 已提交
1288

1289
		parent = entry_to_node(node);
1290
		offset = radix_tree_descend(parent, &node, index);
1291 1292 1293 1294
		BUG_ON(!node);

		if (!tag_get(parent, tag, offset))
			tag_set(parent, tag, offset);
L
Linus Torvalds 已提交
1295 1296
	}

N
Nick Piggin 已提交
1297
	/* set the root's tag bit */
1298
	if (!root_tag_get(root, tag))
N
Nick Piggin 已提交
1299 1300
		root_tag_set(root, tag);

1301
	return node;
L
Linus Torvalds 已提交
1302 1303 1304
}
EXPORT_SYMBOL(radix_tree_tag_set);

1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324
static void node_tag_clear(struct radix_tree_root *root,
				struct radix_tree_node *node,
				unsigned int tag, unsigned int offset)
{
	while (node) {
		if (!tag_get(node, tag, offset))
			return;
		tag_clear(node, tag, offset);
		if (any_tag_set(node, tag))
			return;

		offset = node->offset;
		node = node->parent;
	}

	/* clear the root's tag bit */
	if (root_tag_get(root, tag))
		root_tag_clear(root, tag);
}

M
Matthew Wilcox 已提交
1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340
static void node_tag_set(struct radix_tree_root *root,
				struct radix_tree_node *node,
				unsigned int tag, unsigned int offset)
{
	while (node) {
		if (tag_get(node, tag, offset))
			return;
		tag_set(node, tag, offset);
		offset = node->offset;
		node = node->parent;
	}

	if (!root_tag_get(root, tag))
		root_tag_set(root, tag);
}

1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352
/**
 * radix_tree_iter_tag_set - set a tag on the current iterator entry
 * @root:	radix tree root
 * @iter:	iterator state
 * @tag:	tag to set
 */
void radix_tree_iter_tag_set(struct radix_tree_root *root,
			const struct radix_tree_iter *iter, unsigned int tag)
{
	node_tag_set(root, iter->node, tag, iter_offset(iter));
}

L
Linus Torvalds 已提交
1353 1354 1355 1356
/**
 *	radix_tree_tag_clear - clear a tag on a radix tree node
 *	@root:		radix tree root
 *	@index:		index key
M
Matthew Wilcox 已提交
1357
 *	@tag:		tag index
L
Linus Torvalds 已提交
1358
 *
1359
 *	Clear the search tag (which must be < RADIX_TREE_MAX_TAGS)
M
Matthew Wilcox 已提交
1360 1361
 *	corresponding to @index in the radix tree.  If this causes
 *	the leaf node to have no tags set then clear the tag in the
L
Linus Torvalds 已提交
1362 1363 1364 1365 1366 1367
 *	next-to-leaf node, etc.
 *
 *	Returns the address of the tagged item on success, else NULL.  ie:
 *	has the same return value and semantics as radix_tree_lookup().
 */
void *radix_tree_tag_clear(struct radix_tree_root *root,
1368
			unsigned long index, unsigned int tag)
L
Linus Torvalds 已提交
1369
{
1370 1371
	struct radix_tree_node *node, *parent;
	unsigned long maxindex;
1372
	int uninitialized_var(offset);
L
Linus Torvalds 已提交
1373

1374
	radix_tree_load_root(root, &node, &maxindex);
1375 1376
	if (index > maxindex)
		return NULL;
L
Linus Torvalds 已提交
1377

1378
	parent = NULL;
L
Linus Torvalds 已提交
1379

1380
	while (radix_tree_is_internal_node(node)) {
1381
		parent = entry_to_node(node);
1382
		offset = radix_tree_descend(parent, &node, index);
L
Linus Torvalds 已提交
1383 1384
	}

1385 1386
	if (node)
		node_tag_clear(root, parent, tag, offset);
L
Linus Torvalds 已提交
1387

1388
	return node;
L
Linus Torvalds 已提交
1389 1390 1391 1392
}
EXPORT_SYMBOL(radix_tree_tag_clear);

/**
1393 1394 1395
 * radix_tree_tag_get - get a tag on a radix tree node
 * @root:		radix tree root
 * @index:		index key
M
Matthew Wilcox 已提交
1396
 * @tag:		tag index (< RADIX_TREE_MAX_TAGS)
L
Linus Torvalds 已提交
1397
 *
1398
 * Return values:
L
Linus Torvalds 已提交
1399
 *
N
Nick Piggin 已提交
1400 1401
 *  0: tag not present or not set
 *  1: tag set
1402 1403 1404 1405
 *
 * Note that the return value of this function may not be relied on, even if
 * the RCU lock is held, unless tag modification and node deletion are excluded
 * from concurrency.
L
Linus Torvalds 已提交
1406 1407
 */
int radix_tree_tag_get(struct radix_tree_root *root,
1408
			unsigned long index, unsigned int tag)
L
Linus Torvalds 已提交
1409
{
1410 1411
	struct radix_tree_node *node, *parent;
	unsigned long maxindex;
L
Linus Torvalds 已提交
1412

N
Nick Piggin 已提交
1413 1414 1415
	if (!root_tag_get(root, tag))
		return 0;

1416
	radix_tree_load_root(root, &node, &maxindex);
1417 1418
	if (index > maxindex)
		return 0;
1419 1420 1421
	if (node == NULL)
		return 0;

1422
	while (radix_tree_is_internal_node(node)) {
1423
		unsigned offset;
L
Linus Torvalds 已提交
1424

1425
		parent = entry_to_node(node);
1426
		offset = radix_tree_descend(parent, &node, index);
L
Linus Torvalds 已提交
1427

1428
		if (!node)
L
Linus Torvalds 已提交
1429
			return 0;
1430
		if (!tag_get(parent, tag, offset))
1431
			return 0;
1432 1433
		if (node == RADIX_TREE_RETRY)
			break;
L
Linus Torvalds 已提交
1434
	}
1435 1436

	return 1;
L
Linus Torvalds 已提交
1437 1438 1439
}
EXPORT_SYMBOL(radix_tree_tag_get);

1440 1441 1442 1443 1444 1445 1446 1447
static inline void __set_iter_shift(struct radix_tree_iter *iter,
					unsigned int shift)
{
#ifdef CONFIG_RADIX_TREE_MULTIORDER
	iter->shift = shift;
#endif
}

1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502
/* Construct iter->tags bit-mask from node->tags[tag] array */
static void set_iter_tags(struct radix_tree_iter *iter,
				struct radix_tree_node *node, unsigned offset,
				unsigned tag)
{
	unsigned tag_long = offset / BITS_PER_LONG;
	unsigned tag_bit  = offset % BITS_PER_LONG;

	iter->tags = node->tags[tag][tag_long] >> tag_bit;

	/* This never happens if RADIX_TREE_TAG_LONGS == 1 */
	if (tag_long < RADIX_TREE_TAG_LONGS - 1) {
		/* Pick tags from next element */
		if (tag_bit)
			iter->tags |= node->tags[tag][tag_long + 1] <<
						(BITS_PER_LONG - tag_bit);
		/* Clip chunk size, here only BITS_PER_LONG tags */
		iter->next_index = __radix_tree_iter_add(iter, BITS_PER_LONG);
	}
}

#ifdef CONFIG_RADIX_TREE_MULTIORDER
static void **skip_siblings(struct radix_tree_node **nodep,
			void **slot, struct radix_tree_iter *iter)
{
	void *sib = node_to_entry(slot - 1);

	while (iter->index < iter->next_index) {
		*nodep = rcu_dereference_raw(*slot);
		if (*nodep && *nodep != sib)
			return slot;
		slot++;
		iter->index = __radix_tree_iter_add(iter, 1);
		iter->tags >>= 1;
	}

	*nodep = NULL;
	return NULL;
}

void ** __radix_tree_next_slot(void **slot, struct radix_tree_iter *iter,
					unsigned flags)
{
	unsigned tag = flags & RADIX_TREE_ITER_TAG_MASK;
	struct radix_tree_node *node = rcu_dereference_raw(*slot);

	slot = skip_siblings(&node, slot, iter);

	while (radix_tree_is_internal_node(node)) {
		unsigned offset;
		unsigned long next_index;

		if (node == RADIX_TREE_RETRY)
			return slot;
		node = entry_to_node(node);
1503
		iter->node = node;
1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562
		iter->shift = node->shift;

		if (flags & RADIX_TREE_ITER_TAGGED) {
			offset = radix_tree_find_next_bit(node, tag, 0);
			if (offset == RADIX_TREE_MAP_SIZE)
				return NULL;
			slot = &node->slots[offset];
			iter->index = __radix_tree_iter_add(iter, offset);
			set_iter_tags(iter, node, offset, tag);
			node = rcu_dereference_raw(*slot);
		} else {
			offset = 0;
			slot = &node->slots[0];
			for (;;) {
				node = rcu_dereference_raw(*slot);
				if (node)
					break;
				slot++;
				offset++;
				if (offset == RADIX_TREE_MAP_SIZE)
					return NULL;
			}
			iter->index = __radix_tree_iter_add(iter, offset);
		}
		if ((flags & RADIX_TREE_ITER_CONTIG) && (offset > 0))
			goto none;
		next_index = (iter->index | shift_maxindex(iter->shift)) + 1;
		if (next_index < iter->next_index)
			iter->next_index = next_index;
	}

	return slot;
 none:
	iter->next_index = 0;
	return NULL;
}
EXPORT_SYMBOL(__radix_tree_next_slot);
#else
static void **skip_siblings(struct radix_tree_node **nodep,
			void **slot, struct radix_tree_iter *iter)
{
	return slot;
}
#endif

void **radix_tree_iter_resume(void **slot, struct radix_tree_iter *iter)
{
	struct radix_tree_node *node;

	slot++;
	iter->index = __radix_tree_iter_add(iter, 1);
	node = rcu_dereference_raw(*slot);
	skip_siblings(&node, slot, iter);
	iter->next_index = iter->index;
	iter->tags = 0;
	return NULL;
}
EXPORT_SYMBOL(radix_tree_iter_resume);

1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573
/**
 * radix_tree_next_chunk - find next chunk of slots for iteration
 *
 * @root:	radix tree root
 * @iter:	iterator state
 * @flags:	RADIX_TREE_ITER_* flags and tag index
 * Returns:	pointer to chunk first slot, or NULL if iteration is over
 */
void **radix_tree_next_chunk(struct radix_tree_root *root,
			     struct radix_tree_iter *iter, unsigned flags)
{
1574
	unsigned tag = flags & RADIX_TREE_ITER_TAG_MASK;
M
Matthew Wilcox 已提交
1575
	struct radix_tree_node *node, *child;
1576
	unsigned long index, offset, maxindex;
1577 1578 1579 1580 1581 1582 1583 1584 1585

	if ((flags & RADIX_TREE_ITER_TAGGED) && !root_tag_get(root, tag))
		return NULL;

	/*
	 * Catch next_index overflow after ~0UL. iter->index never overflows
	 * during iterating; it can be zero only at the beginning.
	 * And we cannot overflow iter->next_index in a single step,
	 * because RADIX_TREE_MAP_SHIFT < BITS_PER_LONG.
1586 1587
	 *
	 * This condition also used by radix_tree_next_slot() to stop
M
Matthew Wilcox 已提交
1588
	 * contiguous iterating, and forbid switching to the next chunk.
1589 1590 1591 1592 1593
	 */
	index = iter->next_index;
	if (!index && iter->index)
		return NULL;

1594
 restart:
1595
	radix_tree_load_root(root, &child, &maxindex);
1596 1597
	if (index > maxindex)
		return NULL;
M
Matthew Wilcox 已提交
1598 1599
	if (!child)
		return NULL;
1600

M
Matthew Wilcox 已提交
1601
	if (!radix_tree_is_internal_node(child)) {
1602
		/* Single-slot tree */
1603 1604
		iter->index = index;
		iter->next_index = maxindex + 1;
1605
		iter->tags = 1;
1606
		iter->node = NULL;
M
Matthew Wilcox 已提交
1607
		__set_iter_shift(iter, 0);
1608
		return (void **)&root->rnode;
M
Matthew Wilcox 已提交
1609
	}
1610

M
Matthew Wilcox 已提交
1611 1612
	do {
		node = entry_to_node(child);
1613
		offset = radix_tree_descend(node, &child, index);
1614

1615
		if ((flags & RADIX_TREE_ITER_TAGGED) ?
M
Matthew Wilcox 已提交
1616
				!tag_get(node, tag, offset) : !child) {
1617 1618 1619 1620 1621
			/* Hole detected */
			if (flags & RADIX_TREE_ITER_CONTIG)
				return NULL;

			if (flags & RADIX_TREE_ITER_TAGGED)
1622
				offset = radix_tree_find_next_bit(node, tag,
1623 1624 1625
						offset + 1);
			else
				while (++offset	< RADIX_TREE_MAP_SIZE) {
1626 1627 1628 1629
					void *slot = node->slots[offset];
					if (is_sibling_entry(node, slot))
						continue;
					if (slot)
1630 1631
						break;
				}
M
Matthew Wilcox 已提交
1632
			index &= ~node_maxindex(node);
1633
			index += offset << node->shift;
1634 1635 1636 1637 1638
			/* Overflow after ~0UL */
			if (!index)
				return NULL;
			if (offset == RADIX_TREE_MAP_SIZE)
				goto restart;
M
Matthew Wilcox 已提交
1639
			child = rcu_dereference_raw(node->slots[offset]);
1640 1641
		}

M
Matthew Wilcox 已提交
1642
		if (!child)
1643
			goto restart;
M
Matthew Wilcox 已提交
1644 1645
		if (child == RADIX_TREE_RETRY)
			break;
M
Matthew Wilcox 已提交
1646
	} while (radix_tree_is_internal_node(child));
1647 1648

	/* Update the iterator state */
M
Matthew Wilcox 已提交
1649 1650
	iter->index = (index &~ node_maxindex(node)) | (offset << node->shift);
	iter->next_index = (index | node_maxindex(node)) + 1;
1651
	iter->node = node;
1652
	__set_iter_shift(iter, node->shift);
1653

1654 1655
	if (flags & RADIX_TREE_ITER_TAGGED)
		set_iter_tags(iter, node, offset, tag);
1656 1657 1658 1659 1660

	return node->slots + offset;
}
EXPORT_SYMBOL(radix_tree_next_chunk);

L
Linus Torvalds 已提交
1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672
/**
 *	radix_tree_gang_lookup - perform multiple lookup on a radix tree
 *	@root:		radix tree root
 *	@results:	where the results of the lookup are placed
 *	@first_index:	start the lookup from this key
 *	@max_items:	place up to this many items at *results
 *
 *	Performs an index-ascending scan of the tree for present items.  Places
 *	them at *@results and returns the number of items which were placed at
 *	*@results.
 *
 *	The implementation is naive.
1673 1674 1675
 *
 *	Like radix_tree_lookup, radix_tree_gang_lookup may be called under
 *	rcu_read_lock. In this case, rather than the returned results being
M
Matthew Wilcox 已提交
1676 1677 1678 1679
 *	an atomic snapshot of the tree at a single point in time, the
 *	semantics of an RCU protected gang lookup are as though multiple
 *	radix_tree_lookups have been issued in individual locks, and results
 *	stored in 'results'.
L
Linus Torvalds 已提交
1680 1681 1682 1683 1684
 */
unsigned int
radix_tree_gang_lookup(struct radix_tree_root *root, void **results,
			unsigned long first_index, unsigned int max_items)
{
1685 1686 1687
	struct radix_tree_iter iter;
	void **slot;
	unsigned int ret = 0;
1688

1689
	if (unlikely(!max_items))
1690
		return 0;
L
Linus Torvalds 已提交
1691

1692
	radix_tree_for_each_slot(slot, root, &iter, first_index) {
1693
		results[ret] = rcu_dereference_raw(*slot);
1694 1695
		if (!results[ret])
			continue;
1696
		if (radix_tree_is_internal_node(results[ret])) {
1697 1698 1699
			slot = radix_tree_iter_retry(&iter);
			continue;
		}
1700
		if (++ret == max_items)
L
Linus Torvalds 已提交
1701 1702
			break;
	}
1703

L
Linus Torvalds 已提交
1704 1705 1706 1707
	return ret;
}
EXPORT_SYMBOL(radix_tree_gang_lookup);

1708 1709 1710 1711
/**
 *	radix_tree_gang_lookup_slot - perform multiple slot lookup on radix tree
 *	@root:		radix tree root
 *	@results:	where the results of the lookup are placed
1712
 *	@indices:	where their indices should be placed (but usually NULL)
1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726
 *	@first_index:	start the lookup from this key
 *	@max_items:	place up to this many items at *results
 *
 *	Performs an index-ascending scan of the tree for present items.  Places
 *	their slots at *@results and returns the number of items which were
 *	placed at *@results.
 *
 *	The implementation is naive.
 *
 *	Like radix_tree_gang_lookup as far as RCU and locking goes. Slots must
 *	be dereferenced with radix_tree_deref_slot, and if using only RCU
 *	protection, radix_tree_deref_slot may fail requiring a retry.
 */
unsigned int
1727 1728
radix_tree_gang_lookup_slot(struct radix_tree_root *root,
			void ***results, unsigned long *indices,
1729 1730
			unsigned long first_index, unsigned int max_items)
{
1731 1732 1733
	struct radix_tree_iter iter;
	void **slot;
	unsigned int ret = 0;
1734

1735
	if (unlikely(!max_items))
1736 1737
		return 0;

1738 1739
	radix_tree_for_each_slot(slot, root, &iter, first_index) {
		results[ret] = slot;
1740
		if (indices)
1741 1742
			indices[ret] = iter.index;
		if (++ret == max_items)
1743 1744 1745 1746 1747 1748 1749
			break;
	}

	return ret;
}
EXPORT_SYMBOL(radix_tree_gang_lookup_slot);

L
Linus Torvalds 已提交
1750 1751 1752 1753 1754 1755 1756
/**
 *	radix_tree_gang_lookup_tag - perform multiple lookup on a radix tree
 *	                             based on a tag
 *	@root:		radix tree root
 *	@results:	where the results of the lookup are placed
 *	@first_index:	start the lookup from this key
 *	@max_items:	place up to this many items at *results
1757
 *	@tag:		the tag index (< RADIX_TREE_MAX_TAGS)
L
Linus Torvalds 已提交
1758 1759 1760 1761 1762 1763 1764
 *
 *	Performs an index-ascending scan of the tree for present items which
 *	have the tag indexed by @tag set.  Places the items at *@results and
 *	returns the number of items which were placed at *@results.
 */
unsigned int
radix_tree_gang_lookup_tag(struct radix_tree_root *root, void **results,
1765 1766
		unsigned long first_index, unsigned int max_items,
		unsigned int tag)
L
Linus Torvalds 已提交
1767
{
1768 1769 1770
	struct radix_tree_iter iter;
	void **slot;
	unsigned int ret = 0;
N
Nick Piggin 已提交
1771

1772
	if (unlikely(!max_items))
1773 1774
		return 0;

1775
	radix_tree_for_each_tagged(slot, root, &iter, first_index, tag) {
1776
		results[ret] = rcu_dereference_raw(*slot);
1777 1778
		if (!results[ret])
			continue;
1779
		if (radix_tree_is_internal_node(results[ret])) {
1780 1781 1782
			slot = radix_tree_iter_retry(&iter);
			continue;
		}
1783
		if (++ret == max_items)
L
Linus Torvalds 已提交
1784 1785
			break;
	}
1786

L
Linus Torvalds 已提交
1787 1788 1789 1790
	return ret;
}
EXPORT_SYMBOL(radix_tree_gang_lookup_tag);

1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808
/**
 *	radix_tree_gang_lookup_tag_slot - perform multiple slot lookup on a
 *					  radix tree based on a tag
 *	@root:		radix tree root
 *	@results:	where the results of the lookup are placed
 *	@first_index:	start the lookup from this key
 *	@max_items:	place up to this many items at *results
 *	@tag:		the tag index (< RADIX_TREE_MAX_TAGS)
 *
 *	Performs an index-ascending scan of the tree for present items which
 *	have the tag indexed by @tag set.  Places the slots at *@results and
 *	returns the number of slots which were placed at *@results.
 */
unsigned int
radix_tree_gang_lookup_tag_slot(struct radix_tree_root *root, void ***results,
		unsigned long first_index, unsigned int max_items,
		unsigned int tag)
{
1809 1810 1811
	struct radix_tree_iter iter;
	void **slot;
	unsigned int ret = 0;
1812

1813
	if (unlikely(!max_items))
1814 1815
		return 0;

1816 1817 1818
	radix_tree_for_each_tagged(slot, root, &iter, first_index, tag) {
		results[ret] = slot;
		if (++ret == max_items)
1819 1820 1821 1822 1823 1824 1825
			break;
	}

	return ret;
}
EXPORT_SYMBOL(radix_tree_gang_lookup_tag_slot);

1826 1827 1828 1829
/**
 *	__radix_tree_delete_node    -    try to free node after clearing a slot
 *	@root:		radix tree root
 *	@node:		node containing @index
1830 1831
 *	@update_node:	callback for changing leaf nodes
 *	@private:	private data to pass to @update_node
1832 1833 1834 1835 1836
 *
 *	After clearing the slot at @index in @node from radix tree
 *	rooted at @root, call this function to attempt freeing the
 *	node and shrinking the tree.
 */
1837
void __radix_tree_delete_node(struct radix_tree_root *root,
1838 1839 1840
			      struct radix_tree_node *node,
			      radix_tree_update_node_t update_node,
			      void *private)
1841
{
1842
	delete_node(root, node, update_node, private);
1843 1844
}

L
Linus Torvalds 已提交
1845
/**
1846
 *	radix_tree_delete_item    -    delete an item from a radix tree
L
Linus Torvalds 已提交
1847 1848
 *	@root:		radix tree root
 *	@index:		index key
1849
 *	@item:		expected item
L
Linus Torvalds 已提交
1850
 *
1851
 *	Remove @item at @index from the radix tree rooted at @root.
L
Linus Torvalds 已提交
1852
 *
1853 1854
 *	Returns the address of the deleted item, or NULL if it was not present
 *	or the entry at the given @index was not @item.
L
Linus Torvalds 已提交
1855
 */
1856 1857
void *radix_tree_delete_item(struct radix_tree_root *root,
			     unsigned long index, void *item)
L
Linus Torvalds 已提交
1858
{
1859
	struct radix_tree_node *node;
1860
	unsigned int offset;
1861 1862
	void **slot;
	void *entry;
1863
	int tag;
L
Linus Torvalds 已提交
1864

1865 1866 1867
	entry = __radix_tree_lookup(root, index, &node, &slot);
	if (!entry)
		return NULL;
L
Linus Torvalds 已提交
1868

1869 1870 1871 1872
	if (item && entry != item)
		return NULL;

	if (!node) {
N
Nick Piggin 已提交
1873 1874
		root_tag_clear_all(root);
		root->rnode = NULL;
1875
		return entry;
N
Nick Piggin 已提交
1876
	}
L
Linus Torvalds 已提交
1877

1878
	offset = get_slot_offset(node, slot);
1879

1880 1881 1882
	/* Clear all tags associated with the item to be deleted.  */
	for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++)
		node_tag_clear(root, node, tag, offset);
L
Linus Torvalds 已提交
1883

1884
	__radix_tree_replace(root, node, slot, NULL, NULL, NULL);
N
Nick Piggin 已提交
1885

1886
	return entry;
L
Linus Torvalds 已提交
1887
}
1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902
EXPORT_SYMBOL(radix_tree_delete_item);

/**
 *	radix_tree_delete    -    delete an item from a radix tree
 *	@root:		radix tree root
 *	@index:		index key
 *
 *	Remove the item at @index from the radix tree rooted at @root.
 *
 *	Returns the address of the deleted item, or NULL if it was not present.
 */
void *radix_tree_delete(struct radix_tree_root *root, unsigned long index)
{
	return radix_tree_delete_item(root, index, NULL);
}
L
Linus Torvalds 已提交
1903 1904
EXPORT_SYMBOL(radix_tree_delete);

1905 1906 1907
void radix_tree_clear_tags(struct radix_tree_root *root,
			   struct radix_tree_node *node,
			   void **slot)
1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918
{
	if (node) {
		unsigned int tag, offset = get_slot_offset(node, slot);
		for (tag = 0; tag < RADIX_TREE_MAX_TAGS; tag++)
			node_tag_clear(root, node, tag, offset);
	} else {
		/* Clear root node tags */
		root->gfp_mask &= __GFP_BITS_MASK;
	}
}

L
Linus Torvalds 已提交
1919 1920 1921 1922 1923
/**
 *	radix_tree_tagged - test whether any items in the tree are tagged
 *	@root:		radix tree root
 *	@tag:		tag to test
 */
1924
int radix_tree_tagged(struct radix_tree_root *root, unsigned int tag)
L
Linus Torvalds 已提交
1925
{
N
Nick Piggin 已提交
1926
	return root_tag_get(root, tag);
L
Linus Torvalds 已提交
1927 1928 1929 1930
}
EXPORT_SYMBOL(radix_tree_tagged);

static void
1931
radix_tree_node_ctor(void *arg)
L
Linus Torvalds 已提交
1932
{
1933 1934 1935 1936
	struct radix_tree_node *node = arg;

	memset(node, 0, sizeof(*node));
	INIT_LIST_HEAD(&node->private_list);
L
Linus Torvalds 已提交
1937 1938
}

1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963
static __init unsigned long __maxindex(unsigned int height)
{
	unsigned int width = height * RADIX_TREE_MAP_SHIFT;
	int shift = RADIX_TREE_INDEX_BITS - width;

	if (shift < 0)
		return ~0UL;
	if (shift >= BITS_PER_LONG)
		return 0UL;
	return ~0UL >> shift;
}

static __init void radix_tree_init_maxnodes(void)
{
	unsigned long height_to_maxindex[RADIX_TREE_MAX_PATH + 1];
	unsigned int i, j;

	for (i = 0; i < ARRAY_SIZE(height_to_maxindex); i++)
		height_to_maxindex[i] = __maxindex(i);
	for (i = 0; i < ARRAY_SIZE(height_to_maxnodes); i++) {
		for (j = i; j > 0; j--)
			height_to_maxnodes[i] += height_to_maxindex[j - 1] + 1;
	}
}

1964
static int radix_tree_cpu_dead(unsigned int cpu)
L
Linus Torvalds 已提交
1965
{
M
Matthew Wilcox 已提交
1966 1967 1968 1969
	struct radix_tree_preload *rtp;
	struct radix_tree_node *node;

	/* Free per-cpu pool of preloaded nodes */
1970 1971 1972 1973 1974 1975
	rtp = &per_cpu(radix_tree_preloads, cpu);
	while (rtp->nr) {
		node = rtp->nodes;
		rtp->nodes = node->private_data;
		kmem_cache_free(radix_tree_node_cachep, node);
		rtp->nr--;
M
Matthew Wilcox 已提交
1976
	}
1977
	return 0;
L
Linus Torvalds 已提交
1978 1979 1980 1981
}

void __init radix_tree_init(void)
{
1982
	int ret;
L
Linus Torvalds 已提交
1983 1984
	radix_tree_node_cachep = kmem_cache_create("radix_tree_node",
			sizeof(struct radix_tree_node), 0,
C
Christoph Lameter 已提交
1985 1986
			SLAB_PANIC | SLAB_RECLAIM_ACCOUNT,
			radix_tree_node_ctor);
1987
	radix_tree_init_maxnodes();
1988 1989 1990
	ret = cpuhp_setup_state_nocalls(CPUHP_RADIX_DEAD, "lib/radix:dead",
					NULL, radix_tree_cpu_dead);
	WARN_ON(ret < 0);
L
Linus Torvalds 已提交
1991
}