blob: d04073ac3a9f863f95b0f076c95e5c54271795e2 [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/*
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070032 * The bottom two bits of the slot determine how the remaining bits in the
33 * slot are interpreted:
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080034 *
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070035 * 00 - data pointer
36 * 01 - internal entry
37 * 10 - exceptional entry
Ross Zwislera23216a2016-08-02 14:04:19 -070038 * 11 - this bit combination is currently unused/reserved
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070039 *
40 * The internal entry may be a pointer to the next level in the tree, a
41 * sibling entry, or an indicator that the entry in this slot has been moved
42 * to another location in the tree and the lookup should be restarted. While
43 * NULL fits the 'data pointer' pattern, it means that there is no entry in
44 * the tree for this index (no matter what level of the tree it is found at).
45 * This means that you cannot store NULL in the tree as a value for the index.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080046 */
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070047#define RADIX_TREE_ENTRY_MASK 3UL
48#define RADIX_TREE_INTERNAL_NODE 1UL
Matthew Wilcox30ff46cc2016-05-20 17:03:22 -070049
Hugh Dickins63286502011-08-03 16:21:18 -070050/*
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070051 * Most users of the radix tree store pointers but shmem/tmpfs stores swap
52 * entries in the same tree. They are marked as exceptional entries to
53 * distinguish them from pointers to struct page.
Hugh Dickins63286502011-08-03 16:21:18 -070054 * EXCEPTIONAL_ENTRY tests the bit, EXCEPTIONAL_SHIFT shifts content past it.
55 */
56#define RADIX_TREE_EXCEPTIONAL_ENTRY 2
57#define RADIX_TREE_EXCEPTIONAL_SHIFT 2
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080058
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070059static inline bool radix_tree_is_internal_node(void *ptr)
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080060{
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070061 return ((unsigned long)ptr & RADIX_TREE_ENTRY_MASK) ==
62 RADIX_TREE_INTERNAL_NODE;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080063}
64
65/*** radix-tree API starts here ***/
Linus Torvalds1da177e2005-04-16 15:20:36 -070066
Jan Karaf446daae2010-08-09 17:19:12 -070067#define RADIX_TREE_MAX_TAGS 3
Nick Piggin612d6c12006-06-23 02:03:22 -070068
Ross Zwisler97d778b2016-05-20 17:01:42 -070069#ifndef RADIX_TREE_MAP_SHIFT
Johannes Weiner139e5612014-04-03 14:47:54 -070070#define RADIX_TREE_MAP_SHIFT (CONFIG_BASE_SMALL ? 4 : 6)
Johannes Weiner139e5612014-04-03 14:47:54 -070071#endif
72
73#define RADIX_TREE_MAP_SIZE (1UL << RADIX_TREE_MAP_SHIFT)
74#define RADIX_TREE_MAP_MASK (RADIX_TREE_MAP_SIZE-1)
75
76#define RADIX_TREE_TAG_LONGS \
77 ((RADIX_TREE_MAP_SIZE + BITS_PER_LONG - 1) / BITS_PER_LONG)
78
Johannes Weiner139e5612014-04-03 14:47:54 -070079#define RADIX_TREE_INDEX_BITS (8 /* CHAR_BIT */ * sizeof(unsigned long))
80#define RADIX_TREE_MAX_PATH (DIV_ROUND_UP(RADIX_TREE_INDEX_BITS, \
81 RADIX_TREE_MAP_SHIFT))
82
Johannes Weiner449dd692014-04-03 14:47:56 -070083struct radix_tree_node {
Johannes Weinerf7942432016-12-12 16:43:41 -080084 unsigned char shift; /* Bits remaining in each slot */
85 unsigned char offset; /* Slot offset in parent */
Johannes Weiner14b46872016-12-12 16:43:52 -080086 unsigned char count; /* Total entry count */
Johannes Weinerf7942432016-12-12 16:43:41 -080087 unsigned char exceptional; /* Exceptional entry count */
Matthew Wilcox91d9c052016-12-14 15:08:34 -080088 struct radix_tree_node *parent; /* Used when ascending tree */
89 void *private_data; /* For tree user */
Johannes Weiner449dd692014-04-03 14:47:56 -070090 union {
Matthew Wilcox91d9c052016-12-14 15:08:34 -080091 struct list_head private_list; /* For tree user */
92 struct rcu_head rcu_head; /* Used when freeing node */
Johannes Weiner449dd692014-04-03 14:47:56 -070093 };
Johannes Weiner449dd692014-04-03 14:47:56 -070094 void __rcu *slots[RADIX_TREE_MAP_SIZE];
95 unsigned long tags[RADIX_TREE_MAX_TAGS][RADIX_TREE_TAG_LONGS];
96};
97
Nick Piggin612d6c12006-06-23 02:03:22 -070098/* root tags are stored in gfp_mask, shifted by __GFP_BITS_SHIFT */
Linus Torvalds1da177e2005-04-16 15:20:36 -070099struct radix_tree_root {
Al Virofd4f2df2005-10-21 03:18:50 -0400100 gfp_t gfp_mask;
Arnd Bergmanna1115572010-02-25 23:43:52 +0100101 struct radix_tree_node __rcu *rnode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700102};
103
104#define RADIX_TREE_INIT(mask) { \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700105 .gfp_mask = (mask), \
106 .rnode = NULL, \
107}
108
109#define RADIX_TREE(name, mask) \
110 struct radix_tree_root name = RADIX_TREE_INIT(mask)
111
112#define INIT_RADIX_TREE(root, mask) \
113do { \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114 (root)->gfp_mask = (mask); \
115 (root)->rnode = NULL; \
116} while (0)
117
Matthew Wilcoxe9256ef2016-05-20 17:01:33 -0700118static inline bool radix_tree_empty(struct radix_tree_root *root)
119{
120 return root->rnode == NULL;
121}
122
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800123/**
124 * Radix-tree synchronization
125 *
126 * The radix-tree API requires that users provide all synchronisation (with
127 * specific exceptions, noted below).
128 *
129 * Synchronization of access to the data items being stored in the tree, and
130 * management of their lifetimes must be completely managed by API users.
131 *
132 * For API usage, in general,
Michael Opdenacker59c51592007-05-09 08:57:56 +0200133 * - any function _modifying_ the tree or tags (inserting or deleting
Tim Peppereb8dc5e2008-02-03 16:12:47 +0200134 * items, setting or clearing tags) must exclude other modifications, and
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800135 * exclude any functions reading the tree.
Michael Opdenacker59c51592007-05-09 08:57:56 +0200136 * - any function _reading_ the tree or tags (looking up items or tags,
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800137 * gang lookups) must exclude modifications to the tree, but may occur
138 * concurrently with other readers.
139 *
140 * The notable exceptions to this rule are the following functions:
Johannes Weiner139e5612014-04-03 14:47:54 -0700141 * __radix_tree_lookup
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800142 * radix_tree_lookup
Nick Piggin47feff22008-07-25 19:45:29 -0700143 * radix_tree_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800144 * radix_tree_tag_get
145 * radix_tree_gang_lookup
Nick Piggin47feff22008-07-25 19:45:29 -0700146 * radix_tree_gang_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800147 * radix_tree_gang_lookup_tag
Nick Piggin47feff22008-07-25 19:45:29 -0700148 * radix_tree_gang_lookup_tag_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800149 * radix_tree_tagged
150 *
Adam Barth243c2132016-01-20 14:59:09 -0800151 * The first 8 functions are able to be called locklessly, using RCU. The
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800152 * caller must ensure calls to these functions are made within rcu_read_lock()
153 * regions. Other readers (lock-free or otherwise) and modifications may be
154 * running concurrently.
155 *
156 * It is still required that the caller manage the synchronization and lifetimes
157 * of the items. So if RCU lock-free lookups are used, typically this would mean
158 * that the items have their own locks, or are amenable to lock-free access; and
159 * that the items are freed by RCU (or only freed after having been deleted from
160 * the radix tree *and* a synchronize_rcu() grace period).
161 *
162 * (Note, rcu_assign_pointer and rcu_dereference are not needed to control
163 * access to data items when inserting into or looking up from the radix tree)
164 *
David Howellsce826532010-04-06 22:36:20 +0100165 * Note that the value returned by radix_tree_tag_get() may not be relied upon
166 * if only the RCU read lock is held. Functions to set/clear tags and to
167 * delete nodes running concurrently with it may affect its result such that
168 * two consecutive reads in the same locked section may return different
169 * values. If reliability is required, modification functions must also be
170 * excluded from concurrency.
171 *
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800172 * radix_tree_tagged is able to be called without locking or RCU.
173 */
174
175/**
176 * radix_tree_deref_slot - dereference a slot
177 * @pslot: pointer to slot, returned by radix_tree_lookup_slot
178 * Returns: item that was stored in that slot with any direct pointer flag
179 * removed.
180 *
181 * For use with radix_tree_lookup_slot(). Caller must hold tree at least read
Nick Piggin27d20fd2010-11-11 14:05:19 -0800182 * locked across slot lookup and dereference. Not required if write lock is
183 * held (ie. items cannot be concurrently inserted).
184 *
185 * radix_tree_deref_retry must be used to confirm validity of the pointer if
186 * only the read lock is held.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800187 */
188static inline void *radix_tree_deref_slot(void **pslot)
189{
Nick Piggin27d20fd2010-11-11 14:05:19 -0800190 return rcu_dereference(*pslot);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800191}
Nick Piggin27d20fd2010-11-11 14:05:19 -0800192
193/**
Mel Gorman29c1f672011-01-13 15:47:21 -0800194 * radix_tree_deref_slot_protected - dereference a slot without RCU lock but with tree lock held
195 * @pslot: pointer to slot, returned by radix_tree_lookup_slot
196 * Returns: item that was stored in that slot with any direct pointer flag
197 * removed.
198 *
199 * Similar to radix_tree_deref_slot but only used during migration when a pages
200 * mapping is being moved. The caller does not hold the RCU read lock but it
201 * must hold the tree lock to prevent parallel updates.
202 */
203static inline void *radix_tree_deref_slot_protected(void **pslot,
204 spinlock_t *treelock)
205{
206 return rcu_dereference_protected(*pslot, lockdep_is_held(treelock));
207}
208
209/**
Nick Piggin27d20fd2010-11-11 14:05:19 -0800210 * radix_tree_deref_retry - check radix_tree_deref_slot
211 * @arg: pointer returned by radix_tree_deref_slot
212 * Returns: 0 if retry is not required, otherwise retry is required
213 *
214 * radix_tree_deref_retry must be used with radix_tree_deref_slot.
215 */
216static inline int radix_tree_deref_retry(void *arg)
217{
Matthew Wilcoxb194d162016-05-20 17:03:30 -0700218 return unlikely(radix_tree_is_internal_node(arg));
Nick Piggin27d20fd2010-11-11 14:05:19 -0800219}
220
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800221/**
Hugh Dickins63286502011-08-03 16:21:18 -0700222 * radix_tree_exceptional_entry - radix_tree_deref_slot gave exceptional entry?
223 * @arg: value returned by radix_tree_deref_slot
224 * Returns: 0 if well-aligned pointer, non-0 if exceptional entry.
225 */
226static inline int radix_tree_exceptional_entry(void *arg)
227{
228 /* Not unlikely because radix_tree_exception often tested first */
229 return (unsigned long)arg & RADIX_TREE_EXCEPTIONAL_ENTRY;
230}
231
232/**
233 * radix_tree_exception - radix_tree_deref_slot returned either exception?
234 * @arg: value returned by radix_tree_deref_slot
235 * Returns: 0 if well-aligned pointer, non-0 if either kind of exception.
236 */
237static inline int radix_tree_exception(void *arg)
238{
Matthew Wilcox3bcadd62016-05-20 17:03:54 -0700239 return unlikely((unsigned long)arg & RADIX_TREE_ENTRY_MASK);
Hugh Dickins63286502011-08-03 16:21:18 -0700240}
241
Johannes Weiner139e5612014-04-03 14:47:54 -0700242int __radix_tree_create(struct radix_tree_root *root, unsigned long index,
Matthew Wilcoxe6145232016-03-17 14:21:54 -0700243 unsigned order, struct radix_tree_node **nodep,
244 void ***slotp);
245int __radix_tree_insert(struct radix_tree_root *, unsigned long index,
246 unsigned order, void *);
247static inline int radix_tree_insert(struct radix_tree_root *root,
248 unsigned long index, void *entry)
249{
250 return __radix_tree_insert(root, index, 0, entry);
251}
Johannes Weiner139e5612014-04-03 14:47:54 -0700252void *__radix_tree_lookup(struct radix_tree_root *root, unsigned long index,
253 struct radix_tree_node **nodep, void ***slotp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700254void *radix_tree_lookup(struct radix_tree_root *, unsigned long);
Hans Reisera4331362005-11-07 00:59:29 -0800255void **radix_tree_lookup_slot(struct radix_tree_root *, unsigned long);
Johannes Weiner4d693d02016-12-12 16:43:49 -0800256typedef void (*radix_tree_update_node_t)(struct radix_tree_node *, void *);
Johannes Weinerf7942432016-12-12 16:43:41 -0800257void __radix_tree_replace(struct radix_tree_root *root,
258 struct radix_tree_node *node,
Johannes Weiner4d693d02016-12-12 16:43:49 -0800259 void **slot, void *item,
260 radix_tree_update_node_t update_node, void *private);
Johannes Weiner6d75f362016-12-12 16:43:43 -0800261void radix_tree_replace_slot(struct radix_tree_root *root,
262 void **slot, void *item);
Johannes Weiner14b46872016-12-12 16:43:52 -0800263void __radix_tree_delete_node(struct radix_tree_root *root,
Johannes Weiner139e5612014-04-03 14:47:54 -0700264 struct radix_tree_node *node);
Johannes Weiner53c59f22014-04-03 14:47:39 -0700265void *radix_tree_delete_item(struct radix_tree_root *, unsigned long, void *);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700266void *radix_tree_delete(struct radix_tree_root *, unsigned long);
Johannes Weinerd3798ae2016-10-04 22:02:08 +0200267void radix_tree_clear_tags(struct radix_tree_root *root,
268 struct radix_tree_node *node,
269 void **slot);
Matthew Wilcoxd604c322016-05-20 17:03:45 -0700270unsigned int radix_tree_gang_lookup(struct radix_tree_root *root,
271 void **results, unsigned long first_index,
272 unsigned int max_items);
Hugh Dickins63286502011-08-03 16:21:18 -0700273unsigned int radix_tree_gang_lookup_slot(struct radix_tree_root *root,
274 void ***results, unsigned long *indices,
Nick Piggin47feff22008-07-25 19:45:29 -0700275 unsigned long first_index, unsigned int max_items);
Al Virodd0fc662005-10-07 07:46:04 +0100276int radix_tree_preload(gfp_t gfp_mask);
Jan Kara5e4c0d972013-09-11 14:26:05 -0700277int radix_tree_maybe_preload(gfp_t gfp_mask);
Kirill A. Shutemovc78c66d2016-07-26 15:26:02 -0700278int radix_tree_maybe_preload_order(gfp_t gfp_mask, int order);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700279void radix_tree_init(void);
280void *radix_tree_tag_set(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800281 unsigned long index, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700282void *radix_tree_tag_clear(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800283 unsigned long index, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700284int radix_tree_tag_get(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800285 unsigned long index, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700286unsigned int
287radix_tree_gang_lookup_tag(struct radix_tree_root *root, void **results,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800288 unsigned long first_index, unsigned int max_items,
289 unsigned int tag);
Nick Piggin47feff22008-07-25 19:45:29 -0700290unsigned int
291radix_tree_gang_lookup_tag_slot(struct radix_tree_root *root, void ***results,
292 unsigned long first_index, unsigned int max_items,
293 unsigned int tag);
Jan Karaebf8aa42010-08-09 17:19:11 -0700294unsigned long radix_tree_range_tag_if_tagged(struct radix_tree_root *root,
295 unsigned long *first_indexp, unsigned long last_index,
296 unsigned long nr_to_tag,
297 unsigned int fromtag, unsigned int totag);
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800298int radix_tree_tagged(struct radix_tree_root *root, unsigned int tag);
Hugh Dickinse504f3f2011-08-03 16:21:27 -0700299unsigned long radix_tree_locate_item(struct radix_tree_root *root, void *item);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700300
301static inline void radix_tree_preload_end(void)
302{
303 preempt_enable();
304}
305
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700306/**
307 * struct radix_tree_iter - radix tree iterator state
308 *
309 * @index: index of current slot
Ross Zwisler21ef5332016-05-20 17:02:26 -0700310 * @next_index: one beyond the last index for this chunk
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700311 * @tags: bit-mask for tag-iterating
Ross Zwisler21ef5332016-05-20 17:02:26 -0700312 * @shift: shift for the node that holds our slots
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700313 *
314 * This radix tree iterator works in terms of "chunks" of slots. A chunk is a
315 * subinterval of slots contained within one radix tree leaf node. It is
316 * described by a pointer to its first slot and a struct radix_tree_iter
317 * which holds the chunk's position in the tree and its size. For tagged
318 * iteration radix_tree_iter also holds the slots' bit-mask for one chosen
319 * radix tree tag.
320 */
321struct radix_tree_iter {
322 unsigned long index;
323 unsigned long next_index;
324 unsigned long tags;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700325#ifdef CONFIG_RADIX_TREE_MULTIORDER
326 unsigned int shift;
327#endif
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700328};
329
Ross Zwisler21ef5332016-05-20 17:02:26 -0700330static inline unsigned int iter_shift(struct radix_tree_iter *iter)
331{
332#ifdef CONFIG_RADIX_TREE_MULTIORDER
333 return iter->shift;
334#else
335 return 0;
336#endif
337}
338
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700339#define RADIX_TREE_ITER_TAG_MASK 0x00FF /* tag index in lower byte */
340#define RADIX_TREE_ITER_TAGGED 0x0100 /* lookup tagged slots */
341#define RADIX_TREE_ITER_CONTIG 0x0200 /* stop at first hole */
342
343/**
344 * radix_tree_iter_init - initialize radix tree iterator
345 *
346 * @iter: pointer to iterator state
347 * @start: iteration starting index
348 * Returns: NULL
349 */
350static __always_inline void **
351radix_tree_iter_init(struct radix_tree_iter *iter, unsigned long start)
352{
353 /*
354 * Leave iter->tags uninitialized. radix_tree_next_chunk() will fill it
355 * in the case of a successful tagged chunk lookup. If the lookup was
356 * unsuccessful or non-tagged then nobody cares about ->tags.
357 *
358 * Set index to zero to bypass next_index overflow protection.
359 * See the comment in radix_tree_next_chunk() for details.
360 */
361 iter->index = 0;
362 iter->next_index = start;
363 return NULL;
364}
365
366/**
367 * radix_tree_next_chunk - find next chunk of slots for iteration
368 *
369 * @root: radix tree root
370 * @iter: iterator state
371 * @flags: RADIX_TREE_ITER_* flags and tag index
372 * Returns: pointer to chunk first slot, or NULL if there no more left
373 *
374 * This function looks up the next chunk in the radix tree starting from
375 * @iter->next_index. It returns a pointer to the chunk's first slot.
376 * Also it fills @iter with data about chunk: position in the tree (index),
377 * its end (next_index), and constructs a bit mask for tagged iterating (tags).
378 */
379void **radix_tree_next_chunk(struct radix_tree_root *root,
380 struct radix_tree_iter *iter, unsigned flags);
381
382/**
Matthew Wilcox46437f92016-02-02 16:57:52 -0800383 * radix_tree_iter_retry - retry this chunk of the iteration
384 * @iter: iterator state
385 *
386 * If we iterate over a tree protected only by the RCU lock, a race
387 * against deletion or creation may result in seeing a slot for which
388 * radix_tree_deref_retry() returns true. If so, call this function
389 * and continue the iteration.
390 */
391static inline __must_check
392void **radix_tree_iter_retry(struct radix_tree_iter *iter)
393{
394 iter->next_index = iter->index;
Andrey Ryabinin3cb91852016-07-20 15:45:00 -0700395 iter->tags = 0;
Matthew Wilcox46437f92016-02-02 16:57:52 -0800396 return NULL;
397}
398
Ross Zwisler21ef5332016-05-20 17:02:26 -0700399static inline unsigned long
400__radix_tree_iter_add(struct radix_tree_iter *iter, unsigned long slots)
401{
402 return iter->index + (slots << iter_shift(iter));
403}
404
Matthew Wilcox46437f92016-02-02 16:57:52 -0800405/**
Matthew Wilcox71650922016-03-17 14:22:06 -0700406 * radix_tree_iter_next - resume iterating when the chunk may be invalid
407 * @iter: iterator state
408 *
409 * If the iterator needs to release then reacquire a lock, the chunk may
410 * have been invalidated by an insertion or deletion. Call this function
411 * to continue the iteration from the next index.
412 */
413static inline __must_check
414void **radix_tree_iter_next(struct radix_tree_iter *iter)
415{
Ross Zwisler21ef5332016-05-20 17:02:26 -0700416 iter->next_index = __radix_tree_iter_add(iter, 1);
Matthew Wilcox71650922016-03-17 14:22:06 -0700417 iter->tags = 0;
418 return NULL;
419}
420
421/**
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700422 * radix_tree_chunk_size - get current chunk size
423 *
424 * @iter: pointer to radix tree iterator
425 * Returns: current chunk size
426 */
Konstantin Khlebnikov73204282016-02-05 15:37:01 -0800427static __always_inline long
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700428radix_tree_chunk_size(struct radix_tree_iter *iter)
429{
Ross Zwisler21ef5332016-05-20 17:02:26 -0700430 return (iter->next_index - iter->index) >> iter_shift(iter);
431}
432
Matthew Wilcox4dd6c092016-05-20 17:03:27 -0700433static inline struct radix_tree_node *entry_to_node(void *ptr)
Ross Zwisler21ef5332016-05-20 17:02:26 -0700434{
Matthew Wilcox30ff46cc2016-05-20 17:03:22 -0700435 return (void *)((unsigned long)ptr & ~RADIX_TREE_INTERNAL_NODE);
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700436}
437
438/**
439 * radix_tree_next_slot - find next slot in chunk
440 *
441 * @slot: pointer to current slot
442 * @iter: pointer to interator state
443 * @flags: RADIX_TREE_ITER_*, should be constant
444 * Returns: pointer to next slot, or NULL if there no more left
445 *
446 * This function updates @iter->index in the case of a successful lookup.
447 * For tagged lookup it also eats @iter->tags.
Ross Zwisler915045f2016-10-11 13:51:18 -0700448 *
449 * There are several cases where 'slot' can be passed in as NULL to this
450 * function. These cases result from the use of radix_tree_iter_next() or
451 * radix_tree_iter_retry(). In these cases we don't end up dereferencing
452 * 'slot' because either:
453 * a) we are doing tagged iteration and iter->tags has been set to 0, or
454 * b) we are doing non-tagged iteration, and iter->index and iter->next_index
455 * have been set up so that radix_tree_chunk_size() returns 1 or 0.
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700456 */
457static __always_inline void **
458radix_tree_next_slot(void **slot, struct radix_tree_iter *iter, unsigned flags)
459{
460 if (flags & RADIX_TREE_ITER_TAGGED) {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700461 void *canon = slot;
462
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700463 iter->tags >>= 1;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700464 if (unlikely(!iter->tags))
465 return NULL;
466 while (IS_ENABLED(CONFIG_RADIX_TREE_MULTIORDER) &&
Matthew Wilcoxb194d162016-05-20 17:03:30 -0700467 radix_tree_is_internal_node(slot[1])) {
Matthew Wilcox4dd6c092016-05-20 17:03:27 -0700468 if (entry_to_node(slot[1]) == canon) {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700469 iter->tags >>= 1;
470 iter->index = __radix_tree_iter_add(iter, 1);
471 slot++;
472 continue;
473 }
474 iter->next_index = __radix_tree_iter_add(iter, 1);
475 return NULL;
476 }
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700477 if (likely(iter->tags & 1ul)) {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700478 iter->index = __radix_tree_iter_add(iter, 1);
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700479 return slot + 1;
480 }
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
484 iter->tags >>= offset;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700485 iter->index = __radix_tree_iter_add(iter, offset + 1);
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700486 return slot + offset + 1;
487 }
488 } else {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700489 long count = radix_tree_chunk_size(iter);
490 void *canon = slot;
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
496 if (IS_ENABLED(CONFIG_RADIX_TREE_MULTIORDER) &&
Matthew Wilcoxb194d162016-05-20 17:03:30 -0700497 radix_tree_is_internal_node(*slot)) {
Matthew Wilcox4dd6c092016-05-20 17:03:27 -0700498 if (entry_to_node(*slot) == canon)
Ross Zwisler21ef5332016-05-20 17:02:26 -0700499 continue;
Matthew Wilcox4dd6c092016-05-20 17:03:27 -0700500 iter->next_index = iter->index;
501 break;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700502 }
503
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700504 if (likely(*slot))
505 return slot;
Konstantin Khlebnikovfffaee32012-06-05 21:36:33 +0400506 if (flags & RADIX_TREE_ITER_CONTIG) {
507 /* forbid switching to the next chunk */
508 iter->next_index = 0;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700509 break;
Konstantin Khlebnikovfffaee32012-06-05 21:36:33 +0400510 }
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700511 }
512 }
513 return NULL;
514}
515
516/**
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700517 * radix_tree_for_each_slot - iterate over non-empty slots
518 *
519 * @slot: the void** variable for pointer to slot
520 * @root: the struct radix_tree_root pointer
521 * @iter: the struct radix_tree_iter pointer
522 * @start: iteration starting index
523 *
524 * @slot points to radix tree slot, @iter->index contains its index.
525 */
526#define radix_tree_for_each_slot(slot, root, iter, start) \
527 for (slot = radix_tree_iter_init(iter, start) ; \
528 slot || (slot = radix_tree_next_chunk(root, iter, 0)) ; \
529 slot = radix_tree_next_slot(slot, iter, 0))
530
531/**
532 * radix_tree_for_each_contig - iterate over contiguous slots
533 *
534 * @slot: the void** variable for pointer to slot
535 * @root: the struct radix_tree_root pointer
536 * @iter: the struct radix_tree_iter pointer
537 * @start: iteration starting index
538 *
539 * @slot points to radix tree slot, @iter->index contains its index.
540 */
541#define radix_tree_for_each_contig(slot, root, iter, start) \
542 for (slot = radix_tree_iter_init(iter, start) ; \
543 slot || (slot = radix_tree_next_chunk(root, iter, \
544 RADIX_TREE_ITER_CONTIG)) ; \
545 slot = radix_tree_next_slot(slot, iter, \
546 RADIX_TREE_ITER_CONTIG))
547
548/**
549 * radix_tree_for_each_tagged - iterate over tagged slots
550 *
551 * @slot: the void** variable for pointer to slot
552 * @root: the struct radix_tree_root pointer
553 * @iter: the struct radix_tree_iter pointer
554 * @start: iteration starting index
555 * @tag: tag index
556 *
557 * @slot points to radix tree slot, @iter->index contains its index.
558 */
559#define radix_tree_for_each_tagged(slot, root, iter, start, tag) \
560 for (slot = radix_tree_iter_init(iter, start) ; \
561 slot || (slot = radix_tree_next_chunk(root, iter, \
562 RADIX_TREE_ITER_TAGGED | tag)) ; \
563 slot = radix_tree_next_slot(slot, iter, \
564 RADIX_TREE_ITER_TAGGED))
565
Linus Torvalds1da177e2005-04-16 15:20:36 -0700566#endif /* _LINUX_RADIX_TREE_H */