xref: /linux/include/linux/maple_tree.h (revision abff0a48b110fe52d43999b4cb7c793a510a6bf1)
1 /* SPDX-License-Identifier: GPL-2.0+ */
2 #ifndef _LINUX_MAPLE_TREE_H
3 #define _LINUX_MAPLE_TREE_H
4 /*
5  * Maple Tree - An RCU-safe adaptive tree for storing ranges
6  * Copyright (c) 2018-2022 Oracle
7  * Authors:     Liam R. Howlett <liam@infradead.org>
8  *              Matthew Wilcox <willy@infradead.org>
9  */
10 
11 #include <linux/kernel.h>
12 #include <linux/rcupdate.h>
13 #include <linux/spinlock.h>
14 
15 /*
16  * Allocated nodes are mutable until they have been inserted into the tree,
17  * at which time they cannot change their type until they have been removed
18  * from the tree and an RCU grace period has passed.
19  *
20  * Removed nodes have their ->parent set to point to themselves.  RCU readers
21  * check ->parent before relying on the value that they loaded from the
22  * slots array.  This lets us reuse the slots array for the RCU head.
23  *
24  * Nodes in the tree point to their parent unless bit 0 is set.
25  */
26 #if defined(CONFIG_64BIT) || defined(BUILD_VDSO32_64)
27 /* 64bit sizes */
28 #define MAPLE_NODE_SLOTS	31	/* 256 bytes including ->parent */
29 #define MAPLE_RANGE64_SLOTS	16	/* 256 bytes */
30 #define MAPLE_ARANGE64_SLOTS	10	/* 240 bytes */
31 #else
32 /* 32bit sizes */
33 #define MAPLE_NODE_SLOTS	63	/* 256 bytes including ->parent */
34 #define MAPLE_RANGE64_SLOTS	32	/* 256 bytes */
35 #define MAPLE_ARANGE64_SLOTS	21	/* 240 bytes */
36 #endif /* defined(CONFIG_64BIT) || defined(BUILD_VDSO32_64) */
37 
38 #define MAPLE_NODE_MASK		255UL
39 
40 /*
41  * The node->parent of the root node has bit 0 set and the rest of the pointer
42  * is a pointer to the tree itself.  No more bits are available in this pointer
43  * (on m68k, the data structure may only be 2-byte aligned).
44  *
45  * Internal non-root nodes can only have maple_range_* nodes as parents.  The
46  * parent pointer is 256B aligned like all other tree nodes.  When storing a 32
47  * or 64 bit values, the offset can fit into 4 bits.  The 16 bit values need an
48  * extra bit to store the offset.  This extra bit comes from a reuse of the last
49  * bit in the node type.  This is possible by using bit 1 to indicate if bit 2
50  * is part of the type or the slot.
51  *
52  * Once the type is decided, the decision of an allocation range type or a
53  * range type is done by examining the immutable tree flag for the
54  * MT_FLAGS_ALLOC_RANGE flag.
55  *
56  *  Node types:
57  *   0b??1 = Root
58  *   0b?00 = 16 bit nodes
59  *   0b010 = 32 bit nodes
60  *   0b110 = 64 bit nodes
61  *
62  *  Slot size and location in the parent pointer:
63  *   type  : slot location
64  *   0b??1 : Root
65  *   0b?00 : 16 bit values, type in 0-1, slot in 2-6
66  *   0b010 : 32 bit values, type in 0-2, slot in 3-6
67  *   0b110 : 64 bit values, type in 0-2, slot in 3-6
68  */
69 
70 /*
71  * This metadata is used to optimize the gap updating code and in reverse
72  * searching for gaps or any other code that needs to find the end of the data.
73  */
74 struct maple_metadata {
75 	unsigned char end;	/* end of data */
76 	unsigned char gap;	/* offset of largest gap */
77 };
78 
79 /*
80  * Leaf nodes do not store pointers to nodes, they store user data.  Users may
81  * store almost any bit pattern.  As noted above, the optimisation of storing an
82  * entry at 0 in the root pointer cannot be done for data which have the bottom
83  * two bits set to '10'.  We also reserve values with the bottom two bits set to
84  * '10' which are below 4096 (ie 2, 6, 10 .. 4094) for internal use.  Some APIs
85  * return errnos as a negative errno shifted right by two bits and the bottom
86  * two bits set to '10', and while choosing to store these values in the array
87  * is not an error, it may lead to confusion if you're testing for an error with
88  * mas_is_err().
89  *
90  * Non-leaf nodes store the type of the node pointed to (enum maple_type in bits
91  * 3-6), bit 2 is reserved.  That leaves bits 0-1 unused for now.
92  *
93  * In regular B-Tree terms, pivots are called keys.  The term pivot is used to
94  * indicate that the tree is specifying ranges,  Pivots may appear in the
95  * subtree with an entry attached to the value whereas keys are unique to a
96  * specific position of a B-tree.  Pivot values are inclusive of the slot with
97  * the same index.
98  */
99 
100 struct maple_range_64 {
101 	struct maple_pnode *parent;
102 	unsigned long pivot[MAPLE_RANGE64_SLOTS - 1];
103 	union {
104 		void __rcu *slot[MAPLE_RANGE64_SLOTS];
105 		struct {
106 			void __rcu *pad[MAPLE_RANGE64_SLOTS - 1];
107 			struct maple_metadata meta;
108 		};
109 	};
110 };
111 
112 /*
113  * At tree creation time, the user can specify that they're willing to trade off
114  * storing fewer entries in a tree in return for storing more information in
115  * each node.
116  *
117  * The maple tree supports recording the largest range of NULL entries available
118  * in this node, also called gaps.  This optimises the tree for allocating a
119  * range.
120  */
121 struct maple_arange_64 {
122 	struct maple_pnode *parent;
123 	unsigned long pivot[MAPLE_ARANGE64_SLOTS - 1];
124 	void __rcu *slot[MAPLE_ARANGE64_SLOTS];
125 	unsigned long gap[MAPLE_ARANGE64_SLOTS];
126 	struct maple_metadata meta;
127 };
128 
129 struct maple_topiary {
130 	struct maple_pnode *parent;
131 	struct maple_enode *next; /* Overlaps the pivot */
132 };
133 
134 enum maple_type {
135 	maple_dense,
136 	maple_leaf_64,
137 	maple_range_64,
138 	maple_arange_64,
139 	maple_copy,
140 };
141 
142 enum store_type {
143 	wr_invalid,
144 	wr_new_root,
145 	wr_store_root,
146 	wr_exact_fit,
147 	wr_spanning_store,
148 	wr_split_store,
149 	wr_rebalance,
150 	wr_append,
151 	wr_node_store,
152 	wr_slot_store,
153 };
154 
155 struct maple_copy {
156 	/*
157 	 * min, max, and pivots are values
158 	 * start, end, split are indexes into arrays
159 	 * data is a size
160 	 */
161 
162 	struct {
163 		struct maple_node *node;
164 		unsigned long max;
165 		enum maple_type mt;
166 	} dst[3];
167 	struct {
168 		struct maple_node *node;
169 		unsigned long max;
170 		unsigned char start;
171 		unsigned char end;
172 		enum maple_type mt;
173 	} src[4];
174 	/* Simulated node */
175 	void __rcu *slot[3];
176 	unsigned long gap[3];
177 	unsigned long min;
178 	union {
179 		unsigned long pivot[3];
180 		struct {
181 			void *_pad[2];
182 			unsigned long max;
183 		};
184 	};
185 	unsigned char end;
186 
187 	/*Avoid passing these around */
188 	unsigned char s_count;
189 	unsigned char d_count;
190 	unsigned char split;
191 	unsigned char data;
192 	unsigned char height;
193 };
194 
195 /**
196  * DOC: Maple tree flags
197  *
198  * * MT_FLAGS_ALLOC_RANGE	- Track gaps in this tree
199  * * MT_FLAGS_USE_RCU		- Operate in RCU mode
200  * * MT_FLAGS_HEIGHT_OFFSET	- The position of the tree height in the flags
201  * * MT_FLAGS_HEIGHT_MASK	- The mask for the maple tree height value
202  * * MT_FLAGS_LOCK_MASK		- How the mt_lock is used
203  * * MT_FLAGS_LOCK_IRQ		- Acquired irq-safe
204  * * MT_FLAGS_LOCK_BH		- Acquired bh-safe
205  * * MT_FLAGS_LOCK_EXTERN	- mt_lock is not used
206  *
207  * MAPLE_HEIGHT_MAX	The largest height that can be stored
208  */
209 #define MT_FLAGS_ALLOC_RANGE	0x01
210 #define MT_FLAGS_USE_RCU	0x02
211 #define MT_FLAGS_HEIGHT_OFFSET	0x02
212 #define MT_FLAGS_HEIGHT_MASK	0x7C
213 #define MT_FLAGS_LOCK_MASK	0x300
214 #define MT_FLAGS_LOCK_IRQ	0x100
215 #define MT_FLAGS_LOCK_BH	0x200
216 #define MT_FLAGS_LOCK_EXTERN	0x300
217 #define MT_FLAGS_ALLOC_WRAPPED	0x0800
218 
219 #define MAPLE_HEIGHT_MAX	31
220 
221 
222 #define MAPLE_NODE_TYPE_MASK	0x0F
223 #define MAPLE_NODE_TYPE_SHIFT	0x03
224 
225 #define MAPLE_RESERVED_RANGE	4096
226 
227 #ifdef CONFIG_LOCKDEP
228 #define mt_lock_is_held(mt)                                             \
229 	(!(mt)->ma_external_lock || lock_is_held((mt)->ma_external_lock))
230 
231 #define mt_write_lock_is_held(mt)					\
232 	(!(mt)->ma_external_lock ||					\
233 	 lock_is_held_type((mt)->ma_external_lock, 0))
234 
235 #define mt_set_external_lock(mt, lock)					\
236 	(mt)->ma_external_lock = &(lock)->dep_map
237 
238 #define mt_on_stack(mt)			(mt).ma_external_lock = NULL
239 #else
240 #define mt_lock_is_held(mt)		1
241 #define mt_write_lock_is_held(mt)	1
242 #define mt_set_external_lock(mt, lock)	do { } while (0)
243 #define mt_on_stack(mt)			do { } while (0)
244 #endif
245 
246 /*
247  * If the tree contains a single entry at index 0, it is usually stored in
248  * tree->ma_root.  To optimise for the page cache, an entry which ends in '00',
249  * '01' or '11' is stored in the root, but an entry which ends in '10' will be
250  * stored in a node.  Bits 3-6 are used to store enum maple_type.
251  *
252  * The flags are used both to store some immutable information about this tree
253  * (set at tree creation time) and dynamic information set under the spinlock.
254  *
255  * Another use of flags are to indicate global states of the tree.  This is the
256  * case with the MT_FLAGS_USE_RCU flag, which indicates the tree is currently in
257  * RCU mode.  This mode was added to allow the tree to reuse nodes instead of
258  * re-allocating and RCU freeing nodes when there is a single user.
259  */
260 struct maple_tree {
261 	union {
262 		spinlock_t		ma_lock;
263 #ifdef CONFIG_LOCKDEP
264 		struct lockdep_map	*ma_external_lock;
265 #endif
266 	};
267 	unsigned int	ma_flags;
268 	void __rcu      *ma_root;
269 };
270 
271 /**
272  * MTREE_INIT() - Initialize a maple tree
273  * @name: The maple tree name
274  * @__flags: The maple tree flags
275  *
276  */
277 #define MTREE_INIT(name, __flags) {					\
278 	.ma_lock = __SPIN_LOCK_UNLOCKED((name).ma_lock),		\
279 	.ma_flags = __flags,						\
280 	.ma_root = NULL,						\
281 }
282 
283 /**
284  * MTREE_INIT_EXT() - Initialize a maple tree with an external lock.
285  * @name: The tree name
286  * @__flags: The maple tree flags
287  * @__lock: The external lock
288  */
289 #ifdef CONFIG_LOCKDEP
290 #define MTREE_INIT_EXT(name, __flags, __lock) {				\
291 	.ma_external_lock = &(__lock).dep_map,				\
292 	.ma_flags = (__flags),						\
293 	.ma_root = NULL,						\
294 }
295 #else
296 #define MTREE_INIT_EXT(name, __flags, __lock)	MTREE_INIT(name, __flags)
297 #endif
298 
299 #define DEFINE_MTREE(name)						\
300 	struct maple_tree name = MTREE_INIT(name, 0)
301 
302 #define mtree_lock(mt)		spin_lock((&(mt)->ma_lock))
303 #define mtree_lock_nested(mas, subclass) \
304 		spin_lock_nested((&(mt)->ma_lock), subclass)
305 #define mtree_unlock(mt)	spin_unlock((&(mt)->ma_lock))
306 
307 /*
308  * The Maple Tree squeezes various bits in at various points which aren't
309  * necessarily obvious.  Usually, this is done by observing that pointers are
310  * N-byte aligned and thus the bottom log_2(N) bits are available for use.  We
311  * don't use the high bits of pointers to store additional information because
312  * we don't know what bits are unused on any given architecture.
313  *
314  * Nodes are 256 bytes in size and are also aligned to 256 bytes, giving us 8
315  * low bits for our own purposes.  Nodes are currently of 4 types:
316  * 1. Single pointer (Range is 0-0)
317  * 2. Non-leaf Allocation Range nodes
318  * 3. Non-leaf Range nodes
319  * 4. Leaf Range nodes All nodes consist of a number of node slots,
320  *    pivots, and a parent pointer.
321  */
322 
323 struct maple_node {
324 	union {
325 		struct {
326 			struct maple_pnode *parent;
327 			void __rcu *slot[MAPLE_NODE_SLOTS];
328 		};
329 		struct {
330 			void *pad;
331 			struct rcu_head rcu;
332 			struct maple_enode *piv_parent;
333 			unsigned char parent_slot;
334 			enum maple_type type;
335 			unsigned char slot_len;
336 			unsigned int ma_flags;
337 		};
338 		struct maple_range_64 mr64;
339 		struct maple_arange_64 ma64;
340 		struct maple_copy cp;
341 	};
342 };
343 
344 /*
345  * More complicated stores can cause two nodes to become one or three and
346  * potentially alter the height of the tree.  Either half of the tree may need
347  * to be rebalanced against the other.  The ma_topiary struct is used to track
348  * which nodes have been 'cut' from the tree so that the change can be done
349  * safely at a later date.  This is done to support RCU.
350  */
351 struct ma_topiary {
352 	struct maple_enode *head;
353 	struct maple_enode *tail;
354 	struct maple_tree *mtree;
355 };
356 
357 void *mtree_load(struct maple_tree *mt, unsigned long index);
358 
359 int mtree_insert(struct maple_tree *mt, unsigned long index,
360 		void *entry, gfp_t gfp);
361 int mtree_insert_range(struct maple_tree *mt, unsigned long first,
362 		unsigned long last, void *entry, gfp_t gfp);
363 int mtree_alloc_range(struct maple_tree *mt, unsigned long *startp,
364 		void *entry, unsigned long size, unsigned long min,
365 		unsigned long max, gfp_t gfp);
366 int mtree_alloc_cyclic(struct maple_tree *mt, unsigned long *startp,
367 		void *entry, unsigned long range_lo, unsigned long range_hi,
368 		unsigned long *next, gfp_t gfp);
369 int mtree_alloc_rrange(struct maple_tree *mt, unsigned long *startp,
370 		void *entry, unsigned long size, unsigned long min,
371 		unsigned long max, gfp_t gfp);
372 
373 int mtree_store_range(struct maple_tree *mt, unsigned long first,
374 		      unsigned long last, void *entry, gfp_t gfp);
375 int mtree_store(struct maple_tree *mt, unsigned long index,
376 		void *entry, gfp_t gfp);
377 void *mtree_erase(struct maple_tree *mt, unsigned long index);
378 
379 int mtree_dup(struct maple_tree *mt, struct maple_tree *new, gfp_t gfp);
380 int __mt_dup(struct maple_tree *mt, struct maple_tree *new, gfp_t gfp);
381 
382 void mtree_destroy(struct maple_tree *mt);
383 void __mt_destroy(struct maple_tree *mt);
384 
385 /**
386  * mtree_empty() - Determine if a tree has any present entries.
387  * @mt: Maple Tree.
388  *
389  * Context: Any context.
390  * Return: %true if the tree contains only NULL pointers.
391  */
392 static inline bool mtree_empty(const struct maple_tree *mt)
393 {
394 	return mt->ma_root == NULL;
395 }
396 
397 /* Advanced API */
398 
399 /*
400  * Maple State Status
401  * ma_active means the maple state is pointing to a node and offset and can
402  * continue operating on the tree.
403  * ma_start means we have not searched the tree.
404  * ma_root means we have searched the tree and the entry we found lives in
405  * the root of the tree (ie it has index 0, length 1 and is the only entry in
406  * the tree).
407  * ma_none means we have searched the tree and there is no node in the
408  * tree for this entry.  For example, we searched for index 1 in an empty
409  * tree.  Or we have a tree which points to a full leaf node and we
410  * searched for an entry which is larger than can be contained in that
411  * leaf node.
412  * ma_pause means the data within the maple state may be stale, restart the
413  * operation
414  * ma_overflow means the search has reached the upper limit of the search
415  * ma_underflow means the search has reached the lower limit of the search
416  * ma_error means there was an error, check the node for the error number.
417  */
418 enum maple_status {
419 	ma_active,
420 	ma_start,
421 	ma_root,
422 	ma_none,
423 	ma_pause,
424 	ma_overflow,
425 	ma_underflow,
426 	ma_error,
427 };
428 
429 /*
430  * The maple state is defined in the struct ma_state and is used to keep track
431  * of information during operations, and even between operations when using the
432  * advanced API.
433  *
434  * If state->node has bit 0 set then it references a tree location which is not
435  * a node (eg the root).  If bit 1 is set, the rest of the bits are a negative
436  * errno.  Bit 2 (the 'unallocated slots' bit) is clear.  Bits 3-6 indicate the
437  * node type.
438  *
439  * state->alloc either has a request number of nodes or an allocated node.  If
440  * stat->alloc has a requested number of nodes, the first bit will be set (0x1)
441  * and the remaining bits are the value.  If state->alloc is a node, then the
442  * node will be of type maple_alloc.  maple_alloc has MAPLE_NODE_SLOTS - 1 for
443  * storing more allocated nodes, a total number of nodes allocated, and the
444  * node_count in this node.  node_count is the number of allocated nodes in this
445  * node.  The scaling beyond MAPLE_NODE_SLOTS - 1 is handled by storing further
446  * nodes into state->alloc->slot[0]'s node.  Nodes are taken from state->alloc
447  * by removing a node from the state->alloc node until state->alloc->node_count
448  * is 1, when state->alloc is returned and the state->alloc->slot[0] is promoted
449  * to state->alloc.  Nodes are pushed onto state->alloc by putting the current
450  * state->alloc into the pushed node's slot[0].
451  *
452  * The state also contains the implied min/max of the state->node, the depth of
453  * this search, and the offset. The implied min/max are either from the parent
454  * node or are 0-oo for the root node.  The depth is incremented or decremented
455  * every time a node is walked down or up.  The offset is the slot/pivot of
456  * interest in the node - either for reading or writing.
457  *
458  * When returning a value the maple state index and last respectively contain
459  * the start and end of the range for the entry.  Ranges are inclusive in the
460  * Maple Tree.
461  *
462  * The status of the state is used to determine how the next action should treat
463  * the state.  For instance, if the status is ma_start then the next action
464  * should start at the root of the tree and walk down.  If the status is
465  * ma_pause then the node may be stale data and should be discarded.  If the
466  * status is ma_overflow, then the last action hit the upper limit.
467  *
468  */
469 struct ma_state {
470 	struct maple_tree *tree;	/* The tree we're operating in */
471 	unsigned long index;		/* The index we're operating on - range start */
472 	unsigned long last;		/* The last index we're operating on - range end */
473 	struct maple_enode *node;	/* The node containing this entry */
474 	unsigned long min;		/* The minimum index of this node - implied pivot min */
475 	unsigned long max;		/* The maximum index of this node - implied pivot max */
476 	struct slab_sheaf *sheaf;	/* Allocated nodes for this operation */
477 	struct maple_node *alloc;	/* A single allocated node for fast path writes */
478 	unsigned long node_request;	/* The number of nodes to allocate for this operation */
479 	enum maple_status status;	/* The status of the state (active, start, none, etc) */
480 	unsigned char depth;		/* depth of tree descent during write */
481 	unsigned char offset;
482 	unsigned char mas_flags;
483 	unsigned char end;		/* The end of the node */
484 	enum store_type store_type;	/* The type of store needed for this operation */
485 #ifdef CONFIG_LOCKDEP
486 	u32 ld_seq;
487 #ifdef CONFIG_RCU_STRICT_GRACE_PERIOD
488 	unsigned long rcu_gp;
489 #endif /* CONFIG_RCU_STRICT_GRACE_PERIOD */
490 #endif /* CONFIG_LOCKDEP */
491 };
492 
493 struct ma_wr_state {
494 	struct ma_state *mas;
495 	struct maple_node *node;	/* Decoded mas->node */
496 	unsigned long r_min;		/* range min */
497 	unsigned long r_max;		/* range max */
498 	enum maple_type type;		/* mas->node type */
499 	unsigned char offset_end;	/* The offset where the write ends */
500 	unsigned long *pivots;		/* mas->node->pivots pointer */
501 	unsigned long end_piv;		/* The pivot at the offset end */
502 	void __rcu **slots;		/* mas->node->slots pointer */
503 	void *entry;			/* The entry to write */
504 	void *content;			/* The existing entry that is being overwritten */
505 	unsigned char vacant_height;	/* Height of lowest node with free space */
506 	unsigned char sufficient_height;/* Height of lowest node with min sufficiency + 1 nodes */
507 };
508 
509 #define mas_lock(mas)           spin_lock(&((mas)->tree->ma_lock))
510 #define mas_lock_irqsave(mas, flags) \
511 		spin_lock_irqsave(&((mas)->tree->ma_lock), flags)
512 #define mas_lock_nested(mas, subclass) \
513 		spin_lock_nested(&((mas)->tree->ma_lock), subclass)
514 #define mas_unlock(mas)         spin_unlock(&((mas)->tree->ma_lock))
515 #define mas_unlock_irqrestore(mas, flags) \
516 		spin_unlock_irqrestore(&((mas)->tree->ma_lock), flags)
517 
518 /*
519  * Special values for ma_state.node.
520  * MA_ERROR represents an errno.  After dropping the lock and attempting
521  * to resolve the error, the walk would have to be restarted from the
522  * top of the tree as the tree may have been modified.
523  */
524 #define MA_ERROR(err) \
525 		((struct maple_enode *)(((unsigned long)err << 2) | 2UL))
526 
527 /*
528  * When changing MA_STATE, remember to also change rust/kernel/maple_tree.rs
529  */
530 #define MA_STATE(name, mt, first, end)					\
531 	struct ma_state name = {					\
532 		.tree = mt,						\
533 		.index = first,						\
534 		.last = end,						\
535 		.node = NULL,						\
536 		.status = ma_start,					\
537 		.min = 0,						\
538 		.max = ULONG_MAX,					\
539 		.sheaf = NULL,						\
540 		.alloc = NULL,						\
541 		.node_request = 0,					\
542 		.mas_flags = 0,						\
543 		.store_type = wr_invalid,				\
544 	}
545 
546 #define MA_WR_STATE(name, ma_state, wr_entry)				\
547 	struct ma_wr_state name = {					\
548 		.mas = ma_state,					\
549 		.content = NULL,					\
550 		.entry = wr_entry,					\
551 		.vacant_height = 0,					\
552 		.sufficient_height = 0					\
553 	}
554 
555 #define MA_TOPIARY(name, tree)						\
556 	struct ma_topiary name = {					\
557 		.head = NULL,						\
558 		.tail = NULL,						\
559 		.mtree = tree,						\
560 	}
561 
562 void *mas_walk(struct ma_state *mas);
563 void *mas_store(struct ma_state *mas, void *entry);
564 void *mas_erase(struct ma_state *mas);
565 int mas_store_gfp(struct ma_state *mas, void *entry, gfp_t gfp);
566 void mas_store_prealloc(struct ma_state *mas, void *entry);
567 void *mas_find(struct ma_state *mas, unsigned long max);
568 void *mas_find_range(struct ma_state *mas, unsigned long max);
569 void *mas_find_rev(struct ma_state *mas, unsigned long min);
570 void *mas_find_range_rev(struct ma_state *mas, unsigned long max);
571 int mas_preallocate(struct ma_state *mas, void *entry, gfp_t gfp);
572 int mas_alloc_cyclic(struct ma_state *mas, unsigned long *startp,
573 		void *entry, unsigned long range_lo, unsigned long range_hi,
574 		unsigned long *next, gfp_t gfp);
575 
576 bool mas_nomem(struct ma_state *mas, gfp_t gfp);
577 bool mas_nomem_nofail(struct ma_state *mas, unsigned long index,
578 		      unsigned long last);
579 void mas_pause(struct ma_state *mas);
580 void maple_tree_init(void);
581 void mas_destroy(struct ma_state *mas);
582 
583 void *mas_prev(struct ma_state *mas, unsigned long min);
584 void *mas_prev_range(struct ma_state *mas, unsigned long min);
585 void *mas_next(struct ma_state *mas, unsigned long max);
586 void *mas_next_range(struct ma_state *mas, unsigned long max);
587 
588 int mas_empty_area(struct ma_state *mas, unsigned long min, unsigned long max,
589 		   unsigned long size);
590 /*
591  * This finds an empty area from the highest address to the lowest.
592  * AKA "Topdown" version,
593  */
594 int mas_empty_area_rev(struct ma_state *mas, unsigned long min,
595 		       unsigned long max, unsigned long size);
596 
597 static inline void mas_init(struct ma_state *mas, struct maple_tree *tree,
598 			    unsigned long addr)
599 {
600 	memset(mas, 0, sizeof(struct ma_state));
601 	mas->tree = tree;
602 	mas->index = mas->last = addr;
603 	mas->max = ULONG_MAX;
604 	mas->status = ma_start;
605 	mas->node = NULL;
606 }
607 
608 static inline bool mas_is_active(struct ma_state *mas)
609 {
610 	return mas->status == ma_active;
611 }
612 
613 static inline bool mas_is_err(struct ma_state *mas)
614 {
615 	return mas->status == ma_error;
616 }
617 
618 /**
619  * mas_reset() - Reset a Maple Tree operation state.
620  * @mas: Maple Tree operation state.
621  *
622  * Resets the error or walk state of the @mas so future walks of the
623  * array will start from the root.  Use this if you have dropped the
624  * lock and want to reuse the ma_state.
625  *
626  * Context: Any context.
627  */
628 static __always_inline void mas_reset(struct ma_state *mas)
629 {
630 	mas->status = ma_start;
631 	mas->node = NULL;
632 }
633 
634 /**
635  * mas_for_each() - Iterate over a range of the maple tree.
636  * @__mas: Maple Tree operation state (maple_state)
637  * @__entry: Entry retrieved from the tree
638  * @__max: maximum index to retrieve from the tree
639  *
640  * When returned, mas->index and mas->last will hold the entire range for the
641  * entry.
642  *
643  * Note: may return the zero entry.
644  */
645 #define mas_for_each(__mas, __entry, __max) \
646 	while (((__entry) = mas_find((__mas), (__max))) != NULL)
647 
648 /**
649  * mas_for_each_rev() - Iterate over a range of the maple tree in reverse order.
650  * @__mas: Maple Tree operation state (maple_state)
651  * @__entry: Entry retrieved from the tree
652  * @__min: minimum index to retrieve from the tree
653  *
654  * When returned, mas->index and mas->last will hold the entire range for the
655  * entry.
656  *
657  * Note: may return the zero entry.
658  */
659 #define mas_for_each_rev(__mas, __entry, __min) \
660 	while (((__entry) = mas_find_rev((__mas), (__min))) != NULL)
661 
662 #ifdef CONFIG_DEBUG_MAPLE_TREE
663 enum mt_dump_format {
664 	mt_dump_dec,
665 	mt_dump_hex,
666 };
667 
668 extern atomic_t maple_tree_tests_run;
669 extern atomic_t maple_tree_tests_passed;
670 
671 void mt_dump(const struct maple_tree *mt, enum mt_dump_format format);
672 void mas_dump(const struct ma_state *mas);
673 void mas_wr_dump(const struct ma_wr_state *wr_mas);
674 void mt_validate(struct maple_tree *mt);
675 void mt_cache_shrink(void);
676 #define MT_BUG_ON(__tree, __x) do {					\
677 	atomic_inc(&maple_tree_tests_run);				\
678 	if (__x) {							\
679 		pr_info("BUG at %s:%d (%u)\n",				\
680 		__func__, __LINE__, __x);				\
681 		mt_dump(__tree, mt_dump_hex);				\
682 		pr_info("Pass: %u Run:%u\n",				\
683 			atomic_read(&maple_tree_tests_passed),		\
684 			atomic_read(&maple_tree_tests_run));		\
685 		dump_stack();						\
686 	} else {							\
687 		atomic_inc(&maple_tree_tests_passed);			\
688 	}								\
689 } while (0)
690 
691 #define MAS_BUG_ON(__mas, __x) do {					\
692 	atomic_inc(&maple_tree_tests_run);				\
693 	if (__x) {							\
694 		pr_info("BUG at %s:%d (%u)\n",				\
695 		__func__, __LINE__, __x);				\
696 		mas_dump(__mas);					\
697 		mt_dump((__mas)->tree, mt_dump_hex);			\
698 		pr_info("Pass: %u Run:%u\n",				\
699 			atomic_read(&maple_tree_tests_passed),		\
700 			atomic_read(&maple_tree_tests_run));		\
701 		dump_stack();						\
702 	} else {							\
703 		atomic_inc(&maple_tree_tests_passed);			\
704 	}								\
705 } while (0)
706 
707 #define MAS_WR_BUG_ON(__wrmas, __x) do {				\
708 	atomic_inc(&maple_tree_tests_run);				\
709 	if (__x) {							\
710 		pr_info("BUG at %s:%d (%u)\n",				\
711 		__func__, __LINE__, __x);				\
712 		mas_wr_dump(__wrmas);					\
713 		mas_dump((__wrmas)->mas);				\
714 		mt_dump((__wrmas)->mas->tree, mt_dump_hex);		\
715 		pr_info("Pass: %u Run:%u\n",				\
716 			atomic_read(&maple_tree_tests_passed),		\
717 			atomic_read(&maple_tree_tests_run));		\
718 		dump_stack();						\
719 	} else {							\
720 		atomic_inc(&maple_tree_tests_passed);			\
721 	}								\
722 } while (0)
723 
724 #define MT_WARN_ON(__tree, __x)  ({					\
725 	int ret = !!(__x);						\
726 	atomic_inc(&maple_tree_tests_run);				\
727 	if (ret) {							\
728 		pr_info("WARN at %s:%d (%u)\n",				\
729 		__func__, __LINE__, __x);				\
730 		mt_dump(__tree, mt_dump_hex);				\
731 		pr_info("Pass: %u Run:%u\n",				\
732 			atomic_read(&maple_tree_tests_passed),		\
733 			atomic_read(&maple_tree_tests_run));		\
734 		dump_stack();						\
735 	} else {							\
736 		atomic_inc(&maple_tree_tests_passed);			\
737 	}								\
738 	unlikely(ret);							\
739 })
740 
741 #define MAS_WARN_ON(__mas, __x) ({					\
742 	int ret = !!(__x);						\
743 	atomic_inc(&maple_tree_tests_run);				\
744 	if (ret) {							\
745 		pr_info("WARN at %s:%d (%u)\n",				\
746 		__func__, __LINE__, __x);				\
747 		mas_dump(__mas);					\
748 		mt_dump((__mas)->tree, mt_dump_hex);			\
749 		pr_info("Pass: %u Run:%u\n",				\
750 			atomic_read(&maple_tree_tests_passed),		\
751 			atomic_read(&maple_tree_tests_run));		\
752 		dump_stack();						\
753 	} else {							\
754 		atomic_inc(&maple_tree_tests_passed);			\
755 	}								\
756 	unlikely(ret);							\
757 })
758 
759 #define MAS_WR_WARN_ON(__wrmas, __x) ({					\
760 	int ret = !!(__x);						\
761 	atomic_inc(&maple_tree_tests_run);				\
762 	if (ret) {							\
763 		pr_info("WARN at %s:%d (%u)\n",				\
764 		__func__, __LINE__, __x);				\
765 		mas_wr_dump(__wrmas);					\
766 		mas_dump((__wrmas)->mas);				\
767 		mt_dump((__wrmas)->mas->tree, mt_dump_hex);		\
768 		pr_info("Pass: %u Run:%u\n",				\
769 			atomic_read(&maple_tree_tests_passed),		\
770 			atomic_read(&maple_tree_tests_run));		\
771 		dump_stack();						\
772 	} else {							\
773 		atomic_inc(&maple_tree_tests_passed);			\
774 	}								\
775 	unlikely(ret);							\
776 })
777 #else
778 #define MT_BUG_ON(__tree, __x)		BUG_ON(__x)
779 #define MAS_BUG_ON(__mas, __x)		BUG_ON(__x)
780 #define MAS_WR_BUG_ON(__mas, __x)	BUG_ON(__x)
781 #define MT_WARN_ON(__tree, __x)		WARN_ON(__x)
782 #define MAS_WARN_ON(__mas, __x)		WARN_ON(__x)
783 #define MAS_WR_WARN_ON(__mas, __x)	WARN_ON(__x)
784 #endif /* CONFIG_DEBUG_MAPLE_TREE */
785 
786 /**
787  * __mas_set_range() - Set up Maple Tree operation state to a sub-range of the
788  * current location.
789  * @mas: Maple Tree operation state.
790  * @start: New start of range in the Maple Tree.
791  * @last: New end of range in the Maple Tree.
792  *
793  * set the internal maple state values to a sub-range.
794  * Please use mas_set_range() if you do not know where you are in the tree.
795  */
796 static inline void __mas_set_range(struct ma_state *mas, unsigned long start,
797 		unsigned long last)
798 {
799 	/* Ensure the range starts within the current slot */
800 	MAS_WARN_ON(mas, mas_is_active(mas) &&
801 		   (mas->index > start || mas->last < start));
802 	mas->index = start;
803 	mas->last = last;
804 }
805 
806 /**
807  * mas_set_range() - Set up Maple Tree operation state for a different index.
808  * @mas: Maple Tree operation state.
809  * @start: New start of range in the Maple Tree.
810  * @last: New end of range in the Maple Tree.
811  *
812  * Move the operation state to refer to a different range.  This will
813  * have the effect of starting a walk from the top; see mas_next()
814  * to move to an adjacent index.
815  */
816 static inline
817 void mas_set_range(struct ma_state *mas, unsigned long start, unsigned long last)
818 {
819 	mas_reset(mas);
820 	__mas_set_range(mas, start, last);
821 }
822 
823 /**
824  * mas_set() - Set up Maple Tree operation state for a different index.
825  * @mas: Maple Tree operation state.
826  * @index: New index into the Maple Tree.
827  *
828  * Move the operation state to refer to a different index.  This will
829  * have the effect of starting a walk from the top; see mas_next()
830  * to move to an adjacent index.
831  */
832 static inline void mas_set(struct ma_state *mas, unsigned long index)
833 {
834 
835 	mas_set_range(mas, index, index);
836 }
837 
838 static inline bool mt_external_lock(const struct maple_tree *mt)
839 {
840 	return (mt->ma_flags & MT_FLAGS_LOCK_MASK) == MT_FLAGS_LOCK_EXTERN;
841 }
842 
843 /**
844  * mt_init_flags() - Initialise an empty maple tree with flags.
845  * @mt: Maple Tree
846  * @flags: maple tree flags.
847  *
848  * If you need to initialise a Maple Tree with special flags (eg, an
849  * allocation tree), use this function.
850  *
851  * Context: Any context.
852  */
853 static inline void mt_init_flags(struct maple_tree *mt, unsigned int flags)
854 {
855 	mt->ma_flags = flags;
856 	if (!mt_external_lock(mt))
857 		spin_lock_init(&mt->ma_lock);
858 	rcu_assign_pointer(mt->ma_root, NULL);
859 }
860 
861 /**
862  * mt_init() - Initialise an empty maple tree.
863  * @mt: Maple Tree
864  *
865  * An empty Maple Tree.
866  *
867  * Context: Any context.
868  */
869 static inline void mt_init(struct maple_tree *mt)
870 {
871 	mt_init_flags(mt, 0);
872 }
873 
874 static inline bool mt_in_rcu(struct maple_tree *mt)
875 {
876 	return mt->ma_flags & MT_FLAGS_USE_RCU;
877 }
878 
879 /**
880  * mt_clear_in_rcu() - Switch the tree to non-RCU mode.
881  * @mt: The Maple Tree
882  */
883 static inline void mt_clear_in_rcu(struct maple_tree *mt)
884 {
885 	if (!mt_in_rcu(mt))
886 		return;
887 
888 	if (mt_external_lock(mt)) {
889 		WARN_ON(!mt_lock_is_held(mt));
890 		mt->ma_flags &= ~MT_FLAGS_USE_RCU;
891 	} else {
892 		mtree_lock(mt);
893 		mt->ma_flags &= ~MT_FLAGS_USE_RCU;
894 		mtree_unlock(mt);
895 	}
896 }
897 
898 /**
899  * mt_set_in_rcu() - Switch the tree to RCU safe mode.
900  * @mt: The Maple Tree
901  */
902 static inline void mt_set_in_rcu(struct maple_tree *mt)
903 {
904 	if (mt_in_rcu(mt))
905 		return;
906 
907 	if (mt_external_lock(mt)) {
908 		WARN_ON(!mt_lock_is_held(mt));
909 		mt->ma_flags |= MT_FLAGS_USE_RCU;
910 	} else {
911 		mtree_lock(mt);
912 		mt->ma_flags |= MT_FLAGS_USE_RCU;
913 		mtree_unlock(mt);
914 	}
915 }
916 
917 static inline unsigned int mt_height(const struct maple_tree *mt)
918 {
919 	return (mt->ma_flags & MT_FLAGS_HEIGHT_MASK) >> MT_FLAGS_HEIGHT_OFFSET;
920 }
921 
922 void *mt_find(struct maple_tree *mt, unsigned long *index, unsigned long max);
923 void *mt_find_after(struct maple_tree *mt, unsigned long *index,
924 		    unsigned long max);
925 void *mt_prev(struct maple_tree *mt, unsigned long index,  unsigned long min);
926 void *mt_next(struct maple_tree *mt, unsigned long index, unsigned long max);
927 
928 /**
929  * mt_for_each - Iterate over each entry starting at index until max.
930  * @__tree: The Maple Tree
931  * @__entry: The current entry
932  * @__index: The index to start the search from. Subsequently used as iterator.
933  * @__max: The maximum limit for @index
934  *
935  * This iterator skips all entries, which resolve to a NULL pointer,
936  * e.g. entries which has been reserved with XA_ZERO_ENTRY.
937  */
938 #define mt_for_each(__tree, __entry, __index, __max) \
939 	for (__entry = mt_find(__tree, &(__index), __max); \
940 		__entry; __entry = mt_find_after(__tree, &(__index), __max))
941 
942 #endif /*_LINUX_MAPLE_TREE_H */
943