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