blob: c0d223cfac008f606fe4480f7df29a6322558311 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * Copyright (C) 2001 Momchil Velikov
3 * Portions Copyright (C) 2001 Christoph Hellwig
Nick Piggin7cf9c2c2006-12-06 20:33:44 -08004 * Copyright (C) 2006 Nick Piggin
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -07005 * Copyright (C) 2012 Konstantin Khlebnikov
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#ifndef _LINUX_RADIX_TREE_H
22#define _LINUX_RADIX_TREE_H
23
Matthew Wilcoxf67c07f2016-03-17 14:21:42 -070024#include <linux/bitops.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070025#include <linux/preempt.h>
26#include <linux/types.h>
Paul Gortmaker187f1882011-11-23 20:12:59 -050027#include <linux/bug.h>
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080028#include <linux/kernel.h>
29#include <linux/rcupdate.h>
30
31/*
Nick Pigginc0bc9872007-10-16 01:24:42 -070032 * An indirect pointer (root->rnode pointing to a radix_tree_node, rather
33 * than a data item) is signalled by the low bit set in the root->rnode
34 * pointer.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080035 *
Nick Pigginc0bc9872007-10-16 01:24:42 -070036 * In this case root->height is > 0, but the indirect pointer tests are
37 * needed for RCU lookups (because root->height is unreliable). The only
38 * time callers need worry about this is when doing a lookup_slot under
39 * RCU.
Nick Piggin27d20fd2010-11-11 14:05:19 -080040 *
41 * Indirect pointer in fact is also used to tag the last pointer of a node
42 * when it is shrunk, before we rcu free the node. See shrink code for
43 * details.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080044 */
Hugh Dickins63286502011-08-03 16:21:18 -070045#define RADIX_TREE_INDIRECT_PTR 1
46/*
47 * A common use of the radix tree is to store pointers to struct pages;
48 * but shmem/tmpfs needs also to store swap entries in the same tree:
49 * those are marked as exceptional entries to distinguish them.
50 * EXCEPTIONAL_ENTRY tests the bit, EXCEPTIONAL_SHIFT shifts content past it.
51 */
52#define RADIX_TREE_EXCEPTIONAL_ENTRY 2
53#define RADIX_TREE_EXCEPTIONAL_SHIFT 2
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080054
Ross Zwislerf9fe48b2016-01-22 15:10:40 -080055#define RADIX_DAX_MASK 0xf
56#define RADIX_DAX_SHIFT 4
57#define RADIX_DAX_PTE (0x4 | RADIX_TREE_EXCEPTIONAL_ENTRY)
58#define RADIX_DAX_PMD (0x8 | RADIX_TREE_EXCEPTIONAL_ENTRY)
59#define RADIX_DAX_TYPE(entry) ((unsigned long)entry & RADIX_DAX_MASK)
60#define RADIX_DAX_SECTOR(entry) (((unsigned long)entry >> RADIX_DAX_SHIFT))
61#define RADIX_DAX_ENTRY(sector, pmd) ((void *)((unsigned long)sector << \
62 RADIX_DAX_SHIFT | (pmd ? RADIX_DAX_PMD : RADIX_DAX_PTE)))
63
Nick Pigginc0bc9872007-10-16 01:24:42 -070064static inline int radix_tree_is_indirect_ptr(void *ptr)
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080065{
Nick Pigginc0bc9872007-10-16 01:24:42 -070066 return (int)((unsigned long)ptr & RADIX_TREE_INDIRECT_PTR);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080067}
68
69/*** radix-tree API starts here ***/
Linus Torvalds1da177e2005-04-16 15:20:36 -070070
Jan Karaf446daae2010-08-09 17:19:12 -070071#define RADIX_TREE_MAX_TAGS 3
Nick Piggin612d6c12006-06-23 02:03:22 -070072
Ross Zwisler97d778b2016-05-20 17:01:42 -070073#ifndef RADIX_TREE_MAP_SHIFT
Johannes Weiner139e5612014-04-03 14:47:54 -070074#define RADIX_TREE_MAP_SHIFT (CONFIG_BASE_SMALL ? 4 : 6)
Johannes Weiner139e5612014-04-03 14:47:54 -070075#endif
76
77#define RADIX_TREE_MAP_SIZE (1UL << RADIX_TREE_MAP_SHIFT)
78#define RADIX_TREE_MAP_MASK (RADIX_TREE_MAP_SIZE-1)
79
80#define RADIX_TREE_TAG_LONGS \
81 ((RADIX_TREE_MAP_SIZE + BITS_PER_LONG - 1) / BITS_PER_LONG)
82
Johannes Weiner139e5612014-04-03 14:47:54 -070083#define RADIX_TREE_INDEX_BITS (8 /* CHAR_BIT */ * sizeof(unsigned long))
84#define RADIX_TREE_MAX_PATH (DIV_ROUND_UP(RADIX_TREE_INDEX_BITS, \
85 RADIX_TREE_MAP_SHIFT))
86
Johannes Weiner449dd692014-04-03 14:47:56 -070087/* Internally used bits of node->count */
88#define RADIX_TREE_COUNT_SHIFT (RADIX_TREE_MAP_SHIFT + 1)
89#define RADIX_TREE_COUNT_MASK ((1UL << RADIX_TREE_COUNT_SHIFT) - 1)
90
91struct radix_tree_node {
Matthew Wilcoxc12e51b2016-05-20 17:03:10 -070092 unsigned char shift; /* Bits remaining in each slot */
Matthew Wilcox0c7fa0a2016-05-20 17:03:07 -070093 unsigned char offset; /* Slot offset in parent */
Johannes Weiner449dd692014-04-03 14:47:56 -070094 unsigned int count;
95 union {
96 struct {
97 /* Used when ascending tree */
98 struct radix_tree_node *parent;
99 /* For tree user */
100 void *private_data;
101 };
102 /* Used when freeing node */
103 struct rcu_head rcu_head;
104 };
105 /* For tree user */
106 struct list_head private_list;
107 void __rcu *slots[RADIX_TREE_MAP_SIZE];
108 unsigned long tags[RADIX_TREE_MAX_TAGS][RADIX_TREE_TAG_LONGS];
109};
110
Nick Piggin612d6c12006-06-23 02:03:22 -0700111/* root tags are stored in gfp_mask, shifted by __GFP_BITS_SHIFT */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700112struct radix_tree_root {
Al Virofd4f2df2005-10-21 03:18:50 -0400113 gfp_t gfp_mask;
Arnd Bergmanna1115572010-02-25 23:43:52 +0100114 struct radix_tree_node __rcu *rnode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700115};
116
117#define RADIX_TREE_INIT(mask) { \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700118 .gfp_mask = (mask), \
119 .rnode = NULL, \
120}
121
122#define RADIX_TREE(name, mask) \
123 struct radix_tree_root name = RADIX_TREE_INIT(mask)
124
125#define INIT_RADIX_TREE(root, mask) \
126do { \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700127 (root)->gfp_mask = (mask); \
128 (root)->rnode = NULL; \
129} while (0)
130
Matthew Wilcoxe9256ef2016-05-20 17:01:33 -0700131static inline bool radix_tree_empty(struct radix_tree_root *root)
132{
133 return root->rnode == NULL;
134}
135
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800136/**
137 * Radix-tree synchronization
138 *
139 * The radix-tree API requires that users provide all synchronisation (with
140 * specific exceptions, noted below).
141 *
142 * Synchronization of access to the data items being stored in the tree, and
143 * management of their lifetimes must be completely managed by API users.
144 *
145 * For API usage, in general,
Michael Opdenacker59c51592007-05-09 08:57:56 +0200146 * - any function _modifying_ the tree or tags (inserting or deleting
Tim Peppereb8dc5e2008-02-03 16:12:47 +0200147 * items, setting or clearing tags) must exclude other modifications, and
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800148 * exclude any functions reading the tree.
Michael Opdenacker59c51592007-05-09 08:57:56 +0200149 * - any function _reading_ the tree or tags (looking up items or tags,
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800150 * gang lookups) must exclude modifications to the tree, but may occur
151 * concurrently with other readers.
152 *
153 * The notable exceptions to this rule are the following functions:
Johannes Weiner139e5612014-04-03 14:47:54 -0700154 * __radix_tree_lookup
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800155 * radix_tree_lookup
Nick Piggin47feff22008-07-25 19:45:29 -0700156 * radix_tree_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800157 * radix_tree_tag_get
158 * radix_tree_gang_lookup
Nick Piggin47feff22008-07-25 19:45:29 -0700159 * radix_tree_gang_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800160 * radix_tree_gang_lookup_tag
Nick Piggin47feff22008-07-25 19:45:29 -0700161 * radix_tree_gang_lookup_tag_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800162 * radix_tree_tagged
163 *
Adam Barth243c2132016-01-20 14:59:09 -0800164 * The first 8 functions are able to be called locklessly, using RCU. The
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800165 * caller must ensure calls to these functions are made within rcu_read_lock()
166 * regions. Other readers (lock-free or otherwise) and modifications may be
167 * running concurrently.
168 *
169 * It is still required that the caller manage the synchronization and lifetimes
170 * of the items. So if RCU lock-free lookups are used, typically this would mean
171 * that the items have their own locks, or are amenable to lock-free access; and
172 * that the items are freed by RCU (or only freed after having been deleted from
173 * the radix tree *and* a synchronize_rcu() grace period).
174 *
175 * (Note, rcu_assign_pointer and rcu_dereference are not needed to control
176 * access to data items when inserting into or looking up from the radix tree)
177 *
David Howellsce826532010-04-06 22:36:20 +0100178 * Note that the value returned by radix_tree_tag_get() may not be relied upon
179 * if only the RCU read lock is held. Functions to set/clear tags and to
180 * delete nodes running concurrently with it may affect its result such that
181 * two consecutive reads in the same locked section may return different
182 * values. If reliability is required, modification functions must also be
183 * excluded from concurrency.
184 *
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800185 * radix_tree_tagged is able to be called without locking or RCU.
186 */
187
188/**
189 * radix_tree_deref_slot - dereference a slot
190 * @pslot: pointer to slot, returned by radix_tree_lookup_slot
191 * Returns: item that was stored in that slot with any direct pointer flag
192 * removed.
193 *
194 * For use with radix_tree_lookup_slot(). Caller must hold tree at least read
Nick Piggin27d20fd2010-11-11 14:05:19 -0800195 * locked across slot lookup and dereference. Not required if write lock is
196 * held (ie. items cannot be concurrently inserted).
197 *
198 * radix_tree_deref_retry must be used to confirm validity of the pointer if
199 * only the read lock is held.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800200 */
201static inline void *radix_tree_deref_slot(void **pslot)
202{
Nick Piggin27d20fd2010-11-11 14:05:19 -0800203 return rcu_dereference(*pslot);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800204}
Nick Piggin27d20fd2010-11-11 14:05:19 -0800205
206/**
Mel Gorman29c1f672011-01-13 15:47:21 -0800207 * radix_tree_deref_slot_protected - dereference a slot without RCU lock but with tree lock held
208 * @pslot: pointer to slot, returned by radix_tree_lookup_slot
209 * Returns: item that was stored in that slot with any direct pointer flag
210 * removed.
211 *
212 * Similar to radix_tree_deref_slot but only used during migration when a pages
213 * mapping is being moved. The caller does not hold the RCU read lock but it
214 * must hold the tree lock to prevent parallel updates.
215 */
216static inline void *radix_tree_deref_slot_protected(void **pslot,
217 spinlock_t *treelock)
218{
219 return rcu_dereference_protected(*pslot, lockdep_is_held(treelock));
220}
221
222/**
Nick Piggin27d20fd2010-11-11 14:05:19 -0800223 * radix_tree_deref_retry - check radix_tree_deref_slot
224 * @arg: pointer returned by radix_tree_deref_slot
225 * Returns: 0 if retry is not required, otherwise retry is required
226 *
227 * radix_tree_deref_retry must be used with radix_tree_deref_slot.
228 */
229static inline int radix_tree_deref_retry(void *arg)
230{
231 return unlikely((unsigned long)arg & RADIX_TREE_INDIRECT_PTR);
232}
233
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800234/**
Hugh Dickins63286502011-08-03 16:21:18 -0700235 * radix_tree_exceptional_entry - radix_tree_deref_slot gave exceptional entry?
236 * @arg: value returned by radix_tree_deref_slot
237 * Returns: 0 if well-aligned pointer, non-0 if exceptional entry.
238 */
239static inline int radix_tree_exceptional_entry(void *arg)
240{
241 /* Not unlikely because radix_tree_exception often tested first */
242 return (unsigned long)arg & RADIX_TREE_EXCEPTIONAL_ENTRY;
243}
244
245/**
246 * radix_tree_exception - radix_tree_deref_slot returned either exception?
247 * @arg: value returned by radix_tree_deref_slot
248 * Returns: 0 if well-aligned pointer, non-0 if either kind of exception.
249 */
250static inline int radix_tree_exception(void *arg)
251{
252 return unlikely((unsigned long)arg &
253 (RADIX_TREE_INDIRECT_PTR | RADIX_TREE_EXCEPTIONAL_ENTRY));
254}
255
256/**
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800257 * radix_tree_replace_slot - replace item in a slot
258 * @pslot: pointer to slot, returned by radix_tree_lookup_slot
259 * @item: new item to store in the slot.
260 *
261 * For use with radix_tree_lookup_slot(). Caller must hold tree write locked
262 * across slot lookup and replacement.
263 */
264static inline void radix_tree_replace_slot(void **pslot, void *item)
265{
Nick Pigginc0bc9872007-10-16 01:24:42 -0700266 BUG_ON(radix_tree_is_indirect_ptr(item));
267 rcu_assign_pointer(*pslot, item);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800268}
269
Johannes Weiner139e5612014-04-03 14:47:54 -0700270int __radix_tree_create(struct radix_tree_root *root, unsigned long index,
Matthew Wilcoxe6145232016-03-17 14:21:54 -0700271 unsigned order, struct radix_tree_node **nodep,
272 void ***slotp);
273int __radix_tree_insert(struct radix_tree_root *, unsigned long index,
274 unsigned order, void *);
275static inline int radix_tree_insert(struct radix_tree_root *root,
276 unsigned long index, void *entry)
277{
278 return __radix_tree_insert(root, index, 0, entry);
279}
Johannes Weiner139e5612014-04-03 14:47:54 -0700280void *__radix_tree_lookup(struct radix_tree_root *root, unsigned long index,
281 struct radix_tree_node **nodep, void ***slotp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700282void *radix_tree_lookup(struct radix_tree_root *, unsigned long);
Hans Reisera4331362005-11-07 00:59:29 -0800283void **radix_tree_lookup_slot(struct radix_tree_root *, unsigned long);
Johannes Weiner449dd692014-04-03 14:47:56 -0700284bool __radix_tree_delete_node(struct radix_tree_root *root,
Johannes Weiner139e5612014-04-03 14:47:54 -0700285 struct radix_tree_node *node);
Johannes Weiner53c59f22014-04-03 14:47:39 -0700286void *radix_tree_delete_item(struct radix_tree_root *, unsigned long, void *);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287void *radix_tree_delete(struct radix_tree_root *, unsigned long);
288unsigned int
289radix_tree_gang_lookup(struct radix_tree_root *root, void **results,
290 unsigned long first_index, unsigned int max_items);
Hugh Dickins63286502011-08-03 16:21:18 -0700291unsigned int radix_tree_gang_lookup_slot(struct radix_tree_root *root,
292 void ***results, unsigned long *indices,
Nick Piggin47feff22008-07-25 19:45:29 -0700293 unsigned long first_index, unsigned int max_items);
Al Virodd0fc662005-10-07 07:46:04 +0100294int radix_tree_preload(gfp_t gfp_mask);
Jan Kara5e4c0d972013-09-11 14:26:05 -0700295int radix_tree_maybe_preload(gfp_t gfp_mask);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296void radix_tree_init(void);
297void *radix_tree_tag_set(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800298 unsigned long index, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299void *radix_tree_tag_clear(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800300 unsigned long index, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700301int radix_tree_tag_get(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800302 unsigned long index, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700303unsigned int
304radix_tree_gang_lookup_tag(struct radix_tree_root *root, void **results,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800305 unsigned long first_index, unsigned int max_items,
306 unsigned int tag);
Nick Piggin47feff22008-07-25 19:45:29 -0700307unsigned int
308radix_tree_gang_lookup_tag_slot(struct radix_tree_root *root, void ***results,
309 unsigned long first_index, unsigned int max_items,
310 unsigned int tag);
Jan Karaebf8aa42010-08-09 17:19:11 -0700311unsigned long radix_tree_range_tag_if_tagged(struct radix_tree_root *root,
312 unsigned long *first_indexp, unsigned long last_index,
313 unsigned long nr_to_tag,
314 unsigned int fromtag, unsigned int totag);
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800315int radix_tree_tagged(struct radix_tree_root *root, unsigned int tag);
Hugh Dickinse504f3f2011-08-03 16:21:27 -0700316unsigned long radix_tree_locate_item(struct radix_tree_root *root, void *item);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700317
318static inline void radix_tree_preload_end(void)
319{
320 preempt_enable();
321}
322
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700323/**
324 * struct radix_tree_iter - radix tree iterator state
325 *
326 * @index: index of current slot
Ross Zwisler21ef5332016-05-20 17:02:26 -0700327 * @next_index: one beyond the last index for this chunk
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700328 * @tags: bit-mask for tag-iterating
Ross Zwisler21ef5332016-05-20 17:02:26 -0700329 * @shift: shift for the node that holds our slots
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700330 *
331 * This radix tree iterator works in terms of "chunks" of slots. A chunk is a
332 * subinterval of slots contained within one radix tree leaf node. It is
333 * described by a pointer to its first slot and a struct radix_tree_iter
334 * which holds the chunk's position in the tree and its size. For tagged
335 * iteration radix_tree_iter also holds the slots' bit-mask for one chosen
336 * radix tree tag.
337 */
338struct radix_tree_iter {
339 unsigned long index;
340 unsigned long next_index;
341 unsigned long tags;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700342#ifdef CONFIG_RADIX_TREE_MULTIORDER
343 unsigned int shift;
344#endif
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700345};
346
Ross Zwisler21ef5332016-05-20 17:02:26 -0700347static inline unsigned int iter_shift(struct radix_tree_iter *iter)
348{
349#ifdef CONFIG_RADIX_TREE_MULTIORDER
350 return iter->shift;
351#else
352 return 0;
353#endif
354}
355
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700356#define RADIX_TREE_ITER_TAG_MASK 0x00FF /* tag index in lower byte */
357#define RADIX_TREE_ITER_TAGGED 0x0100 /* lookup tagged slots */
358#define RADIX_TREE_ITER_CONTIG 0x0200 /* stop at first hole */
359
360/**
361 * radix_tree_iter_init - initialize radix tree iterator
362 *
363 * @iter: pointer to iterator state
364 * @start: iteration starting index
365 * Returns: NULL
366 */
367static __always_inline void **
368radix_tree_iter_init(struct radix_tree_iter *iter, unsigned long start)
369{
370 /*
371 * Leave iter->tags uninitialized. radix_tree_next_chunk() will fill it
372 * in the case of a successful tagged chunk lookup. If the lookup was
373 * unsuccessful or non-tagged then nobody cares about ->tags.
374 *
375 * Set index to zero to bypass next_index overflow protection.
376 * See the comment in radix_tree_next_chunk() for details.
377 */
378 iter->index = 0;
379 iter->next_index = start;
380 return NULL;
381}
382
383/**
384 * radix_tree_next_chunk - find next chunk of slots for iteration
385 *
386 * @root: radix tree root
387 * @iter: iterator state
388 * @flags: RADIX_TREE_ITER_* flags and tag index
389 * Returns: pointer to chunk first slot, or NULL if there no more left
390 *
391 * This function looks up the next chunk in the radix tree starting from
392 * @iter->next_index. It returns a pointer to the chunk's first slot.
393 * Also it fills @iter with data about chunk: position in the tree (index),
394 * its end (next_index), and constructs a bit mask for tagged iterating (tags).
395 */
396void **radix_tree_next_chunk(struct radix_tree_root *root,
397 struct radix_tree_iter *iter, unsigned flags);
398
399/**
Matthew Wilcox46437f92016-02-02 16:57:52 -0800400 * radix_tree_iter_retry - retry this chunk of the iteration
401 * @iter: iterator state
402 *
403 * If we iterate over a tree protected only by the RCU lock, a race
404 * against deletion or creation may result in seeing a slot for which
405 * radix_tree_deref_retry() returns true. If so, call this function
406 * and continue the iteration.
407 */
408static inline __must_check
409void **radix_tree_iter_retry(struct radix_tree_iter *iter)
410{
411 iter->next_index = iter->index;
412 return NULL;
413}
414
Ross Zwisler21ef5332016-05-20 17:02:26 -0700415static inline unsigned long
416__radix_tree_iter_add(struct radix_tree_iter *iter, unsigned long slots)
417{
418 return iter->index + (slots << iter_shift(iter));
419}
420
Matthew Wilcox46437f92016-02-02 16:57:52 -0800421/**
Matthew Wilcox71650922016-03-17 14:22:06 -0700422 * radix_tree_iter_next - resume iterating when the chunk may be invalid
423 * @iter: iterator state
424 *
425 * If the iterator needs to release then reacquire a lock, the chunk may
426 * have been invalidated by an insertion or deletion. Call this function
427 * to continue the iteration from the next index.
428 */
429static inline __must_check
430void **radix_tree_iter_next(struct radix_tree_iter *iter)
431{
Ross Zwisler21ef5332016-05-20 17:02:26 -0700432 iter->next_index = __radix_tree_iter_add(iter, 1);
Matthew Wilcox71650922016-03-17 14:22:06 -0700433 iter->tags = 0;
434 return NULL;
435}
436
437/**
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700438 * radix_tree_chunk_size - get current chunk size
439 *
440 * @iter: pointer to radix tree iterator
441 * Returns: current chunk size
442 */
Konstantin Khlebnikov73204282016-02-05 15:37:01 -0800443static __always_inline long
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700444radix_tree_chunk_size(struct radix_tree_iter *iter)
445{
Ross Zwisler21ef5332016-05-20 17:02:26 -0700446 return (iter->next_index - iter->index) >> iter_shift(iter);
447}
448
449static inline void *indirect_to_ptr(void *ptr)
450{
451 return (void *)((unsigned long)ptr & ~RADIX_TREE_INDIRECT_PTR);
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700452}
453
454/**
455 * radix_tree_next_slot - find next slot in chunk
456 *
457 * @slot: pointer to current slot
458 * @iter: pointer to interator state
459 * @flags: RADIX_TREE_ITER_*, should be constant
460 * Returns: pointer to next slot, or NULL if there no more left
461 *
462 * This function updates @iter->index in the case of a successful lookup.
463 * For tagged lookup it also eats @iter->tags.
464 */
465static __always_inline void **
466radix_tree_next_slot(void **slot, struct radix_tree_iter *iter, unsigned flags)
467{
468 if (flags & RADIX_TREE_ITER_TAGGED) {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700469 void *canon = slot;
470
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700471 iter->tags >>= 1;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700472 if (unlikely(!iter->tags))
473 return NULL;
474 while (IS_ENABLED(CONFIG_RADIX_TREE_MULTIORDER) &&
475 radix_tree_is_indirect_ptr(slot[1])) {
476 if (indirect_to_ptr(slot[1]) == canon) {
477 iter->tags >>= 1;
478 iter->index = __radix_tree_iter_add(iter, 1);
479 slot++;
480 continue;
481 }
482 iter->next_index = __radix_tree_iter_add(iter, 1);
483 return NULL;
484 }
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700485 if (likely(iter->tags & 1ul)) {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700486 iter->index = __radix_tree_iter_add(iter, 1);
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700487 return slot + 1;
488 }
Ross Zwisler21ef5332016-05-20 17:02:26 -0700489 if (!(flags & RADIX_TREE_ITER_CONTIG)) {
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700490 unsigned offset = __ffs(iter->tags);
491
492 iter->tags >>= offset;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700493 iter->index = __radix_tree_iter_add(iter, offset + 1);
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700494 return slot + offset + 1;
495 }
496 } else {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700497 long count = radix_tree_chunk_size(iter);
498 void *canon = slot;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700499
Ross Zwisler21ef5332016-05-20 17:02:26 -0700500 while (--count > 0) {
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700501 slot++;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700502 iter->index = __radix_tree_iter_add(iter, 1);
503
504 if (IS_ENABLED(CONFIG_RADIX_TREE_MULTIORDER) &&
505 radix_tree_is_indirect_ptr(*slot)) {
506 if (indirect_to_ptr(*slot) == canon)
507 continue;
508 else {
509 iter->next_index = iter->index;
510 break;
511 }
512 }
513
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700514 if (likely(*slot))
515 return slot;
Konstantin Khlebnikovfffaee32012-06-05 21:36:33 +0400516 if (flags & RADIX_TREE_ITER_CONTIG) {
517 /* forbid switching to the next chunk */
518 iter->next_index = 0;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700519 break;
Konstantin Khlebnikovfffaee32012-06-05 21:36:33 +0400520 }
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700521 }
522 }
523 return NULL;
524}
525
526/**
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700527 * radix_tree_for_each_slot - iterate over non-empty slots
528 *
529 * @slot: the void** variable for pointer to slot
530 * @root: the struct radix_tree_root pointer
531 * @iter: the struct radix_tree_iter pointer
532 * @start: iteration starting index
533 *
534 * @slot points to radix tree slot, @iter->index contains its index.
535 */
536#define radix_tree_for_each_slot(slot, root, iter, start) \
537 for (slot = radix_tree_iter_init(iter, start) ; \
538 slot || (slot = radix_tree_next_chunk(root, iter, 0)) ; \
539 slot = radix_tree_next_slot(slot, iter, 0))
540
541/**
542 * radix_tree_for_each_contig - iterate over contiguous slots
543 *
544 * @slot: the void** variable for pointer to slot
545 * @root: the struct radix_tree_root pointer
546 * @iter: the struct radix_tree_iter pointer
547 * @start: iteration starting index
548 *
549 * @slot points to radix tree slot, @iter->index contains its index.
550 */
551#define radix_tree_for_each_contig(slot, root, iter, start) \
552 for (slot = radix_tree_iter_init(iter, start) ; \
553 slot || (slot = radix_tree_next_chunk(root, iter, \
554 RADIX_TREE_ITER_CONTIG)) ; \
555 slot = radix_tree_next_slot(slot, iter, \
556 RADIX_TREE_ITER_CONTIG))
557
558/**
559 * radix_tree_for_each_tagged - iterate over tagged slots
560 *
561 * @slot: the void** variable for pointer to slot
562 * @root: the struct radix_tree_root pointer
563 * @iter: the struct radix_tree_iter pointer
564 * @start: iteration starting index
565 * @tag: tag index
566 *
567 * @slot points to radix tree slot, @iter->index contains its index.
568 */
569#define radix_tree_for_each_tagged(slot, root, iter, start, tag) \
570 for (slot = radix_tree_iter_init(iter, start) ; \
571 slot || (slot = radix_tree_next_chunk(root, iter, \
572 RADIX_TREE_ITER_TAGGED | tag)) ; \
573 slot = radix_tree_next_slot(slot, iter, \
574 RADIX_TREE_ITER_TAGGED))
575
Linus Torvalds1da177e2005-04-16 15:20:36 -0700576#endif /* _LINUX_RADIX_TREE_H */