blob: 05f715cb80620f210475a084ead34a102197090d [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>
Paul Gortmaker187f1882011-11-23 20:12:59 -050025#include <linux/bug.h>
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080026#include <linux/kernel.h>
Matthew Wilcox15f2e88d2016-12-16 14:46:09 -050027#include <linux/list.h>
28#include <linux/preempt.h>
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080029#include <linux/rcupdate.h>
Matthew Wilcox15f2e88d2016-12-16 14:46:09 -050030#include <linux/spinlock.h>
31#include <linux/types.h>
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080032
33/*
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070034 * The bottom two bits of the slot determine how the remaining bits in the
35 * slot are interpreted:
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080036 *
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070037 * 00 - data pointer
38 * 01 - internal entry
39 * 10 - exceptional entry
Ross Zwislera23216a2016-08-02 14:04:19 -070040 * 11 - this bit combination is currently unused/reserved
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070041 *
42 * The internal entry may be a pointer to the next level in the tree, a
43 * sibling entry, or an indicator that the entry in this slot has been moved
44 * to another location in the tree and the lookup should be restarted. While
45 * NULL fits the 'data pointer' pattern, it means that there is no entry in
46 * the tree for this index (no matter what level of the tree it is found at).
47 * This means that you cannot store NULL in the tree as a value for the index.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080048 */
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070049#define RADIX_TREE_ENTRY_MASK 3UL
50#define RADIX_TREE_INTERNAL_NODE 1UL
Matthew Wilcox30ff46cc2016-05-20 17:03:22 -070051
Hugh Dickins63286502011-08-03 16:21:18 -070052/*
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070053 * Most users of the radix tree store pointers but shmem/tmpfs stores swap
54 * entries in the same tree. They are marked as exceptional entries to
55 * distinguish them from pointers to struct page.
Hugh Dickins63286502011-08-03 16:21:18 -070056 * EXCEPTIONAL_ENTRY tests the bit, EXCEPTIONAL_SHIFT shifts content past it.
57 */
58#define RADIX_TREE_EXCEPTIONAL_ENTRY 2
59#define RADIX_TREE_EXCEPTIONAL_SHIFT 2
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080060
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070061static inline bool radix_tree_is_internal_node(void *ptr)
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080062{
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070063 return ((unsigned long)ptr & RADIX_TREE_ENTRY_MASK) ==
64 RADIX_TREE_INTERNAL_NODE;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080065}
66
67/*** radix-tree API starts here ***/
Linus Torvalds1da177e2005-04-16 15:20:36 -070068
Jan Karaf446daae2010-08-09 17:19:12 -070069#define RADIX_TREE_MAX_TAGS 3
Nick Piggin612d6c12006-06-23 02:03:22 -070070
Ross Zwisler97d778b2016-05-20 17:01:42 -070071#ifndef RADIX_TREE_MAP_SHIFT
Johannes Weiner139e5612014-04-03 14:47:54 -070072#define RADIX_TREE_MAP_SHIFT (CONFIG_BASE_SMALL ? 4 : 6)
Johannes Weiner139e5612014-04-03 14:47:54 -070073#endif
74
75#define RADIX_TREE_MAP_SIZE (1UL << RADIX_TREE_MAP_SHIFT)
76#define RADIX_TREE_MAP_MASK (RADIX_TREE_MAP_SIZE-1)
77
78#define RADIX_TREE_TAG_LONGS \
79 ((RADIX_TREE_MAP_SIZE + BITS_PER_LONG - 1) / BITS_PER_LONG)
80
Johannes Weiner139e5612014-04-03 14:47:54 -070081#define RADIX_TREE_INDEX_BITS (8 /* CHAR_BIT */ * sizeof(unsigned long))
82#define RADIX_TREE_MAX_PATH (DIV_ROUND_UP(RADIX_TREE_INDEX_BITS, \
83 RADIX_TREE_MAP_SHIFT))
84
Matthew Wilcoxe157b552016-12-14 15:09:01 -080085/*
86 * @count is the count of every non-NULL element in the ->slots array
87 * whether that is an exceptional entry, a retry entry, a user pointer,
88 * a sibling entry or a pointer to the next level of the tree.
89 * @exceptional is the count of every element in ->slots which is
90 * either radix_tree_exceptional_entry() or is a sibling entry for an
91 * exceptional entry.
92 */
Johannes Weiner449dd692014-04-03 14:47:56 -070093struct radix_tree_node {
Johannes Weinerf7942432016-12-12 16:43:41 -080094 unsigned char shift; /* Bits remaining in each slot */
95 unsigned char offset; /* Slot offset in parent */
Johannes Weiner14b46872016-12-12 16:43:52 -080096 unsigned char count; /* Total entry count */
Johannes Weinerf7942432016-12-12 16:43:41 -080097 unsigned char exceptional; /* Exceptional entry count */
Matthew Wilcox91d9c052016-12-14 15:08:34 -080098 struct radix_tree_node *parent; /* Used when ascending tree */
99 void *private_data; /* For tree user */
Johannes Weiner449dd692014-04-03 14:47:56 -0700100 union {
Matthew Wilcox91d9c052016-12-14 15:08:34 -0800101 struct list_head private_list; /* For tree user */
102 struct rcu_head rcu_head; /* Used when freeing node */
Johannes Weiner449dd692014-04-03 14:47:56 -0700103 };
Johannes Weiner449dd692014-04-03 14:47:56 -0700104 void __rcu *slots[RADIX_TREE_MAP_SIZE];
105 unsigned long tags[RADIX_TREE_MAX_TAGS][RADIX_TREE_TAG_LONGS];
106};
107
Nick Piggin612d6c12006-06-23 02:03:22 -0700108/* root tags are stored in gfp_mask, shifted by __GFP_BITS_SHIFT */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109struct radix_tree_root {
Al Virofd4f2df2005-10-21 03:18:50 -0400110 gfp_t gfp_mask;
Arnd Bergmanna1115572010-02-25 23:43:52 +0100111 struct radix_tree_node __rcu *rnode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700112};
113
114#define RADIX_TREE_INIT(mask) { \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700115 .gfp_mask = (mask), \
116 .rnode = NULL, \
117}
118
119#define RADIX_TREE(name, mask) \
120 struct radix_tree_root name = RADIX_TREE_INIT(mask)
121
122#define INIT_RADIX_TREE(root, mask) \
123do { \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700124 (root)->gfp_mask = (mask); \
125 (root)->rnode = NULL; \
126} while (0)
127
Matthew Wilcox35534c82016-12-19 17:43:19 -0500128static inline bool radix_tree_empty(const struct radix_tree_root *root)
Matthew Wilcoxe9256ef2016-05-20 17:01:33 -0700129{
130 return root->rnode == NULL;
131}
132
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800133/**
Matthew Wilcox268f42d2016-12-14 15:08:55 -0800134 * struct radix_tree_iter - radix tree iterator state
135 *
136 * @index: index of current slot
137 * @next_index: one beyond the last index for this chunk
138 * @tags: bit-mask for tag-iterating
139 * @node: node that contains current slot
140 * @shift: shift for the node that holds our slots
141 *
142 * This radix tree iterator works in terms of "chunks" of slots. A chunk is a
143 * subinterval of slots contained within one radix tree leaf node. It is
144 * described by a pointer to its first slot and a struct radix_tree_iter
145 * which holds the chunk's position in the tree and its size. For tagged
146 * iteration radix_tree_iter also holds the slots' bit-mask for one chosen
147 * radix tree tag.
148 */
149struct radix_tree_iter {
150 unsigned long index;
151 unsigned long next_index;
152 unsigned long tags;
153 struct radix_tree_node *node;
154#ifdef CONFIG_RADIX_TREE_MULTIORDER
155 unsigned int shift;
156#endif
157};
158
159static inline unsigned int iter_shift(const struct radix_tree_iter *iter)
160{
161#ifdef CONFIG_RADIX_TREE_MULTIORDER
162 return iter->shift;
163#else
164 return 0;
165#endif
166}
167
168/**
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800169 * Radix-tree synchronization
170 *
171 * The radix-tree API requires that users provide all synchronisation (with
172 * specific exceptions, noted below).
173 *
174 * Synchronization of access to the data items being stored in the tree, and
175 * management of their lifetimes must be completely managed by API users.
176 *
177 * For API usage, in general,
Michael Opdenacker59c51592007-05-09 08:57:56 +0200178 * - any function _modifying_ the tree or tags (inserting or deleting
Tim Peppereb8dc5e2008-02-03 16:12:47 +0200179 * items, setting or clearing tags) must exclude other modifications, and
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800180 * exclude any functions reading the tree.
Michael Opdenacker59c51592007-05-09 08:57:56 +0200181 * - any function _reading_ the tree or tags (looking up items or tags,
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800182 * gang lookups) must exclude modifications to the tree, but may occur
183 * concurrently with other readers.
184 *
185 * The notable exceptions to this rule are the following functions:
Johannes Weiner139e5612014-04-03 14:47:54 -0700186 * __radix_tree_lookup
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800187 * radix_tree_lookup
Nick Piggin47feff22008-07-25 19:45:29 -0700188 * radix_tree_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800189 * radix_tree_tag_get
190 * radix_tree_gang_lookup
Nick Piggin47feff22008-07-25 19:45:29 -0700191 * radix_tree_gang_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800192 * radix_tree_gang_lookup_tag
Nick Piggin47feff22008-07-25 19:45:29 -0700193 * radix_tree_gang_lookup_tag_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800194 * radix_tree_tagged
195 *
Adam Barth243c2132016-01-20 14:59:09 -0800196 * The first 8 functions are able to be called locklessly, using RCU. The
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800197 * caller must ensure calls to these functions are made within rcu_read_lock()
198 * regions. Other readers (lock-free or otherwise) and modifications may be
199 * running concurrently.
200 *
201 * It is still required that the caller manage the synchronization and lifetimes
202 * of the items. So if RCU lock-free lookups are used, typically this would mean
203 * that the items have their own locks, or are amenable to lock-free access; and
204 * that the items are freed by RCU (or only freed after having been deleted from
205 * the radix tree *and* a synchronize_rcu() grace period).
206 *
207 * (Note, rcu_assign_pointer and rcu_dereference are not needed to control
208 * access to data items when inserting into or looking up from the radix tree)
209 *
David Howellsce826532010-04-06 22:36:20 +0100210 * Note that the value returned by radix_tree_tag_get() may not be relied upon
211 * if only the RCU read lock is held. Functions to set/clear tags and to
212 * delete nodes running concurrently with it may affect its result such that
213 * two consecutive reads in the same locked section may return different
214 * values. If reliability is required, modification functions must also be
215 * excluded from concurrency.
216 *
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800217 * radix_tree_tagged is able to be called without locking or RCU.
218 */
219
220/**
221 * radix_tree_deref_slot - dereference a slot
222 * @pslot: pointer to slot, returned by radix_tree_lookup_slot
223 * Returns: item that was stored in that slot with any direct pointer flag
224 * removed.
225 *
226 * For use with radix_tree_lookup_slot(). Caller must hold tree at least read
Nick Piggin27d20fd2010-11-11 14:05:19 -0800227 * locked across slot lookup and dereference. Not required if write lock is
228 * held (ie. items cannot be concurrently inserted).
229 *
230 * radix_tree_deref_retry must be used to confirm validity of the pointer if
231 * only the read lock is held.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800232 */
233static inline void *radix_tree_deref_slot(void **pslot)
234{
Nick Piggin27d20fd2010-11-11 14:05:19 -0800235 return rcu_dereference(*pslot);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800236}
Nick Piggin27d20fd2010-11-11 14:05:19 -0800237
238/**
Mel Gorman29c1f672011-01-13 15:47:21 -0800239 * radix_tree_deref_slot_protected - dereference a slot without RCU lock but with tree lock held
240 * @pslot: pointer to slot, returned by radix_tree_lookup_slot
241 * Returns: item that was stored in that slot with any direct pointer flag
242 * removed.
243 *
244 * Similar to radix_tree_deref_slot but only used during migration when a pages
245 * mapping is being moved. The caller does not hold the RCU read lock but it
246 * must hold the tree lock to prevent parallel updates.
247 */
248static inline void *radix_tree_deref_slot_protected(void **pslot,
249 spinlock_t *treelock)
250{
251 return rcu_dereference_protected(*pslot, lockdep_is_held(treelock));
252}
253
254/**
Nick Piggin27d20fd2010-11-11 14:05:19 -0800255 * radix_tree_deref_retry - check radix_tree_deref_slot
256 * @arg: pointer returned by radix_tree_deref_slot
257 * Returns: 0 if retry is not required, otherwise retry is required
258 *
259 * radix_tree_deref_retry must be used with radix_tree_deref_slot.
260 */
261static inline int radix_tree_deref_retry(void *arg)
262{
Matthew Wilcoxb194d162016-05-20 17:03:30 -0700263 return unlikely(radix_tree_is_internal_node(arg));
Nick Piggin27d20fd2010-11-11 14:05:19 -0800264}
265
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800266/**
Hugh Dickins63286502011-08-03 16:21:18 -0700267 * radix_tree_exceptional_entry - radix_tree_deref_slot gave exceptional entry?
268 * @arg: value returned by radix_tree_deref_slot
269 * Returns: 0 if well-aligned pointer, non-0 if exceptional entry.
270 */
271static inline int radix_tree_exceptional_entry(void *arg)
272{
273 /* Not unlikely because radix_tree_exception often tested first */
274 return (unsigned long)arg & RADIX_TREE_EXCEPTIONAL_ENTRY;
275}
276
277/**
278 * radix_tree_exception - radix_tree_deref_slot returned either exception?
279 * @arg: value returned by radix_tree_deref_slot
280 * Returns: 0 if well-aligned pointer, non-0 if either kind of exception.
281 */
282static inline int radix_tree_exception(void *arg)
283{
Matthew Wilcox3bcadd62016-05-20 17:03:54 -0700284 return unlikely((unsigned long)arg & RADIX_TREE_ENTRY_MASK);
Hugh Dickins63286502011-08-03 16:21:18 -0700285}
286
Johannes Weiner139e5612014-04-03 14:47:54 -0700287int __radix_tree_create(struct radix_tree_root *root, unsigned long index,
Matthew Wilcoxe6145232016-03-17 14:21:54 -0700288 unsigned order, struct radix_tree_node **nodep,
289 void ***slotp);
290int __radix_tree_insert(struct radix_tree_root *, unsigned long index,
291 unsigned order, void *);
292static inline int radix_tree_insert(struct radix_tree_root *root,
293 unsigned long index, void *entry)
294{
295 return __radix_tree_insert(root, index, 0, entry);
296}
Matthew Wilcox35534c82016-12-19 17:43:19 -0500297void *__radix_tree_lookup(const struct radix_tree_root *, unsigned long index,
Johannes Weiner139e5612014-04-03 14:47:54 -0700298 struct radix_tree_node **nodep, void ***slotp);
Matthew Wilcox35534c82016-12-19 17:43:19 -0500299void *radix_tree_lookup(const struct radix_tree_root *, unsigned long);
300void **radix_tree_lookup_slot(const struct radix_tree_root *, unsigned long);
Johannes Weiner4d693d02016-12-12 16:43:49 -0800301typedef void (*radix_tree_update_node_t)(struct radix_tree_node *, void *);
Johannes Weinerf7942432016-12-12 16:43:41 -0800302void __radix_tree_replace(struct radix_tree_root *root,
303 struct radix_tree_node *node,
Johannes Weiner4d693d02016-12-12 16:43:49 -0800304 void **slot, void *item,
305 radix_tree_update_node_t update_node, void *private);
Matthew Wilcoxe157b552016-12-14 15:09:01 -0800306void radix_tree_iter_replace(struct radix_tree_root *,
307 const struct radix_tree_iter *, void **slot, void *item);
Johannes Weiner6d75f362016-12-12 16:43:43 -0800308void radix_tree_replace_slot(struct radix_tree_root *root,
309 void **slot, void *item);
Johannes Weiner14b46872016-12-12 16:43:52 -0800310void __radix_tree_delete_node(struct radix_tree_root *root,
Johannes Weinerea07b862017-01-06 19:21:43 -0500311 struct radix_tree_node *node,
312 radix_tree_update_node_t update_node,
313 void *private);
Matthew Wilcox0ac398e2017-01-28 09:56:22 -0500314void radix_tree_iter_delete(struct radix_tree_root *,
315 struct radix_tree_iter *iter, void **slot);
Johannes Weiner53c59f22014-04-03 14:47:39 -0700316void *radix_tree_delete_item(struct radix_tree_root *, unsigned long, void *);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700317void *radix_tree_delete(struct radix_tree_root *, unsigned long);
Johannes Weinerd3798ae2016-10-04 22:02:08 +0200318void radix_tree_clear_tags(struct radix_tree_root *root,
319 struct radix_tree_node *node,
320 void **slot);
Matthew Wilcox35534c82016-12-19 17:43:19 -0500321unsigned int radix_tree_gang_lookup(const struct radix_tree_root *,
Matthew Wilcoxd604c322016-05-20 17:03:45 -0700322 void **results, unsigned long first_index,
323 unsigned int max_items);
Matthew Wilcox35534c82016-12-19 17:43:19 -0500324unsigned int radix_tree_gang_lookup_slot(const struct radix_tree_root *,
Hugh Dickins63286502011-08-03 16:21:18 -0700325 void ***results, unsigned long *indices,
Nick Piggin47feff22008-07-25 19:45:29 -0700326 unsigned long first_index, unsigned int max_items);
Al Virodd0fc662005-10-07 07:46:04 +0100327int radix_tree_preload(gfp_t gfp_mask);
Jan Kara5e4c0d972013-09-11 14:26:05 -0700328int radix_tree_maybe_preload(gfp_t gfp_mask);
Kirill A. Shutemovc78c66d2016-07-26 15:26:02 -0700329int radix_tree_maybe_preload_order(gfp_t gfp_mask, int order);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700330void radix_tree_init(void);
331void *radix_tree_tag_set(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800332 unsigned long index, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700333void *radix_tree_tag_clear(struct radix_tree_root *root,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800334 unsigned long index, unsigned int tag);
Matthew Wilcox35534c82016-12-19 17:43:19 -0500335int radix_tree_tag_get(const struct radix_tree_root *,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800336 unsigned long index, unsigned int tag);
Matthew Wilcox30b888b2017-01-28 09:55:20 -0500337void radix_tree_iter_tag_set(struct radix_tree_root *,
338 const struct radix_tree_iter *iter, unsigned int tag);
339void radix_tree_iter_tag_clear(struct radix_tree_root *,
Matthew Wilcox268f42d2016-12-14 15:08:55 -0800340 const struct radix_tree_iter *iter, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700341unsigned int
Matthew Wilcox35534c82016-12-19 17:43:19 -0500342radix_tree_gang_lookup_tag(const struct radix_tree_root *, void **results,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800343 unsigned long first_index, unsigned int max_items,
344 unsigned int tag);
Nick Piggin47feff22008-07-25 19:45:29 -0700345unsigned int
Matthew Wilcox35534c82016-12-19 17:43:19 -0500346radix_tree_gang_lookup_tag_slot(const struct radix_tree_root *, void ***results,
Nick Piggin47feff22008-07-25 19:45:29 -0700347 unsigned long first_index, unsigned int max_items,
348 unsigned int tag);
Matthew Wilcox35534c82016-12-19 17:43:19 -0500349int radix_tree_tagged(const struct radix_tree_root *root, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700350
351static inline void radix_tree_preload_end(void)
352{
353 preempt_enable();
354}
355
Matthew Wilcox27916532016-12-14 15:09:04 -0800356int radix_tree_split_preload(unsigned old_order, unsigned new_order, gfp_t);
Matthew Wilcoxe157b552016-12-14 15:09:01 -0800357int radix_tree_split(struct radix_tree_root *, unsigned long index,
358 unsigned new_order);
Matthew Wilcox175542f2016-12-14 15:08:58 -0800359int radix_tree_join(struct radix_tree_root *, unsigned long index,
360 unsigned new_order, void *);
361
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700362#define RADIX_TREE_ITER_TAG_MASK 0x00FF /* tag index in lower byte */
363#define RADIX_TREE_ITER_TAGGED 0x0100 /* lookup tagged slots */
364#define RADIX_TREE_ITER_CONTIG 0x0200 /* stop at first hole */
365
366/**
367 * radix_tree_iter_init - initialize radix tree iterator
368 *
369 * @iter: pointer to iterator state
370 * @start: iteration starting index
371 * Returns: NULL
372 */
373static __always_inline void **
374radix_tree_iter_init(struct radix_tree_iter *iter, unsigned long start)
375{
376 /*
377 * Leave iter->tags uninitialized. radix_tree_next_chunk() will fill it
378 * in the case of a successful tagged chunk lookup. If the lookup was
379 * unsuccessful or non-tagged then nobody cares about ->tags.
380 *
381 * Set index to zero to bypass next_index overflow protection.
382 * See the comment in radix_tree_next_chunk() for details.
383 */
384 iter->index = 0;
385 iter->next_index = start;
386 return NULL;
387}
388
389/**
390 * radix_tree_next_chunk - find next chunk of slots for iteration
391 *
392 * @root: radix tree root
393 * @iter: iterator state
394 * @flags: RADIX_TREE_ITER_* flags and tag index
395 * Returns: pointer to chunk first slot, or NULL if there no more left
396 *
397 * This function looks up the next chunk in the radix tree starting from
398 * @iter->next_index. It returns a pointer to the chunk's first slot.
399 * Also it fills @iter with data about chunk: position in the tree (index),
400 * its end (next_index), and constructs a bit mask for tagged iterating (tags).
401 */
Matthew Wilcox35534c82016-12-19 17:43:19 -0500402void **radix_tree_next_chunk(const struct radix_tree_root *,
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700403 struct radix_tree_iter *iter, unsigned flags);
404
405/**
Matthew Wilcox46437f92016-02-02 16:57:52 -0800406 * radix_tree_iter_retry - retry this chunk of the iteration
407 * @iter: iterator state
408 *
409 * If we iterate over a tree protected only by the RCU lock, a race
410 * against deletion or creation may result in seeing a slot for which
411 * radix_tree_deref_retry() returns true. If so, call this function
412 * and continue the iteration.
413 */
414static inline __must_check
415void **radix_tree_iter_retry(struct radix_tree_iter *iter)
416{
417 iter->next_index = iter->index;
Andrey Ryabinin3cb91852016-07-20 15:45:00 -0700418 iter->tags = 0;
Matthew Wilcox46437f92016-02-02 16:57:52 -0800419 return NULL;
420}
421
Ross Zwisler21ef5332016-05-20 17:02:26 -0700422static inline unsigned long
423__radix_tree_iter_add(struct radix_tree_iter *iter, unsigned long slots)
424{
425 return iter->index + (slots << iter_shift(iter));
426}
427
Matthew Wilcox46437f92016-02-02 16:57:52 -0800428/**
Matthew Wilcox148deab2016-12-14 15:08:49 -0800429 * radix_tree_iter_resume - resume iterating when the chunk may be invalid
430 * @slot: pointer to current slot
431 * @iter: iterator state
432 * Returns: New slot pointer
Matthew Wilcox71650922016-03-17 14:22:06 -0700433 *
434 * If the iterator needs to release then reacquire a lock, the chunk may
435 * have been invalidated by an insertion or deletion. Call this function
Matthew Wilcox148deab2016-12-14 15:08:49 -0800436 * before releasing the lock to continue the iteration from the next index.
Matthew Wilcox71650922016-03-17 14:22:06 -0700437 */
Matthew Wilcox148deab2016-12-14 15:08:49 -0800438void **__must_check radix_tree_iter_resume(void **slot,
439 struct radix_tree_iter *iter);
Matthew Wilcox71650922016-03-17 14:22:06 -0700440
441/**
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700442 * radix_tree_chunk_size - get current chunk size
443 *
444 * @iter: pointer to radix tree iterator
445 * Returns: current chunk size
446 */
Konstantin Khlebnikov73204282016-02-05 15:37:01 -0800447static __always_inline long
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700448radix_tree_chunk_size(struct radix_tree_iter *iter)
449{
Ross Zwisler21ef5332016-05-20 17:02:26 -0700450 return (iter->next_index - iter->index) >> iter_shift(iter);
451}
452
Matthew Wilcox148deab2016-12-14 15:08:49 -0800453#ifdef CONFIG_RADIX_TREE_MULTIORDER
454void ** __radix_tree_next_slot(void **slot, struct radix_tree_iter *iter,
455 unsigned flags);
456#else
457/* Can't happen without sibling entries, but the compiler can't tell that */
458static inline void ** __radix_tree_next_slot(void **slot,
459 struct radix_tree_iter *iter, unsigned flags)
Ross Zwisler21ef5332016-05-20 17:02:26 -0700460{
Matthew Wilcox148deab2016-12-14 15:08:49 -0800461 return slot;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700462}
Matthew Wilcox148deab2016-12-14 15:08:49 -0800463#endif
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700464
465/**
466 * radix_tree_next_slot - find next slot in chunk
467 *
468 * @slot: pointer to current slot
469 * @iter: pointer to interator state
470 * @flags: RADIX_TREE_ITER_*, should be constant
471 * Returns: pointer to next slot, or NULL if there no more left
472 *
473 * This function updates @iter->index in the case of a successful lookup.
474 * For tagged lookup it also eats @iter->tags.
Ross Zwisler915045f2016-10-11 13:51:18 -0700475 *
476 * There are several cases where 'slot' can be passed in as NULL to this
Matthew Wilcox148deab2016-12-14 15:08:49 -0800477 * function. These cases result from the use of radix_tree_iter_resume() or
Ross Zwisler915045f2016-10-11 13:51:18 -0700478 * radix_tree_iter_retry(). In these cases we don't end up dereferencing
479 * 'slot' because either:
480 * a) we are doing tagged iteration and iter->tags has been set to 0, or
481 * b) we are doing non-tagged iteration, and iter->index and iter->next_index
482 * have been set up so that radix_tree_chunk_size() returns 1 or 0.
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700483 */
484static __always_inline void **
485radix_tree_next_slot(void **slot, struct radix_tree_iter *iter, unsigned flags)
486{
487 if (flags & RADIX_TREE_ITER_TAGGED) {
488 iter->tags >>= 1;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700489 if (unlikely(!iter->tags))
490 return NULL;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700491 if (likely(iter->tags & 1ul)) {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700492 iter->index = __radix_tree_iter_add(iter, 1);
Matthew Wilcox148deab2016-12-14 15:08:49 -0800493 slot++;
494 goto found;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700495 }
Ross Zwisler21ef5332016-05-20 17:02:26 -0700496 if (!(flags & RADIX_TREE_ITER_CONTIG)) {
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700497 unsigned offset = __ffs(iter->tags);
498
Matthew Wilcox148deab2016-12-14 15:08:49 -0800499 iter->tags >>= offset++;
500 iter->index = __radix_tree_iter_add(iter, offset);
501 slot += offset;
502 goto found;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700503 }
504 } else {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700505 long count = radix_tree_chunk_size(iter);
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700506
Ross Zwisler21ef5332016-05-20 17:02:26 -0700507 while (--count > 0) {
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700508 slot++;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700509 iter->index = __radix_tree_iter_add(iter, 1);
510
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700511 if (likely(*slot))
Matthew Wilcox148deab2016-12-14 15:08:49 -0800512 goto found;
Konstantin Khlebnikovfffaee32012-06-05 21:36:33 +0400513 if (flags & RADIX_TREE_ITER_CONTIG) {
514 /* forbid switching to the next chunk */
515 iter->next_index = 0;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700516 break;
Konstantin Khlebnikovfffaee32012-06-05 21:36:33 +0400517 }
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700518 }
519 }
520 return NULL;
Matthew Wilcox148deab2016-12-14 15:08:49 -0800521
522 found:
523 if (unlikely(radix_tree_is_internal_node(*slot)))
524 return __radix_tree_next_slot(slot, iter, flags);
525 return slot;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700526}
527
528/**
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700529 * radix_tree_for_each_slot - iterate over non-empty 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_slot(slot, root, iter, start) \
539 for (slot = radix_tree_iter_init(iter, start) ; \
540 slot || (slot = radix_tree_next_chunk(root, iter, 0)) ; \
541 slot = radix_tree_next_slot(slot, iter, 0))
542
543/**
544 * radix_tree_for_each_contig - iterate over contiguous slots
545 *
546 * @slot: the void** variable for pointer to slot
547 * @root: the struct radix_tree_root pointer
548 * @iter: the struct radix_tree_iter pointer
549 * @start: iteration starting index
550 *
551 * @slot points to radix tree slot, @iter->index contains its index.
552 */
553#define radix_tree_for_each_contig(slot, root, iter, start) \
554 for (slot = radix_tree_iter_init(iter, start) ; \
555 slot || (slot = radix_tree_next_chunk(root, iter, \
556 RADIX_TREE_ITER_CONTIG)) ; \
557 slot = radix_tree_next_slot(slot, iter, \
558 RADIX_TREE_ITER_CONTIG))
559
560/**
561 * radix_tree_for_each_tagged - iterate over tagged slots
562 *
563 * @slot: the void** variable for pointer to slot
564 * @root: the struct radix_tree_root pointer
565 * @iter: the struct radix_tree_iter pointer
566 * @start: iteration starting index
567 * @tag: tag index
568 *
569 * @slot points to radix tree slot, @iter->index contains its index.
570 */
571#define radix_tree_for_each_tagged(slot, root, iter, start, tag) \
572 for (slot = radix_tree_iter_init(iter, start) ; \
573 slot || (slot = radix_tree_next_chunk(root, iter, \
574 RADIX_TREE_ITER_TAGGED | tag)) ; \
575 slot = radix_tree_next_slot(slot, iter, \
Matthew Wilcox148deab2016-12-14 15:08:49 -0800576 RADIX_TREE_ITER_TAGGED | tag))
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700577
Linus Torvalds1da177e2005-04-16 15:20:36 -0700578#endif /* _LINUX_RADIX_TREE_H */