blob: 34149e8b5f73fe6cd821ba58c5196974d0adee2e [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>
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080031
32/*
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070033 * The bottom two bits of the slot determine how the remaining bits in the
34 * slot are interpreted:
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080035 *
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070036 * 00 - data pointer
37 * 01 - internal entry
38 * 10 - exceptional entry
Ross Zwislera23216a2016-08-02 14:04:19 -070039 * 11 - this bit combination is currently unused/reserved
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070040 *
41 * The internal entry may be a pointer to the next level in the tree, a
42 * sibling entry, or an indicator that the entry in this slot has been moved
43 * to another location in the tree and the lookup should be restarted. While
44 * NULL fits the 'data pointer' pattern, it means that there is no entry in
45 * the tree for this index (no matter what level of the tree it is found at).
46 * This means that you cannot store NULL in the tree as a value for the index.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080047 */
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070048#define RADIX_TREE_ENTRY_MASK 3UL
49#define RADIX_TREE_INTERNAL_NODE 1UL
Matthew Wilcox30ff46cc2016-05-20 17:03:22 -070050
Hugh Dickins63286502011-08-03 16:21:18 -070051/*
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070052 * Most users of the radix tree store pointers but shmem/tmpfs stores swap
53 * entries in the same tree. They are marked as exceptional entries to
54 * distinguish them from pointers to struct page.
Hugh Dickins63286502011-08-03 16:21:18 -070055 * EXCEPTIONAL_ENTRY tests the bit, EXCEPTIONAL_SHIFT shifts content past it.
56 */
57#define RADIX_TREE_EXCEPTIONAL_ENTRY 2
58#define RADIX_TREE_EXCEPTIONAL_SHIFT 2
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080059
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070060static inline bool radix_tree_is_internal_node(void *ptr)
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080061{
Matthew Wilcox3bcadd62016-05-20 17:03:54 -070062 return ((unsigned long)ptr & RADIX_TREE_ENTRY_MASK) ==
63 RADIX_TREE_INTERNAL_NODE;
Nick Piggin7cf9c2c2006-12-06 20:33:44 -080064}
65
66/*** radix-tree API starts here ***/
Linus Torvalds1da177e2005-04-16 15:20:36 -070067
Jan Karaf446daae2010-08-09 17:19:12 -070068#define RADIX_TREE_MAX_TAGS 3
Nick Piggin612d6c12006-06-23 02:03:22 -070069
Ross Zwisler97d778b2016-05-20 17:01:42 -070070#ifndef RADIX_TREE_MAP_SHIFT
Johannes Weiner139e5612014-04-03 14:47:54 -070071#define RADIX_TREE_MAP_SHIFT (CONFIG_BASE_SMALL ? 4 : 6)
Johannes Weiner139e5612014-04-03 14:47:54 -070072#endif
73
74#define RADIX_TREE_MAP_SIZE (1UL << RADIX_TREE_MAP_SHIFT)
75#define RADIX_TREE_MAP_MASK (RADIX_TREE_MAP_SIZE-1)
76
77#define RADIX_TREE_TAG_LONGS \
78 ((RADIX_TREE_MAP_SIZE + BITS_PER_LONG - 1) / BITS_PER_LONG)
79
Johannes Weiner139e5612014-04-03 14:47:54 -070080#define RADIX_TREE_INDEX_BITS (8 /* CHAR_BIT */ * sizeof(unsigned long))
81#define RADIX_TREE_MAX_PATH (DIV_ROUND_UP(RADIX_TREE_INDEX_BITS, \
82 RADIX_TREE_MAP_SHIFT))
83
Matthew Wilcoxe157b552016-12-14 15:09:01 -080084/*
85 * @count is the count of every non-NULL element in the ->slots array
86 * whether that is an exceptional entry, a retry entry, a user pointer,
87 * a sibling entry or a pointer to the next level of the tree.
88 * @exceptional is the count of every element in ->slots which is
89 * either radix_tree_exceptional_entry() or is a sibling entry for an
90 * exceptional entry.
91 */
Johannes Weiner449dd692014-04-03 14:47:56 -070092struct radix_tree_node {
Johannes Weinerf7942432016-12-12 16:43:41 -080093 unsigned char shift; /* Bits remaining in each slot */
94 unsigned char offset; /* Slot offset in parent */
Johannes Weiner14b46872016-12-12 16:43:52 -080095 unsigned char count; /* Total entry count */
Johannes Weinerf7942432016-12-12 16:43:41 -080096 unsigned char exceptional; /* Exceptional entry count */
Matthew Wilcox91d9c052016-12-14 15:08:34 -080097 struct radix_tree_node *parent; /* Used when ascending tree */
Matthew Wilcoxd58275b2017-01-16 17:10:21 -050098 struct radix_tree_root *root; /* The tree we belong to */
Johannes Weiner449dd692014-04-03 14:47:56 -070099 union {
Matthew Wilcox91d9c052016-12-14 15:08:34 -0800100 struct list_head private_list; /* For tree user */
101 struct rcu_head rcu_head; /* Used when freeing node */
Johannes Weiner449dd692014-04-03 14:47:56 -0700102 };
Johannes Weiner449dd692014-04-03 14:47:56 -0700103 void __rcu *slots[RADIX_TREE_MAP_SIZE];
104 unsigned long tags[RADIX_TREE_MAX_TAGS][RADIX_TREE_TAG_LONGS];
105};
106
Matthew Wilcoxfa290cd2018-04-10 16:36:28 -0700107/* The IDR tag is stored in the low bits of the GFP flags */
108#define ROOT_IS_IDR ((__force gfp_t)4)
109/* The top bits of gfp_mask are used to store the root tags */
110#define ROOT_TAG_SHIFT (__GFP_BITS_SHIFT)
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500111
Linus Torvalds1da177e2005-04-16 15:20:36 -0700112struct radix_tree_root {
Matthew Wilcoxf6bb2a22018-04-10 16:36:52 -0700113 spinlock_t xa_lock;
Al Virofd4f2df2005-10-21 03:18:50 -0400114 gfp_t gfp_mask;
Arnd Bergmanna1115572010-02-25 23:43:52 +0100115 struct radix_tree_node __rcu *rnode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700116};
117
Matthew Wilcoxf6bb2a22018-04-10 16:36:52 -0700118#define RADIX_TREE_INIT(name, mask) { \
119 .xa_lock = __SPIN_LOCK_UNLOCKED(name.xa_lock), \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120 .gfp_mask = (mask), \
121 .rnode = NULL, \
122}
123
124#define RADIX_TREE(name, mask) \
Matthew Wilcoxf6bb2a22018-04-10 16:36:52 -0700125 struct radix_tree_root name = RADIX_TREE_INIT(name, mask)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126
127#define INIT_RADIX_TREE(root, mask) \
128do { \
Matthew Wilcoxf6bb2a22018-04-10 16:36:52 -0700129 spin_lock_init(&(root)->xa_lock); \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130 (root)->gfp_mask = (mask); \
131 (root)->rnode = NULL; \
132} while (0)
133
Matthew Wilcox35534c82016-12-19 17:43:19 -0500134static inline bool radix_tree_empty(const struct radix_tree_root *root)
Matthew Wilcoxe9256ef2016-05-20 17:01:33 -0700135{
136 return root->rnode == NULL;
137}
138
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800139/**
Matthew Wilcox268f42d2016-12-14 15:08:55 -0800140 * struct radix_tree_iter - radix tree iterator state
141 *
142 * @index: index of current slot
143 * @next_index: one beyond the last index for this chunk
144 * @tags: bit-mask for tag-iterating
145 * @node: node that contains current slot
146 * @shift: shift for the node that holds our slots
147 *
148 * This radix tree iterator works in terms of "chunks" of slots. A chunk is a
149 * subinterval of slots contained within one radix tree leaf node. It is
150 * described by a pointer to its first slot and a struct radix_tree_iter
151 * which holds the chunk's position in the tree and its size. For tagged
152 * iteration radix_tree_iter also holds the slots' bit-mask for one chosen
153 * radix tree tag.
154 */
155struct radix_tree_iter {
156 unsigned long index;
157 unsigned long next_index;
158 unsigned long tags;
159 struct radix_tree_node *node;
160#ifdef CONFIG_RADIX_TREE_MULTIORDER
161 unsigned int shift;
162#endif
163};
164
165static inline unsigned int iter_shift(const struct radix_tree_iter *iter)
166{
167#ifdef CONFIG_RADIX_TREE_MULTIORDER
168 return iter->shift;
169#else
170 return 0;
171#endif
172}
173
174/**
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800175 * Radix-tree synchronization
176 *
177 * The radix-tree API requires that users provide all synchronisation (with
178 * specific exceptions, noted below).
179 *
180 * Synchronization of access to the data items being stored in the tree, and
181 * management of their lifetimes must be completely managed by API users.
182 *
183 * For API usage, in general,
Michael Opdenacker59c51592007-05-09 08:57:56 +0200184 * - any function _modifying_ the tree or tags (inserting or deleting
Tim Peppereb8dc5e2008-02-03 16:12:47 +0200185 * items, setting or clearing tags) must exclude other modifications, and
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800186 * exclude any functions reading the tree.
Michael Opdenacker59c51592007-05-09 08:57:56 +0200187 * - any function _reading_ the tree or tags (looking up items or tags,
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800188 * gang lookups) must exclude modifications to the tree, but may occur
189 * concurrently with other readers.
190 *
191 * The notable exceptions to this rule are the following functions:
Johannes Weiner139e5612014-04-03 14:47:54 -0700192 * __radix_tree_lookup
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800193 * radix_tree_lookup
Nick Piggin47feff22008-07-25 19:45:29 -0700194 * radix_tree_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800195 * radix_tree_tag_get
196 * radix_tree_gang_lookup
Nick Piggin47feff22008-07-25 19:45:29 -0700197 * radix_tree_gang_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800198 * radix_tree_gang_lookup_tag
Nick Piggin47feff22008-07-25 19:45:29 -0700199 * radix_tree_gang_lookup_tag_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800200 * radix_tree_tagged
201 *
Adam Barth243c2132016-01-20 14:59:09 -0800202 * The first 8 functions are able to be called locklessly, using RCU. The
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800203 * caller must ensure calls to these functions are made within rcu_read_lock()
204 * regions. Other readers (lock-free or otherwise) and modifications may be
205 * running concurrently.
206 *
207 * It is still required that the caller manage the synchronization and lifetimes
208 * of the items. So if RCU lock-free lookups are used, typically this would mean
209 * that the items have their own locks, or are amenable to lock-free access; and
210 * that the items are freed by RCU (or only freed after having been deleted from
211 * the radix tree *and* a synchronize_rcu() grace period).
212 *
213 * (Note, rcu_assign_pointer and rcu_dereference are not needed to control
214 * access to data items when inserting into or looking up from the radix tree)
215 *
David Howellsce826532010-04-06 22:36:20 +0100216 * Note that the value returned by radix_tree_tag_get() may not be relied upon
217 * if only the RCU read lock is held. Functions to set/clear tags and to
218 * delete nodes running concurrently with it may affect its result such that
219 * two consecutive reads in the same locked section may return different
220 * values. If reliability is required, modification functions must also be
221 * excluded from concurrency.
222 *
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800223 * radix_tree_tagged is able to be called without locking or RCU.
224 */
225
226/**
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500227 * radix_tree_deref_slot - dereference a slot
228 * @slot: slot pointer, returned by radix_tree_lookup_slot
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800229 *
230 * For use with radix_tree_lookup_slot(). Caller must hold tree at least read
Nick Piggin27d20fd2010-11-11 14:05:19 -0800231 * locked across slot lookup and dereference. Not required if write lock is
232 * held (ie. items cannot be concurrently inserted).
233 *
234 * radix_tree_deref_retry must be used to confirm validity of the pointer if
235 * only the read lock is held.
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500236 *
237 * Return: entry stored in that slot.
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800238 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500239static inline void *radix_tree_deref_slot(void __rcu **slot)
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800240{
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500241 return rcu_dereference(*slot);
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800242}
Nick Piggin27d20fd2010-11-11 14:05:19 -0800243
244/**
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500245 * radix_tree_deref_slot_protected - dereference a slot with tree lock held
246 * @slot: slot pointer, returned by radix_tree_lookup_slot
Mel Gorman29c1f672011-01-13 15:47:21 -0800247 *
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500248 * Similar to radix_tree_deref_slot. The caller does not hold the RCU read
249 * lock but it must hold the tree lock to prevent parallel updates.
250 *
251 * Return: entry stored in that slot.
Mel Gorman29c1f672011-01-13 15:47:21 -0800252 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500253static inline void *radix_tree_deref_slot_protected(void __rcu **slot,
Mel Gorman29c1f672011-01-13 15:47:21 -0800254 spinlock_t *treelock)
255{
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500256 return rcu_dereference_protected(*slot, lockdep_is_held(treelock));
Mel Gorman29c1f672011-01-13 15:47:21 -0800257}
258
259/**
Nick Piggin27d20fd2010-11-11 14:05:19 -0800260 * radix_tree_deref_retry - check radix_tree_deref_slot
261 * @arg: pointer returned by radix_tree_deref_slot
262 * Returns: 0 if retry is not required, otherwise retry is required
263 *
264 * radix_tree_deref_retry must be used with radix_tree_deref_slot.
265 */
266static inline int radix_tree_deref_retry(void *arg)
267{
Matthew Wilcoxb194d162016-05-20 17:03:30 -0700268 return unlikely(radix_tree_is_internal_node(arg));
Nick Piggin27d20fd2010-11-11 14:05:19 -0800269}
270
Nick Piggin7cf9c2c2006-12-06 20:33:44 -0800271/**
Hugh Dickins63286502011-08-03 16:21:18 -0700272 * radix_tree_exceptional_entry - radix_tree_deref_slot gave exceptional entry?
273 * @arg: value returned by radix_tree_deref_slot
274 * Returns: 0 if well-aligned pointer, non-0 if exceptional entry.
275 */
276static inline int radix_tree_exceptional_entry(void *arg)
277{
278 /* Not unlikely because radix_tree_exception often tested first */
279 return (unsigned long)arg & RADIX_TREE_EXCEPTIONAL_ENTRY;
280}
281
282/**
283 * radix_tree_exception - radix_tree_deref_slot returned either exception?
284 * @arg: value returned by radix_tree_deref_slot
285 * Returns: 0 if well-aligned pointer, non-0 if either kind of exception.
286 */
287static inline int radix_tree_exception(void *arg)
288{
Matthew Wilcox3bcadd62016-05-20 17:03:54 -0700289 return unlikely((unsigned long)arg & RADIX_TREE_ENTRY_MASK);
Hugh Dickins63286502011-08-03 16:21:18 -0700290}
291
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500292int __radix_tree_create(struct radix_tree_root *, unsigned long index,
Matthew Wilcoxe6145232016-03-17 14:21:54 -0700293 unsigned order, struct radix_tree_node **nodep,
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500294 void __rcu ***slotp);
Matthew Wilcoxe6145232016-03-17 14:21:54 -0700295int __radix_tree_insert(struct radix_tree_root *, unsigned long index,
296 unsigned order, void *);
297static inline int radix_tree_insert(struct radix_tree_root *root,
298 unsigned long index, void *entry)
299{
300 return __radix_tree_insert(root, index, 0, entry);
301}
Matthew Wilcox35534c82016-12-19 17:43:19 -0500302void *__radix_tree_lookup(const struct radix_tree_root *, unsigned long index,
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500303 struct radix_tree_node **nodep, void __rcu ***slotp);
Matthew Wilcox35534c82016-12-19 17:43:19 -0500304void *radix_tree_lookup(const struct radix_tree_root *, unsigned long);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500305void __rcu **radix_tree_lookup_slot(const struct radix_tree_root *,
306 unsigned long index);
Mel Gormanc7df8ad2017-11-15 17:37:41 -0800307typedef void (*radix_tree_update_node_t)(struct radix_tree_node *);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500308void __radix_tree_replace(struct radix_tree_root *, struct radix_tree_node *,
309 void __rcu **slot, void *entry,
Mel Gormanc7df8ad2017-11-15 17:37:41 -0800310 radix_tree_update_node_t update_node);
Matthew Wilcoxe157b552016-12-14 15:09:01 -0800311void radix_tree_iter_replace(struct radix_tree_root *,
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500312 const struct radix_tree_iter *, void __rcu **slot, void *entry);
313void radix_tree_replace_slot(struct radix_tree_root *,
314 void __rcu **slot, void *entry);
315void __radix_tree_delete_node(struct radix_tree_root *,
316 struct radix_tree_node *,
Mel Gormanc7df8ad2017-11-15 17:37:41 -0800317 radix_tree_update_node_t update_node);
Matthew Wilcox0ac398e2017-01-28 09:56:22 -0500318void radix_tree_iter_delete(struct radix_tree_root *,
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500319 struct radix_tree_iter *iter, void __rcu **slot);
Johannes Weiner53c59f22014-04-03 14:47:39 -0700320void *radix_tree_delete_item(struct radix_tree_root *, unsigned long, void *);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700321void *radix_tree_delete(struct radix_tree_root *, unsigned long);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500322void radix_tree_clear_tags(struct radix_tree_root *, struct radix_tree_node *,
323 void __rcu **slot);
Matthew Wilcox35534c82016-12-19 17:43:19 -0500324unsigned int radix_tree_gang_lookup(const struct radix_tree_root *,
Matthew Wilcoxd604c322016-05-20 17:03:45 -0700325 void **results, unsigned long first_index,
326 unsigned int max_items);
Matthew Wilcox35534c82016-12-19 17:43:19 -0500327unsigned int radix_tree_gang_lookup_slot(const struct radix_tree_root *,
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500328 void __rcu ***results, unsigned long *indices,
Nick Piggin47feff22008-07-25 19:45:29 -0700329 unsigned long first_index, unsigned int max_items);
Al Virodd0fc662005-10-07 07:46:04 +0100330int radix_tree_preload(gfp_t gfp_mask);
Jan Kara5e4c0d972013-09-11 14:26:05 -0700331int radix_tree_maybe_preload(gfp_t gfp_mask);
Kirill A. Shutemovc78c66d2016-07-26 15:26:02 -0700332int radix_tree_maybe_preload_order(gfp_t gfp_mask, int order);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700333void radix_tree_init(void);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500334void *radix_tree_tag_set(struct radix_tree_root *,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800335 unsigned long index, unsigned int tag);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500336void *radix_tree_tag_clear(struct radix_tree_root *,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800337 unsigned long index, unsigned int tag);
Matthew Wilcox35534c82016-12-19 17:43:19 -0500338int radix_tree_tag_get(const struct radix_tree_root *,
Jonathan Corbetdaff89f2006-03-25 03:08:05 -0800339 unsigned long index, unsigned int tag);
Matthew Wilcox30b888b2017-01-28 09:55:20 -0500340void radix_tree_iter_tag_set(struct radix_tree_root *,
341 const struct radix_tree_iter *iter, unsigned int tag);
342void radix_tree_iter_tag_clear(struct radix_tree_root *,
Matthew Wilcox268f42d2016-12-14 15:08:55 -0800343 const struct radix_tree_iter *iter, unsigned int tag);
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500344unsigned int radix_tree_gang_lookup_tag(const struct radix_tree_root *,
345 void **results, unsigned long first_index,
346 unsigned int max_items, unsigned int tag);
347unsigned int radix_tree_gang_lookup_tag_slot(const struct radix_tree_root *,
348 void __rcu ***results, unsigned long first_index,
349 unsigned int max_items, unsigned int tag);
350int radix_tree_tagged(const struct radix_tree_root *, unsigned int tag);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700351
352static inline void radix_tree_preload_end(void)
353{
354 preempt_enable();
355}
356
Matthew Wilcox27916532016-12-14 15:09:04 -0800357int radix_tree_split_preload(unsigned old_order, unsigned new_order, gfp_t);
Matthew Wilcoxe157b552016-12-14 15:09:01 -0800358int radix_tree_split(struct radix_tree_root *, unsigned long index,
359 unsigned new_order);
Matthew Wilcox175542f2016-12-14 15:08:58 -0800360int radix_tree_join(struct radix_tree_root *, unsigned long index,
361 unsigned new_order, void *);
Chris Mi388f79f2017-08-30 02:31:57 -0400362
Matthew Wilcox460488c2017-11-28 15:16:24 -0500363void __rcu **idr_get_free(struct radix_tree_root *root,
Chris Mi388f79f2017-08-30 02:31:57 -0400364 struct radix_tree_iter *iter, gfp_t gfp,
365 unsigned long max);
Matthew Wilcox175542f2016-12-14 15:08:58 -0800366
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500367enum {
368 RADIX_TREE_ITER_TAG_MASK = 0x0f, /* tag index in lower nybble */
369 RADIX_TREE_ITER_TAGGED = 0x10, /* lookup tagged slots */
370 RADIX_TREE_ITER_CONTIG = 0x20, /* stop at first hole */
371};
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700372
373/**
374 * radix_tree_iter_init - initialize radix tree iterator
375 *
376 * @iter: pointer to iterator state
377 * @start: iteration starting index
378 * Returns: NULL
379 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500380static __always_inline void __rcu **
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700381radix_tree_iter_init(struct radix_tree_iter *iter, unsigned long start)
382{
383 /*
384 * Leave iter->tags uninitialized. radix_tree_next_chunk() will fill it
385 * in the case of a successful tagged chunk lookup. If the lookup was
386 * unsuccessful or non-tagged then nobody cares about ->tags.
387 *
388 * Set index to zero to bypass next_index overflow protection.
389 * See the comment in radix_tree_next_chunk() for details.
390 */
391 iter->index = 0;
392 iter->next_index = start;
393 return NULL;
394}
395
396/**
397 * radix_tree_next_chunk - find next chunk of slots for iteration
398 *
399 * @root: radix tree root
400 * @iter: iterator state
401 * @flags: RADIX_TREE_ITER_* flags and tag index
402 * Returns: pointer to chunk first slot, or NULL if there no more left
403 *
404 * This function looks up the next chunk in the radix tree starting from
405 * @iter->next_index. It returns a pointer to the chunk's first slot.
406 * Also it fills @iter with data about chunk: position in the tree (index),
407 * its end (next_index), and constructs a bit mask for tagged iterating (tags).
408 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500409void __rcu **radix_tree_next_chunk(const struct radix_tree_root *,
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700410 struct radix_tree_iter *iter, unsigned flags);
411
412/**
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500413 * radix_tree_iter_lookup - look up an index in the radix tree
414 * @root: radix tree root
415 * @iter: iterator state
416 * @index: key to look up
417 *
418 * If @index is present in the radix tree, this function returns the slot
419 * containing it and updates @iter to describe the entry. If @index is not
420 * present, it returns NULL.
421 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500422static inline void __rcu **
423radix_tree_iter_lookup(const struct radix_tree_root *root,
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500424 struct radix_tree_iter *iter, unsigned long index)
425{
426 radix_tree_iter_init(iter, index);
427 return radix_tree_next_chunk(root, iter, RADIX_TREE_ITER_CONTIG);
428}
429
430/**
431 * radix_tree_iter_find - find a present entry
432 * @root: radix tree root
433 * @iter: iterator state
434 * @index: start location
435 *
436 * This function returns the slot containing the entry with the lowest index
437 * which is at least @index. If @index is larger than any present entry, this
438 * function returns NULL. The @iter is updated to describe the entry found.
439 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500440static inline void __rcu **
441radix_tree_iter_find(const struct radix_tree_root *root,
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500442 struct radix_tree_iter *iter, unsigned long index)
443{
444 radix_tree_iter_init(iter, index);
445 return radix_tree_next_chunk(root, iter, 0);
446}
447
448/**
Matthew Wilcox46437f92016-02-02 16:57:52 -0800449 * radix_tree_iter_retry - retry this chunk of the iteration
450 * @iter: iterator state
451 *
452 * If we iterate over a tree protected only by the RCU lock, a race
453 * against deletion or creation may result in seeing a slot for which
454 * radix_tree_deref_retry() returns true. If so, call this function
455 * and continue the iteration.
456 */
457static inline __must_check
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500458void __rcu **radix_tree_iter_retry(struct radix_tree_iter *iter)
Matthew Wilcox46437f92016-02-02 16:57:52 -0800459{
460 iter->next_index = iter->index;
Andrey Ryabinin3cb91852016-07-20 15:45:00 -0700461 iter->tags = 0;
Matthew Wilcox46437f92016-02-02 16:57:52 -0800462 return NULL;
463}
464
Ross Zwisler21ef5332016-05-20 17:02:26 -0700465static inline unsigned long
466__radix_tree_iter_add(struct radix_tree_iter *iter, unsigned long slots)
467{
468 return iter->index + (slots << iter_shift(iter));
469}
470
Matthew Wilcox46437f92016-02-02 16:57:52 -0800471/**
Matthew Wilcox148deab2016-12-14 15:08:49 -0800472 * radix_tree_iter_resume - resume iterating when the chunk may be invalid
473 * @slot: pointer to current slot
474 * @iter: iterator state
475 * Returns: New slot pointer
Matthew Wilcox71650922016-03-17 14:22:06 -0700476 *
477 * If the iterator needs to release then reacquire a lock, the chunk may
478 * have been invalidated by an insertion or deletion. Call this function
Matthew Wilcox148deab2016-12-14 15:08:49 -0800479 * before releasing the lock to continue the iteration from the next index.
Matthew Wilcox71650922016-03-17 14:22:06 -0700480 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500481void __rcu **__must_check radix_tree_iter_resume(void __rcu **slot,
Matthew Wilcox148deab2016-12-14 15:08:49 -0800482 struct radix_tree_iter *iter);
Matthew Wilcox71650922016-03-17 14:22:06 -0700483
484/**
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700485 * radix_tree_chunk_size - get current chunk size
486 *
487 * @iter: pointer to radix tree iterator
488 * Returns: current chunk size
489 */
Konstantin Khlebnikov73204282016-02-05 15:37:01 -0800490static __always_inline long
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700491radix_tree_chunk_size(struct radix_tree_iter *iter)
492{
Ross Zwisler21ef5332016-05-20 17:02:26 -0700493 return (iter->next_index - iter->index) >> iter_shift(iter);
494}
495
Matthew Wilcox148deab2016-12-14 15:08:49 -0800496#ifdef CONFIG_RADIX_TREE_MULTIORDER
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500497void __rcu **__radix_tree_next_slot(void __rcu **slot,
498 struct radix_tree_iter *iter, unsigned flags);
Matthew Wilcox148deab2016-12-14 15:08:49 -0800499#else
500/* Can't happen without sibling entries, but the compiler can't tell that */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500501static inline void __rcu **__radix_tree_next_slot(void __rcu **slot,
Matthew Wilcox148deab2016-12-14 15:08:49 -0800502 struct radix_tree_iter *iter, unsigned flags)
Ross Zwisler21ef5332016-05-20 17:02:26 -0700503{
Matthew Wilcox148deab2016-12-14 15:08:49 -0800504 return slot;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700505}
Matthew Wilcox148deab2016-12-14 15:08:49 -0800506#endif
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700507
508/**
509 * radix_tree_next_slot - find next slot in chunk
510 *
511 * @slot: pointer to current slot
512 * @iter: pointer to interator state
513 * @flags: RADIX_TREE_ITER_*, should be constant
514 * Returns: pointer to next slot, or NULL if there no more left
515 *
516 * This function updates @iter->index in the case of a successful lookup.
517 * For tagged lookup it also eats @iter->tags.
Ross Zwisler915045f2016-10-11 13:51:18 -0700518 *
519 * There are several cases where 'slot' can be passed in as NULL to this
Matthew Wilcox148deab2016-12-14 15:08:49 -0800520 * function. These cases result from the use of radix_tree_iter_resume() or
Ross Zwisler915045f2016-10-11 13:51:18 -0700521 * radix_tree_iter_retry(). In these cases we don't end up dereferencing
522 * 'slot' because either:
523 * a) we are doing tagged iteration and iter->tags has been set to 0, or
524 * b) we are doing non-tagged iteration, and iter->index and iter->next_index
525 * have been set up so that radix_tree_chunk_size() returns 1 or 0.
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700526 */
Matthew Wilcoxd7b62722017-02-13 15:58:24 -0500527static __always_inline void __rcu **radix_tree_next_slot(void __rcu **slot,
528 struct radix_tree_iter *iter, unsigned flags)
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700529{
530 if (flags & RADIX_TREE_ITER_TAGGED) {
531 iter->tags >>= 1;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700532 if (unlikely(!iter->tags))
533 return NULL;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700534 if (likely(iter->tags & 1ul)) {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700535 iter->index = __radix_tree_iter_add(iter, 1);
Matthew Wilcox148deab2016-12-14 15:08:49 -0800536 slot++;
537 goto found;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700538 }
Ross Zwisler21ef5332016-05-20 17:02:26 -0700539 if (!(flags & RADIX_TREE_ITER_CONTIG)) {
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700540 unsigned offset = __ffs(iter->tags);
541
Matthew Wilcox148deab2016-12-14 15:08:49 -0800542 iter->tags >>= offset++;
543 iter->index = __radix_tree_iter_add(iter, offset);
544 slot += offset;
545 goto found;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700546 }
547 } else {
Ross Zwisler21ef5332016-05-20 17:02:26 -0700548 long count = radix_tree_chunk_size(iter);
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700549
Ross Zwisler21ef5332016-05-20 17:02:26 -0700550 while (--count > 0) {
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700551 slot++;
Ross Zwisler21ef5332016-05-20 17:02:26 -0700552 iter->index = __radix_tree_iter_add(iter, 1);
553
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700554 if (likely(*slot))
Matthew Wilcox148deab2016-12-14 15:08:49 -0800555 goto found;
Konstantin Khlebnikovfffaee32012-06-05 21:36:33 +0400556 if (flags & RADIX_TREE_ITER_CONTIG) {
557 /* forbid switching to the next chunk */
558 iter->next_index = 0;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700559 break;
Konstantin Khlebnikovfffaee32012-06-05 21:36:33 +0400560 }
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700561 }
562 }
563 return NULL;
Matthew Wilcox148deab2016-12-14 15:08:49 -0800564
565 found:
Matthew Wilcox12320d02017-02-13 15:22:48 -0500566 if (unlikely(radix_tree_is_internal_node(rcu_dereference_raw(*slot))))
Matthew Wilcox148deab2016-12-14 15:08:49 -0800567 return __radix_tree_next_slot(slot, iter, flags);
568 return slot;
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700569}
570
571/**
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700572 * radix_tree_for_each_slot - iterate over non-empty slots
573 *
574 * @slot: the void** variable for pointer to slot
575 * @root: the struct radix_tree_root pointer
576 * @iter: the struct radix_tree_iter pointer
577 * @start: iteration starting index
578 *
579 * @slot points to radix tree slot, @iter->index contains its index.
580 */
581#define radix_tree_for_each_slot(slot, root, iter, start) \
582 for (slot = radix_tree_iter_init(iter, start) ; \
583 slot || (slot = radix_tree_next_chunk(root, iter, 0)) ; \
584 slot = radix_tree_next_slot(slot, iter, 0))
585
586/**
587 * radix_tree_for_each_contig - iterate over contiguous slots
588 *
589 * @slot: the void** variable for pointer to slot
590 * @root: the struct radix_tree_root pointer
591 * @iter: the struct radix_tree_iter pointer
592 * @start: iteration starting index
593 *
594 * @slot points to radix tree slot, @iter->index contains its index.
595 */
596#define radix_tree_for_each_contig(slot, root, iter, start) \
597 for (slot = radix_tree_iter_init(iter, start) ; \
598 slot || (slot = radix_tree_next_chunk(root, iter, \
599 RADIX_TREE_ITER_CONTIG)) ; \
600 slot = radix_tree_next_slot(slot, iter, \
601 RADIX_TREE_ITER_CONTIG))
602
603/**
604 * radix_tree_for_each_tagged - iterate over tagged slots
605 *
606 * @slot: the void** variable for pointer to slot
607 * @root: the struct radix_tree_root pointer
608 * @iter: the struct radix_tree_iter pointer
609 * @start: iteration starting index
610 * @tag: tag index
611 *
612 * @slot points to radix tree slot, @iter->index contains its index.
613 */
614#define radix_tree_for_each_tagged(slot, root, iter, start, tag) \
615 for (slot = radix_tree_iter_init(iter, start) ; \
616 slot || (slot = radix_tree_next_chunk(root, iter, \
617 RADIX_TREE_ITER_TAGGED | tag)) ; \
618 slot = radix_tree_next_slot(slot, iter, \
Matthew Wilcox148deab2016-12-14 15:08:49 -0800619 RADIX_TREE_ITER_TAGGED | tag))
Konstantin Khlebnikov78c1d782012-03-28 14:42:53 -0700620
Linus Torvalds1da177e2005-04-16 15:20:36 -0700621#endif /* _LINUX_RADIX_TREE_H */