blob: 15388b7e38b9cccb15aa1fe024dbc9ea408b094a [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>
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080025#include <linux/kernel.h>
Matthew Wilcox15f2e88d2016-12-16 14:46:09 -050026#include <linux/list.h>
27#include <linux/preempt.h>
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080028#include <linux/rcupdate.h>
Matthew Wilcox15f2e88d2016-12-16 14:46:09 -050029#include <linux/spinlock.h>
30#include <linux/types.h>
Matthew Wilcox3159f942017-11-03 13:30:42 -040031#include <linux/xarray.h>
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080032
Matthew Wilcoxf8d5d0c2017-11-07 16:30:10 -050033/* Keep unconverted code working */
34#define radix_tree_root xarray
Matthew Wilcox01959df2017-11-09 09:23:56 -050035#define radix_tree_node xa_node
Matthew Wilcoxf8d5d0c2017-11-07 16:30:10 -050036
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080037/*
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070038 * The bottom two bits of the slot determine how the remaining bits in the
39 * slot are interpreted:
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080040 *
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070041 * 00 - data pointer
Matthew Wilcox3159f942017-11-03 13:30:42 -040042 * 10 - internal entry
43 * x1 - value entry
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070044 *
45 * The internal entry may be a pointer to the next level in the tree, a
46 * sibling entry, or an indicator that the entry in this slot has been moved
47 * to another location in the tree and the lookup should be restarted. While
48 * NULL fits the 'data pointer' pattern, it means that there is no entry in
49 * the tree for this index (no matter what level of the tree it is found at).
Matthew Wilcox3159f942017-11-03 13:30:42 -040050 * This means that storing a NULL entry in the tree is the same as deleting
51 * the entry from the tree.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080052 */
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070053#define RADIX_TREE_ENTRY_MASK 3UL
Matthew Wilcox3159f942017-11-03 13:30:42 -040054#define RADIX_TREE_INTERNAL_NODE 2UL
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080055
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070056static inline bool radix_tree_is_internal_node(void *ptr)
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080057{
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070058 return ((unsigned long)ptr & RADIX_TREE_ENTRY_MASK) ==
59 RADIX_TREE_INTERNAL_NODE;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080060}
61
62/*** radix-tree API starts here ***/
Linus Torvalds1da177e2005-04-16 15:20:36 -070063
Matthew Wilcox02c02bf2017-11-03 23:09:45 -040064#define RADIX_TREE_MAP_SHIFT XA_CHUNK_SHIFT
Johannes Weiner139e5612014-04-03 14:47:54 -070065#define RADIX_TREE_MAP_SIZE (1UL << RADIX_TREE_MAP_SHIFT)
66#define RADIX_TREE_MAP_MASK (RADIX_TREE_MAP_SIZE-1)
67
Matthew Wilcox01959df2017-11-09 09:23:56 -050068#define RADIX_TREE_MAX_TAGS XA_MAX_MARKS
69#define RADIX_TREE_TAG_LONGS XA_MARK_LONGS
Johannes Weiner139e5612014-04-03 14:47:54 -070070
Johannes Weiner139e5612014-04-03 14:47:54 -070071#define RADIX_TREE_INDEX_BITS (8 /* CHAR_BIT */ * sizeof(unsigned long))
72#define RADIX_TREE_MAX_PATH (DIV_ROUND_UP(RADIX_TREE_INDEX_BITS, \
73 RADIX_TREE_MAP_SHIFT))
74
Matthew Wilcoxf8d5d0c2017-11-07 16:30:10 -050075/* The IDR tag is stored in the low bits of xa_flags */
Matthew Wilcoxfa290cd2018-04-10 16:36:28 -070076#define ROOT_IS_IDR ((__force gfp_t)4)
Matthew Wilcoxf8d5d0c2017-11-07 16:30:10 -050077/* The top bits of xa_flags are used to store the root tags */
Matthew Wilcoxfa290cd2018-04-10 16:36:28 -070078#define ROOT_TAG_SHIFT (__GFP_BITS_SHIFT)
Matthew Wilcox0a835c42016-12-20 10:27:56 -050079
Matthew Wilcoxf8d5d0c2017-11-07 16:30:10 -050080#define RADIX_TREE_INIT(name, mask) XARRAY_INIT(name, mask)
Linus Torvalds1da177e2005-04-16 15:20:36 -070081
82#define RADIX_TREE(name, mask) \
Matthew Wilcoxf6bb2a22018-04-10 16:36:52 -070083 struct radix_tree_root name = RADIX_TREE_INIT(name, mask)
Linus Torvalds1da177e2005-04-16 15:20:36 -070084
Matthew Wilcoxf8d5d0c2017-11-07 16:30:10 -050085#define INIT_RADIX_TREE(root, mask) xa_init_flags(root, mask)
Linus Torvalds1da177e2005-04-16 15:20:36 -070086
Matthew Wilcox35534c862016-12-19 17:43:19 -050087static inline bool radix_tree_empty(const struct radix_tree_root *root)
Matthew Wilcoxe9256ef2016-05-20 17:01:33 -070088{
Matthew Wilcoxf8d5d0c2017-11-07 16:30:10 -050089 return root->xa_head == NULL;
Matthew Wilcoxe9256ef2016-05-20 17:01:33 -070090}
91
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080092/**
Matthew Wilcox268f42d2016-12-14 15:08:55 -080093 * struct radix_tree_iter - radix tree iterator state
94 *
95 * @index: index of current slot
96 * @next_index: one beyond the last index for this chunk
97 * @tags: bit-mask for tag-iterating
98 * @node: node that contains current slot
99 * @shift: shift for the node that holds our slots
100 *
101 * This radix tree iterator works in terms of "chunks" of slots. A chunk is a
102 * subinterval of slots contained within one radix tree leaf node. It is
103 * described by a pointer to its first slot and a struct radix_tree_iter
104 * which holds the chunk's position in the tree and its size. For tagged
105 * iteration radix_tree_iter also holds the slots' bit-mask for one chosen
106 * radix tree tag.
107 */
108struct radix_tree_iter {
109 unsigned long index;
110 unsigned long next_index;
111 unsigned long tags;
112 struct radix_tree_node *node;
113#ifdef CONFIG_RADIX_TREE_MULTIORDER
114 unsigned int shift;
115#endif
116};
117
118static inline unsigned int iter_shift(const struct radix_tree_iter *iter)
119{
120#ifdef CONFIG_RADIX_TREE_MULTIORDER
121 return iter->shift;
122#else
123 return 0;
124#endif
125}
126
127/**
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800128 * Radix-tree synchronization
129 *
130 * The radix-tree API requires that users provide all synchronisation (with
131 * specific exceptions, noted below).
132 *
133 * Synchronization of access to the data items being stored in the tree, and
134 * management of their lifetimes must be completely managed by API users.
135 *
136 * For API usage, in general,
Michael Opdenacker59c51592007-05-09 08:57:56 +0200137 * - any function _modifying_ the tree or tags (inserting or deleting
Tim Peppereb8dc5e2008-02-03 16:12:47 +0200138 * items, setting or clearing tags) must exclude other modifications, and
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800139 * exclude any functions reading the tree.
Michael Opdenacker59c51592007-05-09 08:57:56 +0200140 * - any function _reading_ the tree or tags (looking up items or tags,
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800141 * gang lookups) must exclude modifications to the tree, but may occur
142 * concurrently with other readers.
143 *
144 * The notable exceptions to this rule are the following functions:
Johannes Weiner139e5612014-04-03 14:47:54 -0700145 * __radix_tree_lookup
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800146 * radix_tree_lookup
Nick Piggin47feff22008-07-25 19:45:29 -0700147 * radix_tree_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800148 * radix_tree_tag_get
149 * radix_tree_gang_lookup
Nick Piggin47feff22008-07-25 19:45:29 -0700150 * radix_tree_gang_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800151 * radix_tree_gang_lookup_tag
Nick Piggin47feff22008-07-25 19:45:29 -0700152 * radix_tree_gang_lookup_tag_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800153 * radix_tree_tagged
154 *
Adam Barth243c2132016-01-20 14:59:09 -0800155 * The first 8 functions are able to be called locklessly, using RCU. The
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800156 * caller must ensure calls to these functions are made within rcu_read_lock()
157 * regions. Other readers (lock-free or otherwise) and modifications may be
158 * running concurrently.
159 *
160 * It is still required that the caller manage the synchronization and lifetimes
161 * of the items. So if RCU lock-free lookups are used, typically this would mean
162 * that the items have their own locks, or are amenable to lock-free access; and
163 * that the items are freed by RCU (or only freed after having been deleted from
164 * the radix tree *and* a synchronize_rcu() grace period).
165 *
166 * (Note, rcu_assign_pointer and rcu_dereference are not needed to control
167 * access to data items when inserting into or looking up from the radix tree)
168 *
David Howellsce826532010-04-06 22:36:20 +0100169 * Note that the value returned by radix_tree_tag_get() may not be relied upon
170 * if only the RCU read lock is held. Functions to set/clear tags and to
171 * delete nodes running concurrently with it may affect its result such that
172 * two consecutive reads in the same locked section may return different
173 * values. If reliability is required, modification functions must also be
174 * excluded from concurrency.
175 *
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800176 * radix_tree_tagged is able to be called without locking or RCU.
177 */
178
179/**
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500180 * radix_tree_deref_slot - dereference a slot
181 * @slot: slot pointer, returned by radix_tree_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800182 *
183 * For use with radix_tree_lookup_slot(). Caller must hold tree at least read
Nick Piggin27d20fd2010-11-11 14:05:19 -0800184 * locked across slot lookup and dereference. Not required if write lock is
185 * held (ie. items cannot be concurrently inserted).
186 *
187 * radix_tree_deref_retry must be used to confirm validity of the pointer if
188 * only the read lock is held.
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500189 *
190 * Return: entry stored in that slot.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800191 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500192static inline void *radix_tree_deref_slot(void __rcu **slot)
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800193{
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500194 return rcu_dereference(*slot);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800195}
Nick Piggin27d20fd2010-11-11 14:05:19 -0800196
197/**
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500198 * radix_tree_deref_slot_protected - dereference a slot with tree lock held
199 * @slot: slot pointer, returned by radix_tree_lookup_slot
Mel Gorman29c1f672011-01-13 15:47:21 -0800200 *
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500201 * Similar to radix_tree_deref_slot. The caller does not hold the RCU read
202 * lock but it must hold the tree lock to prevent parallel updates.
203 *
204 * Return: entry stored in that slot.
Mel Gorman29c1f672011-01-13 15:47:21 -0800205 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500206static inline void *radix_tree_deref_slot_protected(void __rcu **slot,
Mel Gorman29c1f672011-01-13 15:47:21 -0800207 spinlock_t *treelock)
208{
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500209 return rcu_dereference_protected(*slot, lockdep_is_held(treelock));
Mel Gorman29c1f672011-01-13 15:47:21 -0800210}
211
212/**
Nick Piggin27d20fd2010-11-11 14:05:19 -0800213 * radix_tree_deref_retry - check radix_tree_deref_slot
214 * @arg: pointer returned by radix_tree_deref_slot
215 * Returns: 0 if retry is not required, otherwise retry is required
216 *
217 * radix_tree_deref_retry must be used with radix_tree_deref_slot.
218 */
219static inline int radix_tree_deref_retry(void *arg)
220{
Matthew Wilcoxb194d162016-05-20 17:03:30 -0700221 return unlikely(radix_tree_is_internal_node(arg));
Nick Piggin27d20fd2010-11-11 14:05:19 -0800222}
223
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800224/**
Hugh Dickins63286502011-08-03 16:21:18 -0700225 * radix_tree_exception - radix_tree_deref_slot returned either exception?
226 * @arg: value returned by radix_tree_deref_slot
227 * Returns: 0 if well-aligned pointer, non-0 if either kind of exception.
228 */
229static inline int radix_tree_exception(void *arg)
230{
Matthew Wilcox3bcadd62016-05-20 17:03:54 -0700231 return unlikely((unsigned long)arg & RADIX_TREE_ENTRY_MASK);
Hugh Dickins63286502011-08-03 16:21:18 -0700232}
233
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500234int __radix_tree_create(struct radix_tree_root *, unsigned long index,
Matthew Wilcoxe6145232016-03-17 14:21:54 -0700235 unsigned order, struct radix_tree_node **nodep,
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500236 void __rcu ***slotp);
Matthew Wilcoxe6145232016-03-17 14:21:54 -0700237int __radix_tree_insert(struct radix_tree_root *, unsigned long index,
238 unsigned order, void *);
239static inline int radix_tree_insert(struct radix_tree_root *root,
240 unsigned long index, void *entry)
241{
242 return __radix_tree_insert(root, index, 0, entry);
243}
Matthew Wilcox35534c862016-12-19 17:43:19 -0500244void *__radix_tree_lookup(const struct radix_tree_root *, unsigned long index,
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500245 struct radix_tree_node **nodep, void __rcu ***slotp);
Matthew Wilcox35534c862016-12-19 17:43:19 -0500246void *radix_tree_lookup(const struct radix_tree_root *, unsigned long);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500247void __rcu **radix_tree_lookup_slot(const struct radix_tree_root *,
248 unsigned long index);
Mel Gormanc7df8ad2017-11-15 17:37:41 -0800249typedef void (*radix_tree_update_node_t)(struct radix_tree_node *);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500250void __radix_tree_replace(struct radix_tree_root *, struct radix_tree_node *,
251 void __rcu **slot, void *entry,
Mel Gormanc7df8ad2017-11-15 17:37:41 -0800252 radix_tree_update_node_t update_node);
Matthew Wilcoxe157b552016-12-14 15:09:01 -0800253void radix_tree_iter_replace(struct radix_tree_root *,
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500254 const struct radix_tree_iter *, void __rcu **slot, void *entry);
255void radix_tree_replace_slot(struct radix_tree_root *,
256 void __rcu **slot, void *entry);
257void __radix_tree_delete_node(struct radix_tree_root *,
258 struct radix_tree_node *,
Mel Gormanc7df8ad2017-11-15 17:37:41 -0800259 radix_tree_update_node_t update_node);
Matthew Wilcox0ac398e2017-01-28 09:56:22 -0500260void radix_tree_iter_delete(struct radix_tree_root *,
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500261 struct radix_tree_iter *iter, void __rcu **slot);
Johannes Weiner53c59f22014-04-03 14:47:39 -0700262void *radix_tree_delete_item(struct radix_tree_root *, unsigned long, void *);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700263void *radix_tree_delete(struct radix_tree_root *, unsigned long);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500264void radix_tree_clear_tags(struct radix_tree_root *, struct radix_tree_node *,
265 void __rcu **slot);
Matthew Wilcox35534c862016-12-19 17:43:19 -0500266unsigned int radix_tree_gang_lookup(const struct radix_tree_root *,
Matthew Wilcoxd604c322016-05-20 17:03:45 -0700267 void **results, unsigned long first_index,
268 unsigned int max_items);
Matthew Wilcox35534c862016-12-19 17:43:19 -0500269unsigned int radix_tree_gang_lookup_slot(const struct radix_tree_root *,
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500270 void __rcu ***results, unsigned long *indices,
Nick Piggin47feff22008-07-25 19:45:29 -0700271 unsigned long first_index, unsigned int max_items);
Al Virodd0fc662005-10-07 07:46:04 +0100272int radix_tree_preload(gfp_t gfp_mask);
Jan Kara5e4c0d972013-09-11 14:26:05 -0700273int radix_tree_maybe_preload(gfp_t gfp_mask);
Kirill A. Shutemovc78c66d2016-07-26 15:26:02 -0700274int radix_tree_maybe_preload_order(gfp_t gfp_mask, int order);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700275void radix_tree_init(void);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500276void *radix_tree_tag_set(struct radix_tree_root *,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800277 unsigned long index, unsigned int tag);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500278void *radix_tree_tag_clear(struct radix_tree_root *,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800279 unsigned long index, unsigned int tag);
Matthew Wilcox35534c862016-12-19 17:43:19 -0500280int radix_tree_tag_get(const struct radix_tree_root *,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800281 unsigned long index, unsigned int tag);
Matthew Wilcox30b888b2017-01-28 09:55:20 -0500282void radix_tree_iter_tag_set(struct radix_tree_root *,
283 const struct radix_tree_iter *iter, unsigned int tag);
284void radix_tree_iter_tag_clear(struct radix_tree_root *,
Matthew Wilcox268f42d2016-12-14 15:08:55 -0800285 const struct radix_tree_iter *iter, unsigned int tag);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500286unsigned int radix_tree_gang_lookup_tag(const struct radix_tree_root *,
287 void **results, unsigned long first_index,
288 unsigned int max_items, unsigned int tag);
289unsigned int radix_tree_gang_lookup_tag_slot(const struct radix_tree_root *,
290 void __rcu ***results, unsigned long first_index,
291 unsigned int max_items, unsigned int tag);
292int radix_tree_tagged(const struct radix_tree_root *, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700293
294static inline void radix_tree_preload_end(void)
295{
296 preempt_enable();
297}
298
Matthew Wilcox2791653a2016-12-14 15:09:04 -0800299int radix_tree_split_preload(unsigned old_order, unsigned new_order, gfp_t);
Matthew Wilcoxe157b552016-12-14 15:09:01 -0800300int radix_tree_split(struct radix_tree_root *, unsigned long index,
301 unsigned new_order);
Matthew Wilcox175542f2016-12-14 15:08:58 -0800302int radix_tree_join(struct radix_tree_root *, unsigned long index,
303 unsigned new_order, void *);
Chris Mi388f79f2017-08-30 02:31:57 -0400304
Matthew Wilcox460488c2017-11-28 15:16:24 -0500305void __rcu **idr_get_free(struct radix_tree_root *root,
Chris Mi388f79f2017-08-30 02:31:57 -0400306 struct radix_tree_iter *iter, gfp_t gfp,
307 unsigned long max);
Matthew Wilcox175542f2016-12-14 15:08:58 -0800308
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500309enum {
310 RADIX_TREE_ITER_TAG_MASK = 0x0f, /* tag index in lower nybble */
311 RADIX_TREE_ITER_TAGGED = 0x10, /* lookup tagged slots */
312 RADIX_TREE_ITER_CONTIG = 0x20, /* stop at first hole */
313};
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700314
315/**
316 * radix_tree_iter_init - initialize radix tree iterator
317 *
318 * @iter: pointer to iterator state
319 * @start: iteration starting index
320 * Returns: NULL
321 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500322static __always_inline void __rcu **
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700323radix_tree_iter_init(struct radix_tree_iter *iter, unsigned long start)
324{
325 /*
326 * Leave iter->tags uninitialized. radix_tree_next_chunk() will fill it
327 * in the case of a successful tagged chunk lookup. If the lookup was
328 * unsuccessful or non-tagged then nobody cares about ->tags.
329 *
330 * Set index to zero to bypass next_index overflow protection.
331 * See the comment in radix_tree_next_chunk() for details.
332 */
333 iter->index = 0;
334 iter->next_index = start;
335 return NULL;
336}
337
338/**
339 * radix_tree_next_chunk - find next chunk of slots for iteration
340 *
341 * @root: radix tree root
342 * @iter: iterator state
343 * @flags: RADIX_TREE_ITER_* flags and tag index
344 * Returns: pointer to chunk first slot, or NULL if there no more left
345 *
346 * This function looks up the next chunk in the radix tree starting from
347 * @iter->next_index. It returns a pointer to the chunk's first slot.
348 * Also it fills @iter with data about chunk: position in the tree (index),
349 * its end (next_index), and constructs a bit mask for tagged iterating (tags).
350 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500351void __rcu **radix_tree_next_chunk(const struct radix_tree_root *,
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700352 struct radix_tree_iter *iter, unsigned flags);
353
354/**
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500355 * radix_tree_iter_lookup - look up an index in the radix tree
356 * @root: radix tree root
357 * @iter: iterator state
358 * @index: key to look up
359 *
360 * If @index is present in the radix tree, this function returns the slot
361 * containing it and updates @iter to describe the entry. If @index is not
362 * present, it returns NULL.
363 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500364static inline void __rcu **
365radix_tree_iter_lookup(const struct radix_tree_root *root,
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500366 struct radix_tree_iter *iter, unsigned long index)
367{
368 radix_tree_iter_init(iter, index);
369 return radix_tree_next_chunk(root, iter, RADIX_TREE_ITER_CONTIG);
370}
371
372/**
373 * radix_tree_iter_find - find a present entry
374 * @root: radix tree root
375 * @iter: iterator state
376 * @index: start location
377 *
378 * This function returns the slot containing the entry with the lowest index
379 * which is at least @index. If @index is larger than any present entry, this
380 * function returns NULL. The @iter is updated to describe the entry found.
381 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500382static inline void __rcu **
383radix_tree_iter_find(const struct radix_tree_root *root,
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500384 struct radix_tree_iter *iter, unsigned long index)
385{
386 radix_tree_iter_init(iter, index);
387 return radix_tree_next_chunk(root, iter, 0);
388}
389
390/**
Matthew Wilcox46437f92016-02-02 16:57:52 -0800391 * radix_tree_iter_retry - retry this chunk of the iteration
392 * @iter: iterator state
393 *
394 * If we iterate over a tree protected only by the RCU lock, a race
395 * against deletion or creation may result in seeing a slot for which
396 * radix_tree_deref_retry() returns true. If so, call this function
397 * and continue the iteration.
398 */
399static inline __must_check
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500400void __rcu **radix_tree_iter_retry(struct radix_tree_iter *iter)
Matthew Wilcox46437f92016-02-02 16:57:52 -0800401{
402 iter->next_index = iter->index;
Andrey Ryabinin3cb91852016-07-20 15:45:00 -0700403 iter->tags = 0;
Matthew Wilcox46437f92016-02-02 16:57:52 -0800404 return NULL;
405}
406
Ross Zwisler21ef5332016-05-20 17:02:26 -0700407static inline unsigned long
408__radix_tree_iter_add(struct radix_tree_iter *iter, unsigned long slots)
409{
410 return iter->index + (slots << iter_shift(iter));
411}
412
Matthew Wilcox46437f92016-02-02 16:57:52 -0800413/**
Matthew Wilcox148deab2016-12-14 15:08:49 -0800414 * radix_tree_iter_resume - resume iterating when the chunk may be invalid
415 * @slot: pointer to current slot
416 * @iter: iterator state
417 * Returns: New slot pointer
Matthew Wilcox71650922016-03-17 14:22:06 -0700418 *
419 * If the iterator needs to release then reacquire a lock, the chunk may
420 * have been invalidated by an insertion or deletion. Call this function
Matthew Wilcox148deab2016-12-14 15:08:49 -0800421 * before releasing the lock to continue the iteration from the next index.
Matthew Wilcox71650922016-03-17 14:22:06 -0700422 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500423void __rcu **__must_check radix_tree_iter_resume(void __rcu **slot,
Matthew Wilcox148deab2016-12-14 15:08:49 -0800424 struct radix_tree_iter *iter);
Matthew Wilcox71650922016-03-17 14:22:06 -0700425
426/**
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700427 * radix_tree_chunk_size - get current chunk size
428 *
429 * @iter: pointer to radix tree iterator
430 * Returns: current chunk size
431 */
Konstantin Khlebnikov73204282016-02-05 15:37:01 -0800432static __always_inline long
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700433radix_tree_chunk_size(struct radix_tree_iter *iter)
434{
Ross Zwisler21ef5332016-05-20 17:02:26 -0700435 return (iter->next_index - iter->index) >> iter_shift(iter);
436}
437
Matthew Wilcox148deab2016-12-14 15:08:49 -0800438#ifdef CONFIG_RADIX_TREE_MULTIORDER
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500439void __rcu **__radix_tree_next_slot(void __rcu **slot,
440 struct radix_tree_iter *iter, unsigned flags);
Matthew Wilcox148deab2016-12-14 15:08:49 -0800441#else
442/* Can't happen without sibling entries, but the compiler can't tell that */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500443static inline void __rcu **__radix_tree_next_slot(void __rcu **slot,
Matthew Wilcox148deab2016-12-14 15:08:49 -0800444 struct radix_tree_iter *iter, unsigned flags)
Ross Zwisler21ef5332016-05-20 17:02:26 -0700445{
Matthew Wilcox148deab2016-12-14 15:08:49 -0800446 return slot;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700447}
Matthew Wilcox148deab2016-12-14 15:08:49 -0800448#endif
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700449
450/**
451 * radix_tree_next_slot - find next slot in chunk
452 *
453 * @slot: pointer to current slot
454 * @iter: pointer to interator state
455 * @flags: RADIX_TREE_ITER_*, should be constant
456 * Returns: pointer to next slot, or NULL if there no more left
457 *
458 * This function updates @iter->index in the case of a successful lookup.
459 * For tagged lookup it also eats @iter->tags.
Ross Zwisler915045f2016-10-11 13:51:18 -0700460 *
461 * There are several cases where 'slot' can be passed in as NULL to this
Matthew Wilcox148deab2016-12-14 15:08:49 -0800462 * function. These cases result from the use of radix_tree_iter_resume() or
Ross Zwisler915045f2016-10-11 13:51:18 -0700463 * radix_tree_iter_retry(). In these cases we don't end up dereferencing
464 * 'slot' because either:
465 * a) we are doing tagged iteration and iter->tags has been set to 0, or
466 * b) we are doing non-tagged iteration, and iter->index and iter->next_index
467 * have been set up so that radix_tree_chunk_size() returns 1 or 0.
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700468 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500469static __always_inline void __rcu **radix_tree_next_slot(void __rcu **slot,
470 struct radix_tree_iter *iter, unsigned flags)
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700471{
472 if (flags & RADIX_TREE_ITER_TAGGED) {
473 iter->tags >>= 1;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700474 if (unlikely(!iter->tags))
475 return NULL;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700476 if (likely(iter->tags & 1ul)) {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700477 iter->index = __radix_tree_iter_add(iter, 1);
Matthew Wilcox148deab2016-12-14 15:08:49 -0800478 slot++;
479 goto found;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700480 }
Ross Zwisler21ef5332016-05-20 17:02:26 -0700481 if (!(flags & RADIX_TREE_ITER_CONTIG)) {
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700482 unsigned offset = __ffs(iter->tags);
483
Matthew Wilcox148deab2016-12-14 15:08:49 -0800484 iter->tags >>= offset++;
485 iter->index = __radix_tree_iter_add(iter, offset);
486 slot += offset;
487 goto found;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700488 }
489 } else {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700490 long count = radix_tree_chunk_size(iter);
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700491
Ross Zwisler21ef5332016-05-20 17:02:26 -0700492 while (--count > 0) {
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700493 slot++;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700494 iter->index = __radix_tree_iter_add(iter, 1);
495
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700496 if (likely(*slot))
Matthew Wilcox148deab2016-12-14 15:08:49 -0800497 goto found;
Konstantin Khlebnikovfffaee32012-06-05 21:36:33 +0400498 if (flags & RADIX_TREE_ITER_CONTIG) {
499 /* forbid switching to the next chunk */
500 iter->next_index = 0;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700501 break;
Konstantin Khlebnikovfffaee32012-06-05 21:36:33 +0400502 }
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700503 }
504 }
505 return NULL;
Matthew Wilcox148deab2016-12-14 15:08:49 -0800506
507 found:
Matthew Wilcox12320d02017-02-13 15:22:48 -0500508 if (unlikely(radix_tree_is_internal_node(rcu_dereference_raw(*slot))))
Matthew Wilcox148deab2016-12-14 15:08:49 -0800509 return __radix_tree_next_slot(slot, iter, flags);
510 return slot;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700511}
512
513/**
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700514 * radix_tree_for_each_slot - iterate over non-empty slots
515 *
516 * @slot: the void** variable for pointer to slot
517 * @root: the struct radix_tree_root pointer
518 * @iter: the struct radix_tree_iter pointer
519 * @start: iteration starting index
520 *
521 * @slot points to radix tree slot, @iter->index contains its index.
522 */
523#define radix_tree_for_each_slot(slot, root, iter, start) \
524 for (slot = radix_tree_iter_init(iter, start) ; \
525 slot || (slot = radix_tree_next_chunk(root, iter, 0)) ; \
526 slot = radix_tree_next_slot(slot, iter, 0))
527
528/**
529 * radix_tree_for_each_contig - iterate over contiguous slots
530 *
531 * @slot: the void** variable for pointer to slot
532 * @root: the struct radix_tree_root pointer
533 * @iter: the struct radix_tree_iter pointer
534 * @start: iteration starting index
535 *
536 * @slot points to radix tree slot, @iter->index contains its index.
537 */
538#define radix_tree_for_each_contig(slot, root, iter, start) \
539 for (slot = radix_tree_iter_init(iter, start) ; \
540 slot || (slot = radix_tree_next_chunk(root, iter, \
541 RADIX_TREE_ITER_CONTIG)) ; \
542 slot = radix_tree_next_slot(slot, iter, \
543 RADIX_TREE_ITER_CONTIG))
544
545/**
546 * radix_tree_for_each_tagged - iterate over tagged slots
547 *
548 * @slot: the void** variable for pointer to slot
549 * @root: the struct radix_tree_root pointer
550 * @iter: the struct radix_tree_iter pointer
551 * @start: iteration starting index
552 * @tag: tag index
553 *
554 * @slot points to radix tree slot, @iter->index contains its index.
555 */
556#define radix_tree_for_each_tagged(slot, root, iter, start, tag) \
557 for (slot = radix_tree_iter_init(iter, start) ; \
558 slot || (slot = radix_tree_next_chunk(root, iter, \
559 RADIX_TREE_ITER_TAGGED | tag)) ; \
560 slot = radix_tree_next_slot(slot, iter, \
Matthew Wilcox148deab2016-12-14 15:08:49 -0800561 RADIX_TREE_ITER_TAGGED | tag))
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700562
Linus Torvalds1da177e2005-04-16 15:20:36 -0700563#endif /* _LINUX_RADIX_TREE_H */