1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * Maple Tree implementation 4 * Copyright (c) 2018-2022 Oracle Corporation 5 * Authors: Liam R. Howlett <[email protected]> 6 * Matthew Wilcox <[email protected]> 7 * Copyright (c) 2023 ByteDance 8 * Author: Peng Zhang <[email protected]> 9 */ 10 11 /* 12 * DOC: Interesting implementation details of the Maple Tree 13 * 14 * Each node type has a number of slots for entries and a number of slots for 15 * pivots. In the case of dense nodes, the pivots are implied by the position 16 * and are simply the slot index + the minimum of the node. 17 * 18 * In regular B-Tree terms, pivots are called keys. The term pivot is used to 19 * indicate that the tree is specifying ranges. Pivots may appear in the 20 * subtree with an entry attached to the value whereas keys are unique to a 21 * specific position of a B-tree. Pivot values are inclusive of the slot with 22 * the same index. 23 * 24 * 25 * The following illustrates the layout of a range64 nodes slots and pivots. 26 * 27 * 28 * Slots -> | 0 | 1 | 2 | ... | 12 | 13 | 14 | 15 | 29 * ┬ ┬ ┬ ┬ ┬ ┬ ┬ ┬ ┬ 30 * │ │ │ │ │ │ │ │ └─ Implied maximum 31 * │ │ │ │ │ │ │ └─ Pivot 14 32 * │ │ │ │ │ │ └─ Pivot 13 33 * │ │ │ │ │ └─ Pivot 12 34 * │ │ │ │ └─ Pivot 11 35 * │ │ │ └─ Pivot 2 36 * │ │ └─ Pivot 1 37 * │ └─ Pivot 0 38 * └─ Implied minimum 39 * 40 * Slot contents: 41 * Internal (non-leaf) nodes contain pointers to other nodes. 42 * Leaf nodes contain entries. 43 * 44 * The location of interest is often referred to as an offset. All offsets have 45 * a slot, but the last offset has an implied pivot from the node above (or 46 * UINT_MAX for the root node. 47 * 48 * Ranges complicate certain write activities. When modifying any of 49 * the B-tree variants, it is known that one entry will either be added or 50 * deleted. When modifying the Maple Tree, one store operation may overwrite 51 * the entire data set, or one half of the tree, or the middle half of the tree. 52 * 53 */ 54 55 56 #include <linux/maple_tree.h> 57 #include <linux/xarray.h> 58 #include <linux/types.h> 59 #include <linux/export.h> 60 #include <linux/slab.h> 61 #include <linux/limits.h> 62 #include <asm/barrier.h> 63 64 #define CREATE_TRACE_POINTS 65 #include <trace/events/maple_tree.h> 66 67 /* 68 * Kernel pointer hashing renders much of the maple tree dump useless as tagged 69 * pointers get hashed to arbitrary values. 70 * 71 * If CONFIG_DEBUG_VM_MAPLE_TREE is set we are in a debug mode where it is 72 * permissible to bypass this. Otherwise remain cautious and retain the hashing. 73 * 74 * Userland doesn't know about %px so also use %p there. 75 */ 76 #if defined(__KERNEL__) && defined(CONFIG_DEBUG_VM_MAPLE_TREE) 77 #define PTR_FMT "%px" 78 #else 79 #define PTR_FMT "%p" 80 #endif 81 82 #define MA_ROOT_PARENT 1 83 84 /* 85 * Maple state flags 86 * * MA_STATE_BULK - Bulk insert mode 87 * * MA_STATE_REBALANCE - Indicate a rebalance during bulk insert 88 * * MA_STATE_PREALLOC - Preallocated nodes, WARN_ON allocation 89 */ 90 #define MA_STATE_BULK 1 91 #define MA_STATE_REBALANCE 2 92 #define MA_STATE_PREALLOC 4 93 94 #define ma_parent_ptr(x) ((struct maple_pnode *)(x)) 95 #define mas_tree_parent(x) ((unsigned long)(x->tree) | MA_ROOT_PARENT) 96 #define ma_mnode_ptr(x) ((struct maple_node *)(x)) 97 #define ma_enode_ptr(x) ((struct maple_enode *)(x)) 98 static struct kmem_cache *maple_node_cache; 99 100 #ifdef CONFIG_DEBUG_MAPLE_TREE 101 static const unsigned long mt_max[] = { 102 [maple_dense] = MAPLE_NODE_SLOTS, 103 [maple_leaf_64] = ULONG_MAX, 104 [maple_range_64] = ULONG_MAX, 105 [maple_arange_64] = ULONG_MAX, 106 }; 107 #define mt_node_max(x) mt_max[mte_node_type(x)] 108 #endif 109 110 static const unsigned char mt_slots[] = { 111 [maple_dense] = MAPLE_NODE_SLOTS, 112 [maple_leaf_64] = MAPLE_RANGE64_SLOTS, 113 [maple_range_64] = MAPLE_RANGE64_SLOTS, 114 [maple_arange_64] = MAPLE_ARANGE64_SLOTS, 115 }; 116 #define mt_slot_count(x) mt_slots[mte_node_type(x)] 117 118 static const unsigned char mt_pivots[] = { 119 [maple_dense] = 0, 120 [maple_leaf_64] = MAPLE_RANGE64_SLOTS - 1, 121 [maple_range_64] = MAPLE_RANGE64_SLOTS - 1, 122 [maple_arange_64] = MAPLE_ARANGE64_SLOTS - 1, 123 }; 124 #define mt_pivot_count(x) mt_pivots[mte_node_type(x)] 125 126 static const unsigned char mt_min_slots[] = { 127 [maple_dense] = MAPLE_NODE_SLOTS / 2, 128 [maple_leaf_64] = (MAPLE_RANGE64_SLOTS / 2) - 2, 129 [maple_range_64] = (MAPLE_RANGE64_SLOTS / 2) - 2, 130 [maple_arange_64] = (MAPLE_ARANGE64_SLOTS / 2) - 1, 131 }; 132 #define mt_min_slot_count(x) mt_min_slots[mte_node_type(x)] 133 134 #define MAPLE_BIG_NODE_SLOTS (MAPLE_RANGE64_SLOTS * 2 + 2) 135 #define MAPLE_BIG_NODE_GAPS (MAPLE_ARANGE64_SLOTS * 2 + 1) 136 137 struct maple_big_node { 138 unsigned long pivot[MAPLE_BIG_NODE_SLOTS - 1]; 139 union { 140 struct maple_enode *slot[MAPLE_BIG_NODE_SLOTS]; 141 struct { 142 unsigned long padding[MAPLE_BIG_NODE_GAPS]; 143 unsigned long gap[MAPLE_BIG_NODE_GAPS]; 144 }; 145 }; 146 unsigned char b_end; 147 enum maple_type type; 148 }; 149 150 /* 151 * The maple_subtree_state is used to build a tree to replace a segment of an 152 * existing tree in a more atomic way. Any walkers of the older tree will hit a 153 * dead node and restart on updates. 154 */ 155 struct maple_subtree_state { 156 struct ma_state *orig_l; /* Original left side of subtree */ 157 struct ma_state *orig_r; /* Original right side of subtree */ 158 struct ma_state *l; /* New left side of subtree */ 159 struct ma_state *m; /* New middle of subtree (rare) */ 160 struct ma_state *r; /* New right side of subtree */ 161 struct ma_topiary *free; /* nodes to be freed */ 162 struct ma_topiary *destroy; /* Nodes to be destroyed (walked and freed) */ 163 struct maple_big_node *bn; 164 }; 165 166 #ifdef CONFIG_KASAN_STACK 167 /* Prevent mas_wr_bnode() from exceeding the stack frame limit */ 168 #define noinline_for_kasan noinline_for_stack 169 #else 170 #define noinline_for_kasan inline 171 #endif 172 173 /* Functions */ 174 static inline struct maple_node *mt_alloc_one(gfp_t gfp) 175 { 176 return kmem_cache_alloc(maple_node_cache, gfp); 177 } 178 179 static inline int mt_alloc_bulk(gfp_t gfp, size_t size, void **nodes) 180 { 181 return kmem_cache_alloc_bulk(maple_node_cache, gfp, size, nodes); 182 } 183 184 static inline void mt_free_one(struct maple_node *node) 185 { 186 kmem_cache_free(maple_node_cache, node); 187 } 188 189 static inline void mt_free_bulk(size_t size, void __rcu **nodes) 190 { 191 kmem_cache_free_bulk(maple_node_cache, size, (void **)nodes); 192 } 193 194 static void mt_free_rcu(struct rcu_head *head) 195 { 196 struct maple_node *node = container_of(head, struct maple_node, rcu); 197 198 kmem_cache_free(maple_node_cache, node); 199 } 200 201 /* 202 * ma_free_rcu() - Use rcu callback to free a maple node 203 * @node: The node to free 204 * 205 * The maple tree uses the parent pointer to indicate this node is no longer in 206 * use and will be freed. 207 */ 208 static void ma_free_rcu(struct maple_node *node) 209 { 210 WARN_ON(node->parent != ma_parent_ptr(node)); 211 call_rcu(&node->rcu, mt_free_rcu); 212 } 213 214 static void mas_set_height(struct ma_state *mas) 215 { 216 unsigned int new_flags = mas->tree->ma_flags; 217 218 new_flags &= ~MT_FLAGS_HEIGHT_MASK; 219 MAS_BUG_ON(mas, mas->depth > MAPLE_HEIGHT_MAX); 220 new_flags |= mas->depth << MT_FLAGS_HEIGHT_OFFSET; 221 mas->tree->ma_flags = new_flags; 222 } 223 224 static unsigned int mas_mt_height(struct ma_state *mas) 225 { 226 return mt_height(mas->tree); 227 } 228 229 static inline unsigned int mt_attr(struct maple_tree *mt) 230 { 231 return mt->ma_flags & ~MT_FLAGS_HEIGHT_MASK; 232 } 233 234 static __always_inline enum maple_type mte_node_type( 235 const struct maple_enode *entry) 236 { 237 return ((unsigned long)entry >> MAPLE_NODE_TYPE_SHIFT) & 238 MAPLE_NODE_TYPE_MASK; 239 } 240 241 static __always_inline bool ma_is_dense(const enum maple_type type) 242 { 243 return type < maple_leaf_64; 244 } 245 246 static __always_inline bool ma_is_leaf(const enum maple_type type) 247 { 248 return type < maple_range_64; 249 } 250 251 static __always_inline bool mte_is_leaf(const struct maple_enode *entry) 252 { 253 return ma_is_leaf(mte_node_type(entry)); 254 } 255 256 /* 257 * We also reserve values with the bottom two bits set to '10' which are 258 * below 4096 259 */ 260 static __always_inline bool mt_is_reserved(const void *entry) 261 { 262 return ((unsigned long)entry < MAPLE_RESERVED_RANGE) && 263 xa_is_internal(entry); 264 } 265 266 static __always_inline void mas_set_err(struct ma_state *mas, long err) 267 { 268 mas->node = MA_ERROR(err); 269 mas->status = ma_error; 270 } 271 272 static __always_inline bool mas_is_ptr(const struct ma_state *mas) 273 { 274 return mas->status == ma_root; 275 } 276 277 static __always_inline bool mas_is_start(const struct ma_state *mas) 278 { 279 return mas->status == ma_start; 280 } 281 282 static __always_inline bool mas_is_none(const struct ma_state *mas) 283 { 284 return mas->status == ma_none; 285 } 286 287 static __always_inline bool mas_is_paused(const struct ma_state *mas) 288 { 289 return mas->status == ma_pause; 290 } 291 292 static __always_inline bool mas_is_overflow(struct ma_state *mas) 293 { 294 return mas->status == ma_overflow; 295 } 296 297 static inline bool mas_is_underflow(struct ma_state *mas) 298 { 299 return mas->status == ma_underflow; 300 } 301 302 static __always_inline struct maple_node *mte_to_node( 303 const struct maple_enode *entry) 304 { 305 return (struct maple_node *)((unsigned long)entry & ~MAPLE_NODE_MASK); 306 } 307 308 /* 309 * mte_to_mat() - Convert a maple encoded node to a maple topiary node. 310 * @entry: The maple encoded node 311 * 312 * Return: a maple topiary pointer 313 */ 314 static inline struct maple_topiary *mte_to_mat(const struct maple_enode *entry) 315 { 316 return (struct maple_topiary *) 317 ((unsigned long)entry & ~MAPLE_NODE_MASK); 318 } 319 320 /* 321 * mas_mn() - Get the maple state node. 322 * @mas: The maple state 323 * 324 * Return: the maple node (not encoded - bare pointer). 325 */ 326 static inline struct maple_node *mas_mn(const struct ma_state *mas) 327 { 328 return mte_to_node(mas->node); 329 } 330 331 /* 332 * mte_set_node_dead() - Set a maple encoded node as dead. 333 * @mn: The maple encoded node. 334 */ 335 static inline void mte_set_node_dead(struct maple_enode *mn) 336 { 337 mte_to_node(mn)->parent = ma_parent_ptr(mte_to_node(mn)); 338 smp_wmb(); /* Needed for RCU */ 339 } 340 341 /* Bit 1 indicates the root is a node */ 342 #define MAPLE_ROOT_NODE 0x02 343 /* maple_type stored bit 3-6 */ 344 #define MAPLE_ENODE_TYPE_SHIFT 0x03 345 /* Bit 2 means a NULL somewhere below */ 346 #define MAPLE_ENODE_NULL 0x04 347 348 static inline struct maple_enode *mt_mk_node(const struct maple_node *node, 349 enum maple_type type) 350 { 351 return (void *)((unsigned long)node | 352 (type << MAPLE_ENODE_TYPE_SHIFT) | MAPLE_ENODE_NULL); 353 } 354 355 static inline void *mte_mk_root(const struct maple_enode *node) 356 { 357 return (void *)((unsigned long)node | MAPLE_ROOT_NODE); 358 } 359 360 static inline void *mte_safe_root(const struct maple_enode *node) 361 { 362 return (void *)((unsigned long)node & ~MAPLE_ROOT_NODE); 363 } 364 365 static inline void __maybe_unused *mte_set_full(const struct maple_enode *node) 366 { 367 return (void *)((unsigned long)node & ~MAPLE_ENODE_NULL); 368 } 369 370 static inline void __maybe_unused *mte_clear_full(const struct maple_enode *node) 371 { 372 return (void *)((unsigned long)node | MAPLE_ENODE_NULL); 373 } 374 375 static inline bool __maybe_unused mte_has_null(const struct maple_enode *node) 376 { 377 return (unsigned long)node & MAPLE_ENODE_NULL; 378 } 379 380 static __always_inline bool ma_is_root(struct maple_node *node) 381 { 382 return ((unsigned long)node->parent & MA_ROOT_PARENT); 383 } 384 385 static __always_inline bool mte_is_root(const struct maple_enode *node) 386 { 387 return ma_is_root(mte_to_node(node)); 388 } 389 390 static inline bool mas_is_root_limits(const struct ma_state *mas) 391 { 392 return !mas->min && mas->max == ULONG_MAX; 393 } 394 395 static __always_inline bool mt_is_alloc(struct maple_tree *mt) 396 { 397 return (mt->ma_flags & MT_FLAGS_ALLOC_RANGE); 398 } 399 400 /* 401 * The Parent Pointer 402 * Excluding root, the parent pointer is 256B aligned like all other tree nodes. 403 * When storing a 32 or 64 bit values, the offset can fit into 5 bits. The 16 404 * bit values need an extra bit to store the offset. This extra bit comes from 405 * a reuse of the last bit in the node type. This is possible by using bit 1 to 406 * indicate if bit 2 is part of the type or the slot. 407 * 408 * Note types: 409 * 0x??1 = Root 410 * 0x?00 = 16 bit nodes 411 * 0x010 = 32 bit nodes 412 * 0x110 = 64 bit nodes 413 * 414 * Slot size and alignment 415 * 0b??1 : Root 416 * 0b?00 : 16 bit values, type in 0-1, slot in 2-7 417 * 0b010 : 32 bit values, type in 0-2, slot in 3-7 418 * 0b110 : 64 bit values, type in 0-2, slot in 3-7 419 */ 420 421 #define MAPLE_PARENT_ROOT 0x01 422 423 #define MAPLE_PARENT_SLOT_SHIFT 0x03 424 #define MAPLE_PARENT_SLOT_MASK 0xF8 425 426 #define MAPLE_PARENT_16B_SLOT_SHIFT 0x02 427 #define MAPLE_PARENT_16B_SLOT_MASK 0xFC 428 429 #define MAPLE_PARENT_RANGE64 0x06 430 #define MAPLE_PARENT_RANGE32 0x04 431 #define MAPLE_PARENT_NOT_RANGE16 0x02 432 433 /* 434 * mte_parent_shift() - Get the parent shift for the slot storage. 435 * @parent: The parent pointer cast as an unsigned long 436 * Return: The shift into that pointer to the star to of the slot 437 */ 438 static inline unsigned long mte_parent_shift(unsigned long parent) 439 { 440 /* Note bit 1 == 0 means 16B */ 441 if (likely(parent & MAPLE_PARENT_NOT_RANGE16)) 442 return MAPLE_PARENT_SLOT_SHIFT; 443 444 return MAPLE_PARENT_16B_SLOT_SHIFT; 445 } 446 447 /* 448 * mte_parent_slot_mask() - Get the slot mask for the parent. 449 * @parent: The parent pointer cast as an unsigned long. 450 * Return: The slot mask for that parent. 451 */ 452 static inline unsigned long mte_parent_slot_mask(unsigned long parent) 453 { 454 /* Note bit 1 == 0 means 16B */ 455 if (likely(parent & MAPLE_PARENT_NOT_RANGE16)) 456 return MAPLE_PARENT_SLOT_MASK; 457 458 return MAPLE_PARENT_16B_SLOT_MASK; 459 } 460 461 /* 462 * mas_parent_type() - Return the maple_type of the parent from the stored 463 * parent type. 464 * @mas: The maple state 465 * @enode: The maple_enode to extract the parent's enum 466 * Return: The node->parent maple_type 467 */ 468 static inline 469 enum maple_type mas_parent_type(struct ma_state *mas, struct maple_enode *enode) 470 { 471 unsigned long p_type; 472 473 p_type = (unsigned long)mte_to_node(enode)->parent; 474 if (WARN_ON(p_type & MAPLE_PARENT_ROOT)) 475 return 0; 476 477 p_type &= MAPLE_NODE_MASK; 478 p_type &= ~mte_parent_slot_mask(p_type); 479 switch (p_type) { 480 case MAPLE_PARENT_RANGE64: /* or MAPLE_PARENT_ARANGE64 */ 481 if (mt_is_alloc(mas->tree)) 482 return maple_arange_64; 483 return maple_range_64; 484 } 485 486 return 0; 487 } 488 489 /* 490 * mas_set_parent() - Set the parent node and encode the slot 491 * @mas: The maple state 492 * @enode: The encoded maple node. 493 * @parent: The encoded maple node that is the parent of @enode. 494 * @slot: The slot that @enode resides in @parent. 495 * 496 * Slot number is encoded in the enode->parent bit 3-6 or 2-6, depending on the 497 * parent type. 498 */ 499 static inline 500 void mas_set_parent(struct ma_state *mas, struct maple_enode *enode, 501 const struct maple_enode *parent, unsigned char slot) 502 { 503 unsigned long val = (unsigned long)parent; 504 unsigned long shift; 505 unsigned long type; 506 enum maple_type p_type = mte_node_type(parent); 507 508 MAS_BUG_ON(mas, p_type == maple_dense); 509 MAS_BUG_ON(mas, p_type == maple_leaf_64); 510 511 switch (p_type) { 512 case maple_range_64: 513 case maple_arange_64: 514 shift = MAPLE_PARENT_SLOT_SHIFT; 515 type = MAPLE_PARENT_RANGE64; 516 break; 517 default: 518 case maple_dense: 519 case maple_leaf_64: 520 shift = type = 0; 521 break; 522 } 523 524 val &= ~MAPLE_NODE_MASK; /* Clear all node metadata in parent */ 525 val |= (slot << shift) | type; 526 mte_to_node(enode)->parent = ma_parent_ptr(val); 527 } 528 529 /* 530 * mte_parent_slot() - get the parent slot of @enode. 531 * @enode: The encoded maple node. 532 * 533 * Return: The slot in the parent node where @enode resides. 534 */ 535 static __always_inline 536 unsigned int mte_parent_slot(const struct maple_enode *enode) 537 { 538 unsigned long val = (unsigned long)mte_to_node(enode)->parent; 539 540 if (unlikely(val & MA_ROOT_PARENT)) 541 return 0; 542 543 /* 544 * Okay to use MAPLE_PARENT_16B_SLOT_MASK as the last bit will be lost 545 * by shift if the parent shift is MAPLE_PARENT_SLOT_SHIFT 546 */ 547 return (val & MAPLE_PARENT_16B_SLOT_MASK) >> mte_parent_shift(val); 548 } 549 550 /* 551 * mte_parent() - Get the parent of @node. 552 * @enode: The encoded maple node. 553 * 554 * Return: The parent maple node. 555 */ 556 static __always_inline 557 struct maple_node *mte_parent(const struct maple_enode *enode) 558 { 559 return (void *)((unsigned long) 560 (mte_to_node(enode)->parent) & ~MAPLE_NODE_MASK); 561 } 562 563 /* 564 * ma_dead_node() - check if the @enode is dead. 565 * @enode: The encoded maple node 566 * 567 * Return: true if dead, false otherwise. 568 */ 569 static __always_inline bool ma_dead_node(const struct maple_node *node) 570 { 571 struct maple_node *parent; 572 573 /* Do not reorder reads from the node prior to the parent check */ 574 smp_rmb(); 575 parent = (void *)((unsigned long) node->parent & ~MAPLE_NODE_MASK); 576 return (parent == node); 577 } 578 579 /* 580 * mte_dead_node() - check if the @enode is dead. 581 * @enode: The encoded maple node 582 * 583 * Return: true if dead, false otherwise. 584 */ 585 static __always_inline bool mte_dead_node(const struct maple_enode *enode) 586 { 587 struct maple_node *parent, *node; 588 589 node = mte_to_node(enode); 590 /* Do not reorder reads from the node prior to the parent check */ 591 smp_rmb(); 592 parent = mte_parent(enode); 593 return (parent == node); 594 } 595 596 /* 597 * mas_allocated() - Get the number of nodes allocated in a maple state. 598 * @mas: The maple state 599 * 600 * The ma_state alloc member is overloaded to hold a pointer to the first 601 * allocated node or to the number of requested nodes to allocate. If bit 0 is 602 * set, then the alloc contains the number of requested nodes. If there is an 603 * allocated node, then the total allocated nodes is in that node. 604 * 605 * Return: The total number of nodes allocated 606 */ 607 static inline unsigned long mas_allocated(const struct ma_state *mas) 608 { 609 if (!mas->alloc || ((unsigned long)mas->alloc & 0x1)) 610 return 0; 611 612 return mas->alloc->total; 613 } 614 615 /* 616 * mas_set_alloc_req() - Set the requested number of allocations. 617 * @mas: the maple state 618 * @count: the number of allocations. 619 * 620 * The requested number of allocations is either in the first allocated node, 621 * located in @mas->alloc->request_count, or directly in @mas->alloc if there is 622 * no allocated node. Set the request either in the node or do the necessary 623 * encoding to store in @mas->alloc directly. 624 */ 625 static inline void mas_set_alloc_req(struct ma_state *mas, unsigned long count) 626 { 627 if (!mas->alloc || ((unsigned long)mas->alloc & 0x1)) { 628 if (!count) 629 mas->alloc = NULL; 630 else 631 mas->alloc = (struct maple_alloc *)(((count) << 1U) | 1U); 632 return; 633 } 634 635 mas->alloc->request_count = count; 636 } 637 638 /* 639 * mas_alloc_req() - get the requested number of allocations. 640 * @mas: The maple state 641 * 642 * The alloc count is either stored directly in @mas, or in 643 * @mas->alloc->request_count if there is at least one node allocated. Decode 644 * the request count if it's stored directly in @mas->alloc. 645 * 646 * Return: The allocation request count. 647 */ 648 static inline unsigned int mas_alloc_req(const struct ma_state *mas) 649 { 650 if ((unsigned long)mas->alloc & 0x1) 651 return (unsigned long)(mas->alloc) >> 1; 652 else if (mas->alloc) 653 return mas->alloc->request_count; 654 return 0; 655 } 656 657 /* 658 * ma_pivots() - Get a pointer to the maple node pivots. 659 * @node: the maple node 660 * @type: the node type 661 * 662 * In the event of a dead node, this array may be %NULL 663 * 664 * Return: A pointer to the maple node pivots 665 */ 666 static inline unsigned long *ma_pivots(struct maple_node *node, 667 enum maple_type type) 668 { 669 switch (type) { 670 case maple_arange_64: 671 return node->ma64.pivot; 672 case maple_range_64: 673 case maple_leaf_64: 674 return node->mr64.pivot; 675 case maple_dense: 676 return NULL; 677 } 678 return NULL; 679 } 680 681 /* 682 * ma_gaps() - Get a pointer to the maple node gaps. 683 * @node: the maple node 684 * @type: the node type 685 * 686 * Return: A pointer to the maple node gaps 687 */ 688 static inline unsigned long *ma_gaps(struct maple_node *node, 689 enum maple_type type) 690 { 691 switch (type) { 692 case maple_arange_64: 693 return node->ma64.gap; 694 case maple_range_64: 695 case maple_leaf_64: 696 case maple_dense: 697 return NULL; 698 } 699 return NULL; 700 } 701 702 /* 703 * mas_safe_pivot() - get the pivot at @piv or mas->max. 704 * @mas: The maple state 705 * @pivots: The pointer to the maple node pivots 706 * @piv: The pivot to fetch 707 * @type: The maple node type 708 * 709 * Return: The pivot at @piv within the limit of the @pivots array, @mas->max 710 * otherwise. 711 */ 712 static __always_inline unsigned long 713 mas_safe_pivot(const struct ma_state *mas, unsigned long *pivots, 714 unsigned char piv, enum maple_type type) 715 { 716 if (piv >= mt_pivots[type]) 717 return mas->max; 718 719 return pivots[piv]; 720 } 721 722 /* 723 * mas_safe_min() - Return the minimum for a given offset. 724 * @mas: The maple state 725 * @pivots: The pointer to the maple node pivots 726 * @offset: The offset into the pivot array 727 * 728 * Return: The minimum range value that is contained in @offset. 729 */ 730 static inline unsigned long 731 mas_safe_min(struct ma_state *mas, unsigned long *pivots, unsigned char offset) 732 { 733 if (likely(offset)) 734 return pivots[offset - 1] + 1; 735 736 return mas->min; 737 } 738 739 /* 740 * mte_set_pivot() - Set a pivot to a value in an encoded maple node. 741 * @mn: The encoded maple node 742 * @piv: The pivot offset 743 * @val: The value of the pivot 744 */ 745 static inline void mte_set_pivot(struct maple_enode *mn, unsigned char piv, 746 unsigned long val) 747 { 748 struct maple_node *node = mte_to_node(mn); 749 enum maple_type type = mte_node_type(mn); 750 751 BUG_ON(piv >= mt_pivots[type]); 752 switch (type) { 753 case maple_range_64: 754 case maple_leaf_64: 755 node->mr64.pivot[piv] = val; 756 break; 757 case maple_arange_64: 758 node->ma64.pivot[piv] = val; 759 break; 760 case maple_dense: 761 break; 762 } 763 764 } 765 766 /* 767 * ma_slots() - Get a pointer to the maple node slots. 768 * @mn: The maple node 769 * @mt: The maple node type 770 * 771 * Return: A pointer to the maple node slots 772 */ 773 static inline void __rcu **ma_slots(struct maple_node *mn, enum maple_type mt) 774 { 775 switch (mt) { 776 case maple_arange_64: 777 return mn->ma64.slot; 778 case maple_range_64: 779 case maple_leaf_64: 780 return mn->mr64.slot; 781 case maple_dense: 782 return mn->slot; 783 } 784 785 return NULL; 786 } 787 788 static inline bool mt_write_locked(const struct maple_tree *mt) 789 { 790 return mt_external_lock(mt) ? mt_write_lock_is_held(mt) : 791 lockdep_is_held(&mt->ma_lock); 792 } 793 794 static __always_inline bool mt_locked(const struct maple_tree *mt) 795 { 796 return mt_external_lock(mt) ? mt_lock_is_held(mt) : 797 lockdep_is_held(&mt->ma_lock); 798 } 799 800 static __always_inline void *mt_slot(const struct maple_tree *mt, 801 void __rcu **slots, unsigned char offset) 802 { 803 return rcu_dereference_check(slots[offset], mt_locked(mt)); 804 } 805 806 static __always_inline void *mt_slot_locked(struct maple_tree *mt, 807 void __rcu **slots, unsigned char offset) 808 { 809 return rcu_dereference_protected(slots[offset], mt_write_locked(mt)); 810 } 811 /* 812 * mas_slot_locked() - Get the slot value when holding the maple tree lock. 813 * @mas: The maple state 814 * @slots: The pointer to the slots 815 * @offset: The offset into the slots array to fetch 816 * 817 * Return: The entry stored in @slots at the @offset. 818 */ 819 static __always_inline void *mas_slot_locked(struct ma_state *mas, 820 void __rcu **slots, unsigned char offset) 821 { 822 return mt_slot_locked(mas->tree, slots, offset); 823 } 824 825 /* 826 * mas_slot() - Get the slot value when not holding the maple tree lock. 827 * @mas: The maple state 828 * @slots: The pointer to the slots 829 * @offset: The offset into the slots array to fetch 830 * 831 * Return: The entry stored in @slots at the @offset 832 */ 833 static __always_inline void *mas_slot(struct ma_state *mas, void __rcu **slots, 834 unsigned char offset) 835 { 836 return mt_slot(mas->tree, slots, offset); 837 } 838 839 /* 840 * mas_root() - Get the maple tree root. 841 * @mas: The maple state. 842 * 843 * Return: The pointer to the root of the tree 844 */ 845 static __always_inline void *mas_root(struct ma_state *mas) 846 { 847 return rcu_dereference_check(mas->tree->ma_root, mt_locked(mas->tree)); 848 } 849 850 static inline void *mt_root_locked(struct maple_tree *mt) 851 { 852 return rcu_dereference_protected(mt->ma_root, mt_write_locked(mt)); 853 } 854 855 /* 856 * mas_root_locked() - Get the maple tree root when holding the maple tree lock. 857 * @mas: The maple state. 858 * 859 * Return: The pointer to the root of the tree 860 */ 861 static inline void *mas_root_locked(struct ma_state *mas) 862 { 863 return mt_root_locked(mas->tree); 864 } 865 866 static inline struct maple_metadata *ma_meta(struct maple_node *mn, 867 enum maple_type mt) 868 { 869 switch (mt) { 870 case maple_arange_64: 871 return &mn->ma64.meta; 872 default: 873 return &mn->mr64.meta; 874 } 875 } 876 877 /* 878 * ma_set_meta() - Set the metadata information of a node. 879 * @mn: The maple node 880 * @mt: The maple node type 881 * @offset: The offset of the highest sub-gap in this node. 882 * @end: The end of the data in this node. 883 */ 884 static inline void ma_set_meta(struct maple_node *mn, enum maple_type mt, 885 unsigned char offset, unsigned char end) 886 { 887 struct maple_metadata *meta = ma_meta(mn, mt); 888 889 meta->gap = offset; 890 meta->end = end; 891 } 892 893 /* 894 * mt_clear_meta() - clear the metadata information of a node, if it exists 895 * @mt: The maple tree 896 * @mn: The maple node 897 * @type: The maple node type 898 */ 899 static inline void mt_clear_meta(struct maple_tree *mt, struct maple_node *mn, 900 enum maple_type type) 901 { 902 struct maple_metadata *meta; 903 unsigned long *pivots; 904 void __rcu **slots; 905 void *next; 906 907 switch (type) { 908 case maple_range_64: 909 pivots = mn->mr64.pivot; 910 if (unlikely(pivots[MAPLE_RANGE64_SLOTS - 2])) { 911 slots = mn->mr64.slot; 912 next = mt_slot_locked(mt, slots, 913 MAPLE_RANGE64_SLOTS - 1); 914 if (unlikely((mte_to_node(next) && 915 mte_node_type(next)))) 916 return; /* no metadata, could be node */ 917 } 918 fallthrough; 919 case maple_arange_64: 920 meta = ma_meta(mn, type); 921 break; 922 default: 923 return; 924 } 925 926 meta->gap = 0; 927 meta->end = 0; 928 } 929 930 /* 931 * ma_meta_end() - Get the data end of a node from the metadata 932 * @mn: The maple node 933 * @mt: The maple node type 934 */ 935 static inline unsigned char ma_meta_end(struct maple_node *mn, 936 enum maple_type mt) 937 { 938 struct maple_metadata *meta = ma_meta(mn, mt); 939 940 return meta->end; 941 } 942 943 /* 944 * ma_meta_gap() - Get the largest gap location of a node from the metadata 945 * @mn: The maple node 946 */ 947 static inline unsigned char ma_meta_gap(struct maple_node *mn) 948 { 949 return mn->ma64.meta.gap; 950 } 951 952 /* 953 * ma_set_meta_gap() - Set the largest gap location in a nodes metadata 954 * @mn: The maple node 955 * @mt: The maple node type 956 * @offset: The location of the largest gap. 957 */ 958 static inline void ma_set_meta_gap(struct maple_node *mn, enum maple_type mt, 959 unsigned char offset) 960 { 961 962 struct maple_metadata *meta = ma_meta(mn, mt); 963 964 meta->gap = offset; 965 } 966 967 /* 968 * mat_add() - Add a @dead_enode to the ma_topiary of a list of dead nodes. 969 * @mat: the ma_topiary, a linked list of dead nodes. 970 * @dead_enode: the node to be marked as dead and added to the tail of the list 971 * 972 * Add the @dead_enode to the linked list in @mat. 973 */ 974 static inline void mat_add(struct ma_topiary *mat, 975 struct maple_enode *dead_enode) 976 { 977 mte_set_node_dead(dead_enode); 978 mte_to_mat(dead_enode)->next = NULL; 979 if (!mat->tail) { 980 mat->tail = mat->head = dead_enode; 981 return; 982 } 983 984 mte_to_mat(mat->tail)->next = dead_enode; 985 mat->tail = dead_enode; 986 } 987 988 static void mt_free_walk(struct rcu_head *head); 989 static void mt_destroy_walk(struct maple_enode *enode, struct maple_tree *mt, 990 bool free); 991 /* 992 * mas_mat_destroy() - Free all nodes and subtrees in a dead list. 993 * @mas: the maple state 994 * @mat: the ma_topiary linked list of dead nodes to free. 995 * 996 * Destroy walk a dead list. 997 */ 998 static void mas_mat_destroy(struct ma_state *mas, struct ma_topiary *mat) 999 { 1000 struct maple_enode *next; 1001 struct maple_node *node; 1002 bool in_rcu = mt_in_rcu(mas->tree); 1003 1004 while (mat->head) { 1005 next = mte_to_mat(mat->head)->next; 1006 node = mte_to_node(mat->head); 1007 mt_destroy_walk(mat->head, mas->tree, !in_rcu); 1008 if (in_rcu) 1009 call_rcu(&node->rcu, mt_free_walk); 1010 mat->head = next; 1011 } 1012 } 1013 /* 1014 * mas_descend() - Descend into the slot stored in the ma_state. 1015 * @mas: the maple state. 1016 * 1017 * Note: Not RCU safe, only use in write side or debug code. 1018 */ 1019 static inline void mas_descend(struct ma_state *mas) 1020 { 1021 enum maple_type type; 1022 unsigned long *pivots; 1023 struct maple_node *node; 1024 void __rcu **slots; 1025 1026 node = mas_mn(mas); 1027 type = mte_node_type(mas->node); 1028 pivots = ma_pivots(node, type); 1029 slots = ma_slots(node, type); 1030 1031 if (mas->offset) 1032 mas->min = pivots[mas->offset - 1] + 1; 1033 mas->max = mas_safe_pivot(mas, pivots, mas->offset, type); 1034 mas->node = mas_slot(mas, slots, mas->offset); 1035 } 1036 1037 /* 1038 * mte_set_gap() - Set a maple node gap. 1039 * @mn: The encoded maple node 1040 * @gap: The offset of the gap to set 1041 * @val: The gap value 1042 */ 1043 static inline void mte_set_gap(const struct maple_enode *mn, 1044 unsigned char gap, unsigned long val) 1045 { 1046 switch (mte_node_type(mn)) { 1047 default: 1048 break; 1049 case maple_arange_64: 1050 mte_to_node(mn)->ma64.gap[gap] = val; 1051 break; 1052 } 1053 } 1054 1055 /* 1056 * mas_ascend() - Walk up a level of the tree. 1057 * @mas: The maple state 1058 * 1059 * Sets the @mas->max and @mas->min to the correct values when walking up. This 1060 * may cause several levels of walking up to find the correct min and max. 1061 * May find a dead node which will cause a premature return. 1062 * Return: 1 on dead node, 0 otherwise 1063 */ 1064 static int mas_ascend(struct ma_state *mas) 1065 { 1066 struct maple_enode *p_enode; /* parent enode. */ 1067 struct maple_enode *a_enode; /* ancestor enode. */ 1068 struct maple_node *a_node; /* ancestor node. */ 1069 struct maple_node *p_node; /* parent node. */ 1070 unsigned char a_slot; 1071 enum maple_type a_type; 1072 unsigned long min, max; 1073 unsigned long *pivots; 1074 bool set_max = false, set_min = false; 1075 1076 a_node = mas_mn(mas); 1077 if (ma_is_root(a_node)) { 1078 mas->offset = 0; 1079 return 0; 1080 } 1081 1082 p_node = mte_parent(mas->node); 1083 if (unlikely(a_node == p_node)) 1084 return 1; 1085 1086 a_type = mas_parent_type(mas, mas->node); 1087 mas->offset = mte_parent_slot(mas->node); 1088 a_enode = mt_mk_node(p_node, a_type); 1089 1090 /* Check to make sure all parent information is still accurate */ 1091 if (p_node != mte_parent(mas->node)) 1092 return 1; 1093 1094 mas->node = a_enode; 1095 1096 if (mte_is_root(a_enode)) { 1097 mas->max = ULONG_MAX; 1098 mas->min = 0; 1099 return 0; 1100 } 1101 1102 min = 0; 1103 max = ULONG_MAX; 1104 if (!mas->offset) { 1105 min = mas->min; 1106 set_min = true; 1107 } 1108 1109 if (mas->max == ULONG_MAX) 1110 set_max = true; 1111 1112 do { 1113 p_enode = a_enode; 1114 a_type = mas_parent_type(mas, p_enode); 1115 a_node = mte_parent(p_enode); 1116 a_slot = mte_parent_slot(p_enode); 1117 a_enode = mt_mk_node(a_node, a_type); 1118 pivots = ma_pivots(a_node, a_type); 1119 1120 if (unlikely(ma_dead_node(a_node))) 1121 return 1; 1122 1123 if (!set_min && a_slot) { 1124 set_min = true; 1125 min = pivots[a_slot - 1] + 1; 1126 } 1127 1128 if (!set_max && a_slot < mt_pivots[a_type]) { 1129 set_max = true; 1130 max = pivots[a_slot]; 1131 } 1132 1133 if (unlikely(ma_dead_node(a_node))) 1134 return 1; 1135 1136 if (unlikely(ma_is_root(a_node))) 1137 break; 1138 1139 } while (!set_min || !set_max); 1140 1141 mas->max = max; 1142 mas->min = min; 1143 return 0; 1144 } 1145 1146 /* 1147 * mas_pop_node() - Get a previously allocated maple node from the maple state. 1148 * @mas: The maple state 1149 * 1150 * Return: A pointer to a maple node. 1151 */ 1152 static inline struct maple_node *mas_pop_node(struct ma_state *mas) 1153 { 1154 struct maple_alloc *ret, *node = mas->alloc; 1155 unsigned long total = mas_allocated(mas); 1156 unsigned int req = mas_alloc_req(mas); 1157 1158 /* nothing or a request pending. */ 1159 if (WARN_ON(!total)) 1160 return NULL; 1161 1162 if (total == 1) { 1163 /* single allocation in this ma_state */ 1164 mas->alloc = NULL; 1165 ret = node; 1166 goto single_node; 1167 } 1168 1169 if (node->node_count == 1) { 1170 /* Single allocation in this node. */ 1171 mas->alloc = node->slot[0]; 1172 mas->alloc->total = node->total - 1; 1173 ret = node; 1174 goto new_head; 1175 } 1176 node->total--; 1177 ret = node->slot[--node->node_count]; 1178 node->slot[node->node_count] = NULL; 1179 1180 single_node: 1181 new_head: 1182 if (req) { 1183 req++; 1184 mas_set_alloc_req(mas, req); 1185 } 1186 1187 memset(ret, 0, sizeof(*ret)); 1188 return (struct maple_node *)ret; 1189 } 1190 1191 /* 1192 * mas_push_node() - Push a node back on the maple state allocation. 1193 * @mas: The maple state 1194 * @used: The used maple node 1195 * 1196 * Stores the maple node back into @mas->alloc for reuse. Updates allocated and 1197 * requested node count as necessary. 1198 */ 1199 static inline void mas_push_node(struct ma_state *mas, struct maple_node *used) 1200 { 1201 struct maple_alloc *reuse = (struct maple_alloc *)used; 1202 struct maple_alloc *head = mas->alloc; 1203 unsigned long count; 1204 unsigned int requested = mas_alloc_req(mas); 1205 1206 count = mas_allocated(mas); 1207 1208 reuse->request_count = 0; 1209 reuse->node_count = 0; 1210 if (count) { 1211 if (head->node_count < MAPLE_ALLOC_SLOTS) { 1212 head->slot[head->node_count++] = reuse; 1213 head->total++; 1214 goto done; 1215 } 1216 reuse->slot[0] = head; 1217 reuse->node_count = 1; 1218 } 1219 1220 reuse->total = count + 1; 1221 mas->alloc = reuse; 1222 done: 1223 if (requested > 1) 1224 mas_set_alloc_req(mas, requested - 1); 1225 } 1226 1227 /* 1228 * mas_alloc_nodes() - Allocate nodes into a maple state 1229 * @mas: The maple state 1230 * @gfp: The GFP Flags 1231 */ 1232 static inline void mas_alloc_nodes(struct ma_state *mas, gfp_t gfp) 1233 { 1234 struct maple_alloc *node; 1235 unsigned long allocated = mas_allocated(mas); 1236 unsigned int requested = mas_alloc_req(mas); 1237 unsigned int count; 1238 void **slots = NULL; 1239 unsigned int max_req = 0; 1240 1241 if (!requested) 1242 return; 1243 1244 mas_set_alloc_req(mas, 0); 1245 if (mas->mas_flags & MA_STATE_PREALLOC) { 1246 if (allocated) 1247 return; 1248 BUG_ON(!allocated); 1249 WARN_ON(!allocated); 1250 } 1251 1252 if (!allocated || mas->alloc->node_count == MAPLE_ALLOC_SLOTS) { 1253 node = (struct maple_alloc *)mt_alloc_one(gfp); 1254 if (!node) 1255 goto nomem_one; 1256 1257 if (allocated) { 1258 node->slot[0] = mas->alloc; 1259 node->node_count = 1; 1260 } else { 1261 node->node_count = 0; 1262 } 1263 1264 mas->alloc = node; 1265 node->total = ++allocated; 1266 node->request_count = 0; 1267 requested--; 1268 } 1269 1270 node = mas->alloc; 1271 while (requested) { 1272 max_req = MAPLE_ALLOC_SLOTS - node->node_count; 1273 slots = (void **)&node->slot[node->node_count]; 1274 max_req = min(requested, max_req); 1275 count = mt_alloc_bulk(gfp, max_req, slots); 1276 if (!count) 1277 goto nomem_bulk; 1278 1279 if (node->node_count == 0) { 1280 node->slot[0]->node_count = 0; 1281 node->slot[0]->request_count = 0; 1282 } 1283 1284 node->node_count += count; 1285 allocated += count; 1286 /* find a non-full node*/ 1287 do { 1288 node = node->slot[0]; 1289 } while (unlikely(node->node_count == MAPLE_ALLOC_SLOTS)); 1290 requested -= count; 1291 } 1292 mas->alloc->total = allocated; 1293 return; 1294 1295 nomem_bulk: 1296 /* Clean up potential freed allocations on bulk failure */ 1297 memset(slots, 0, max_req * sizeof(unsigned long)); 1298 mas->alloc->total = allocated; 1299 nomem_one: 1300 mas_set_alloc_req(mas, requested); 1301 mas_set_err(mas, -ENOMEM); 1302 } 1303 1304 /* 1305 * mas_free() - Free an encoded maple node 1306 * @mas: The maple state 1307 * @used: The encoded maple node to free. 1308 * 1309 * Uses rcu free if necessary, pushes @used back on the maple state allocations 1310 * otherwise. 1311 */ 1312 static inline void mas_free(struct ma_state *mas, struct maple_enode *used) 1313 { 1314 struct maple_node *tmp = mte_to_node(used); 1315 1316 if (mt_in_rcu(mas->tree)) 1317 ma_free_rcu(tmp); 1318 else 1319 mas_push_node(mas, tmp); 1320 } 1321 1322 /* 1323 * mas_node_count_gfp() - Check if enough nodes are allocated and request more 1324 * if there is not enough nodes. 1325 * @mas: The maple state 1326 * @count: The number of nodes needed 1327 * @gfp: the gfp flags 1328 */ 1329 static void mas_node_count_gfp(struct ma_state *mas, int count, gfp_t gfp) 1330 { 1331 unsigned long allocated = mas_allocated(mas); 1332 1333 if (allocated < count) { 1334 mas_set_alloc_req(mas, count - allocated); 1335 mas_alloc_nodes(mas, gfp); 1336 } 1337 } 1338 1339 /* 1340 * mas_node_count() - Check if enough nodes are allocated and request more if 1341 * there is not enough nodes. 1342 * @mas: The maple state 1343 * @count: The number of nodes needed 1344 * 1345 * Note: Uses GFP_NOWAIT | __GFP_NOWARN for gfp flags. 1346 */ 1347 static void mas_node_count(struct ma_state *mas, int count) 1348 { 1349 return mas_node_count_gfp(mas, count, GFP_NOWAIT | __GFP_NOWARN); 1350 } 1351 1352 /* 1353 * mas_start() - Sets up maple state for operations. 1354 * @mas: The maple state. 1355 * 1356 * If mas->status == mas_start, then set the min, max and depth to 1357 * defaults. 1358 * 1359 * Return: 1360 * - If mas->node is an error or not mas_start, return NULL. 1361 * - If it's an empty tree: NULL & mas->status == ma_none 1362 * - If it's a single entry: The entry & mas->status == ma_root 1363 * - If it's a tree: NULL & mas->status == ma_active 1364 */ 1365 static inline struct maple_enode *mas_start(struct ma_state *mas) 1366 { 1367 if (likely(mas_is_start(mas))) { 1368 struct maple_enode *root; 1369 1370 mas->min = 0; 1371 mas->max = ULONG_MAX; 1372 1373 retry: 1374 mas->depth = 0; 1375 root = mas_root(mas); 1376 /* Tree with nodes */ 1377 if (likely(xa_is_node(root))) { 1378 mas->depth = 1; 1379 mas->status = ma_active; 1380 mas->node = mte_safe_root(root); 1381 mas->offset = 0; 1382 if (mte_dead_node(mas->node)) 1383 goto retry; 1384 1385 return NULL; 1386 } 1387 1388 mas->node = NULL; 1389 /* empty tree */ 1390 if (unlikely(!root)) { 1391 mas->status = ma_none; 1392 mas->offset = MAPLE_NODE_SLOTS; 1393 return NULL; 1394 } 1395 1396 /* Single entry tree */ 1397 mas->status = ma_root; 1398 mas->offset = MAPLE_NODE_SLOTS; 1399 1400 /* Single entry tree. */ 1401 if (mas->index > 0) 1402 return NULL; 1403 1404 return root; 1405 } 1406 1407 return NULL; 1408 } 1409 1410 /* 1411 * ma_data_end() - Find the end of the data in a node. 1412 * @node: The maple node 1413 * @type: The maple node type 1414 * @pivots: The array of pivots in the node 1415 * @max: The maximum value in the node 1416 * 1417 * Uses metadata to find the end of the data when possible. 1418 * Return: The zero indexed last slot with data (may be null). 1419 */ 1420 static __always_inline unsigned char ma_data_end(struct maple_node *node, 1421 enum maple_type type, unsigned long *pivots, unsigned long max) 1422 { 1423 unsigned char offset; 1424 1425 if (!pivots) 1426 return 0; 1427 1428 if (type == maple_arange_64) 1429 return ma_meta_end(node, type); 1430 1431 offset = mt_pivots[type] - 1; 1432 if (likely(!pivots[offset])) 1433 return ma_meta_end(node, type); 1434 1435 if (likely(pivots[offset] == max)) 1436 return offset; 1437 1438 return mt_pivots[type]; 1439 } 1440 1441 /* 1442 * mas_data_end() - Find the end of the data (slot). 1443 * @mas: the maple state 1444 * 1445 * This method is optimized to check the metadata of a node if the node type 1446 * supports data end metadata. 1447 * 1448 * Return: The zero indexed last slot with data (may be null). 1449 */ 1450 static inline unsigned char mas_data_end(struct ma_state *mas) 1451 { 1452 enum maple_type type; 1453 struct maple_node *node; 1454 unsigned char offset; 1455 unsigned long *pivots; 1456 1457 type = mte_node_type(mas->node); 1458 node = mas_mn(mas); 1459 if (type == maple_arange_64) 1460 return ma_meta_end(node, type); 1461 1462 pivots = ma_pivots(node, type); 1463 if (unlikely(ma_dead_node(node))) 1464 return 0; 1465 1466 offset = mt_pivots[type] - 1; 1467 if (likely(!pivots[offset])) 1468 return ma_meta_end(node, type); 1469 1470 if (likely(pivots[offset] == mas->max)) 1471 return offset; 1472 1473 return mt_pivots[type]; 1474 } 1475 1476 /* 1477 * mas_leaf_max_gap() - Returns the largest gap in a leaf node 1478 * @mas: the maple state 1479 * 1480 * Return: The maximum gap in the leaf. 1481 */ 1482 static unsigned long mas_leaf_max_gap(struct ma_state *mas) 1483 { 1484 enum maple_type mt; 1485 unsigned long pstart, gap, max_gap; 1486 struct maple_node *mn; 1487 unsigned long *pivots; 1488 void __rcu **slots; 1489 unsigned char i; 1490 unsigned char max_piv; 1491 1492 mt = mte_node_type(mas->node); 1493 mn = mas_mn(mas); 1494 slots = ma_slots(mn, mt); 1495 max_gap = 0; 1496 if (unlikely(ma_is_dense(mt))) { 1497 gap = 0; 1498 for (i = 0; i < mt_slots[mt]; i++) { 1499 if (slots[i]) { 1500 if (gap > max_gap) 1501 max_gap = gap; 1502 gap = 0; 1503 } else { 1504 gap++; 1505 } 1506 } 1507 if (gap > max_gap) 1508 max_gap = gap; 1509 return max_gap; 1510 } 1511 1512 /* 1513 * Check the first implied pivot optimizes the loop below and slot 1 may 1514 * be skipped if there is a gap in slot 0. 1515 */ 1516 pivots = ma_pivots(mn, mt); 1517 if (likely(!slots[0])) { 1518 max_gap = pivots[0] - mas->min + 1; 1519 i = 2; 1520 } else { 1521 i = 1; 1522 } 1523 1524 /* reduce max_piv as the special case is checked before the loop */ 1525 max_piv = ma_data_end(mn, mt, pivots, mas->max) - 1; 1526 /* 1527 * Check end implied pivot which can only be a gap on the right most 1528 * node. 1529 */ 1530 if (unlikely(mas->max == ULONG_MAX) && !slots[max_piv + 1]) { 1531 gap = ULONG_MAX - pivots[max_piv]; 1532 if (gap > max_gap) 1533 max_gap = gap; 1534 1535 if (max_gap > pivots[max_piv] - mas->min) 1536 return max_gap; 1537 } 1538 1539 for (; i <= max_piv; i++) { 1540 /* data == no gap. */ 1541 if (likely(slots[i])) 1542 continue; 1543 1544 pstart = pivots[i - 1]; 1545 gap = pivots[i] - pstart; 1546 if (gap > max_gap) 1547 max_gap = gap; 1548 1549 /* There cannot be two gaps in a row. */ 1550 i++; 1551 } 1552 return max_gap; 1553 } 1554 1555 /* 1556 * ma_max_gap() - Get the maximum gap in a maple node (non-leaf) 1557 * @node: The maple node 1558 * @gaps: The pointer to the gaps 1559 * @mt: The maple node type 1560 * @off: Pointer to store the offset location of the gap. 1561 * 1562 * Uses the metadata data end to scan backwards across set gaps. 1563 * 1564 * Return: The maximum gap value 1565 */ 1566 static inline unsigned long 1567 ma_max_gap(struct maple_node *node, unsigned long *gaps, enum maple_type mt, 1568 unsigned char *off) 1569 { 1570 unsigned char offset, i; 1571 unsigned long max_gap = 0; 1572 1573 i = offset = ma_meta_end(node, mt); 1574 do { 1575 if (gaps[i] > max_gap) { 1576 max_gap = gaps[i]; 1577 offset = i; 1578 } 1579 } while (i--); 1580 1581 *off = offset; 1582 return max_gap; 1583 } 1584 1585 /* 1586 * mas_max_gap() - find the largest gap in a non-leaf node and set the slot. 1587 * @mas: The maple state. 1588 * 1589 * Return: The gap value. 1590 */ 1591 static inline unsigned long mas_max_gap(struct ma_state *mas) 1592 { 1593 unsigned long *gaps; 1594 unsigned char offset; 1595 enum maple_type mt; 1596 struct maple_node *node; 1597 1598 mt = mte_node_type(mas->node); 1599 if (ma_is_leaf(mt)) 1600 return mas_leaf_max_gap(mas); 1601 1602 node = mas_mn(mas); 1603 MAS_BUG_ON(mas, mt != maple_arange_64); 1604 offset = ma_meta_gap(node); 1605 gaps = ma_gaps(node, mt); 1606 return gaps[offset]; 1607 } 1608 1609 /* 1610 * mas_parent_gap() - Set the parent gap and any gaps above, as needed 1611 * @mas: The maple state 1612 * @offset: The gap offset in the parent to set 1613 * @new: The new gap value. 1614 * 1615 * Set the parent gap then continue to set the gap upwards, using the metadata 1616 * of the parent to see if it is necessary to check the node above. 1617 */ 1618 static inline void mas_parent_gap(struct ma_state *mas, unsigned char offset, 1619 unsigned long new) 1620 { 1621 unsigned long meta_gap = 0; 1622 struct maple_node *pnode; 1623 struct maple_enode *penode; 1624 unsigned long *pgaps; 1625 unsigned char meta_offset; 1626 enum maple_type pmt; 1627 1628 pnode = mte_parent(mas->node); 1629 pmt = mas_parent_type(mas, mas->node); 1630 penode = mt_mk_node(pnode, pmt); 1631 pgaps = ma_gaps(pnode, pmt); 1632 1633 ascend: 1634 MAS_BUG_ON(mas, pmt != maple_arange_64); 1635 meta_offset = ma_meta_gap(pnode); 1636 meta_gap = pgaps[meta_offset]; 1637 1638 pgaps[offset] = new; 1639 1640 if (meta_gap == new) 1641 return; 1642 1643 if (offset != meta_offset) { 1644 if (meta_gap > new) 1645 return; 1646 1647 ma_set_meta_gap(pnode, pmt, offset); 1648 } else if (new < meta_gap) { 1649 new = ma_max_gap(pnode, pgaps, pmt, &meta_offset); 1650 ma_set_meta_gap(pnode, pmt, meta_offset); 1651 } 1652 1653 if (ma_is_root(pnode)) 1654 return; 1655 1656 /* Go to the parent node. */ 1657 pnode = mte_parent(penode); 1658 pmt = mas_parent_type(mas, penode); 1659 pgaps = ma_gaps(pnode, pmt); 1660 offset = mte_parent_slot(penode); 1661 penode = mt_mk_node(pnode, pmt); 1662 goto ascend; 1663 } 1664 1665 /* 1666 * mas_update_gap() - Update a nodes gaps and propagate up if necessary. 1667 * @mas: the maple state. 1668 */ 1669 static inline void mas_update_gap(struct ma_state *mas) 1670 { 1671 unsigned char pslot; 1672 unsigned long p_gap; 1673 unsigned long max_gap; 1674 1675 if (!mt_is_alloc(mas->tree)) 1676 return; 1677 1678 if (mte_is_root(mas->node)) 1679 return; 1680 1681 max_gap = mas_max_gap(mas); 1682 1683 pslot = mte_parent_slot(mas->node); 1684 p_gap = ma_gaps(mte_parent(mas->node), 1685 mas_parent_type(mas, mas->node))[pslot]; 1686 1687 if (p_gap != max_gap) 1688 mas_parent_gap(mas, pslot, max_gap); 1689 } 1690 1691 /* 1692 * mas_adopt_children() - Set the parent pointer of all nodes in @parent to 1693 * @parent with the slot encoded. 1694 * @mas: the maple state (for the tree) 1695 * @parent: the maple encoded node containing the children. 1696 */ 1697 static inline void mas_adopt_children(struct ma_state *mas, 1698 struct maple_enode *parent) 1699 { 1700 enum maple_type type = mte_node_type(parent); 1701 struct maple_node *node = mte_to_node(parent); 1702 void __rcu **slots = ma_slots(node, type); 1703 unsigned long *pivots = ma_pivots(node, type); 1704 struct maple_enode *child; 1705 unsigned char offset; 1706 1707 offset = ma_data_end(node, type, pivots, mas->max); 1708 do { 1709 child = mas_slot_locked(mas, slots, offset); 1710 mas_set_parent(mas, child, parent, offset); 1711 } while (offset--); 1712 } 1713 1714 /* 1715 * mas_put_in_tree() - Put a new node in the tree, smp_wmb(), and mark the old 1716 * node as dead. 1717 * @mas: the maple state with the new node 1718 * @old_enode: The old maple encoded node to replace. 1719 */ 1720 static inline void mas_put_in_tree(struct ma_state *mas, 1721 struct maple_enode *old_enode) 1722 __must_hold(mas->tree->ma_lock) 1723 { 1724 unsigned char offset; 1725 void __rcu **slots; 1726 1727 if (mte_is_root(mas->node)) { 1728 mas_mn(mas)->parent = ma_parent_ptr(mas_tree_parent(mas)); 1729 rcu_assign_pointer(mas->tree->ma_root, mte_mk_root(mas->node)); 1730 mas_set_height(mas); 1731 } else { 1732 1733 offset = mte_parent_slot(mas->node); 1734 slots = ma_slots(mte_parent(mas->node), 1735 mas_parent_type(mas, mas->node)); 1736 rcu_assign_pointer(slots[offset], mas->node); 1737 } 1738 1739 mte_set_node_dead(old_enode); 1740 } 1741 1742 /* 1743 * mas_replace_node() - Replace a node by putting it in the tree, marking it 1744 * dead, and freeing it. 1745 * the parent encoding to locate the maple node in the tree. 1746 * @mas: the ma_state with @mas->node pointing to the new node. 1747 * @old_enode: The old maple encoded node. 1748 */ 1749 static inline void mas_replace_node(struct ma_state *mas, 1750 struct maple_enode *old_enode) 1751 __must_hold(mas->tree->ma_lock) 1752 { 1753 mas_put_in_tree(mas, old_enode); 1754 mas_free(mas, old_enode); 1755 } 1756 1757 /* 1758 * mas_find_child() - Find a child who has the parent @mas->node. 1759 * @mas: the maple state with the parent. 1760 * @child: the maple state to store the child. 1761 */ 1762 static inline bool mas_find_child(struct ma_state *mas, struct ma_state *child) 1763 __must_hold(mas->tree->ma_lock) 1764 { 1765 enum maple_type mt; 1766 unsigned char offset; 1767 unsigned char end; 1768 unsigned long *pivots; 1769 struct maple_enode *entry; 1770 struct maple_node *node; 1771 void __rcu **slots; 1772 1773 mt = mte_node_type(mas->node); 1774 node = mas_mn(mas); 1775 slots = ma_slots(node, mt); 1776 pivots = ma_pivots(node, mt); 1777 end = ma_data_end(node, mt, pivots, mas->max); 1778 for (offset = mas->offset; offset <= end; offset++) { 1779 entry = mas_slot_locked(mas, slots, offset); 1780 if (mte_parent(entry) == node) { 1781 *child = *mas; 1782 mas->offset = offset + 1; 1783 child->offset = offset; 1784 mas_descend(child); 1785 child->offset = 0; 1786 return true; 1787 } 1788 } 1789 return false; 1790 } 1791 1792 /* 1793 * mab_shift_right() - Shift the data in mab right. Note, does not clean out the 1794 * old data or set b_node->b_end. 1795 * @b_node: the maple_big_node 1796 * @shift: the shift count 1797 */ 1798 static inline void mab_shift_right(struct maple_big_node *b_node, 1799 unsigned char shift) 1800 { 1801 unsigned long size = b_node->b_end * sizeof(unsigned long); 1802 1803 memmove(b_node->pivot + shift, b_node->pivot, size); 1804 memmove(b_node->slot + shift, b_node->slot, size); 1805 if (b_node->type == maple_arange_64) 1806 memmove(b_node->gap + shift, b_node->gap, size); 1807 } 1808 1809 /* 1810 * mab_middle_node() - Check if a middle node is needed (unlikely) 1811 * @b_node: the maple_big_node that contains the data. 1812 * @split: the potential split location 1813 * @slot_count: the size that can be stored in a single node being considered. 1814 * 1815 * Return: true if a middle node is required. 1816 */ 1817 static inline bool mab_middle_node(struct maple_big_node *b_node, int split, 1818 unsigned char slot_count) 1819 { 1820 unsigned char size = b_node->b_end; 1821 1822 if (size >= 2 * slot_count) 1823 return true; 1824 1825 if (!b_node->slot[split] && (size >= 2 * slot_count - 1)) 1826 return true; 1827 1828 return false; 1829 } 1830 1831 /* 1832 * mab_no_null_split() - ensure the split doesn't fall on a NULL 1833 * @b_node: the maple_big_node with the data 1834 * @split: the suggested split location 1835 * @slot_count: the number of slots in the node being considered. 1836 * 1837 * Return: the split location. 1838 */ 1839 static inline int mab_no_null_split(struct maple_big_node *b_node, 1840 unsigned char split, unsigned char slot_count) 1841 { 1842 if (!b_node->slot[split]) { 1843 /* 1844 * If the split is less than the max slot && the right side will 1845 * still be sufficient, then increment the split on NULL. 1846 */ 1847 if ((split < slot_count - 1) && 1848 (b_node->b_end - split) > (mt_min_slots[b_node->type])) 1849 split++; 1850 else 1851 split--; 1852 } 1853 return split; 1854 } 1855 1856 /* 1857 * mab_calc_split() - Calculate the split location and if there needs to be two 1858 * splits. 1859 * @mas: The maple state 1860 * @bn: The maple_big_node with the data 1861 * @mid_split: The second split, if required. 0 otherwise. 1862 * 1863 * Return: The first split location. The middle split is set in @mid_split. 1864 */ 1865 static inline int mab_calc_split(struct ma_state *mas, 1866 struct maple_big_node *bn, unsigned char *mid_split, unsigned long min) 1867 { 1868 unsigned char b_end = bn->b_end; 1869 int split = b_end / 2; /* Assume equal split. */ 1870 unsigned char slot_min, slot_count = mt_slots[bn->type]; 1871 1872 /* 1873 * To support gap tracking, all NULL entries are kept together and a node cannot 1874 * end on a NULL entry, with the exception of the left-most leaf. The 1875 * limitation means that the split of a node must be checked for this condition 1876 * and be able to put more data in one direction or the other. 1877 */ 1878 if (unlikely((mas->mas_flags & MA_STATE_BULK))) { 1879 *mid_split = 0; 1880 split = b_end - mt_min_slots[bn->type]; 1881 1882 if (!ma_is_leaf(bn->type)) 1883 return split; 1884 1885 mas->mas_flags |= MA_STATE_REBALANCE; 1886 if (!bn->slot[split]) 1887 split--; 1888 return split; 1889 } 1890 1891 /* 1892 * Although extremely rare, it is possible to enter what is known as the 3-way 1893 * split scenario. The 3-way split comes about by means of a store of a range 1894 * that overwrites the end and beginning of two full nodes. The result is a set 1895 * of entries that cannot be stored in 2 nodes. Sometimes, these two nodes can 1896 * also be located in different parent nodes which are also full. This can 1897 * carry upwards all the way to the root in the worst case. 1898 */ 1899 if (unlikely(mab_middle_node(bn, split, slot_count))) { 1900 split = b_end / 3; 1901 *mid_split = split * 2; 1902 } else { 1903 slot_min = mt_min_slots[bn->type]; 1904 1905 *mid_split = 0; 1906 /* 1907 * Avoid having a range less than the slot count unless it 1908 * causes one node to be deficient. 1909 * NOTE: mt_min_slots is 1 based, b_end and split are zero. 1910 */ 1911 while ((split < slot_count - 1) && 1912 ((bn->pivot[split] - min) < slot_count - 1) && 1913 (b_end - split > slot_min)) 1914 split++; 1915 } 1916 1917 /* Avoid ending a node on a NULL entry */ 1918 split = mab_no_null_split(bn, split, slot_count); 1919 1920 if (unlikely(*mid_split)) 1921 *mid_split = mab_no_null_split(bn, *mid_split, slot_count); 1922 1923 return split; 1924 } 1925 1926 /* 1927 * mas_mab_cp() - Copy data from a maple state inclusively to a maple_big_node 1928 * and set @b_node->b_end to the next free slot. 1929 * @mas: The maple state 1930 * @mas_start: The starting slot to copy 1931 * @mas_end: The end slot to copy (inclusively) 1932 * @b_node: The maple_big_node to place the data 1933 * @mab_start: The starting location in maple_big_node to store the data. 1934 */ 1935 static inline void mas_mab_cp(struct ma_state *mas, unsigned char mas_start, 1936 unsigned char mas_end, struct maple_big_node *b_node, 1937 unsigned char mab_start) 1938 { 1939 enum maple_type mt; 1940 struct maple_node *node; 1941 void __rcu **slots; 1942 unsigned long *pivots, *gaps; 1943 int i = mas_start, j = mab_start; 1944 unsigned char piv_end; 1945 1946 node = mas_mn(mas); 1947 mt = mte_node_type(mas->node); 1948 pivots = ma_pivots(node, mt); 1949 if (!i) { 1950 b_node->pivot[j] = pivots[i++]; 1951 if (unlikely(i > mas_end)) 1952 goto complete; 1953 j++; 1954 } 1955 1956 piv_end = min(mas_end, mt_pivots[mt]); 1957 for (; i < piv_end; i++, j++) { 1958 b_node->pivot[j] = pivots[i]; 1959 if (unlikely(!b_node->pivot[j])) 1960 goto complete; 1961 1962 if (unlikely(mas->max == b_node->pivot[j])) 1963 goto complete; 1964 } 1965 1966 b_node->pivot[j] = mas_safe_pivot(mas, pivots, i, mt); 1967 1968 complete: 1969 b_node->b_end = ++j; 1970 j -= mab_start; 1971 slots = ma_slots(node, mt); 1972 memcpy(b_node->slot + mab_start, slots + mas_start, sizeof(void *) * j); 1973 if (!ma_is_leaf(mt) && mt_is_alloc(mas->tree)) { 1974 gaps = ma_gaps(node, mt); 1975 memcpy(b_node->gap + mab_start, gaps + mas_start, 1976 sizeof(unsigned long) * j); 1977 } 1978 } 1979 1980 /* 1981 * mas_leaf_set_meta() - Set the metadata of a leaf if possible. 1982 * @node: The maple node 1983 * @mt: The maple type 1984 * @end: The node end 1985 */ 1986 static inline void mas_leaf_set_meta(struct maple_node *node, 1987 enum maple_type mt, unsigned char end) 1988 { 1989 if (end < mt_slots[mt] - 1) 1990 ma_set_meta(node, mt, 0, end); 1991 } 1992 1993 /* 1994 * mab_mas_cp() - Copy data from maple_big_node to a maple encoded node. 1995 * @b_node: the maple_big_node that has the data 1996 * @mab_start: the start location in @b_node. 1997 * @mab_end: The end location in @b_node (inclusively) 1998 * @mas: The maple state with the maple encoded node. 1999 */ 2000 static inline void mab_mas_cp(struct maple_big_node *b_node, 2001 unsigned char mab_start, unsigned char mab_end, 2002 struct ma_state *mas, bool new_max) 2003 { 2004 int i, j = 0; 2005 enum maple_type mt = mte_node_type(mas->node); 2006 struct maple_node *node = mte_to_node(mas->node); 2007 void __rcu **slots = ma_slots(node, mt); 2008 unsigned long *pivots = ma_pivots(node, mt); 2009 unsigned long *gaps = NULL; 2010 unsigned char end; 2011 2012 if (mab_end - mab_start > mt_pivots[mt]) 2013 mab_end--; 2014 2015 if (!pivots[mt_pivots[mt] - 1]) 2016 slots[mt_pivots[mt]] = NULL; 2017 2018 i = mab_start; 2019 do { 2020 pivots[j++] = b_node->pivot[i++]; 2021 } while (i <= mab_end && likely(b_node->pivot[i])); 2022 2023 memcpy(slots, b_node->slot + mab_start, 2024 sizeof(void *) * (i - mab_start)); 2025 2026 if (new_max) 2027 mas->max = b_node->pivot[i - 1]; 2028 2029 end = j - 1; 2030 if (likely(!ma_is_leaf(mt) && mt_is_alloc(mas->tree))) { 2031 unsigned long max_gap = 0; 2032 unsigned char offset = 0; 2033 2034 gaps = ma_gaps(node, mt); 2035 do { 2036 gaps[--j] = b_node->gap[--i]; 2037 if (gaps[j] > max_gap) { 2038 offset = j; 2039 max_gap = gaps[j]; 2040 } 2041 } while (j); 2042 2043 ma_set_meta(node, mt, offset, end); 2044 } else { 2045 mas_leaf_set_meta(node, mt, end); 2046 } 2047 } 2048 2049 /* 2050 * mas_bulk_rebalance() - Rebalance the end of a tree after a bulk insert. 2051 * @mas: The maple state 2052 * @end: The maple node end 2053 * @mt: The maple node type 2054 */ 2055 static inline void mas_bulk_rebalance(struct ma_state *mas, unsigned char end, 2056 enum maple_type mt) 2057 { 2058 if (!(mas->mas_flags & MA_STATE_BULK)) 2059 return; 2060 2061 if (mte_is_root(mas->node)) 2062 return; 2063 2064 if (end > mt_min_slots[mt]) { 2065 mas->mas_flags &= ~MA_STATE_REBALANCE; 2066 return; 2067 } 2068 } 2069 2070 /* 2071 * mas_store_b_node() - Store an @entry into the b_node while also copying the 2072 * data from a maple encoded node. 2073 * @wr_mas: the maple write state 2074 * @b_node: the maple_big_node to fill with data 2075 * @offset_end: the offset to end copying 2076 * 2077 * Return: The actual end of the data stored in @b_node 2078 */ 2079 static noinline_for_kasan void mas_store_b_node(struct ma_wr_state *wr_mas, 2080 struct maple_big_node *b_node, unsigned char offset_end) 2081 { 2082 unsigned char slot; 2083 unsigned char b_end; 2084 /* Possible underflow of piv will wrap back to 0 before use. */ 2085 unsigned long piv; 2086 struct ma_state *mas = wr_mas->mas; 2087 2088 b_node->type = wr_mas->type; 2089 b_end = 0; 2090 slot = mas->offset; 2091 if (slot) { 2092 /* Copy start data up to insert. */ 2093 mas_mab_cp(mas, 0, slot - 1, b_node, 0); 2094 b_end = b_node->b_end; 2095 piv = b_node->pivot[b_end - 1]; 2096 } else 2097 piv = mas->min - 1; 2098 2099 if (piv + 1 < mas->index) { 2100 /* Handle range starting after old range */ 2101 b_node->slot[b_end] = wr_mas->content; 2102 if (!wr_mas->content) 2103 b_node->gap[b_end] = mas->index - 1 - piv; 2104 b_node->pivot[b_end++] = mas->index - 1; 2105 } 2106 2107 /* Store the new entry. */ 2108 mas->offset = b_end; 2109 b_node->slot[b_end] = wr_mas->entry; 2110 b_node->pivot[b_end] = mas->last; 2111 2112 /* Appended. */ 2113 if (mas->last >= mas->max) 2114 goto b_end; 2115 2116 /* Handle new range ending before old range ends */ 2117 piv = mas_safe_pivot(mas, wr_mas->pivots, offset_end, wr_mas->type); 2118 if (piv > mas->last) { 2119 if (piv == ULONG_MAX) 2120 mas_bulk_rebalance(mas, b_node->b_end, wr_mas->type); 2121 2122 if (offset_end != slot) 2123 wr_mas->content = mas_slot_locked(mas, wr_mas->slots, 2124 offset_end); 2125 2126 b_node->slot[++b_end] = wr_mas->content; 2127 if (!wr_mas->content) 2128 b_node->gap[b_end] = piv - mas->last + 1; 2129 b_node->pivot[b_end] = piv; 2130 } 2131 2132 slot = offset_end + 1; 2133 if (slot > mas->end) 2134 goto b_end; 2135 2136 /* Copy end data to the end of the node. */ 2137 mas_mab_cp(mas, slot, mas->end + 1, b_node, ++b_end); 2138 b_node->b_end--; 2139 return; 2140 2141 b_end: 2142 b_node->b_end = b_end; 2143 } 2144 2145 /* 2146 * mas_prev_sibling() - Find the previous node with the same parent. 2147 * @mas: the maple state 2148 * 2149 * Return: True if there is a previous sibling, false otherwise. 2150 */ 2151 static inline bool mas_prev_sibling(struct ma_state *mas) 2152 { 2153 unsigned int p_slot = mte_parent_slot(mas->node); 2154 2155 /* For root node, p_slot is set to 0 by mte_parent_slot(). */ 2156 if (!p_slot) 2157 return false; 2158 2159 mas_ascend(mas); 2160 mas->offset = p_slot - 1; 2161 mas_descend(mas); 2162 return true; 2163 } 2164 2165 /* 2166 * mas_next_sibling() - Find the next node with the same parent. 2167 * @mas: the maple state 2168 * 2169 * Return: true if there is a next sibling, false otherwise. 2170 */ 2171 static inline bool mas_next_sibling(struct ma_state *mas) 2172 { 2173 MA_STATE(parent, mas->tree, mas->index, mas->last); 2174 2175 if (mte_is_root(mas->node)) 2176 return false; 2177 2178 parent = *mas; 2179 mas_ascend(&parent); 2180 parent.offset = mte_parent_slot(mas->node) + 1; 2181 if (parent.offset > mas_data_end(&parent)) 2182 return false; 2183 2184 *mas = parent; 2185 mas_descend(mas); 2186 return true; 2187 } 2188 2189 /* 2190 * mas_node_or_none() - Set the enode and state. 2191 * @mas: the maple state 2192 * @enode: The encoded maple node. 2193 * 2194 * Set the node to the enode and the status. 2195 */ 2196 static inline void mas_node_or_none(struct ma_state *mas, 2197 struct maple_enode *enode) 2198 { 2199 if (enode) { 2200 mas->node = enode; 2201 mas->status = ma_active; 2202 } else { 2203 mas->node = NULL; 2204 mas->status = ma_none; 2205 } 2206 } 2207 2208 /* 2209 * mas_wr_node_walk() - Find the correct offset for the index in the @mas. 2210 * If @mas->index cannot be found within the containing 2211 * node, we traverse to the last entry in the node. 2212 * @wr_mas: The maple write state 2213 * 2214 * Uses mas_slot_locked() and does not need to worry about dead nodes. 2215 */ 2216 static inline void mas_wr_node_walk(struct ma_wr_state *wr_mas) 2217 { 2218 struct ma_state *mas = wr_mas->mas; 2219 unsigned char count, offset; 2220 2221 if (unlikely(ma_is_dense(wr_mas->type))) { 2222 wr_mas->r_max = wr_mas->r_min = mas->index; 2223 mas->offset = mas->index = mas->min; 2224 return; 2225 } 2226 2227 wr_mas->node = mas_mn(wr_mas->mas); 2228 wr_mas->pivots = ma_pivots(wr_mas->node, wr_mas->type); 2229 count = mas->end = ma_data_end(wr_mas->node, wr_mas->type, 2230 wr_mas->pivots, mas->max); 2231 offset = mas->offset; 2232 2233 while (offset < count && mas->index > wr_mas->pivots[offset]) 2234 offset++; 2235 2236 wr_mas->r_max = offset < count ? wr_mas->pivots[offset] : mas->max; 2237 wr_mas->r_min = mas_safe_min(mas, wr_mas->pivots, offset); 2238 wr_mas->offset_end = mas->offset = offset; 2239 } 2240 2241 /* 2242 * mast_rebalance_next() - Rebalance against the next node 2243 * @mast: The maple subtree state 2244 */ 2245 static inline void mast_rebalance_next(struct maple_subtree_state *mast) 2246 { 2247 unsigned char b_end = mast->bn->b_end; 2248 2249 mas_mab_cp(mast->orig_r, 0, mt_slot_count(mast->orig_r->node), 2250 mast->bn, b_end); 2251 mast->orig_r->last = mast->orig_r->max; 2252 } 2253 2254 /* 2255 * mast_rebalance_prev() - Rebalance against the previous node 2256 * @mast: The maple subtree state 2257 */ 2258 static inline void mast_rebalance_prev(struct maple_subtree_state *mast) 2259 { 2260 unsigned char end = mas_data_end(mast->orig_l) + 1; 2261 unsigned char b_end = mast->bn->b_end; 2262 2263 mab_shift_right(mast->bn, end); 2264 mas_mab_cp(mast->orig_l, 0, end - 1, mast->bn, 0); 2265 mast->l->min = mast->orig_l->min; 2266 mast->orig_l->index = mast->orig_l->min; 2267 mast->bn->b_end = end + b_end; 2268 mast->l->offset += end; 2269 } 2270 2271 /* 2272 * mast_spanning_rebalance() - Rebalance nodes with nearest neighbour favouring 2273 * the node to the right. Checking the nodes to the right then the left at each 2274 * level upwards until root is reached. 2275 * Data is copied into the @mast->bn. 2276 * @mast: The maple_subtree_state. 2277 */ 2278 static inline 2279 bool mast_spanning_rebalance(struct maple_subtree_state *mast) 2280 { 2281 struct ma_state r_tmp = *mast->orig_r; 2282 struct ma_state l_tmp = *mast->orig_l; 2283 unsigned char depth = 0; 2284 2285 do { 2286 mas_ascend(mast->orig_r); 2287 mas_ascend(mast->orig_l); 2288 depth++; 2289 if (mast->orig_r->offset < mas_data_end(mast->orig_r)) { 2290 mast->orig_r->offset++; 2291 do { 2292 mas_descend(mast->orig_r); 2293 mast->orig_r->offset = 0; 2294 } while (--depth); 2295 2296 mast_rebalance_next(mast); 2297 *mast->orig_l = l_tmp; 2298 return true; 2299 } else if (mast->orig_l->offset != 0) { 2300 mast->orig_l->offset--; 2301 do { 2302 mas_descend(mast->orig_l); 2303 mast->orig_l->offset = 2304 mas_data_end(mast->orig_l); 2305 } while (--depth); 2306 2307 mast_rebalance_prev(mast); 2308 *mast->orig_r = r_tmp; 2309 return true; 2310 } 2311 } while (!mte_is_root(mast->orig_r->node)); 2312 2313 *mast->orig_r = r_tmp; 2314 *mast->orig_l = l_tmp; 2315 return false; 2316 } 2317 2318 /* 2319 * mast_ascend() - Ascend the original left and right maple states. 2320 * @mast: the maple subtree state. 2321 * 2322 * Ascend the original left and right sides. Set the offsets to point to the 2323 * data already in the new tree (@mast->l and @mast->r). 2324 */ 2325 static inline void mast_ascend(struct maple_subtree_state *mast) 2326 { 2327 MA_WR_STATE(wr_mas, mast->orig_r, NULL); 2328 mas_ascend(mast->orig_l); 2329 mas_ascend(mast->orig_r); 2330 2331 mast->orig_r->offset = 0; 2332 mast->orig_r->index = mast->r->max; 2333 /* last should be larger than or equal to index */ 2334 if (mast->orig_r->last < mast->orig_r->index) 2335 mast->orig_r->last = mast->orig_r->index; 2336 2337 wr_mas.type = mte_node_type(mast->orig_r->node); 2338 mas_wr_node_walk(&wr_mas); 2339 /* Set up the left side of things */ 2340 mast->orig_l->offset = 0; 2341 mast->orig_l->index = mast->l->min; 2342 wr_mas.mas = mast->orig_l; 2343 wr_mas.type = mte_node_type(mast->orig_l->node); 2344 mas_wr_node_walk(&wr_mas); 2345 2346 mast->bn->type = wr_mas.type; 2347 } 2348 2349 /* 2350 * mas_new_ma_node() - Create and return a new maple node. Helper function. 2351 * @mas: the maple state with the allocations. 2352 * @b_node: the maple_big_node with the type encoding. 2353 * 2354 * Use the node type from the maple_big_node to allocate a new node from the 2355 * ma_state. This function exists mainly for code readability. 2356 * 2357 * Return: A new maple encoded node 2358 */ 2359 static inline struct maple_enode 2360 *mas_new_ma_node(struct ma_state *mas, struct maple_big_node *b_node) 2361 { 2362 return mt_mk_node(ma_mnode_ptr(mas_pop_node(mas)), b_node->type); 2363 } 2364 2365 /* 2366 * mas_mab_to_node() - Set up right and middle nodes 2367 * 2368 * @mas: the maple state that contains the allocations. 2369 * @b_node: the node which contains the data. 2370 * @left: The pointer which will have the left node 2371 * @right: The pointer which may have the right node 2372 * @middle: the pointer which may have the middle node (rare) 2373 * @mid_split: the split location for the middle node 2374 * 2375 * Return: the split of left. 2376 */ 2377 static inline unsigned char mas_mab_to_node(struct ma_state *mas, 2378 struct maple_big_node *b_node, struct maple_enode **left, 2379 struct maple_enode **right, struct maple_enode **middle, 2380 unsigned char *mid_split, unsigned long min) 2381 { 2382 unsigned char split = 0; 2383 unsigned char slot_count = mt_slots[b_node->type]; 2384 2385 *left = mas_new_ma_node(mas, b_node); 2386 *right = NULL; 2387 *middle = NULL; 2388 *mid_split = 0; 2389 2390 if (b_node->b_end < slot_count) { 2391 split = b_node->b_end; 2392 } else { 2393 split = mab_calc_split(mas, b_node, mid_split, min); 2394 *right = mas_new_ma_node(mas, b_node); 2395 } 2396 2397 if (*mid_split) 2398 *middle = mas_new_ma_node(mas, b_node); 2399 2400 return split; 2401 2402 } 2403 2404 /* 2405 * mab_set_b_end() - Add entry to b_node at b_node->b_end and increment the end 2406 * pointer. 2407 * @b_node: the big node to add the entry 2408 * @mas: the maple state to get the pivot (mas->max) 2409 * @entry: the entry to add, if NULL nothing happens. 2410 */ 2411 static inline void mab_set_b_end(struct maple_big_node *b_node, 2412 struct ma_state *mas, 2413 void *entry) 2414 { 2415 if (!entry) 2416 return; 2417 2418 b_node->slot[b_node->b_end] = entry; 2419 if (mt_is_alloc(mas->tree)) 2420 b_node->gap[b_node->b_end] = mas_max_gap(mas); 2421 b_node->pivot[b_node->b_end++] = mas->max; 2422 } 2423 2424 /* 2425 * mas_set_split_parent() - combine_then_separate helper function. Sets the parent 2426 * of @mas->node to either @left or @right, depending on @slot and @split 2427 * 2428 * @mas: the maple state with the node that needs a parent 2429 * @left: possible parent 1 2430 * @right: possible parent 2 2431 * @slot: the slot the mas->node was placed 2432 * @split: the split location between @left and @right 2433 */ 2434 static inline void mas_set_split_parent(struct ma_state *mas, 2435 struct maple_enode *left, 2436 struct maple_enode *right, 2437 unsigned char *slot, unsigned char split) 2438 { 2439 if (mas_is_none(mas)) 2440 return; 2441 2442 if ((*slot) <= split) 2443 mas_set_parent(mas, mas->node, left, *slot); 2444 else if (right) 2445 mas_set_parent(mas, mas->node, right, (*slot) - split - 1); 2446 2447 (*slot)++; 2448 } 2449 2450 /* 2451 * mte_mid_split_check() - Check if the next node passes the mid-split 2452 * @l: Pointer to left encoded maple node. 2453 * @m: Pointer to middle encoded maple node. 2454 * @r: Pointer to right encoded maple node. 2455 * @slot: The offset 2456 * @split: The split location. 2457 * @mid_split: The middle split. 2458 */ 2459 static inline void mte_mid_split_check(struct maple_enode **l, 2460 struct maple_enode **r, 2461 struct maple_enode *right, 2462 unsigned char slot, 2463 unsigned char *split, 2464 unsigned char mid_split) 2465 { 2466 if (*r == right) 2467 return; 2468 2469 if (slot < mid_split) 2470 return; 2471 2472 *l = *r; 2473 *r = right; 2474 *split = mid_split; 2475 } 2476 2477 /* 2478 * mast_set_split_parents() - Helper function to set three nodes parents. Slot 2479 * is taken from @mast->l. 2480 * @mast: the maple subtree state 2481 * @left: the left node 2482 * @right: the right node 2483 * @split: the split location. 2484 */ 2485 static inline void mast_set_split_parents(struct maple_subtree_state *mast, 2486 struct maple_enode *left, 2487 struct maple_enode *middle, 2488 struct maple_enode *right, 2489 unsigned char split, 2490 unsigned char mid_split) 2491 { 2492 unsigned char slot; 2493 struct maple_enode *l = left; 2494 struct maple_enode *r = right; 2495 2496 if (mas_is_none(mast->l)) 2497 return; 2498 2499 if (middle) 2500 r = middle; 2501 2502 slot = mast->l->offset; 2503 2504 mte_mid_split_check(&l, &r, right, slot, &split, mid_split); 2505 mas_set_split_parent(mast->l, l, r, &slot, split); 2506 2507 mte_mid_split_check(&l, &r, right, slot, &split, mid_split); 2508 mas_set_split_parent(mast->m, l, r, &slot, split); 2509 2510 mte_mid_split_check(&l, &r, right, slot, &split, mid_split); 2511 mas_set_split_parent(mast->r, l, r, &slot, split); 2512 } 2513 2514 /* 2515 * mas_topiary_node() - Dispose of a single node 2516 * @mas: The maple state for pushing nodes 2517 * @in_rcu: If the tree is in rcu mode 2518 * 2519 * The node will either be RCU freed or pushed back on the maple state. 2520 */ 2521 static inline void mas_topiary_node(struct ma_state *mas, 2522 struct ma_state *tmp_mas, bool in_rcu) 2523 { 2524 struct maple_node *tmp; 2525 struct maple_enode *enode; 2526 2527 if (mas_is_none(tmp_mas)) 2528 return; 2529 2530 enode = tmp_mas->node; 2531 tmp = mte_to_node(enode); 2532 mte_set_node_dead(enode); 2533 if (in_rcu) 2534 ma_free_rcu(tmp); 2535 else 2536 mas_push_node(mas, tmp); 2537 } 2538 2539 /* 2540 * mas_topiary_replace() - Replace the data with new data, then repair the 2541 * parent links within the new tree. Iterate over the dead sub-tree and collect 2542 * the dead subtrees and topiary the nodes that are no longer of use. 2543 * 2544 * The new tree will have up to three children with the correct parent. Keep 2545 * track of the new entries as they need to be followed to find the next level 2546 * of new entries. 2547 * 2548 * The old tree will have up to three children with the old parent. Keep track 2549 * of the old entries as they may have more nodes below replaced. Nodes within 2550 * [index, last] are dead subtrees, others need to be freed and followed. 2551 * 2552 * @mas: The maple state pointing at the new data 2553 * @old_enode: The maple encoded node being replaced 2554 * 2555 */ 2556 static inline void mas_topiary_replace(struct ma_state *mas, 2557 struct maple_enode *old_enode) 2558 { 2559 struct ma_state tmp[3], tmp_next[3]; 2560 MA_TOPIARY(subtrees, mas->tree); 2561 bool in_rcu; 2562 int i, n; 2563 2564 /* Place data in tree & then mark node as old */ 2565 mas_put_in_tree(mas, old_enode); 2566 2567 /* Update the parent pointers in the tree */ 2568 tmp[0] = *mas; 2569 tmp[0].offset = 0; 2570 tmp[1].status = ma_none; 2571 tmp[2].status = ma_none; 2572 while (!mte_is_leaf(tmp[0].node)) { 2573 n = 0; 2574 for (i = 0; i < 3; i++) { 2575 if (mas_is_none(&tmp[i])) 2576 continue; 2577 2578 while (n < 3) { 2579 if (!mas_find_child(&tmp[i], &tmp_next[n])) 2580 break; 2581 n++; 2582 } 2583 2584 mas_adopt_children(&tmp[i], tmp[i].node); 2585 } 2586 2587 if (MAS_WARN_ON(mas, n == 0)) 2588 break; 2589 2590 while (n < 3) 2591 tmp_next[n++].status = ma_none; 2592 2593 for (i = 0; i < 3; i++) 2594 tmp[i] = tmp_next[i]; 2595 } 2596 2597 /* Collect the old nodes that need to be discarded */ 2598 if (mte_is_leaf(old_enode)) 2599 return mas_free(mas, old_enode); 2600 2601 tmp[0] = *mas; 2602 tmp[0].offset = 0; 2603 tmp[0].node = old_enode; 2604 tmp[1].status = ma_none; 2605 tmp[2].status = ma_none; 2606 in_rcu = mt_in_rcu(mas->tree); 2607 do { 2608 n = 0; 2609 for (i = 0; i < 3; i++) { 2610 if (mas_is_none(&tmp[i])) 2611 continue; 2612 2613 while (n < 3) { 2614 if (!mas_find_child(&tmp[i], &tmp_next[n])) 2615 break; 2616 2617 if ((tmp_next[n].min >= tmp_next->index) && 2618 (tmp_next[n].max <= tmp_next->last)) { 2619 mat_add(&subtrees, tmp_next[n].node); 2620 tmp_next[n].status = ma_none; 2621 } else { 2622 n++; 2623 } 2624 } 2625 } 2626 2627 if (MAS_WARN_ON(mas, n == 0)) 2628 break; 2629 2630 while (n < 3) 2631 tmp_next[n++].status = ma_none; 2632 2633 for (i = 0; i < 3; i++) { 2634 mas_topiary_node(mas, &tmp[i], in_rcu); 2635 tmp[i] = tmp_next[i]; 2636 } 2637 } while (!mte_is_leaf(tmp[0].node)); 2638 2639 for (i = 0; i < 3; i++) 2640 mas_topiary_node(mas, &tmp[i], in_rcu); 2641 2642 mas_mat_destroy(mas, &subtrees); 2643 } 2644 2645 /* 2646 * mas_wmb_replace() - Write memory barrier and replace 2647 * @mas: The maple state 2648 * @old_enode: The old maple encoded node that is being replaced. 2649 * 2650 * Updates gap as necessary. 2651 */ 2652 static inline void mas_wmb_replace(struct ma_state *mas, 2653 struct maple_enode *old_enode) 2654 { 2655 /* Insert the new data in the tree */ 2656 mas_topiary_replace(mas, old_enode); 2657 2658 if (mte_is_leaf(mas->node)) 2659 return; 2660 2661 mas_update_gap(mas); 2662 } 2663 2664 /* 2665 * mast_cp_to_nodes() - Copy data out to nodes. 2666 * @mast: The maple subtree state 2667 * @left: The left encoded maple node 2668 * @middle: The middle encoded maple node 2669 * @right: The right encoded maple node 2670 * @split: The location to split between left and (middle ? middle : right) 2671 * @mid_split: The location to split between middle and right. 2672 */ 2673 static inline void mast_cp_to_nodes(struct maple_subtree_state *mast, 2674 struct maple_enode *left, struct maple_enode *middle, 2675 struct maple_enode *right, unsigned char split, unsigned char mid_split) 2676 { 2677 bool new_lmax = true; 2678 2679 mas_node_or_none(mast->l, left); 2680 mas_node_or_none(mast->m, middle); 2681 mas_node_or_none(mast->r, right); 2682 2683 mast->l->min = mast->orig_l->min; 2684 if (split == mast->bn->b_end) { 2685 mast->l->max = mast->orig_r->max; 2686 new_lmax = false; 2687 } 2688 2689 mab_mas_cp(mast->bn, 0, split, mast->l, new_lmax); 2690 2691 if (middle) { 2692 mab_mas_cp(mast->bn, 1 + split, mid_split, mast->m, true); 2693 mast->m->min = mast->bn->pivot[split] + 1; 2694 split = mid_split; 2695 } 2696 2697 mast->r->max = mast->orig_r->max; 2698 if (right) { 2699 mab_mas_cp(mast->bn, 1 + split, mast->bn->b_end, mast->r, false); 2700 mast->r->min = mast->bn->pivot[split] + 1; 2701 } 2702 } 2703 2704 /* 2705 * mast_combine_cp_left - Copy in the original left side of the tree into the 2706 * combined data set in the maple subtree state big node. 2707 * @mast: The maple subtree state 2708 */ 2709 static inline void mast_combine_cp_left(struct maple_subtree_state *mast) 2710 { 2711 unsigned char l_slot = mast->orig_l->offset; 2712 2713 if (!l_slot) 2714 return; 2715 2716 mas_mab_cp(mast->orig_l, 0, l_slot - 1, mast->bn, 0); 2717 } 2718 2719 /* 2720 * mast_combine_cp_right: Copy in the original right side of the tree into the 2721 * combined data set in the maple subtree state big node. 2722 * @mast: The maple subtree state 2723 */ 2724 static inline void mast_combine_cp_right(struct maple_subtree_state *mast) 2725 { 2726 if (mast->bn->pivot[mast->bn->b_end - 1] >= mast->orig_r->max) 2727 return; 2728 2729 mas_mab_cp(mast->orig_r, mast->orig_r->offset + 1, 2730 mt_slot_count(mast->orig_r->node), mast->bn, 2731 mast->bn->b_end); 2732 mast->orig_r->last = mast->orig_r->max; 2733 } 2734 2735 /* 2736 * mast_sufficient: Check if the maple subtree state has enough data in the big 2737 * node to create at least one sufficient node 2738 * @mast: the maple subtree state 2739 */ 2740 static inline bool mast_sufficient(struct maple_subtree_state *mast) 2741 { 2742 if (mast->bn->b_end > mt_min_slot_count(mast->orig_l->node)) 2743 return true; 2744 2745 return false; 2746 } 2747 2748 /* 2749 * mast_overflow: Check if there is too much data in the subtree state for a 2750 * single node. 2751 * @mast: The maple subtree state 2752 */ 2753 static inline bool mast_overflow(struct maple_subtree_state *mast) 2754 { 2755 if (mast->bn->b_end >= mt_slot_count(mast->orig_l->node)) 2756 return true; 2757 2758 return false; 2759 } 2760 2761 static inline void *mtree_range_walk(struct ma_state *mas) 2762 { 2763 unsigned long *pivots; 2764 unsigned char offset; 2765 struct maple_node *node; 2766 struct maple_enode *next, *last; 2767 enum maple_type type; 2768 void __rcu **slots; 2769 unsigned char end; 2770 unsigned long max, min; 2771 unsigned long prev_max, prev_min; 2772 2773 next = mas->node; 2774 min = mas->min; 2775 max = mas->max; 2776 do { 2777 last = next; 2778 node = mte_to_node(next); 2779 type = mte_node_type(next); 2780 pivots = ma_pivots(node, type); 2781 end = ma_data_end(node, type, pivots, max); 2782 prev_min = min; 2783 prev_max = max; 2784 if (pivots[0] >= mas->index) { 2785 offset = 0; 2786 max = pivots[0]; 2787 goto next; 2788 } 2789 2790 offset = 1; 2791 while (offset < end) { 2792 if (pivots[offset] >= mas->index) { 2793 max = pivots[offset]; 2794 break; 2795 } 2796 offset++; 2797 } 2798 2799 min = pivots[offset - 1] + 1; 2800 next: 2801 slots = ma_slots(node, type); 2802 next = mt_slot(mas->tree, slots, offset); 2803 if (unlikely(ma_dead_node(node))) 2804 goto dead_node; 2805 } while (!ma_is_leaf(type)); 2806 2807 mas->end = end; 2808 mas->offset = offset; 2809 mas->index = min; 2810 mas->last = max; 2811 mas->min = prev_min; 2812 mas->max = prev_max; 2813 mas->node = last; 2814 return (void *)next; 2815 2816 dead_node: 2817 mas_reset(mas); 2818 return NULL; 2819 } 2820 2821 /* 2822 * mas_spanning_rebalance() - Rebalance across two nodes which may not be peers. 2823 * @mas: The starting maple state 2824 * @mast: The maple_subtree_state, keeps track of 4 maple states. 2825 * @count: The estimated count of iterations needed. 2826 * 2827 * Follow the tree upwards from @l_mas and @r_mas for @count, or until the root 2828 * is hit. First @b_node is split into two entries which are inserted into the 2829 * next iteration of the loop. @b_node is returned populated with the final 2830 * iteration. @mas is used to obtain allocations. orig_l_mas keeps track of the 2831 * nodes that will remain active by using orig_l_mas->index and orig_l_mas->last 2832 * to account of what has been copied into the new sub-tree. The update of 2833 * orig_l_mas->last is used in mas_consume to find the slots that will need to 2834 * be either freed or destroyed. orig_l_mas->depth keeps track of the height of 2835 * the new sub-tree in case the sub-tree becomes the full tree. 2836 */ 2837 static void mas_spanning_rebalance(struct ma_state *mas, 2838 struct maple_subtree_state *mast, unsigned char count) 2839 { 2840 unsigned char split, mid_split; 2841 unsigned char slot = 0; 2842 struct maple_enode *left = NULL, *middle = NULL, *right = NULL; 2843 struct maple_enode *old_enode; 2844 2845 MA_STATE(l_mas, mas->tree, mas->index, mas->index); 2846 MA_STATE(r_mas, mas->tree, mas->index, mas->last); 2847 MA_STATE(m_mas, mas->tree, mas->index, mas->index); 2848 2849 /* 2850 * The tree needs to be rebalanced and leaves need to be kept at the same level. 2851 * Rebalancing is done by use of the ``struct maple_topiary``. 2852 */ 2853 mast->l = &l_mas; 2854 mast->m = &m_mas; 2855 mast->r = &r_mas; 2856 l_mas.status = r_mas.status = m_mas.status = ma_none; 2857 2858 /* Check if this is not root and has sufficient data. */ 2859 if (((mast->orig_l->min != 0) || (mast->orig_r->max != ULONG_MAX)) && 2860 unlikely(mast->bn->b_end <= mt_min_slots[mast->bn->type])) 2861 mast_spanning_rebalance(mast); 2862 2863 l_mas.depth = 0; 2864 2865 /* 2866 * Each level of the tree is examined and balanced, pushing data to the left or 2867 * right, or rebalancing against left or right nodes is employed to avoid 2868 * rippling up the tree to limit the amount of churn. Once a new sub-section of 2869 * the tree is created, there may be a mix of new and old nodes. The old nodes 2870 * will have the incorrect parent pointers and currently be in two trees: the 2871 * original tree and the partially new tree. To remedy the parent pointers in 2872 * the old tree, the new data is swapped into the active tree and a walk down 2873 * the tree is performed and the parent pointers are updated. 2874 * See mas_topiary_replace() for more information. 2875 */ 2876 while (count--) { 2877 mast->bn->b_end--; 2878 mast->bn->type = mte_node_type(mast->orig_l->node); 2879 split = mas_mab_to_node(mas, mast->bn, &left, &right, &middle, 2880 &mid_split, mast->orig_l->min); 2881 mast_set_split_parents(mast, left, middle, right, split, 2882 mid_split); 2883 mast_cp_to_nodes(mast, left, middle, right, split, mid_split); 2884 2885 /* 2886 * Copy data from next level in the tree to mast->bn from next 2887 * iteration 2888 */ 2889 memset(mast->bn, 0, sizeof(struct maple_big_node)); 2890 mast->bn->type = mte_node_type(left); 2891 l_mas.depth++; 2892 2893 /* Root already stored in l->node. */ 2894 if (mas_is_root_limits(mast->l)) 2895 goto new_root; 2896 2897 mast_ascend(mast); 2898 mast_combine_cp_left(mast); 2899 l_mas.offset = mast->bn->b_end; 2900 mab_set_b_end(mast->bn, &l_mas, left); 2901 mab_set_b_end(mast->bn, &m_mas, middle); 2902 mab_set_b_end(mast->bn, &r_mas, right); 2903 2904 /* Copy anything necessary out of the right node. */ 2905 mast_combine_cp_right(mast); 2906 mast->orig_l->last = mast->orig_l->max; 2907 2908 if (mast_sufficient(mast)) 2909 continue; 2910 2911 if (mast_overflow(mast)) 2912 continue; 2913 2914 /* May be a new root stored in mast->bn */ 2915 if (mas_is_root_limits(mast->orig_l)) 2916 break; 2917 2918 mast_spanning_rebalance(mast); 2919 2920 /* rebalancing from other nodes may require another loop. */ 2921 if (!count) 2922 count++; 2923 } 2924 2925 l_mas.node = mt_mk_node(ma_mnode_ptr(mas_pop_node(mas)), 2926 mte_node_type(mast->orig_l->node)); 2927 l_mas.depth++; 2928 mab_mas_cp(mast->bn, 0, mt_slots[mast->bn->type] - 1, &l_mas, true); 2929 mas_set_parent(mas, left, l_mas.node, slot); 2930 if (middle) 2931 mas_set_parent(mas, middle, l_mas.node, ++slot); 2932 2933 if (right) 2934 mas_set_parent(mas, right, l_mas.node, ++slot); 2935 2936 if (mas_is_root_limits(mast->l)) { 2937 new_root: 2938 mas_mn(mast->l)->parent = ma_parent_ptr(mas_tree_parent(mas)); 2939 while (!mte_is_root(mast->orig_l->node)) 2940 mast_ascend(mast); 2941 } else { 2942 mas_mn(&l_mas)->parent = mas_mn(mast->orig_l)->parent; 2943 } 2944 2945 old_enode = mast->orig_l->node; 2946 mas->depth = l_mas.depth; 2947 mas->node = l_mas.node; 2948 mas->min = l_mas.min; 2949 mas->max = l_mas.max; 2950 mas->offset = l_mas.offset; 2951 mas_wmb_replace(mas, old_enode); 2952 mtree_range_walk(mas); 2953 return; 2954 } 2955 2956 /* 2957 * mas_rebalance() - Rebalance a given node. 2958 * @mas: The maple state 2959 * @b_node: The big maple node. 2960 * 2961 * Rebalance two nodes into a single node or two new nodes that are sufficient. 2962 * Continue upwards until tree is sufficient. 2963 */ 2964 static inline void mas_rebalance(struct ma_state *mas, 2965 struct maple_big_node *b_node) 2966 { 2967 char empty_count = mas_mt_height(mas); 2968 struct maple_subtree_state mast; 2969 unsigned char shift, b_end = ++b_node->b_end; 2970 2971 MA_STATE(l_mas, mas->tree, mas->index, mas->last); 2972 MA_STATE(r_mas, mas->tree, mas->index, mas->last); 2973 2974 trace_ma_op(__func__, mas); 2975 2976 /* 2977 * Rebalancing occurs if a node is insufficient. Data is rebalanced 2978 * against the node to the right if it exists, otherwise the node to the 2979 * left of this node is rebalanced against this node. If rebalancing 2980 * causes just one node to be produced instead of two, then the parent 2981 * is also examined and rebalanced if it is insufficient. Every level 2982 * tries to combine the data in the same way. If one node contains the 2983 * entire range of the tree, then that node is used as a new root node. 2984 */ 2985 2986 mast.orig_l = &l_mas; 2987 mast.orig_r = &r_mas; 2988 mast.bn = b_node; 2989 mast.bn->type = mte_node_type(mas->node); 2990 2991 l_mas = r_mas = *mas; 2992 2993 if (mas_next_sibling(&r_mas)) { 2994 mas_mab_cp(&r_mas, 0, mt_slot_count(r_mas.node), b_node, b_end); 2995 r_mas.last = r_mas.index = r_mas.max; 2996 } else { 2997 mas_prev_sibling(&l_mas); 2998 shift = mas_data_end(&l_mas) + 1; 2999 mab_shift_right(b_node, shift); 3000 mas->offset += shift; 3001 mas_mab_cp(&l_mas, 0, shift - 1, b_node, 0); 3002 b_node->b_end = shift + b_end; 3003 l_mas.index = l_mas.last = l_mas.min; 3004 } 3005 3006 return mas_spanning_rebalance(mas, &mast, empty_count); 3007 } 3008 3009 /* 3010 * mas_destroy_rebalance() - Rebalance left-most node while destroying the maple 3011 * state. 3012 * @mas: The maple state 3013 * @end: The end of the left-most node. 3014 * 3015 * During a mass-insert event (such as forking), it may be necessary to 3016 * rebalance the left-most node when it is not sufficient. 3017 */ 3018 static inline void mas_destroy_rebalance(struct ma_state *mas, unsigned char end) 3019 { 3020 enum maple_type mt = mte_node_type(mas->node); 3021 struct maple_node reuse, *newnode, *parent, *new_left, *left, *node; 3022 struct maple_enode *eparent, *old_eparent; 3023 unsigned char offset, tmp, split = mt_slots[mt] / 2; 3024 void __rcu **l_slots, **slots; 3025 unsigned long *l_pivs, *pivs, gap; 3026 bool in_rcu = mt_in_rcu(mas->tree); 3027 3028 MA_STATE(l_mas, mas->tree, mas->index, mas->last); 3029 3030 l_mas = *mas; 3031 mas_prev_sibling(&l_mas); 3032 3033 /* set up node. */ 3034 if (in_rcu) { 3035 newnode = mas_pop_node(mas); 3036 } else { 3037 newnode = &reuse; 3038 } 3039 3040 node = mas_mn(mas); 3041 newnode->parent = node->parent; 3042 slots = ma_slots(newnode, mt); 3043 pivs = ma_pivots(newnode, mt); 3044 left = mas_mn(&l_mas); 3045 l_slots = ma_slots(left, mt); 3046 l_pivs = ma_pivots(left, mt); 3047 if (!l_slots[split]) 3048 split++; 3049 tmp = mas_data_end(&l_mas) - split; 3050 3051 memcpy(slots, l_slots + split + 1, sizeof(void *) * tmp); 3052 memcpy(pivs, l_pivs + split + 1, sizeof(unsigned long) * tmp); 3053 pivs[tmp] = l_mas.max; 3054 memcpy(slots + tmp, ma_slots(node, mt), sizeof(void *) * end); 3055 memcpy(pivs + tmp, ma_pivots(node, mt), sizeof(unsigned long) * end); 3056 3057 l_mas.max = l_pivs[split]; 3058 mas->min = l_mas.max + 1; 3059 old_eparent = mt_mk_node(mte_parent(l_mas.node), 3060 mas_parent_type(&l_mas, l_mas.node)); 3061 tmp += end; 3062 if (!in_rcu) { 3063 unsigned char max_p = mt_pivots[mt]; 3064 unsigned char max_s = mt_slots[mt]; 3065 3066 if (tmp < max_p) 3067 memset(pivs + tmp, 0, 3068 sizeof(unsigned long) * (max_p - tmp)); 3069 3070 if (tmp < mt_slots[mt]) 3071 memset(slots + tmp, 0, sizeof(void *) * (max_s - tmp)); 3072 3073 memcpy(node, newnode, sizeof(struct maple_node)); 3074 ma_set_meta(node, mt, 0, tmp - 1); 3075 mte_set_pivot(old_eparent, mte_parent_slot(l_mas.node), 3076 l_pivs[split]); 3077 3078 /* Remove data from l_pivs. */ 3079 tmp = split + 1; 3080 memset(l_pivs + tmp, 0, sizeof(unsigned long) * (max_p - tmp)); 3081 memset(l_slots + tmp, 0, sizeof(void *) * (max_s - tmp)); 3082 ma_set_meta(left, mt, 0, split); 3083 eparent = old_eparent; 3084 3085 goto done; 3086 } 3087 3088 /* RCU requires replacing both l_mas, mas, and parent. */ 3089 mas->node = mt_mk_node(newnode, mt); 3090 ma_set_meta(newnode, mt, 0, tmp); 3091 3092 new_left = mas_pop_node(mas); 3093 new_left->parent = left->parent; 3094 mt = mte_node_type(l_mas.node); 3095 slots = ma_slots(new_left, mt); 3096 pivs = ma_pivots(new_left, mt); 3097 memcpy(slots, l_slots, sizeof(void *) * split); 3098 memcpy(pivs, l_pivs, sizeof(unsigned long) * split); 3099 ma_set_meta(new_left, mt, 0, split); 3100 l_mas.node = mt_mk_node(new_left, mt); 3101 3102 /* replace parent. */ 3103 offset = mte_parent_slot(mas->node); 3104 mt = mas_parent_type(&l_mas, l_mas.node); 3105 parent = mas_pop_node(mas); 3106 slots = ma_slots(parent, mt); 3107 pivs = ma_pivots(parent, mt); 3108 memcpy(parent, mte_to_node(old_eparent), sizeof(struct maple_node)); 3109 rcu_assign_pointer(slots[offset], mas->node); 3110 rcu_assign_pointer(slots[offset - 1], l_mas.node); 3111 pivs[offset - 1] = l_mas.max; 3112 eparent = mt_mk_node(parent, mt); 3113 done: 3114 gap = mas_leaf_max_gap(mas); 3115 mte_set_gap(eparent, mte_parent_slot(mas->node), gap); 3116 gap = mas_leaf_max_gap(&l_mas); 3117 mte_set_gap(eparent, mte_parent_slot(l_mas.node), gap); 3118 mas_ascend(mas); 3119 3120 if (in_rcu) { 3121 mas_replace_node(mas, old_eparent); 3122 mas_adopt_children(mas, mas->node); 3123 } 3124 3125 mas_update_gap(mas); 3126 } 3127 3128 /* 3129 * mas_split_final_node() - Split the final node in a subtree operation. 3130 * @mast: the maple subtree state 3131 * @mas: The maple state 3132 * @height: The height of the tree in case it's a new root. 3133 */ 3134 static inline void mas_split_final_node(struct maple_subtree_state *mast, 3135 struct ma_state *mas, int height) 3136 { 3137 struct maple_enode *ancestor; 3138 3139 if (mte_is_root(mas->node)) { 3140 if (mt_is_alloc(mas->tree)) 3141 mast->bn->type = maple_arange_64; 3142 else 3143 mast->bn->type = maple_range_64; 3144 mas->depth = height; 3145 } 3146 /* 3147 * Only a single node is used here, could be root. 3148 * The Big_node data should just fit in a single node. 3149 */ 3150 ancestor = mas_new_ma_node(mas, mast->bn); 3151 mas_set_parent(mas, mast->l->node, ancestor, mast->l->offset); 3152 mas_set_parent(mas, mast->r->node, ancestor, mast->r->offset); 3153 mte_to_node(ancestor)->parent = mas_mn(mas)->parent; 3154 3155 mast->l->node = ancestor; 3156 mab_mas_cp(mast->bn, 0, mt_slots[mast->bn->type] - 1, mast->l, true); 3157 mas->offset = mast->bn->b_end - 1; 3158 } 3159 3160 /* 3161 * mast_fill_bnode() - Copy data into the big node in the subtree state 3162 * @mast: The maple subtree state 3163 * @mas: the maple state 3164 * @skip: The number of entries to skip for new nodes insertion. 3165 */ 3166 static inline void mast_fill_bnode(struct maple_subtree_state *mast, 3167 struct ma_state *mas, 3168 unsigned char skip) 3169 { 3170 bool cp = true; 3171 unsigned char split; 3172 3173 memset(mast->bn, 0, sizeof(struct maple_big_node)); 3174 3175 if (mte_is_root(mas->node)) { 3176 cp = false; 3177 } else { 3178 mas_ascend(mas); 3179 mas->offset = mte_parent_slot(mas->node); 3180 } 3181 3182 if (cp && mast->l->offset) 3183 mas_mab_cp(mas, 0, mast->l->offset - 1, mast->bn, 0); 3184 3185 split = mast->bn->b_end; 3186 mab_set_b_end(mast->bn, mast->l, mast->l->node); 3187 mast->r->offset = mast->bn->b_end; 3188 mab_set_b_end(mast->bn, mast->r, mast->r->node); 3189 if (mast->bn->pivot[mast->bn->b_end - 1] == mas->max) 3190 cp = false; 3191 3192 if (cp) 3193 mas_mab_cp(mas, split + skip, mt_slot_count(mas->node) - 1, 3194 mast->bn, mast->bn->b_end); 3195 3196 mast->bn->b_end--; 3197 mast->bn->type = mte_node_type(mas->node); 3198 } 3199 3200 /* 3201 * mast_split_data() - Split the data in the subtree state big node into regular 3202 * nodes. 3203 * @mast: The maple subtree state 3204 * @mas: The maple state 3205 * @split: The location to split the big node 3206 */ 3207 static inline void mast_split_data(struct maple_subtree_state *mast, 3208 struct ma_state *mas, unsigned char split) 3209 { 3210 unsigned char p_slot; 3211 3212 mab_mas_cp(mast->bn, 0, split, mast->l, true); 3213 mte_set_pivot(mast->r->node, 0, mast->r->max); 3214 mab_mas_cp(mast->bn, split + 1, mast->bn->b_end, mast->r, false); 3215 mast->l->offset = mte_parent_slot(mas->node); 3216 mast->l->max = mast->bn->pivot[split]; 3217 mast->r->min = mast->l->max + 1; 3218 if (mte_is_leaf(mas->node)) 3219 return; 3220 3221 p_slot = mast->orig_l->offset; 3222 mas_set_split_parent(mast->orig_l, mast->l->node, mast->r->node, 3223 &p_slot, split); 3224 mas_set_split_parent(mast->orig_r, mast->l->node, mast->r->node, 3225 &p_slot, split); 3226 } 3227 3228 /* 3229 * mas_push_data() - Instead of splitting a node, it is beneficial to push the 3230 * data to the right or left node if there is room. 3231 * @mas: The maple state 3232 * @height: The current height of the maple state 3233 * @mast: The maple subtree state 3234 * @left: Push left or not. 3235 * 3236 * Keeping the height of the tree low means faster lookups. 3237 * 3238 * Return: True if pushed, false otherwise. 3239 */ 3240 static inline bool mas_push_data(struct ma_state *mas, int height, 3241 struct maple_subtree_state *mast, bool left) 3242 { 3243 unsigned char slot_total = mast->bn->b_end; 3244 unsigned char end, space, split; 3245 3246 MA_STATE(tmp_mas, mas->tree, mas->index, mas->last); 3247 tmp_mas = *mas; 3248 tmp_mas.depth = mast->l->depth; 3249 3250 if (left && !mas_prev_sibling(&tmp_mas)) 3251 return false; 3252 else if (!left && !mas_next_sibling(&tmp_mas)) 3253 return false; 3254 3255 end = mas_data_end(&tmp_mas); 3256 slot_total += end; 3257 space = 2 * mt_slot_count(mas->node) - 2; 3258 /* -2 instead of -1 to ensure there isn't a triple split */ 3259 if (ma_is_leaf(mast->bn->type)) 3260 space--; 3261 3262 if (mas->max == ULONG_MAX) 3263 space--; 3264 3265 if (slot_total >= space) 3266 return false; 3267 3268 /* Get the data; Fill mast->bn */ 3269 mast->bn->b_end++; 3270 if (left) { 3271 mab_shift_right(mast->bn, end + 1); 3272 mas_mab_cp(&tmp_mas, 0, end, mast->bn, 0); 3273 mast->bn->b_end = slot_total + 1; 3274 } else { 3275 mas_mab_cp(&tmp_mas, 0, end, mast->bn, mast->bn->b_end); 3276 } 3277 3278 /* Configure mast for splitting of mast->bn */ 3279 split = mt_slots[mast->bn->type] - 2; 3280 if (left) { 3281 /* Switch mas to prev node */ 3282 *mas = tmp_mas; 3283 /* Start using mast->l for the left side. */ 3284 tmp_mas.node = mast->l->node; 3285 *mast->l = tmp_mas; 3286 } else { 3287 tmp_mas.node = mast->r->node; 3288 *mast->r = tmp_mas; 3289 split = slot_total - split; 3290 } 3291 split = mab_no_null_split(mast->bn, split, mt_slots[mast->bn->type]); 3292 /* Update parent slot for split calculation. */ 3293 if (left) 3294 mast->orig_l->offset += end + 1; 3295 3296 mast_split_data(mast, mas, split); 3297 mast_fill_bnode(mast, mas, 2); 3298 mas_split_final_node(mast, mas, height + 1); 3299 return true; 3300 } 3301 3302 /* 3303 * mas_split() - Split data that is too big for one node into two. 3304 * @mas: The maple state 3305 * @b_node: The maple big node 3306 */ 3307 static void mas_split(struct ma_state *mas, struct maple_big_node *b_node) 3308 { 3309 struct maple_subtree_state mast; 3310 int height = 0; 3311 unsigned char mid_split, split = 0; 3312 struct maple_enode *old; 3313 3314 /* 3315 * Splitting is handled differently from any other B-tree; the Maple 3316 * Tree splits upwards. Splitting up means that the split operation 3317 * occurs when the walk of the tree hits the leaves and not on the way 3318 * down. The reason for splitting up is that it is impossible to know 3319 * how much space will be needed until the leaf is (or leaves are) 3320 * reached. Since overwriting data is allowed and a range could 3321 * overwrite more than one range or result in changing one entry into 3 3322 * entries, it is impossible to know if a split is required until the 3323 * data is examined. 3324 * 3325 * Splitting is a balancing act between keeping allocations to a minimum 3326 * and avoiding a 'jitter' event where a tree is expanded to make room 3327 * for an entry followed by a contraction when the entry is removed. To 3328 * accomplish the balance, there are empty slots remaining in both left 3329 * and right nodes after a split. 3330 */ 3331 MA_STATE(l_mas, mas->tree, mas->index, mas->last); 3332 MA_STATE(r_mas, mas->tree, mas->index, mas->last); 3333 MA_STATE(prev_l_mas, mas->tree, mas->index, mas->last); 3334 MA_STATE(prev_r_mas, mas->tree, mas->index, mas->last); 3335 3336 trace_ma_op(__func__, mas); 3337 mas->depth = mas_mt_height(mas); 3338 3339 mast.l = &l_mas; 3340 mast.r = &r_mas; 3341 mast.orig_l = &prev_l_mas; 3342 mast.orig_r = &prev_r_mas; 3343 mast.bn = b_node; 3344 3345 while (height++ <= mas->depth) { 3346 if (mt_slots[b_node->type] > b_node->b_end) { 3347 mas_split_final_node(&mast, mas, height); 3348 break; 3349 } 3350 3351 l_mas = r_mas = *mas; 3352 l_mas.node = mas_new_ma_node(mas, b_node); 3353 r_mas.node = mas_new_ma_node(mas, b_node); 3354 /* 3355 * Another way that 'jitter' is avoided is to terminate a split up early if the 3356 * left or right node has space to spare. This is referred to as "pushing left" 3357 * or "pushing right" and is similar to the B* tree, except the nodes left or 3358 * right can rarely be reused due to RCU, but the ripple upwards is halted which 3359 * is a significant savings. 3360 */ 3361 /* Try to push left. */ 3362 if (mas_push_data(mas, height, &mast, true)) 3363 break; 3364 /* Try to push right. */ 3365 if (mas_push_data(mas, height, &mast, false)) 3366 break; 3367 3368 split = mab_calc_split(mas, b_node, &mid_split, prev_l_mas.min); 3369 mast_split_data(&mast, mas, split); 3370 /* 3371 * Usually correct, mab_mas_cp in the above call overwrites 3372 * r->max. 3373 */ 3374 mast.r->max = mas->max; 3375 mast_fill_bnode(&mast, mas, 1); 3376 prev_l_mas = *mast.l; 3377 prev_r_mas = *mast.r; 3378 } 3379 3380 /* Set the original node as dead */ 3381 old = mas->node; 3382 mas->node = l_mas.node; 3383 mas_wmb_replace(mas, old); 3384 mtree_range_walk(mas); 3385 return; 3386 } 3387 3388 /* 3389 * mas_commit_b_node() - Commit the big node into the tree. 3390 * @wr_mas: The maple write state 3391 * @b_node: The maple big node 3392 */ 3393 static noinline_for_kasan void mas_commit_b_node(struct ma_wr_state *wr_mas, 3394 struct maple_big_node *b_node) 3395 { 3396 enum store_type type = wr_mas->mas->store_type; 3397 3398 WARN_ON_ONCE(type != wr_rebalance && type != wr_split_store); 3399 3400 if (type == wr_rebalance) 3401 return mas_rebalance(wr_mas->mas, b_node); 3402 3403 return mas_split(wr_mas->mas, b_node); 3404 } 3405 3406 /* 3407 * mas_root_expand() - Expand a root to a node 3408 * @mas: The maple state 3409 * @entry: The entry to store into the tree 3410 */ 3411 static inline void mas_root_expand(struct ma_state *mas, void *entry) 3412 { 3413 void *contents = mas_root_locked(mas); 3414 enum maple_type type = maple_leaf_64; 3415 struct maple_node *node; 3416 void __rcu **slots; 3417 unsigned long *pivots; 3418 int slot = 0; 3419 3420 node = mas_pop_node(mas); 3421 pivots = ma_pivots(node, type); 3422 slots = ma_slots(node, type); 3423 node->parent = ma_parent_ptr(mas_tree_parent(mas)); 3424 mas->node = mt_mk_node(node, type); 3425 mas->status = ma_active; 3426 3427 if (mas->index) { 3428 if (contents) { 3429 rcu_assign_pointer(slots[slot], contents); 3430 if (likely(mas->index > 1)) 3431 slot++; 3432 } 3433 pivots[slot++] = mas->index - 1; 3434 } 3435 3436 rcu_assign_pointer(slots[slot], entry); 3437 mas->offset = slot; 3438 pivots[slot] = mas->last; 3439 if (mas->last != ULONG_MAX) 3440 pivots[++slot] = ULONG_MAX; 3441 3442 mas->depth = 1; 3443 mas_set_height(mas); 3444 ma_set_meta(node, maple_leaf_64, 0, slot); 3445 /* swap the new root into the tree */ 3446 rcu_assign_pointer(mas->tree->ma_root, mte_mk_root(mas->node)); 3447 return; 3448 } 3449 3450 /* 3451 * mas_store_root() - Storing value into root. 3452 * @mas: The maple state 3453 * @entry: The entry to store. 3454 * 3455 * There is no root node now and we are storing a value into the root - this 3456 * function either assigns the pointer or expands into a node. 3457 */ 3458 static inline void mas_store_root(struct ma_state *mas, void *entry) 3459 { 3460 if (!entry) { 3461 if (!mas->index) 3462 rcu_assign_pointer(mas->tree->ma_root, NULL); 3463 } else if (likely((mas->last != 0) || (mas->index != 0))) 3464 mas_root_expand(mas, entry); 3465 else if (((unsigned long) (entry) & 3) == 2) 3466 mas_root_expand(mas, entry); 3467 else { 3468 rcu_assign_pointer(mas->tree->ma_root, entry); 3469 mas->status = ma_start; 3470 } 3471 } 3472 3473 /* 3474 * mas_is_span_wr() - Check if the write needs to be treated as a write that 3475 * spans the node. 3476 * @wr_mas: The maple write state 3477 * 3478 * Spanning writes are writes that start in one node and end in another OR if 3479 * the write of a %NULL will cause the node to end with a %NULL. 3480 * 3481 * Return: True if this is a spanning write, false otherwise. 3482 */ 3483 static bool mas_is_span_wr(struct ma_wr_state *wr_mas) 3484 { 3485 unsigned long max = wr_mas->r_max; 3486 unsigned long last = wr_mas->mas->last; 3487 enum maple_type type = wr_mas->type; 3488 void *entry = wr_mas->entry; 3489 3490 /* Contained in this pivot, fast path */ 3491 if (last < max) 3492 return false; 3493 3494 if (ma_is_leaf(type)) { 3495 max = wr_mas->mas->max; 3496 if (last < max) 3497 return false; 3498 } 3499 3500 if (last == max) { 3501 /* 3502 * The last entry of leaf node cannot be NULL unless it is the 3503 * rightmost node (writing ULONG_MAX), otherwise it spans slots. 3504 */ 3505 if (entry || last == ULONG_MAX) 3506 return false; 3507 } 3508 3509 trace_ma_write(__func__, wr_mas->mas, wr_mas->r_max, entry); 3510 return true; 3511 } 3512 3513 static inline void mas_wr_walk_descend(struct ma_wr_state *wr_mas) 3514 { 3515 wr_mas->type = mte_node_type(wr_mas->mas->node); 3516 mas_wr_node_walk(wr_mas); 3517 wr_mas->slots = ma_slots(wr_mas->node, wr_mas->type); 3518 } 3519 3520 static inline void mas_wr_walk_traverse(struct ma_wr_state *wr_mas) 3521 { 3522 wr_mas->mas->max = wr_mas->r_max; 3523 wr_mas->mas->min = wr_mas->r_min; 3524 wr_mas->mas->node = wr_mas->content; 3525 wr_mas->mas->offset = 0; 3526 wr_mas->mas->depth++; 3527 } 3528 /* 3529 * mas_wr_walk() - Walk the tree for a write. 3530 * @wr_mas: The maple write state 3531 * 3532 * Uses mas_slot_locked() and does not need to worry about dead nodes. 3533 * 3534 * Return: True if it's contained in a node, false on spanning write. 3535 */ 3536 static bool mas_wr_walk(struct ma_wr_state *wr_mas) 3537 { 3538 struct ma_state *mas = wr_mas->mas; 3539 3540 while (true) { 3541 mas_wr_walk_descend(wr_mas); 3542 if (unlikely(mas_is_span_wr(wr_mas))) 3543 return false; 3544 3545 wr_mas->content = mas_slot_locked(mas, wr_mas->slots, 3546 mas->offset); 3547 if (ma_is_leaf(wr_mas->type)) 3548 return true; 3549 3550 mas_wr_walk_traverse(wr_mas); 3551 } 3552 3553 return true; 3554 } 3555 3556 static void mas_wr_walk_index(struct ma_wr_state *wr_mas) 3557 { 3558 struct ma_state *mas = wr_mas->mas; 3559 3560 while (true) { 3561 mas_wr_walk_descend(wr_mas); 3562 wr_mas->content = mas_slot_locked(mas, wr_mas->slots, 3563 mas->offset); 3564 if (ma_is_leaf(wr_mas->type)) 3565 return; 3566 mas_wr_walk_traverse(wr_mas); 3567 } 3568 } 3569 /* 3570 * mas_extend_spanning_null() - Extend a store of a %NULL to include surrounding %NULLs. 3571 * @l_wr_mas: The left maple write state 3572 * @r_wr_mas: The right maple write state 3573 */ 3574 static inline void mas_extend_spanning_null(struct ma_wr_state *l_wr_mas, 3575 struct ma_wr_state *r_wr_mas) 3576 { 3577 struct ma_state *r_mas = r_wr_mas->mas; 3578 struct ma_state *l_mas = l_wr_mas->mas; 3579 unsigned char l_slot; 3580 3581 l_slot = l_mas->offset; 3582 if (!l_wr_mas->content) 3583 l_mas->index = l_wr_mas->r_min; 3584 3585 if ((l_mas->index == l_wr_mas->r_min) && 3586 (l_slot && 3587 !mas_slot_locked(l_mas, l_wr_mas->slots, l_slot - 1))) { 3588 if (l_slot > 1) 3589 l_mas->index = l_wr_mas->pivots[l_slot - 2] + 1; 3590 else 3591 l_mas->index = l_mas->min; 3592 3593 l_mas->offset = l_slot - 1; 3594 } 3595 3596 if (!r_wr_mas->content) { 3597 if (r_mas->last < r_wr_mas->r_max) 3598 r_mas->last = r_wr_mas->r_max; 3599 r_mas->offset++; 3600 } else if ((r_mas->last == r_wr_mas->r_max) && 3601 (r_mas->last < r_mas->max) && 3602 !mas_slot_locked(r_mas, r_wr_mas->slots, r_mas->offset + 1)) { 3603 r_mas->last = mas_safe_pivot(r_mas, r_wr_mas->pivots, 3604 r_wr_mas->type, r_mas->offset + 1); 3605 r_mas->offset++; 3606 } 3607 } 3608 3609 static inline void *mas_state_walk(struct ma_state *mas) 3610 { 3611 void *entry; 3612 3613 entry = mas_start(mas); 3614 if (mas_is_none(mas)) 3615 return NULL; 3616 3617 if (mas_is_ptr(mas)) 3618 return entry; 3619 3620 return mtree_range_walk(mas); 3621 } 3622 3623 /* 3624 * mtree_lookup_walk() - Internal quick lookup that does not keep maple state up 3625 * to date. 3626 * 3627 * @mas: The maple state. 3628 * 3629 * Note: Leaves mas in undesirable state. 3630 * Return: The entry for @mas->index or %NULL on dead node. 3631 */ 3632 static inline void *mtree_lookup_walk(struct ma_state *mas) 3633 { 3634 unsigned long *pivots; 3635 unsigned char offset; 3636 struct maple_node *node; 3637 struct maple_enode *next; 3638 enum maple_type type; 3639 void __rcu **slots; 3640 unsigned char end; 3641 3642 next = mas->node; 3643 do { 3644 node = mte_to_node(next); 3645 type = mte_node_type(next); 3646 pivots = ma_pivots(node, type); 3647 end = mt_pivots[type]; 3648 offset = 0; 3649 do { 3650 if (pivots[offset] >= mas->index) 3651 break; 3652 } while (++offset < end); 3653 3654 slots = ma_slots(node, type); 3655 next = mt_slot(mas->tree, slots, offset); 3656 if (unlikely(ma_dead_node(node))) 3657 goto dead_node; 3658 } while (!ma_is_leaf(type)); 3659 3660 return (void *)next; 3661 3662 dead_node: 3663 mas_reset(mas); 3664 return NULL; 3665 } 3666 3667 static void mte_destroy_walk(struct maple_enode *, struct maple_tree *); 3668 /* 3669 * mas_new_root() - Create a new root node that only contains the entry passed 3670 * in. 3671 * @mas: The maple state 3672 * @entry: The entry to store. 3673 * 3674 * Only valid when the index == 0 and the last == ULONG_MAX 3675 */ 3676 static inline void mas_new_root(struct ma_state *mas, void *entry) 3677 { 3678 struct maple_enode *root = mas_root_locked(mas); 3679 enum maple_type type = maple_leaf_64; 3680 struct maple_node *node; 3681 void __rcu **slots; 3682 unsigned long *pivots; 3683 3684 WARN_ON_ONCE(mas->index || mas->last != ULONG_MAX); 3685 3686 if (!entry) { 3687 mas->depth = 0; 3688 mas_set_height(mas); 3689 rcu_assign_pointer(mas->tree->ma_root, entry); 3690 mas->status = ma_start; 3691 goto done; 3692 } 3693 3694 node = mas_pop_node(mas); 3695 pivots = ma_pivots(node, type); 3696 slots = ma_slots(node, type); 3697 node->parent = ma_parent_ptr(mas_tree_parent(mas)); 3698 mas->node = mt_mk_node(node, type); 3699 mas->status = ma_active; 3700 rcu_assign_pointer(slots[0], entry); 3701 pivots[0] = mas->last; 3702 mas->depth = 1; 3703 mas_set_height(mas); 3704 rcu_assign_pointer(mas->tree->ma_root, mte_mk_root(mas->node)); 3705 3706 done: 3707 if (xa_is_node(root)) 3708 mte_destroy_walk(root, mas->tree); 3709 3710 return; 3711 } 3712 /* 3713 * mas_wr_spanning_store() - Create a subtree with the store operation completed 3714 * and new nodes where necessary, then place the sub-tree in the actual tree. 3715 * Note that mas is expected to point to the node which caused the store to 3716 * span. 3717 * @wr_mas: The maple write state 3718 */ 3719 static noinline void mas_wr_spanning_store(struct ma_wr_state *wr_mas) 3720 { 3721 struct maple_subtree_state mast; 3722 struct maple_big_node b_node; 3723 struct ma_state *mas; 3724 unsigned char height; 3725 3726 /* Left and Right side of spanning store */ 3727 MA_STATE(l_mas, NULL, 0, 0); 3728 MA_STATE(r_mas, NULL, 0, 0); 3729 MA_WR_STATE(r_wr_mas, &r_mas, wr_mas->entry); 3730 MA_WR_STATE(l_wr_mas, &l_mas, wr_mas->entry); 3731 3732 /* 3733 * A store operation that spans multiple nodes is called a spanning 3734 * store and is handled early in the store call stack by the function 3735 * mas_is_span_wr(). When a spanning store is identified, the maple 3736 * state is duplicated. The first maple state walks the left tree path 3737 * to ``index``, the duplicate walks the right tree path to ``last``. 3738 * The data in the two nodes are combined into a single node, two nodes, 3739 * or possibly three nodes (see the 3-way split above). A ``NULL`` 3740 * written to the last entry of a node is considered a spanning store as 3741 * a rebalance is required for the operation to complete and an overflow 3742 * of data may happen. 3743 */ 3744 mas = wr_mas->mas; 3745 trace_ma_op(__func__, mas); 3746 3747 if (unlikely(!mas->index && mas->last == ULONG_MAX)) 3748 return mas_new_root(mas, wr_mas->entry); 3749 /* 3750 * Node rebalancing may occur due to this store, so there may be three new 3751 * entries per level plus a new root. 3752 */ 3753 height = mas_mt_height(mas); 3754 3755 /* 3756 * Set up right side. Need to get to the next offset after the spanning 3757 * store to ensure it's not NULL and to combine both the next node and 3758 * the node with the start together. 3759 */ 3760 r_mas = *mas; 3761 /* Avoid overflow, walk to next slot in the tree. */ 3762 if (r_mas.last + 1) 3763 r_mas.last++; 3764 3765 r_mas.index = r_mas.last; 3766 mas_wr_walk_index(&r_wr_mas); 3767 r_mas.last = r_mas.index = mas->last; 3768 3769 /* Set up left side. */ 3770 l_mas = *mas; 3771 mas_wr_walk_index(&l_wr_mas); 3772 3773 if (!wr_mas->entry) { 3774 mas_extend_spanning_null(&l_wr_mas, &r_wr_mas); 3775 mas->offset = l_mas.offset; 3776 mas->index = l_mas.index; 3777 mas->last = l_mas.last = r_mas.last; 3778 } 3779 3780 /* expanding NULLs may make this cover the entire range */ 3781 if (!l_mas.index && r_mas.last == ULONG_MAX) { 3782 mas_set_range(mas, 0, ULONG_MAX); 3783 return mas_new_root(mas, wr_mas->entry); 3784 } 3785 3786 memset(&b_node, 0, sizeof(struct maple_big_node)); 3787 /* Copy l_mas and store the value in b_node. */ 3788 mas_store_b_node(&l_wr_mas, &b_node, l_mas.end); 3789 /* Copy r_mas into b_node if there is anything to copy. */ 3790 if (r_mas.max > r_mas.last) 3791 mas_mab_cp(&r_mas, r_mas.offset, r_mas.end, 3792 &b_node, b_node.b_end + 1); 3793 else 3794 b_node.b_end++; 3795 3796 /* Stop spanning searches by searching for just index. */ 3797 l_mas.index = l_mas.last = mas->index; 3798 3799 mast.bn = &b_node; 3800 mast.orig_l = &l_mas; 3801 mast.orig_r = &r_mas; 3802 /* Combine l_mas and r_mas and split them up evenly again. */ 3803 return mas_spanning_rebalance(mas, &mast, height + 1); 3804 } 3805 3806 /* 3807 * mas_wr_node_store() - Attempt to store the value in a node 3808 * @wr_mas: The maple write state 3809 * 3810 * Attempts to reuse the node, but may allocate. 3811 */ 3812 static inline void mas_wr_node_store(struct ma_wr_state *wr_mas, 3813 unsigned char new_end) 3814 { 3815 struct ma_state *mas = wr_mas->mas; 3816 void __rcu **dst_slots; 3817 unsigned long *dst_pivots; 3818 unsigned char dst_offset, offset_end = wr_mas->offset_end; 3819 struct maple_node reuse, *newnode; 3820 unsigned char copy_size, node_pivots = mt_pivots[wr_mas->type]; 3821 bool in_rcu = mt_in_rcu(mas->tree); 3822 3823 if (mas->last == wr_mas->end_piv) 3824 offset_end++; /* don't copy this offset */ 3825 else if (unlikely(wr_mas->r_max == ULONG_MAX)) 3826 mas_bulk_rebalance(mas, mas->end, wr_mas->type); 3827 3828 /* set up node. */ 3829 if (in_rcu) { 3830 newnode = mas_pop_node(mas); 3831 } else { 3832 memset(&reuse, 0, sizeof(struct maple_node)); 3833 newnode = &reuse; 3834 } 3835 3836 newnode->parent = mas_mn(mas)->parent; 3837 dst_pivots = ma_pivots(newnode, wr_mas->type); 3838 dst_slots = ma_slots(newnode, wr_mas->type); 3839 /* Copy from start to insert point */ 3840 memcpy(dst_pivots, wr_mas->pivots, sizeof(unsigned long) * mas->offset); 3841 memcpy(dst_slots, wr_mas->slots, sizeof(void *) * mas->offset); 3842 3843 /* Handle insert of new range starting after old range */ 3844 if (wr_mas->r_min < mas->index) { 3845 rcu_assign_pointer(dst_slots[mas->offset], wr_mas->content); 3846 dst_pivots[mas->offset++] = mas->index - 1; 3847 } 3848 3849 /* Store the new entry and range end. */ 3850 if (mas->offset < node_pivots) 3851 dst_pivots[mas->offset] = mas->last; 3852 rcu_assign_pointer(dst_slots[mas->offset], wr_mas->entry); 3853 3854 /* 3855 * this range wrote to the end of the node or it overwrote the rest of 3856 * the data 3857 */ 3858 if (offset_end > mas->end) 3859 goto done; 3860 3861 dst_offset = mas->offset + 1; 3862 /* Copy to the end of node if necessary. */ 3863 copy_size = mas->end - offset_end + 1; 3864 memcpy(dst_slots + dst_offset, wr_mas->slots + offset_end, 3865 sizeof(void *) * copy_size); 3866 memcpy(dst_pivots + dst_offset, wr_mas->pivots + offset_end, 3867 sizeof(unsigned long) * (copy_size - 1)); 3868 3869 if (new_end < node_pivots) 3870 dst_pivots[new_end] = mas->max; 3871 3872 done: 3873 mas_leaf_set_meta(newnode, maple_leaf_64, new_end); 3874 if (in_rcu) { 3875 struct maple_enode *old_enode = mas->node; 3876 3877 mas->node = mt_mk_node(newnode, wr_mas->type); 3878 mas_replace_node(mas, old_enode); 3879 } else { 3880 memcpy(wr_mas->node, newnode, sizeof(struct maple_node)); 3881 } 3882 trace_ma_write(__func__, mas, 0, wr_mas->entry); 3883 mas_update_gap(mas); 3884 mas->end = new_end; 3885 return; 3886 } 3887 3888 /* 3889 * mas_wr_slot_store: Attempt to store a value in a slot. 3890 * @wr_mas: the maple write state 3891 */ 3892 static inline void mas_wr_slot_store(struct ma_wr_state *wr_mas) 3893 { 3894 struct ma_state *mas = wr_mas->mas; 3895 unsigned char offset = mas->offset; 3896 void __rcu **slots = wr_mas->slots; 3897 bool gap = false; 3898 3899 gap |= !mt_slot_locked(mas->tree, slots, offset); 3900 gap |= !mt_slot_locked(mas->tree, slots, offset + 1); 3901 3902 if (wr_mas->offset_end - offset == 1) { 3903 if (mas->index == wr_mas->r_min) { 3904 /* Overwriting the range and a part of the next one */ 3905 rcu_assign_pointer(slots[offset], wr_mas->entry); 3906 wr_mas->pivots[offset] = mas->last; 3907 } else { 3908 /* Overwriting a part of the range and the next one */ 3909 rcu_assign_pointer(slots[offset + 1], wr_mas->entry); 3910 wr_mas->pivots[offset] = mas->index - 1; 3911 mas->offset++; /* Keep mas accurate. */ 3912 } 3913 } else { 3914 WARN_ON_ONCE(mt_in_rcu(mas->tree)); 3915 /* 3916 * Expand the range, only partially overwriting the previous and 3917 * next ranges 3918 */ 3919 gap |= !mt_slot_locked(mas->tree, slots, offset + 2); 3920 rcu_assign_pointer(slots[offset + 1], wr_mas->entry); 3921 wr_mas->pivots[offset] = mas->index - 1; 3922 wr_mas->pivots[offset + 1] = mas->last; 3923 mas->offset++; /* Keep mas accurate. */ 3924 } 3925 3926 trace_ma_write(__func__, mas, 0, wr_mas->entry); 3927 /* 3928 * Only update gap when the new entry is empty or there is an empty 3929 * entry in the original two ranges. 3930 */ 3931 if (!wr_mas->entry || gap) 3932 mas_update_gap(mas); 3933 3934 return; 3935 } 3936 3937 static inline void mas_wr_extend_null(struct ma_wr_state *wr_mas) 3938 { 3939 struct ma_state *mas = wr_mas->mas; 3940 3941 if (!wr_mas->slots[wr_mas->offset_end]) { 3942 /* If this one is null, the next and prev are not */ 3943 mas->last = wr_mas->end_piv; 3944 } else { 3945 /* Check next slot(s) if we are overwriting the end */ 3946 if ((mas->last == wr_mas->end_piv) && 3947 (mas->end != wr_mas->offset_end) && 3948 !wr_mas->slots[wr_mas->offset_end + 1]) { 3949 wr_mas->offset_end++; 3950 if (wr_mas->offset_end == mas->end) 3951 mas->last = mas->max; 3952 else 3953 mas->last = wr_mas->pivots[wr_mas->offset_end]; 3954 wr_mas->end_piv = mas->last; 3955 } 3956 } 3957 3958 if (!wr_mas->content) { 3959 /* If this one is null, the next and prev are not */ 3960 mas->index = wr_mas->r_min; 3961 } else { 3962 /* Check prev slot if we are overwriting the start */ 3963 if (mas->index == wr_mas->r_min && mas->offset && 3964 !wr_mas->slots[mas->offset - 1]) { 3965 mas->offset--; 3966 wr_mas->r_min = mas->index = 3967 mas_safe_min(mas, wr_mas->pivots, mas->offset); 3968 wr_mas->r_max = wr_mas->pivots[mas->offset]; 3969 } 3970 } 3971 } 3972 3973 static inline void mas_wr_end_piv(struct ma_wr_state *wr_mas) 3974 { 3975 while ((wr_mas->offset_end < wr_mas->mas->end) && 3976 (wr_mas->mas->last > wr_mas->pivots[wr_mas->offset_end])) 3977 wr_mas->offset_end++; 3978 3979 if (wr_mas->offset_end < wr_mas->mas->end) 3980 wr_mas->end_piv = wr_mas->pivots[wr_mas->offset_end]; 3981 else 3982 wr_mas->end_piv = wr_mas->mas->max; 3983 } 3984 3985 static inline unsigned char mas_wr_new_end(struct ma_wr_state *wr_mas) 3986 { 3987 struct ma_state *mas = wr_mas->mas; 3988 unsigned char new_end = mas->end + 2; 3989 3990 new_end -= wr_mas->offset_end - mas->offset; 3991 if (wr_mas->r_min == mas->index) 3992 new_end--; 3993 3994 if (wr_mas->end_piv == mas->last) 3995 new_end--; 3996 3997 return new_end; 3998 } 3999 4000 /* 4001 * mas_wr_append: Attempt to append 4002 * @wr_mas: the maple write state 4003 * @new_end: The end of the node after the modification 4004 * 4005 * This is currently unsafe in rcu mode since the end of the node may be cached 4006 * by readers while the node contents may be updated which could result in 4007 * inaccurate information. 4008 */ 4009 static inline void mas_wr_append(struct ma_wr_state *wr_mas, 4010 unsigned char new_end) 4011 { 4012 struct ma_state *mas = wr_mas->mas; 4013 void __rcu **slots; 4014 unsigned char end = mas->end; 4015 4016 if (new_end < mt_pivots[wr_mas->type]) { 4017 wr_mas->pivots[new_end] = wr_mas->pivots[end]; 4018 ma_set_meta(wr_mas->node, wr_mas->type, 0, new_end); 4019 } 4020 4021 slots = wr_mas->slots; 4022 if (new_end == end + 1) { 4023 if (mas->last == wr_mas->r_max) { 4024 /* Append to end of range */ 4025 rcu_assign_pointer(slots[new_end], wr_mas->entry); 4026 wr_mas->pivots[end] = mas->index - 1; 4027 mas->offset = new_end; 4028 } else { 4029 /* Append to start of range */ 4030 rcu_assign_pointer(slots[new_end], wr_mas->content); 4031 wr_mas->pivots[end] = mas->last; 4032 rcu_assign_pointer(slots[end], wr_mas->entry); 4033 } 4034 } else { 4035 /* Append to the range without touching any boundaries. */ 4036 rcu_assign_pointer(slots[new_end], wr_mas->content); 4037 wr_mas->pivots[end + 1] = mas->last; 4038 rcu_assign_pointer(slots[end + 1], wr_mas->entry); 4039 wr_mas->pivots[end] = mas->index - 1; 4040 mas->offset = end + 1; 4041 } 4042 4043 if (!wr_mas->content || !wr_mas->entry) 4044 mas_update_gap(mas); 4045 4046 mas->end = new_end; 4047 trace_ma_write(__func__, mas, new_end, wr_mas->entry); 4048 return; 4049 } 4050 4051 /* 4052 * mas_wr_bnode() - Slow path for a modification. 4053 * @wr_mas: The write maple state 4054 * 4055 * This is where split, rebalance end up. 4056 */ 4057 static void mas_wr_bnode(struct ma_wr_state *wr_mas) 4058 { 4059 struct maple_big_node b_node; 4060 4061 trace_ma_write(__func__, wr_mas->mas, 0, wr_mas->entry); 4062 memset(&b_node, 0, sizeof(struct maple_big_node)); 4063 mas_store_b_node(wr_mas, &b_node, wr_mas->offset_end); 4064 mas_commit_b_node(wr_mas, &b_node); 4065 } 4066 4067 /* 4068 * mas_wr_store_entry() - Internal call to store a value 4069 * @wr_mas: The maple write state 4070 */ 4071 static inline void mas_wr_store_entry(struct ma_wr_state *wr_mas) 4072 { 4073 struct ma_state *mas = wr_mas->mas; 4074 unsigned char new_end = mas_wr_new_end(wr_mas); 4075 4076 switch (mas->store_type) { 4077 case wr_invalid: 4078 MT_BUG_ON(mas->tree, 1); 4079 return; 4080 case wr_new_root: 4081 mas_new_root(mas, wr_mas->entry); 4082 break; 4083 case wr_store_root: 4084 mas_store_root(mas, wr_mas->entry); 4085 break; 4086 case wr_exact_fit: 4087 rcu_assign_pointer(wr_mas->slots[mas->offset], wr_mas->entry); 4088 if (!!wr_mas->entry ^ !!wr_mas->content) 4089 mas_update_gap(mas); 4090 break; 4091 case wr_append: 4092 mas_wr_append(wr_mas, new_end); 4093 break; 4094 case wr_slot_store: 4095 mas_wr_slot_store(wr_mas); 4096 break; 4097 case wr_node_store: 4098 mas_wr_node_store(wr_mas, new_end); 4099 break; 4100 case wr_spanning_store: 4101 mas_wr_spanning_store(wr_mas); 4102 break; 4103 case wr_split_store: 4104 case wr_rebalance: 4105 mas_wr_bnode(wr_mas); 4106 break; 4107 } 4108 4109 return; 4110 } 4111 4112 static inline void mas_wr_prealloc_setup(struct ma_wr_state *wr_mas) 4113 { 4114 struct ma_state *mas = wr_mas->mas; 4115 4116 if (!mas_is_active(mas)) { 4117 if (mas_is_start(mas)) 4118 goto set_content; 4119 4120 if (unlikely(mas_is_paused(mas))) 4121 goto reset; 4122 4123 if (unlikely(mas_is_none(mas))) 4124 goto reset; 4125 4126 if (unlikely(mas_is_overflow(mas))) 4127 goto reset; 4128 4129 if (unlikely(mas_is_underflow(mas))) 4130 goto reset; 4131 } 4132 4133 /* 4134 * A less strict version of mas_is_span_wr() where we allow spanning 4135 * writes within this node. This is to stop partial walks in 4136 * mas_prealloc() from being reset. 4137 */ 4138 if (mas->last > mas->max) 4139 goto reset; 4140 4141 if (wr_mas->entry) 4142 goto set_content; 4143 4144 if (mte_is_leaf(mas->node) && mas->last == mas->max) 4145 goto reset; 4146 4147 goto set_content; 4148 4149 reset: 4150 mas_reset(mas); 4151 set_content: 4152 wr_mas->content = mas_start(mas); 4153 } 4154 4155 /** 4156 * mas_prealloc_calc() - Calculate number of nodes needed for a 4157 * given store oepration 4158 * @mas: The maple state 4159 * @entry: The entry to store into the tree 4160 * 4161 * Return: Number of nodes required for preallocation. 4162 */ 4163 static inline int mas_prealloc_calc(struct ma_state *mas, void *entry) 4164 { 4165 int ret = mas_mt_height(mas) * 3 + 1; 4166 4167 switch (mas->store_type) { 4168 case wr_invalid: 4169 WARN_ON_ONCE(1); 4170 break; 4171 case wr_new_root: 4172 ret = 1; 4173 break; 4174 case wr_store_root: 4175 if (likely((mas->last != 0) || (mas->index != 0))) 4176 ret = 1; 4177 else if (((unsigned long) (entry) & 3) == 2) 4178 ret = 1; 4179 else 4180 ret = 0; 4181 break; 4182 case wr_spanning_store: 4183 ret = mas_mt_height(mas) * 3 + 1; 4184 break; 4185 case wr_split_store: 4186 ret = mas_mt_height(mas) * 2 + 1; 4187 break; 4188 case wr_rebalance: 4189 ret = mas_mt_height(mas) * 2 - 1; 4190 break; 4191 case wr_node_store: 4192 ret = mt_in_rcu(mas->tree) ? 1 : 0; 4193 break; 4194 case wr_append: 4195 case wr_exact_fit: 4196 case wr_slot_store: 4197 ret = 0; 4198 } 4199 4200 return ret; 4201 } 4202 4203 /* 4204 * mas_wr_store_type() - Determine the store type for a given 4205 * store operation. 4206 * @wr_mas: The maple write state 4207 * 4208 * Return: the type of store needed for the operation 4209 */ 4210 static inline enum store_type mas_wr_store_type(struct ma_wr_state *wr_mas) 4211 { 4212 struct ma_state *mas = wr_mas->mas; 4213 unsigned char new_end; 4214 4215 if (unlikely(mas_is_none(mas) || mas_is_ptr(mas))) 4216 return wr_store_root; 4217 4218 if (unlikely(!mas_wr_walk(wr_mas))) 4219 return wr_spanning_store; 4220 4221 /* At this point, we are at the leaf node that needs to be altered. */ 4222 mas_wr_end_piv(wr_mas); 4223 if (!wr_mas->entry) 4224 mas_wr_extend_null(wr_mas); 4225 4226 if ((wr_mas->r_min == mas->index) && (wr_mas->r_max == mas->last)) 4227 return wr_exact_fit; 4228 4229 if (unlikely(!mas->index && mas->last == ULONG_MAX)) 4230 return wr_new_root; 4231 4232 new_end = mas_wr_new_end(wr_mas); 4233 /* Potential spanning rebalance collapsing a node */ 4234 if (new_end < mt_min_slots[wr_mas->type]) { 4235 if (!mte_is_root(mas->node) && !(mas->mas_flags & MA_STATE_BULK)) 4236 return wr_rebalance; 4237 return wr_node_store; 4238 } 4239 4240 if (new_end >= mt_slots[wr_mas->type]) 4241 return wr_split_store; 4242 4243 if (!mt_in_rcu(mas->tree) && (mas->offset == mas->end)) 4244 return wr_append; 4245 4246 if ((new_end == mas->end) && (!mt_in_rcu(mas->tree) || 4247 (wr_mas->offset_end - mas->offset == 1))) 4248 return wr_slot_store; 4249 4250 return wr_node_store; 4251 } 4252 4253 /** 4254 * mas_wr_preallocate() - Preallocate enough nodes for a store operation 4255 * @wr_mas: The maple write state 4256 * @entry: The entry that will be stored 4257 * 4258 */ 4259 static inline void mas_wr_preallocate(struct ma_wr_state *wr_mas, void *entry) 4260 { 4261 struct ma_state *mas = wr_mas->mas; 4262 int request; 4263 4264 mas_wr_prealloc_setup(wr_mas); 4265 mas->store_type = mas_wr_store_type(wr_mas); 4266 request = mas_prealloc_calc(mas, entry); 4267 if (!request) 4268 return; 4269 4270 mas_node_count(mas, request); 4271 } 4272 4273 /** 4274 * mas_insert() - Internal call to insert a value 4275 * @mas: The maple state 4276 * @entry: The entry to store 4277 * 4278 * Return: %NULL or the contents that already exists at the requested index 4279 * otherwise. The maple state needs to be checked for error conditions. 4280 */ 4281 static inline void *mas_insert(struct ma_state *mas, void *entry) 4282 { 4283 MA_WR_STATE(wr_mas, mas, entry); 4284 4285 /* 4286 * Inserting a new range inserts either 0, 1, or 2 pivots within the 4287 * tree. If the insert fits exactly into an existing gap with a value 4288 * of NULL, then the slot only needs to be written with the new value. 4289 * If the range being inserted is adjacent to another range, then only a 4290 * single pivot needs to be inserted (as well as writing the entry). If 4291 * the new range is within a gap but does not touch any other ranges, 4292 * then two pivots need to be inserted: the start - 1, and the end. As 4293 * usual, the entry must be written. Most operations require a new node 4294 * to be allocated and replace an existing node to ensure RCU safety, 4295 * when in RCU mode. The exception to requiring a newly allocated node 4296 * is when inserting at the end of a node (appending). When done 4297 * carefully, appending can reuse the node in place. 4298 */ 4299 wr_mas.content = mas_start(mas); 4300 if (wr_mas.content) 4301 goto exists; 4302 4303 mas_wr_preallocate(&wr_mas, entry); 4304 if (mas_is_err(mas)) 4305 return NULL; 4306 4307 /* spanning writes always overwrite something */ 4308 if (mas->store_type == wr_spanning_store) 4309 goto exists; 4310 4311 /* At this point, we are at the leaf node that needs to be altered. */ 4312 if (mas->store_type != wr_new_root && mas->store_type != wr_store_root) { 4313 wr_mas.offset_end = mas->offset; 4314 wr_mas.end_piv = wr_mas.r_max; 4315 4316 if (wr_mas.content || (mas->last > wr_mas.r_max)) 4317 goto exists; 4318 } 4319 4320 mas_wr_store_entry(&wr_mas); 4321 return wr_mas.content; 4322 4323 exists: 4324 mas_set_err(mas, -EEXIST); 4325 return wr_mas.content; 4326 4327 } 4328 4329 /** 4330 * mas_alloc_cyclic() - Internal call to find somewhere to store an entry 4331 * @mas: The maple state. 4332 * @startp: Pointer to ID. 4333 * @range_lo: Lower bound of range to search. 4334 * @range_hi: Upper bound of range to search. 4335 * @entry: The entry to store. 4336 * @next: Pointer to next ID to allocate. 4337 * @gfp: The GFP_FLAGS to use for allocations. 4338 * 4339 * Return: 0 if the allocation succeeded without wrapping, 1 if the 4340 * allocation succeeded after wrapping, or -EBUSY if there are no 4341 * free entries. 4342 */ 4343 int mas_alloc_cyclic(struct ma_state *mas, unsigned long *startp, 4344 void *entry, unsigned long range_lo, unsigned long range_hi, 4345 unsigned long *next, gfp_t gfp) 4346 { 4347 unsigned long min = range_lo; 4348 int ret = 0; 4349 4350 range_lo = max(min, *next); 4351 ret = mas_empty_area(mas, range_lo, range_hi, 1); 4352 if ((mas->tree->ma_flags & MT_FLAGS_ALLOC_WRAPPED) && ret == 0) { 4353 mas->tree->ma_flags &= ~MT_FLAGS_ALLOC_WRAPPED; 4354 ret = 1; 4355 } 4356 if (ret < 0 && range_lo > min) { 4357 mas_reset(mas); 4358 ret = mas_empty_area(mas, min, range_hi, 1); 4359 if (ret == 0) 4360 ret = 1; 4361 } 4362 if (ret < 0) 4363 return ret; 4364 4365 do { 4366 mas_insert(mas, entry); 4367 } while (mas_nomem(mas, gfp)); 4368 if (mas_is_err(mas)) 4369 return xa_err(mas->node); 4370 4371 *startp = mas->index; 4372 *next = *startp + 1; 4373 if (*next == 0) 4374 mas->tree->ma_flags |= MT_FLAGS_ALLOC_WRAPPED; 4375 4376 mas_destroy(mas); 4377 return ret; 4378 } 4379 EXPORT_SYMBOL(mas_alloc_cyclic); 4380 4381 static __always_inline void mas_rewalk(struct ma_state *mas, unsigned long index) 4382 { 4383 retry: 4384 mas_set(mas, index); 4385 mas_state_walk(mas); 4386 if (mas_is_start(mas)) 4387 goto retry; 4388 } 4389 4390 static __always_inline bool mas_rewalk_if_dead(struct ma_state *mas, 4391 struct maple_node *node, const unsigned long index) 4392 { 4393 if (unlikely(ma_dead_node(node))) { 4394 mas_rewalk(mas, index); 4395 return true; 4396 } 4397 return false; 4398 } 4399 4400 /* 4401 * mas_prev_node() - Find the prev non-null entry at the same level in the 4402 * tree. The prev value will be mas->node[mas->offset] or the status will be 4403 * ma_none. 4404 * @mas: The maple state 4405 * @min: The lower limit to search 4406 * 4407 * The prev node value will be mas->node[mas->offset] or the status will be 4408 * ma_none. 4409 * Return: 1 if the node is dead, 0 otherwise. 4410 */ 4411 static int mas_prev_node(struct ma_state *mas, unsigned long min) 4412 { 4413 enum maple_type mt; 4414 int offset, level; 4415 void __rcu **slots; 4416 struct maple_node *node; 4417 unsigned long *pivots; 4418 unsigned long max; 4419 4420 node = mas_mn(mas); 4421 if (!mas->min) 4422 goto no_entry; 4423 4424 max = mas->min - 1; 4425 if (max < min) 4426 goto no_entry; 4427 4428 level = 0; 4429 do { 4430 if (ma_is_root(node)) 4431 goto no_entry; 4432 4433 /* Walk up. */ 4434 if (unlikely(mas_ascend(mas))) 4435 return 1; 4436 offset = mas->offset; 4437 level++; 4438 node = mas_mn(mas); 4439 } while (!offset); 4440 4441 offset--; 4442 mt = mte_node_type(mas->node); 4443 while (level > 1) { 4444 level--; 4445 slots = ma_slots(node, mt); 4446 mas->node = mas_slot(mas, slots, offset); 4447 if (unlikely(ma_dead_node(node))) 4448 return 1; 4449 4450 mt = mte_node_type(mas->node); 4451 node = mas_mn(mas); 4452 pivots = ma_pivots(node, mt); 4453 offset = ma_data_end(node, mt, pivots, max); 4454 if (unlikely(ma_dead_node(node))) 4455 return 1; 4456 } 4457 4458 slots = ma_slots(node, mt); 4459 mas->node = mas_slot(mas, slots, offset); 4460 pivots = ma_pivots(node, mt); 4461 if (unlikely(ma_dead_node(node))) 4462 return 1; 4463 4464 if (likely(offset)) 4465 mas->min = pivots[offset - 1] + 1; 4466 mas->max = max; 4467 mas->offset = mas_data_end(mas); 4468 if (unlikely(mte_dead_node(mas->node))) 4469 return 1; 4470 4471 mas->end = mas->offset; 4472 return 0; 4473 4474 no_entry: 4475 if (unlikely(ma_dead_node(node))) 4476 return 1; 4477 4478 mas->status = ma_underflow; 4479 return 0; 4480 } 4481 4482 /* 4483 * mas_prev_slot() - Get the entry in the previous slot 4484 * 4485 * @mas: The maple state 4486 * @min: The minimum starting range 4487 * @empty: Can be empty 4488 * 4489 * Return: The entry in the previous slot which is possibly NULL 4490 */ 4491 static void *mas_prev_slot(struct ma_state *mas, unsigned long min, bool empty) 4492 { 4493 void *entry; 4494 void __rcu **slots; 4495 unsigned long pivot; 4496 enum maple_type type; 4497 unsigned long *pivots; 4498 struct maple_node *node; 4499 unsigned long save_point = mas->index; 4500 4501 retry: 4502 node = mas_mn(mas); 4503 type = mte_node_type(mas->node); 4504 pivots = ma_pivots(node, type); 4505 if (unlikely(mas_rewalk_if_dead(mas, node, save_point))) 4506 goto retry; 4507 4508 if (mas->min <= min) { 4509 pivot = mas_safe_min(mas, pivots, mas->offset); 4510 4511 if (unlikely(mas_rewalk_if_dead(mas, node, save_point))) 4512 goto retry; 4513 4514 if (pivot <= min) 4515 goto underflow; 4516 } 4517 4518 again: 4519 if (likely(mas->offset)) { 4520 mas->offset--; 4521 mas->last = mas->index - 1; 4522 mas->index = mas_safe_min(mas, pivots, mas->offset); 4523 } else { 4524 if (mas->index <= min) 4525 goto underflow; 4526 4527 if (mas_prev_node(mas, min)) { 4528 mas_rewalk(mas, save_point); 4529 goto retry; 4530 } 4531 4532 if (WARN_ON_ONCE(mas_is_underflow(mas))) 4533 return NULL; 4534 4535 mas->last = mas->max; 4536 node = mas_mn(mas); 4537 type = mte_node_type(mas->node); 4538 pivots = ma_pivots(node, type); 4539 mas->index = pivots[mas->offset - 1] + 1; 4540 } 4541 4542 slots = ma_slots(node, type); 4543 entry = mas_slot(mas, slots, mas->offset); 4544 if (unlikely(mas_rewalk_if_dead(mas, node, save_point))) 4545 goto retry; 4546 4547 4548 if (likely(entry)) 4549 return entry; 4550 4551 if (!empty) { 4552 if (mas->index <= min) { 4553 mas->status = ma_underflow; 4554 return NULL; 4555 } 4556 4557 goto again; 4558 } 4559 4560 return entry; 4561 4562 underflow: 4563 mas->status = ma_underflow; 4564 return NULL; 4565 } 4566 4567 /* 4568 * mas_next_node() - Get the next node at the same level in the tree. 4569 * @mas: The maple state 4570 * @node: The maple node 4571 * @max: The maximum pivot value to check. 4572 * 4573 * The next value will be mas->node[mas->offset] or the status will have 4574 * overflowed. 4575 * Return: 1 on dead node, 0 otherwise. 4576 */ 4577 static int mas_next_node(struct ma_state *mas, struct maple_node *node, 4578 unsigned long max) 4579 { 4580 unsigned long min; 4581 unsigned long *pivots; 4582 struct maple_enode *enode; 4583 struct maple_node *tmp; 4584 int level = 0; 4585 unsigned char node_end; 4586 enum maple_type mt; 4587 void __rcu **slots; 4588 4589 if (mas->max >= max) 4590 goto overflow; 4591 4592 min = mas->max + 1; 4593 level = 0; 4594 do { 4595 if (ma_is_root(node)) 4596 goto overflow; 4597 4598 /* Walk up. */ 4599 if (unlikely(mas_ascend(mas))) 4600 return 1; 4601 4602 level++; 4603 node = mas_mn(mas); 4604 mt = mte_node_type(mas->node); 4605 pivots = ma_pivots(node, mt); 4606 node_end = ma_data_end(node, mt, pivots, mas->max); 4607 if (unlikely(ma_dead_node(node))) 4608 return 1; 4609 4610 } while (unlikely(mas->offset == node_end)); 4611 4612 slots = ma_slots(node, mt); 4613 mas->offset++; 4614 enode = mas_slot(mas, slots, mas->offset); 4615 if (unlikely(ma_dead_node(node))) 4616 return 1; 4617 4618 if (level > 1) 4619 mas->offset = 0; 4620 4621 while (unlikely(level > 1)) { 4622 level--; 4623 mas->node = enode; 4624 node = mas_mn(mas); 4625 mt = mte_node_type(mas->node); 4626 slots = ma_slots(node, mt); 4627 enode = mas_slot(mas, slots, 0); 4628 if (unlikely(ma_dead_node(node))) 4629 return 1; 4630 } 4631 4632 if (!mas->offset) 4633 pivots = ma_pivots(node, mt); 4634 4635 mas->max = mas_safe_pivot(mas, pivots, mas->offset, mt); 4636 tmp = mte_to_node(enode); 4637 mt = mte_node_type(enode); 4638 pivots = ma_pivots(tmp, mt); 4639 mas->end = ma_data_end(tmp, mt, pivots, mas->max); 4640 if (unlikely(ma_dead_node(node))) 4641 return 1; 4642 4643 mas->node = enode; 4644 mas->min = min; 4645 return 0; 4646 4647 overflow: 4648 if (unlikely(ma_dead_node(node))) 4649 return 1; 4650 4651 mas->status = ma_overflow; 4652 return 0; 4653 } 4654 4655 /* 4656 * mas_next_slot() - Get the entry in the next slot 4657 * 4658 * @mas: The maple state 4659 * @max: The maximum starting range 4660 * @empty: Can be empty 4661 * 4662 * Return: The entry in the next slot which is possibly NULL 4663 */ 4664 static void *mas_next_slot(struct ma_state *mas, unsigned long max, bool empty) 4665 { 4666 void __rcu **slots; 4667 unsigned long *pivots; 4668 unsigned long pivot; 4669 enum maple_type type; 4670 struct maple_node *node; 4671 unsigned long save_point = mas->last; 4672 void *entry; 4673 4674 retry: 4675 node = mas_mn(mas); 4676 type = mte_node_type(mas->node); 4677 pivots = ma_pivots(node, type); 4678 if (unlikely(mas_rewalk_if_dead(mas, node, save_point))) 4679 goto retry; 4680 4681 if (mas->max >= max) { 4682 if (likely(mas->offset < mas->end)) 4683 pivot = pivots[mas->offset]; 4684 else 4685 pivot = mas->max; 4686 4687 if (unlikely(mas_rewalk_if_dead(mas, node, save_point))) 4688 goto retry; 4689 4690 if (pivot >= max) { /* Was at the limit, next will extend beyond */ 4691 mas->status = ma_overflow; 4692 return NULL; 4693 } 4694 } 4695 4696 if (likely(mas->offset < mas->end)) { 4697 mas->index = pivots[mas->offset] + 1; 4698 again: 4699 mas->offset++; 4700 if (likely(mas->offset < mas->end)) 4701 mas->last = pivots[mas->offset]; 4702 else 4703 mas->last = mas->max; 4704 } else { 4705 if (mas->last >= max) { 4706 mas->status = ma_overflow; 4707 return NULL; 4708 } 4709 4710 if (mas_next_node(mas, node, max)) { 4711 mas_rewalk(mas, save_point); 4712 goto retry; 4713 } 4714 4715 if (WARN_ON_ONCE(mas_is_overflow(mas))) 4716 return NULL; 4717 4718 mas->offset = 0; 4719 mas->index = mas->min; 4720 node = mas_mn(mas); 4721 type = mte_node_type(mas->node); 4722 pivots = ma_pivots(node, type); 4723 mas->last = pivots[0]; 4724 } 4725 4726 slots = ma_slots(node, type); 4727 entry = mt_slot(mas->tree, slots, mas->offset); 4728 if (unlikely(mas_rewalk_if_dead(mas, node, save_point))) 4729 goto retry; 4730 4731 if (entry) 4732 return entry; 4733 4734 4735 if (!empty) { 4736 if (mas->last >= max) { 4737 mas->status = ma_overflow; 4738 return NULL; 4739 } 4740 4741 mas->index = mas->last + 1; 4742 goto again; 4743 } 4744 4745 return entry; 4746 } 4747 4748 /* 4749 * mas_rev_awalk() - Internal function. Reverse allocation walk. Find the 4750 * highest gap address of a given size in a given node and descend. 4751 * @mas: The maple state 4752 * @size: The needed size. 4753 * 4754 * Return: True if found in a leaf, false otherwise. 4755 * 4756 */ 4757 static bool mas_rev_awalk(struct ma_state *mas, unsigned long size, 4758 unsigned long *gap_min, unsigned long *gap_max) 4759 { 4760 enum maple_type type = mte_node_type(mas->node); 4761 struct maple_node *node = mas_mn(mas); 4762 unsigned long *pivots, *gaps; 4763 void __rcu **slots; 4764 unsigned long gap = 0; 4765 unsigned long max, min; 4766 unsigned char offset; 4767 4768 if (unlikely(mas_is_err(mas))) 4769 return true; 4770 4771 if (ma_is_dense(type)) { 4772 /* dense nodes. */ 4773 mas->offset = (unsigned char)(mas->index - mas->min); 4774 return true; 4775 } 4776 4777 pivots = ma_pivots(node, type); 4778 slots = ma_slots(node, type); 4779 gaps = ma_gaps(node, type); 4780 offset = mas->offset; 4781 min = mas_safe_min(mas, pivots, offset); 4782 /* Skip out of bounds. */ 4783 while (mas->last < min) 4784 min = mas_safe_min(mas, pivots, --offset); 4785 4786 max = mas_safe_pivot(mas, pivots, offset, type); 4787 while (mas->index <= max) { 4788 gap = 0; 4789 if (gaps) 4790 gap = gaps[offset]; 4791 else if (!mas_slot(mas, slots, offset)) 4792 gap = max - min + 1; 4793 4794 if (gap) { 4795 if ((size <= gap) && (size <= mas->last - min + 1)) 4796 break; 4797 4798 if (!gaps) { 4799 /* Skip the next slot, it cannot be a gap. */ 4800 if (offset < 2) 4801 goto ascend; 4802 4803 offset -= 2; 4804 max = pivots[offset]; 4805 min = mas_safe_min(mas, pivots, offset); 4806 continue; 4807 } 4808 } 4809 4810 if (!offset) 4811 goto ascend; 4812 4813 offset--; 4814 max = min - 1; 4815 min = mas_safe_min(mas, pivots, offset); 4816 } 4817 4818 if (unlikely((mas->index > max) || (size - 1 > max - mas->index))) 4819 goto no_space; 4820 4821 if (unlikely(ma_is_leaf(type))) { 4822 mas->offset = offset; 4823 *gap_min = min; 4824 *gap_max = min + gap - 1; 4825 return true; 4826 } 4827 4828 /* descend, only happens under lock. */ 4829 mas->node = mas_slot(mas, slots, offset); 4830 mas->min = min; 4831 mas->max = max; 4832 mas->offset = mas_data_end(mas); 4833 return false; 4834 4835 ascend: 4836 if (!mte_is_root(mas->node)) 4837 return false; 4838 4839 no_space: 4840 mas_set_err(mas, -EBUSY); 4841 return false; 4842 } 4843 4844 static inline bool mas_anode_descend(struct ma_state *mas, unsigned long size) 4845 { 4846 enum maple_type type = mte_node_type(mas->node); 4847 unsigned long pivot, min, gap = 0; 4848 unsigned char offset, data_end; 4849 unsigned long *gaps, *pivots; 4850 void __rcu **slots; 4851 struct maple_node *node; 4852 bool found = false; 4853 4854 if (ma_is_dense(type)) { 4855 mas->offset = (unsigned char)(mas->index - mas->min); 4856 return true; 4857 } 4858 4859 node = mas_mn(mas); 4860 pivots = ma_pivots(node, type); 4861 slots = ma_slots(node, type); 4862 gaps = ma_gaps(node, type); 4863 offset = mas->offset; 4864 min = mas_safe_min(mas, pivots, offset); 4865 data_end = ma_data_end(node, type, pivots, mas->max); 4866 for (; offset <= data_end; offset++) { 4867 pivot = mas_safe_pivot(mas, pivots, offset, type); 4868 4869 /* Not within lower bounds */ 4870 if (mas->index > pivot) 4871 goto next_slot; 4872 4873 if (gaps) 4874 gap = gaps[offset]; 4875 else if (!mas_slot(mas, slots, offset)) 4876 gap = min(pivot, mas->last) - max(mas->index, min) + 1; 4877 else 4878 goto next_slot; 4879 4880 if (gap >= size) { 4881 if (ma_is_leaf(type)) { 4882 found = true; 4883 goto done; 4884 } 4885 if (mas->index <= pivot) { 4886 mas->node = mas_slot(mas, slots, offset); 4887 mas->min = min; 4888 mas->max = pivot; 4889 offset = 0; 4890 break; 4891 } 4892 } 4893 next_slot: 4894 min = pivot + 1; 4895 if (mas->last <= pivot) { 4896 mas_set_err(mas, -EBUSY); 4897 return true; 4898 } 4899 } 4900 4901 if (mte_is_root(mas->node)) 4902 found = true; 4903 done: 4904 mas->offset = offset; 4905 return found; 4906 } 4907 4908 /** 4909 * mas_walk() - Search for @mas->index in the tree. 4910 * @mas: The maple state. 4911 * 4912 * mas->index and mas->last will be set to the range if there is a value. If 4913 * mas->status is ma_none, reset to ma_start 4914 * 4915 * Return: the entry at the location or %NULL. 4916 */ 4917 void *mas_walk(struct ma_state *mas) 4918 { 4919 void *entry; 4920 4921 if (!mas_is_active(mas) || !mas_is_start(mas)) 4922 mas->status = ma_start; 4923 retry: 4924 entry = mas_state_walk(mas); 4925 if (mas_is_start(mas)) { 4926 goto retry; 4927 } else if (mas_is_none(mas)) { 4928 mas->index = 0; 4929 mas->last = ULONG_MAX; 4930 } else if (mas_is_ptr(mas)) { 4931 if (!mas->index) { 4932 mas->last = 0; 4933 return entry; 4934 } 4935 4936 mas->index = 1; 4937 mas->last = ULONG_MAX; 4938 mas->status = ma_none; 4939 return NULL; 4940 } 4941 4942 return entry; 4943 } 4944 EXPORT_SYMBOL_GPL(mas_walk); 4945 4946 static inline bool mas_rewind_node(struct ma_state *mas) 4947 { 4948 unsigned char slot; 4949 4950 do { 4951 if (mte_is_root(mas->node)) { 4952 slot = mas->offset; 4953 if (!slot) 4954 return false; 4955 } else { 4956 mas_ascend(mas); 4957 slot = mas->offset; 4958 } 4959 } while (!slot); 4960 4961 mas->offset = --slot; 4962 return true; 4963 } 4964 4965 /* 4966 * mas_skip_node() - Internal function. Skip over a node. 4967 * @mas: The maple state. 4968 * 4969 * Return: true if there is another node, false otherwise. 4970 */ 4971 static inline bool mas_skip_node(struct ma_state *mas) 4972 { 4973 if (mas_is_err(mas)) 4974 return false; 4975 4976 do { 4977 if (mte_is_root(mas->node)) { 4978 if (mas->offset >= mas_data_end(mas)) { 4979 mas_set_err(mas, -EBUSY); 4980 return false; 4981 } 4982 } else { 4983 mas_ascend(mas); 4984 } 4985 } while (mas->offset >= mas_data_end(mas)); 4986 4987 mas->offset++; 4988 return true; 4989 } 4990 4991 /* 4992 * mas_awalk() - Allocation walk. Search from low address to high, for a gap of 4993 * @size 4994 * @mas: The maple state 4995 * @size: The size of the gap required 4996 * 4997 * Search between @mas->index and @mas->last for a gap of @size. 4998 */ 4999 static inline void mas_awalk(struct ma_state *mas, unsigned long size) 5000 { 5001 struct maple_enode *last = NULL; 5002 5003 /* 5004 * There are 4 options: 5005 * go to child (descend) 5006 * go back to parent (ascend) 5007 * no gap found. (return, slot == MAPLE_NODE_SLOTS) 5008 * found the gap. (return, slot != MAPLE_NODE_SLOTS) 5009 */ 5010 while (!mas_is_err(mas) && !mas_anode_descend(mas, size)) { 5011 if (last == mas->node) 5012 mas_skip_node(mas); 5013 else 5014 last = mas->node; 5015 } 5016 } 5017 5018 /* 5019 * mas_sparse_area() - Internal function. Return upper or lower limit when 5020 * searching for a gap in an empty tree. 5021 * @mas: The maple state 5022 * @min: the minimum range 5023 * @max: The maximum range 5024 * @size: The size of the gap 5025 * @fwd: Searching forward or back 5026 */ 5027 static inline int mas_sparse_area(struct ma_state *mas, unsigned long min, 5028 unsigned long max, unsigned long size, bool fwd) 5029 { 5030 if (!unlikely(mas_is_none(mas)) && min == 0) { 5031 min++; 5032 /* 5033 * At this time, min is increased, we need to recheck whether 5034 * the size is satisfied. 5035 */ 5036 if (min > max || max - min + 1 < size) 5037 return -EBUSY; 5038 } 5039 /* mas_is_ptr */ 5040 5041 if (fwd) { 5042 mas->index = min; 5043 mas->last = min + size - 1; 5044 } else { 5045 mas->last = max; 5046 mas->index = max - size + 1; 5047 } 5048 return 0; 5049 } 5050 5051 /* 5052 * mas_empty_area() - Get the lowest address within the range that is 5053 * sufficient for the size requested. 5054 * @mas: The maple state 5055 * @min: The lowest value of the range 5056 * @max: The highest value of the range 5057 * @size: The size needed 5058 */ 5059 int mas_empty_area(struct ma_state *mas, unsigned long min, 5060 unsigned long max, unsigned long size) 5061 { 5062 unsigned char offset; 5063 unsigned long *pivots; 5064 enum maple_type mt; 5065 struct maple_node *node; 5066 5067 if (min > max) 5068 return -EINVAL; 5069 5070 if (size == 0 || max - min < size - 1) 5071 return -EINVAL; 5072 5073 if (mas_is_start(mas)) 5074 mas_start(mas); 5075 else if (mas->offset >= 2) 5076 mas->offset -= 2; 5077 else if (!mas_skip_node(mas)) 5078 return -EBUSY; 5079 5080 /* Empty set */ 5081 if (mas_is_none(mas) || mas_is_ptr(mas)) 5082 return mas_sparse_area(mas, min, max, size, true); 5083 5084 /* The start of the window can only be within these values */ 5085 mas->index = min; 5086 mas->last = max; 5087 mas_awalk(mas, size); 5088 5089 if (unlikely(mas_is_err(mas))) 5090 return xa_err(mas->node); 5091 5092 offset = mas->offset; 5093 if (unlikely(offset == MAPLE_NODE_SLOTS)) 5094 return -EBUSY; 5095 5096 node = mas_mn(mas); 5097 mt = mte_node_type(mas->node); 5098 pivots = ma_pivots(node, mt); 5099 min = mas_safe_min(mas, pivots, offset); 5100 if (mas->index < min) 5101 mas->index = min; 5102 mas->last = mas->index + size - 1; 5103 mas->end = ma_data_end(node, mt, pivots, mas->max); 5104 return 0; 5105 } 5106 EXPORT_SYMBOL_GPL(mas_empty_area); 5107 5108 /* 5109 * mas_empty_area_rev() - Get the highest address within the range that is 5110 * sufficient for the size requested. 5111 * @mas: The maple state 5112 * @min: The lowest value of the range 5113 * @max: The highest value of the range 5114 * @size: The size needed 5115 */ 5116 int mas_empty_area_rev(struct ma_state *mas, unsigned long min, 5117 unsigned long max, unsigned long size) 5118 { 5119 struct maple_enode *last = mas->node; 5120 5121 if (min > max) 5122 return -EINVAL; 5123 5124 if (size == 0 || max - min < size - 1) 5125 return -EINVAL; 5126 5127 if (mas_is_start(mas)) 5128 mas_start(mas); 5129 else if ((mas->offset < 2) && (!mas_rewind_node(mas))) 5130 return -EBUSY; 5131 5132 if (unlikely(mas_is_none(mas) || mas_is_ptr(mas))) 5133 return mas_sparse_area(mas, min, max, size, false); 5134 else if (mas->offset >= 2) 5135 mas->offset -= 2; 5136 else 5137 mas->offset = mas_data_end(mas); 5138 5139 5140 /* The start of the window can only be within these values. */ 5141 mas->index = min; 5142 mas->last = max; 5143 5144 while (!mas_rev_awalk(mas, size, &min, &max)) { 5145 if (last == mas->node) { 5146 if (!mas_rewind_node(mas)) 5147 return -EBUSY; 5148 } else { 5149 last = mas->node; 5150 } 5151 } 5152 5153 if (mas_is_err(mas)) 5154 return xa_err(mas->node); 5155 5156 if (unlikely(mas->offset == MAPLE_NODE_SLOTS)) 5157 return -EBUSY; 5158 5159 /* Trim the upper limit to the max. */ 5160 if (max < mas->last) 5161 mas->last = max; 5162 5163 mas->index = mas->last - size + 1; 5164 mas->end = mas_data_end(mas); 5165 return 0; 5166 } 5167 EXPORT_SYMBOL_GPL(mas_empty_area_rev); 5168 5169 /* 5170 * mte_dead_leaves() - Mark all leaves of a node as dead. 5171 * @enode: the encoded node 5172 * @mt: the maple tree 5173 * @slots: Pointer to the slot array 5174 * 5175 * Must hold the write lock. 5176 * 5177 * Return: The number of leaves marked as dead. 5178 */ 5179 static inline 5180 unsigned char mte_dead_leaves(struct maple_enode *enode, struct maple_tree *mt, 5181 void __rcu **slots) 5182 { 5183 struct maple_node *node; 5184 enum maple_type type; 5185 void *entry; 5186 int offset; 5187 5188 for (offset = 0; offset < mt_slot_count(enode); offset++) { 5189 entry = mt_slot(mt, slots, offset); 5190 type = mte_node_type(entry); 5191 node = mte_to_node(entry); 5192 /* Use both node and type to catch LE & BE metadata */ 5193 if (!node || !type) 5194 break; 5195 5196 mte_set_node_dead(entry); 5197 node->type = type; 5198 rcu_assign_pointer(slots[offset], node); 5199 } 5200 5201 return offset; 5202 } 5203 5204 /** 5205 * mte_dead_walk() - Walk down a dead tree to just before the leaves 5206 * @enode: The maple encoded node 5207 * @offset: The starting offset 5208 * 5209 * Note: This can only be used from the RCU callback context. 5210 */ 5211 static void __rcu **mte_dead_walk(struct maple_enode **enode, unsigned char offset) 5212 { 5213 struct maple_node *node, *next; 5214 void __rcu **slots = NULL; 5215 5216 next = mte_to_node(*enode); 5217 do { 5218 *enode = ma_enode_ptr(next); 5219 node = mte_to_node(*enode); 5220 slots = ma_slots(node, node->type); 5221 next = rcu_dereference_protected(slots[offset], 5222 lock_is_held(&rcu_callback_map)); 5223 offset = 0; 5224 } while (!ma_is_leaf(next->type)); 5225 5226 return slots; 5227 } 5228 5229 /** 5230 * mt_free_walk() - Walk & free a tree in the RCU callback context 5231 * @head: The RCU head that's within the node. 5232 * 5233 * Note: This can only be used from the RCU callback context. 5234 */ 5235 static void mt_free_walk(struct rcu_head *head) 5236 { 5237 void __rcu **slots; 5238 struct maple_node *node, *start; 5239 struct maple_enode *enode; 5240 unsigned char offset; 5241 enum maple_type type; 5242 5243 node = container_of(head, struct maple_node, rcu); 5244 5245 if (ma_is_leaf(node->type)) 5246 goto free_leaf; 5247 5248 start = node; 5249 enode = mt_mk_node(node, node->type); 5250 slots = mte_dead_walk(&enode, 0); 5251 node = mte_to_node(enode); 5252 do { 5253 mt_free_bulk(node->slot_len, slots); 5254 offset = node->parent_slot + 1; 5255 enode = node->piv_parent; 5256 if (mte_to_node(enode) == node) 5257 goto free_leaf; 5258 5259 type = mte_node_type(enode); 5260 slots = ma_slots(mte_to_node(enode), type); 5261 if ((offset < mt_slots[type]) && 5262 rcu_dereference_protected(slots[offset], 5263 lock_is_held(&rcu_callback_map))) 5264 slots = mte_dead_walk(&enode, offset); 5265 node = mte_to_node(enode); 5266 } while ((node != start) || (node->slot_len < offset)); 5267 5268 slots = ma_slots(node, node->type); 5269 mt_free_bulk(node->slot_len, slots); 5270 5271 free_leaf: 5272 mt_free_rcu(&node->rcu); 5273 } 5274 5275 static inline void __rcu **mte_destroy_descend(struct maple_enode **enode, 5276 struct maple_tree *mt, struct maple_enode *prev, unsigned char offset) 5277 { 5278 struct maple_node *node; 5279 struct maple_enode *next = *enode; 5280 void __rcu **slots = NULL; 5281 enum maple_type type; 5282 unsigned char next_offset = 0; 5283 5284 do { 5285 *enode = next; 5286 node = mte_to_node(*enode); 5287 type = mte_node_type(*enode); 5288 slots = ma_slots(node, type); 5289 next = mt_slot_locked(mt, slots, next_offset); 5290 if ((mte_dead_node(next))) 5291 next = mt_slot_locked(mt, slots, ++next_offset); 5292 5293 mte_set_node_dead(*enode); 5294 node->type = type; 5295 node->piv_parent = prev; 5296 node->parent_slot = offset; 5297 offset = next_offset; 5298 next_offset = 0; 5299 prev = *enode; 5300 } while (!mte_is_leaf(next)); 5301 5302 return slots; 5303 } 5304 5305 static void mt_destroy_walk(struct maple_enode *enode, struct maple_tree *mt, 5306 bool free) 5307 { 5308 void __rcu **slots; 5309 struct maple_node *node = mte_to_node(enode); 5310 struct maple_enode *start; 5311 5312 if (mte_is_leaf(enode)) { 5313 node->type = mte_node_type(enode); 5314 goto free_leaf; 5315 } 5316 5317 start = enode; 5318 slots = mte_destroy_descend(&enode, mt, start, 0); 5319 node = mte_to_node(enode); // Updated in the above call. 5320 do { 5321 enum maple_type type; 5322 unsigned char offset; 5323 struct maple_enode *parent, *tmp; 5324 5325 node->slot_len = mte_dead_leaves(enode, mt, slots); 5326 if (free) 5327 mt_free_bulk(node->slot_len, slots); 5328 offset = node->parent_slot + 1; 5329 enode = node->piv_parent; 5330 if (mte_to_node(enode) == node) 5331 goto free_leaf; 5332 5333 type = mte_node_type(enode); 5334 slots = ma_slots(mte_to_node(enode), type); 5335 if (offset >= mt_slots[type]) 5336 goto next; 5337 5338 tmp = mt_slot_locked(mt, slots, offset); 5339 if (mte_node_type(tmp) && mte_to_node(tmp)) { 5340 parent = enode; 5341 enode = tmp; 5342 slots = mte_destroy_descend(&enode, mt, parent, offset); 5343 } 5344 next: 5345 node = mte_to_node(enode); 5346 } while (start != enode); 5347 5348 node = mte_to_node(enode); 5349 node->slot_len = mte_dead_leaves(enode, mt, slots); 5350 if (free) 5351 mt_free_bulk(node->slot_len, slots); 5352 5353 free_leaf: 5354 if (free) 5355 mt_free_rcu(&node->rcu); 5356 else 5357 mt_clear_meta(mt, node, node->type); 5358 } 5359 5360 /* 5361 * mte_destroy_walk() - Free a tree or sub-tree. 5362 * @enode: the encoded maple node (maple_enode) to start 5363 * @mt: the tree to free - needed for node types. 5364 * 5365 * Must hold the write lock. 5366 */ 5367 static inline void mte_destroy_walk(struct maple_enode *enode, 5368 struct maple_tree *mt) 5369 { 5370 struct maple_node *node = mte_to_node(enode); 5371 5372 if (mt_in_rcu(mt)) { 5373 mt_destroy_walk(enode, mt, false); 5374 call_rcu(&node->rcu, mt_free_walk); 5375 } else { 5376 mt_destroy_walk(enode, mt, true); 5377 } 5378 } 5379 /* Interface */ 5380 5381 /** 5382 * mas_store() - Store an @entry. 5383 * @mas: The maple state. 5384 * @entry: The entry to store. 5385 * 5386 * The @mas->index and @mas->last is used to set the range for the @entry. 5387 * 5388 * Return: the first entry between mas->index and mas->last or %NULL. 5389 */ 5390 void *mas_store(struct ma_state *mas, void *entry) 5391 { 5392 int request; 5393 MA_WR_STATE(wr_mas, mas, entry); 5394 5395 trace_ma_write(__func__, mas, 0, entry); 5396 #ifdef CONFIG_DEBUG_MAPLE_TREE 5397 if (MAS_WARN_ON(mas, mas->index > mas->last)) 5398 pr_err("Error %lX > %lX " PTR_FMT "\n", mas->index, mas->last, 5399 entry); 5400 5401 if (mas->index > mas->last) { 5402 mas_set_err(mas, -EINVAL); 5403 return NULL; 5404 } 5405 5406 #endif 5407 5408 /* 5409 * Storing is the same operation as insert with the added caveat that it 5410 * can overwrite entries. Although this seems simple enough, one may 5411 * want to examine what happens if a single store operation was to 5412 * overwrite multiple entries within a self-balancing B-Tree. 5413 */ 5414 mas_wr_prealloc_setup(&wr_mas); 5415 mas->store_type = mas_wr_store_type(&wr_mas); 5416 if (mas->mas_flags & MA_STATE_PREALLOC) { 5417 mas_wr_store_entry(&wr_mas); 5418 MAS_WR_BUG_ON(&wr_mas, mas_is_err(mas)); 5419 return wr_mas.content; 5420 } 5421 5422 request = mas_prealloc_calc(mas, entry); 5423 if (!request) 5424 goto store; 5425 5426 mas_node_count(mas, request); 5427 if (mas_is_err(mas)) 5428 return NULL; 5429 5430 store: 5431 mas_wr_store_entry(&wr_mas); 5432 mas_destroy(mas); 5433 return wr_mas.content; 5434 } 5435 EXPORT_SYMBOL_GPL(mas_store); 5436 5437 /** 5438 * mas_store_gfp() - Store a value into the tree. 5439 * @mas: The maple state 5440 * @entry: The entry to store 5441 * @gfp: The GFP_FLAGS to use for allocations if necessary. 5442 * 5443 * Return: 0 on success, -EINVAL on invalid request, -ENOMEM if memory could not 5444 * be allocated. 5445 */ 5446 int mas_store_gfp(struct ma_state *mas, void *entry, gfp_t gfp) 5447 { 5448 unsigned long index = mas->index; 5449 unsigned long last = mas->last; 5450 MA_WR_STATE(wr_mas, mas, entry); 5451 int ret = 0; 5452 5453 retry: 5454 mas_wr_preallocate(&wr_mas, entry); 5455 if (unlikely(mas_nomem(mas, gfp))) { 5456 if (!entry) 5457 __mas_set_range(mas, index, last); 5458 goto retry; 5459 } 5460 5461 if (mas_is_err(mas)) { 5462 ret = xa_err(mas->node); 5463 goto out; 5464 } 5465 5466 mas_wr_store_entry(&wr_mas); 5467 out: 5468 mas_destroy(mas); 5469 return ret; 5470 } 5471 EXPORT_SYMBOL_GPL(mas_store_gfp); 5472 5473 /** 5474 * mas_store_prealloc() - Store a value into the tree using memory 5475 * preallocated in the maple state. 5476 * @mas: The maple state 5477 * @entry: The entry to store. 5478 */ 5479 void mas_store_prealloc(struct ma_state *mas, void *entry) 5480 { 5481 MA_WR_STATE(wr_mas, mas, entry); 5482 5483 if (mas->store_type == wr_store_root) { 5484 mas_wr_prealloc_setup(&wr_mas); 5485 goto store; 5486 } 5487 5488 mas_wr_walk_descend(&wr_mas); 5489 if (mas->store_type != wr_spanning_store) { 5490 /* set wr_mas->content to current slot */ 5491 wr_mas.content = mas_slot_locked(mas, wr_mas.slots, mas->offset); 5492 mas_wr_end_piv(&wr_mas); 5493 } 5494 5495 store: 5496 trace_ma_write(__func__, mas, 0, entry); 5497 mas_wr_store_entry(&wr_mas); 5498 MAS_WR_BUG_ON(&wr_mas, mas_is_err(mas)); 5499 mas_destroy(mas); 5500 } 5501 EXPORT_SYMBOL_GPL(mas_store_prealloc); 5502 5503 /** 5504 * mas_preallocate() - Preallocate enough nodes for a store operation 5505 * @mas: The maple state 5506 * @entry: The entry that will be stored 5507 * @gfp: The GFP_FLAGS to use for allocations. 5508 * 5509 * Return: 0 on success, -ENOMEM if memory could not be allocated. 5510 */ 5511 int mas_preallocate(struct ma_state *mas, void *entry, gfp_t gfp) 5512 { 5513 MA_WR_STATE(wr_mas, mas, entry); 5514 int ret = 0; 5515 int request; 5516 5517 mas_wr_prealloc_setup(&wr_mas); 5518 mas->store_type = mas_wr_store_type(&wr_mas); 5519 request = mas_prealloc_calc(mas, entry); 5520 if (!request) 5521 return ret; 5522 5523 mas_node_count_gfp(mas, request, gfp); 5524 if (mas_is_err(mas)) { 5525 mas_set_alloc_req(mas, 0); 5526 ret = xa_err(mas->node); 5527 mas_destroy(mas); 5528 mas_reset(mas); 5529 return ret; 5530 } 5531 5532 mas->mas_flags |= MA_STATE_PREALLOC; 5533 return ret; 5534 } 5535 EXPORT_SYMBOL_GPL(mas_preallocate); 5536 5537 /* 5538 * mas_destroy() - destroy a maple state. 5539 * @mas: The maple state 5540 * 5541 * Upon completion, check the left-most node and rebalance against the node to 5542 * the right if necessary. Frees any allocated nodes associated with this maple 5543 * state. 5544 */ 5545 void mas_destroy(struct ma_state *mas) 5546 { 5547 struct maple_alloc *node; 5548 unsigned long total; 5549 5550 /* 5551 * When using mas_for_each() to insert an expected number of elements, 5552 * it is possible that the number inserted is less than the expected 5553 * number. To fix an invalid final node, a check is performed here to 5554 * rebalance the previous node with the final node. 5555 */ 5556 if (mas->mas_flags & MA_STATE_REBALANCE) { 5557 unsigned char end; 5558 if (mas_is_err(mas)) 5559 mas_reset(mas); 5560 mas_start(mas); 5561 mtree_range_walk(mas); 5562 end = mas->end + 1; 5563 if (end < mt_min_slot_count(mas->node) - 1) 5564 mas_destroy_rebalance(mas, end); 5565 5566 mas->mas_flags &= ~MA_STATE_REBALANCE; 5567 } 5568 mas->mas_flags &= ~(MA_STATE_BULK|MA_STATE_PREALLOC); 5569 5570 total = mas_allocated(mas); 5571 while (total) { 5572 node = mas->alloc; 5573 mas->alloc = node->slot[0]; 5574 if (node->node_count > 1) { 5575 size_t count = node->node_count - 1; 5576 5577 mt_free_bulk(count, (void __rcu **)&node->slot[1]); 5578 total -= count; 5579 } 5580 mt_free_one(ma_mnode_ptr(node)); 5581 total--; 5582 } 5583 5584 mas->alloc = NULL; 5585 } 5586 EXPORT_SYMBOL_GPL(mas_destroy); 5587 5588 /* 5589 * mas_expected_entries() - Set the expected number of entries that will be inserted. 5590 * @mas: The maple state 5591 * @nr_entries: The number of expected entries. 5592 * 5593 * This will attempt to pre-allocate enough nodes to store the expected number 5594 * of entries. The allocations will occur using the bulk allocator interface 5595 * for speed. Please call mas_destroy() on the @mas after inserting the entries 5596 * to ensure any unused nodes are freed. 5597 * 5598 * Return: 0 on success, -ENOMEM if memory could not be allocated. 5599 */ 5600 int mas_expected_entries(struct ma_state *mas, unsigned long nr_entries) 5601 { 5602 int nonleaf_cap = MAPLE_ARANGE64_SLOTS - 2; 5603 struct maple_enode *enode = mas->node; 5604 int nr_nodes; 5605 int ret; 5606 5607 /* 5608 * Sometimes it is necessary to duplicate a tree to a new tree, such as 5609 * forking a process and duplicating the VMAs from one tree to a new 5610 * tree. When such a situation arises, it is known that the new tree is 5611 * not going to be used until the entire tree is populated. For 5612 * performance reasons, it is best to use a bulk load with RCU disabled. 5613 * This allows for optimistic splitting that favours the left and reuse 5614 * of nodes during the operation. 5615 */ 5616 5617 /* Optimize splitting for bulk insert in-order */ 5618 mas->mas_flags |= MA_STATE_BULK; 5619 5620 /* 5621 * Avoid overflow, assume a gap between each entry and a trailing null. 5622 * If this is wrong, it just means allocation can happen during 5623 * insertion of entries. 5624 */ 5625 nr_nodes = max(nr_entries, nr_entries * 2 + 1); 5626 if (!mt_is_alloc(mas->tree)) 5627 nonleaf_cap = MAPLE_RANGE64_SLOTS - 2; 5628 5629 /* Leaves; reduce slots to keep space for expansion */ 5630 nr_nodes = DIV_ROUND_UP(nr_nodes, MAPLE_RANGE64_SLOTS - 2); 5631 /* Internal nodes */ 5632 nr_nodes += DIV_ROUND_UP(nr_nodes, nonleaf_cap); 5633 /* Add working room for split (2 nodes) + new parents */ 5634 mas_node_count_gfp(mas, nr_nodes + 3, GFP_KERNEL); 5635 5636 /* Detect if allocations run out */ 5637 mas->mas_flags |= MA_STATE_PREALLOC; 5638 5639 if (!mas_is_err(mas)) 5640 return 0; 5641 5642 ret = xa_err(mas->node); 5643 mas->node = enode; 5644 mas_destroy(mas); 5645 return ret; 5646 5647 } 5648 EXPORT_SYMBOL_GPL(mas_expected_entries); 5649 5650 static bool mas_next_setup(struct ma_state *mas, unsigned long max, 5651 void **entry) 5652 { 5653 bool was_none = mas_is_none(mas); 5654 5655 if (unlikely(mas->last >= max)) { 5656 mas->status = ma_overflow; 5657 return true; 5658 } 5659 5660 switch (mas->status) { 5661 case ma_active: 5662 return false; 5663 case ma_none: 5664 fallthrough; 5665 case ma_pause: 5666 mas->status = ma_start; 5667 fallthrough; 5668 case ma_start: 5669 mas_walk(mas); /* Retries on dead nodes handled by mas_walk */ 5670 break; 5671 case ma_overflow: 5672 /* Overflowed before, but the max changed */ 5673 mas->status = ma_active; 5674 break; 5675 case ma_underflow: 5676 /* The user expects the mas to be one before where it is */ 5677 mas->status = ma_active; 5678 *entry = mas_walk(mas); 5679 if (*entry) 5680 return true; 5681 break; 5682 case ma_root: 5683 break; 5684 case ma_error: 5685 return true; 5686 } 5687 5688 if (likely(mas_is_active(mas))) /* Fast path */ 5689 return false; 5690 5691 if (mas_is_ptr(mas)) { 5692 *entry = NULL; 5693 if (was_none && mas->index == 0) { 5694 mas->index = mas->last = 0; 5695 return true; 5696 } 5697 mas->index = 1; 5698 mas->last = ULONG_MAX; 5699 mas->status = ma_none; 5700 return true; 5701 } 5702 5703 if (mas_is_none(mas)) 5704 return true; 5705 5706 return false; 5707 } 5708 5709 /** 5710 * mas_next() - Get the next entry. 5711 * @mas: The maple state 5712 * @max: The maximum index to check. 5713 * 5714 * Returns the next entry after @mas->index. 5715 * Must hold rcu_read_lock or the write lock. 5716 * Can return the zero entry. 5717 * 5718 * Return: The next entry or %NULL 5719 */ 5720 void *mas_next(struct ma_state *mas, unsigned long max) 5721 { 5722 void *entry = NULL; 5723 5724 if (mas_next_setup(mas, max, &entry)) 5725 return entry; 5726 5727 /* Retries on dead nodes handled by mas_next_slot */ 5728 return mas_next_slot(mas, max, false); 5729 } 5730 EXPORT_SYMBOL_GPL(mas_next); 5731 5732 /** 5733 * mas_next_range() - Advance the maple state to the next range 5734 * @mas: The maple state 5735 * @max: The maximum index to check. 5736 * 5737 * Sets @mas->index and @mas->last to the range. 5738 * Must hold rcu_read_lock or the write lock. 5739 * Can return the zero entry. 5740 * 5741 * Return: The next entry or %NULL 5742 */ 5743 void *mas_next_range(struct ma_state *mas, unsigned long max) 5744 { 5745 void *entry = NULL; 5746 5747 if (mas_next_setup(mas, max, &entry)) 5748 return entry; 5749 5750 /* Retries on dead nodes handled by mas_next_slot */ 5751 return mas_next_slot(mas, max, true); 5752 } 5753 EXPORT_SYMBOL_GPL(mas_next_range); 5754 5755 /** 5756 * mt_next() - get the next value in the maple tree 5757 * @mt: The maple tree 5758 * @index: The start index 5759 * @max: The maximum index to check 5760 * 5761 * Takes RCU read lock internally to protect the search, which does not 5762 * protect the returned pointer after dropping RCU read lock. 5763 * See also: Documentation/core-api/maple_tree.rst 5764 * 5765 * Return: The entry higher than @index or %NULL if nothing is found. 5766 */ 5767 void *mt_next(struct maple_tree *mt, unsigned long index, unsigned long max) 5768 { 5769 void *entry = NULL; 5770 MA_STATE(mas, mt, index, index); 5771 5772 rcu_read_lock(); 5773 entry = mas_next(&mas, max); 5774 rcu_read_unlock(); 5775 return entry; 5776 } 5777 EXPORT_SYMBOL_GPL(mt_next); 5778 5779 static bool mas_prev_setup(struct ma_state *mas, unsigned long min, void **entry) 5780 { 5781 if (unlikely(mas->index <= min)) { 5782 mas->status = ma_underflow; 5783 return true; 5784 } 5785 5786 switch (mas->status) { 5787 case ma_active: 5788 return false; 5789 case ma_start: 5790 break; 5791 case ma_none: 5792 fallthrough; 5793 case ma_pause: 5794 mas->status = ma_start; 5795 break; 5796 case ma_underflow: 5797 /* underflowed before but the min changed */ 5798 mas->status = ma_active; 5799 break; 5800 case ma_overflow: 5801 /* User expects mas to be one after where it is */ 5802 mas->status = ma_active; 5803 *entry = mas_walk(mas); 5804 if (*entry) 5805 return true; 5806 break; 5807 case ma_root: 5808 break; 5809 case ma_error: 5810 return true; 5811 } 5812 5813 if (mas_is_start(mas)) 5814 mas_walk(mas); 5815 5816 if (unlikely(mas_is_ptr(mas))) { 5817 if (!mas->index) { 5818 mas->status = ma_none; 5819 return true; 5820 } 5821 mas->index = mas->last = 0; 5822 *entry = mas_root(mas); 5823 return true; 5824 } 5825 5826 if (mas_is_none(mas)) { 5827 if (mas->index) { 5828 /* Walked to out-of-range pointer? */ 5829 mas->index = mas->last = 0; 5830 mas->status = ma_root; 5831 *entry = mas_root(mas); 5832 return true; 5833 } 5834 return true; 5835 } 5836 5837 return false; 5838 } 5839 5840 /** 5841 * mas_prev() - Get the previous entry 5842 * @mas: The maple state 5843 * @min: The minimum value to check. 5844 * 5845 * Must hold rcu_read_lock or the write lock. 5846 * Will reset mas to ma_start if the status is ma_none. Will stop on not 5847 * searchable nodes. 5848 * 5849 * Return: the previous value or %NULL. 5850 */ 5851 void *mas_prev(struct ma_state *mas, unsigned long min) 5852 { 5853 void *entry = NULL; 5854 5855 if (mas_prev_setup(mas, min, &entry)) 5856 return entry; 5857 5858 return mas_prev_slot(mas, min, false); 5859 } 5860 EXPORT_SYMBOL_GPL(mas_prev); 5861 5862 /** 5863 * mas_prev_range() - Advance to the previous range 5864 * @mas: The maple state 5865 * @min: The minimum value to check. 5866 * 5867 * Sets @mas->index and @mas->last to the range. 5868 * Must hold rcu_read_lock or the write lock. 5869 * Will reset mas to ma_start if the node is ma_none. Will stop on not 5870 * searchable nodes. 5871 * 5872 * Return: the previous value or %NULL. 5873 */ 5874 void *mas_prev_range(struct ma_state *mas, unsigned long min) 5875 { 5876 void *entry = NULL; 5877 5878 if (mas_prev_setup(mas, min, &entry)) 5879 return entry; 5880 5881 return mas_prev_slot(mas, min, true); 5882 } 5883 EXPORT_SYMBOL_GPL(mas_prev_range); 5884 5885 /** 5886 * mt_prev() - get the previous value in the maple tree 5887 * @mt: The maple tree 5888 * @index: The start index 5889 * @min: The minimum index to check 5890 * 5891 * Takes RCU read lock internally to protect the search, which does not 5892 * protect the returned pointer after dropping RCU read lock. 5893 * See also: Documentation/core-api/maple_tree.rst 5894 * 5895 * Return: The entry before @index or %NULL if nothing is found. 5896 */ 5897 void *mt_prev(struct maple_tree *mt, unsigned long index, unsigned long min) 5898 { 5899 void *entry = NULL; 5900 MA_STATE(mas, mt, index, index); 5901 5902 rcu_read_lock(); 5903 entry = mas_prev(&mas, min); 5904 rcu_read_unlock(); 5905 return entry; 5906 } 5907 EXPORT_SYMBOL_GPL(mt_prev); 5908 5909 /** 5910 * mas_pause() - Pause a mas_find/mas_for_each to drop the lock. 5911 * @mas: The maple state to pause 5912 * 5913 * Some users need to pause a walk and drop the lock they're holding in 5914 * order to yield to a higher priority thread or carry out an operation 5915 * on an entry. Those users should call this function before they drop 5916 * the lock. It resets the @mas to be suitable for the next iteration 5917 * of the loop after the user has reacquired the lock. If most entries 5918 * found during a walk require you to call mas_pause(), the mt_for_each() 5919 * iterator may be more appropriate. 5920 * 5921 */ 5922 void mas_pause(struct ma_state *mas) 5923 { 5924 mas->status = ma_pause; 5925 mas->node = NULL; 5926 } 5927 EXPORT_SYMBOL_GPL(mas_pause); 5928 5929 /** 5930 * mas_find_setup() - Internal function to set up mas_find*(). 5931 * @mas: The maple state 5932 * @max: The maximum index 5933 * @entry: Pointer to the entry 5934 * 5935 * Returns: True if entry is the answer, false otherwise. 5936 */ 5937 static __always_inline bool mas_find_setup(struct ma_state *mas, unsigned long max, void **entry) 5938 { 5939 switch (mas->status) { 5940 case ma_active: 5941 if (mas->last < max) 5942 return false; 5943 return true; 5944 case ma_start: 5945 break; 5946 case ma_pause: 5947 if (unlikely(mas->last >= max)) 5948 return true; 5949 5950 mas->index = ++mas->last; 5951 mas->status = ma_start; 5952 break; 5953 case ma_none: 5954 if (unlikely(mas->last >= max)) 5955 return true; 5956 5957 mas->index = mas->last; 5958 mas->status = ma_start; 5959 break; 5960 case ma_underflow: 5961 /* mas is pointing at entry before unable to go lower */ 5962 if (unlikely(mas->index >= max)) { 5963 mas->status = ma_overflow; 5964 return true; 5965 } 5966 5967 mas->status = ma_active; 5968 *entry = mas_walk(mas); 5969 if (*entry) 5970 return true; 5971 break; 5972 case ma_overflow: 5973 if (unlikely(mas->last >= max)) 5974 return true; 5975 5976 mas->status = ma_active; 5977 *entry = mas_walk(mas); 5978 if (*entry) 5979 return true; 5980 break; 5981 case ma_root: 5982 break; 5983 case ma_error: 5984 return true; 5985 } 5986 5987 if (mas_is_start(mas)) { 5988 /* First run or continue */ 5989 if (mas->index > max) 5990 return true; 5991 5992 *entry = mas_walk(mas); 5993 if (*entry) 5994 return true; 5995 5996 } 5997 5998 if (unlikely(mas_is_ptr(mas))) 5999 goto ptr_out_of_range; 6000 6001 if (unlikely(mas_is_none(mas))) 6002 return true; 6003 6004 if (mas->index == max) 6005 return true; 6006 6007 return false; 6008 6009 ptr_out_of_range: 6010 mas->status = ma_none; 6011 mas->index = 1; 6012 mas->last = ULONG_MAX; 6013 return true; 6014 } 6015 6016 /** 6017 * mas_find() - On the first call, find the entry at or after mas->index up to 6018 * %max. Otherwise, find the entry after mas->index. 6019 * @mas: The maple state 6020 * @max: The maximum value to check. 6021 * 6022 * Must hold rcu_read_lock or the write lock. 6023 * If an entry exists, last and index are updated accordingly. 6024 * May set @mas->status to ma_overflow. 6025 * 6026 * Return: The entry or %NULL. 6027 */ 6028 void *mas_find(struct ma_state *mas, unsigned long max) 6029 { 6030 void *entry = NULL; 6031 6032 if (mas_find_setup(mas, max, &entry)) 6033 return entry; 6034 6035 /* Retries on dead nodes handled by mas_next_slot */ 6036 entry = mas_next_slot(mas, max, false); 6037 /* Ignore overflow */ 6038 mas->status = ma_active; 6039 return entry; 6040 } 6041 EXPORT_SYMBOL_GPL(mas_find); 6042 6043 /** 6044 * mas_find_range() - On the first call, find the entry at or after 6045 * mas->index up to %max. Otherwise, advance to the next slot mas->index. 6046 * @mas: The maple state 6047 * @max: The maximum value to check. 6048 * 6049 * Must hold rcu_read_lock or the write lock. 6050 * If an entry exists, last and index are updated accordingly. 6051 * May set @mas->status to ma_overflow. 6052 * 6053 * Return: The entry or %NULL. 6054 */ 6055 void *mas_find_range(struct ma_state *mas, unsigned long max) 6056 { 6057 void *entry = NULL; 6058 6059 if (mas_find_setup(mas, max, &entry)) 6060 return entry; 6061 6062 /* Retries on dead nodes handled by mas_next_slot */ 6063 return mas_next_slot(mas, max, true); 6064 } 6065 EXPORT_SYMBOL_GPL(mas_find_range); 6066 6067 /** 6068 * mas_find_rev_setup() - Internal function to set up mas_find_*_rev() 6069 * @mas: The maple state 6070 * @min: The minimum index 6071 * @entry: Pointer to the entry 6072 * 6073 * Returns: True if entry is the answer, false otherwise. 6074 */ 6075 static bool mas_find_rev_setup(struct ma_state *mas, unsigned long min, 6076 void **entry) 6077 { 6078 6079 switch (mas->status) { 6080 case ma_active: 6081 goto active; 6082 case ma_start: 6083 break; 6084 case ma_pause: 6085 if (unlikely(mas->index <= min)) { 6086 mas->status = ma_underflow; 6087 return true; 6088 } 6089 mas->last = --mas->index; 6090 mas->status = ma_start; 6091 break; 6092 case ma_none: 6093 if (mas->index <= min) 6094 goto none; 6095 6096 mas->last = mas->index; 6097 mas->status = ma_start; 6098 break; 6099 case ma_overflow: /* user expects the mas to be one after where it is */ 6100 if (unlikely(mas->index <= min)) { 6101 mas->status = ma_underflow; 6102 return true; 6103 } 6104 6105 mas->status = ma_active; 6106 break; 6107 case ma_underflow: /* user expects the mas to be one before where it is */ 6108 if (unlikely(mas->index <= min)) 6109 return true; 6110 6111 mas->status = ma_active; 6112 break; 6113 case ma_root: 6114 break; 6115 case ma_error: 6116 return true; 6117 } 6118 6119 if (mas_is_start(mas)) { 6120 /* First run or continue */ 6121 if (mas->index < min) 6122 return true; 6123 6124 *entry = mas_walk(mas); 6125 if (*entry) 6126 return true; 6127 } 6128 6129 if (unlikely(mas_is_ptr(mas))) 6130 goto none; 6131 6132 if (unlikely(mas_is_none(mas))) { 6133 /* 6134 * Walked to the location, and there was nothing so the previous 6135 * location is 0. 6136 */ 6137 mas->last = mas->index = 0; 6138 mas->status = ma_root; 6139 *entry = mas_root(mas); 6140 return true; 6141 } 6142 6143 active: 6144 if (mas->index < min) 6145 return true; 6146 6147 return false; 6148 6149 none: 6150 mas->status = ma_none; 6151 return true; 6152 } 6153 6154 /** 6155 * mas_find_rev: On the first call, find the first non-null entry at or below 6156 * mas->index down to %min. Otherwise find the first non-null entry below 6157 * mas->index down to %min. 6158 * @mas: The maple state 6159 * @min: The minimum value to check. 6160 * 6161 * Must hold rcu_read_lock or the write lock. 6162 * If an entry exists, last and index are updated accordingly. 6163 * May set @mas->status to ma_underflow. 6164 * 6165 * Return: The entry or %NULL. 6166 */ 6167 void *mas_find_rev(struct ma_state *mas, unsigned long min) 6168 { 6169 void *entry = NULL; 6170 6171 if (mas_find_rev_setup(mas, min, &entry)) 6172 return entry; 6173 6174 /* Retries on dead nodes handled by mas_prev_slot */ 6175 return mas_prev_slot(mas, min, false); 6176 6177 } 6178 EXPORT_SYMBOL_GPL(mas_find_rev); 6179 6180 /** 6181 * mas_find_range_rev: On the first call, find the first non-null entry at or 6182 * below mas->index down to %min. Otherwise advance to the previous slot after 6183 * mas->index down to %min. 6184 * @mas: The maple state 6185 * @min: The minimum value to check. 6186 * 6187 * Must hold rcu_read_lock or the write lock. 6188 * If an entry exists, last and index are updated accordingly. 6189 * May set @mas->status to ma_underflow. 6190 * 6191 * Return: The entry or %NULL. 6192 */ 6193 void *mas_find_range_rev(struct ma_state *mas, unsigned long min) 6194 { 6195 void *entry = NULL; 6196 6197 if (mas_find_rev_setup(mas, min, &entry)) 6198 return entry; 6199 6200 /* Retries on dead nodes handled by mas_prev_slot */ 6201 return mas_prev_slot(mas, min, true); 6202 } 6203 EXPORT_SYMBOL_GPL(mas_find_range_rev); 6204 6205 /** 6206 * mas_erase() - Find the range in which index resides and erase the entire 6207 * range. 6208 * @mas: The maple state 6209 * 6210 * Must hold the write lock. 6211 * Searches for @mas->index, sets @mas->index and @mas->last to the range and 6212 * erases that range. 6213 * 6214 * Return: the entry that was erased or %NULL, @mas->index and @mas->last are updated. 6215 */ 6216 void *mas_erase(struct ma_state *mas) 6217 { 6218 void *entry; 6219 unsigned long index = mas->index; 6220 MA_WR_STATE(wr_mas, mas, NULL); 6221 6222 if (!mas_is_active(mas) || !mas_is_start(mas)) 6223 mas->status = ma_start; 6224 6225 write_retry: 6226 entry = mas_state_walk(mas); 6227 if (!entry) 6228 return NULL; 6229 6230 /* Must reset to ensure spanning writes of last slot are detected */ 6231 mas_reset(mas); 6232 mas_wr_preallocate(&wr_mas, NULL); 6233 if (mas_nomem(mas, GFP_KERNEL)) { 6234 /* in case the range of entry changed when unlocked */ 6235 mas->index = mas->last = index; 6236 goto write_retry; 6237 } 6238 6239 if (mas_is_err(mas)) 6240 goto out; 6241 6242 mas_wr_store_entry(&wr_mas); 6243 out: 6244 mas_destroy(mas); 6245 return entry; 6246 } 6247 EXPORT_SYMBOL_GPL(mas_erase); 6248 6249 /** 6250 * mas_nomem() - Check if there was an error allocating and do the allocation 6251 * if necessary If there are allocations, then free them. 6252 * @mas: The maple state 6253 * @gfp: The GFP_FLAGS to use for allocations 6254 * Return: true on allocation, false otherwise. 6255 */ 6256 bool mas_nomem(struct ma_state *mas, gfp_t gfp) 6257 __must_hold(mas->tree->ma_lock) 6258 { 6259 if (likely(mas->node != MA_ERROR(-ENOMEM))) 6260 return false; 6261 6262 if (gfpflags_allow_blocking(gfp) && !mt_external_lock(mas->tree)) { 6263 mtree_unlock(mas->tree); 6264 mas_alloc_nodes(mas, gfp); 6265 mtree_lock(mas->tree); 6266 } else { 6267 mas_alloc_nodes(mas, gfp); 6268 } 6269 6270 if (!mas_allocated(mas)) 6271 return false; 6272 6273 mas->status = ma_start; 6274 return true; 6275 } 6276 6277 void __init maple_tree_init(void) 6278 { 6279 maple_node_cache = kmem_cache_create("maple_node", 6280 sizeof(struct maple_node), sizeof(struct maple_node), 6281 SLAB_PANIC, NULL); 6282 } 6283 6284 /** 6285 * mtree_load() - Load a value stored in a maple tree 6286 * @mt: The maple tree 6287 * @index: The index to load 6288 * 6289 * Return: the entry or %NULL 6290 */ 6291 void *mtree_load(struct maple_tree *mt, unsigned long index) 6292 { 6293 MA_STATE(mas, mt, index, index); 6294 void *entry; 6295 6296 trace_ma_read(__func__, &mas); 6297 rcu_read_lock(); 6298 retry: 6299 entry = mas_start(&mas); 6300 if (unlikely(mas_is_none(&mas))) 6301 goto unlock; 6302 6303 if (unlikely(mas_is_ptr(&mas))) { 6304 if (index) 6305 entry = NULL; 6306 6307 goto unlock; 6308 } 6309 6310 entry = mtree_lookup_walk(&mas); 6311 if (!entry && unlikely(mas_is_start(&mas))) 6312 goto retry; 6313 unlock: 6314 rcu_read_unlock(); 6315 if (xa_is_zero(entry)) 6316 return NULL; 6317 6318 return entry; 6319 } 6320 EXPORT_SYMBOL(mtree_load); 6321 6322 /** 6323 * mtree_store_range() - Store an entry at a given range. 6324 * @mt: The maple tree 6325 * @index: The start of the range 6326 * @last: The end of the range 6327 * @entry: The entry to store 6328 * @gfp: The GFP_FLAGS to use for allocations 6329 * 6330 * Return: 0 on success, -EINVAL on invalid request, -ENOMEM if memory could not 6331 * be allocated. 6332 */ 6333 int mtree_store_range(struct maple_tree *mt, unsigned long index, 6334 unsigned long last, void *entry, gfp_t gfp) 6335 { 6336 MA_STATE(mas, mt, index, last); 6337 int ret = 0; 6338 6339 trace_ma_write(__func__, &mas, 0, entry); 6340 if (WARN_ON_ONCE(xa_is_advanced(entry))) 6341 return -EINVAL; 6342 6343 if (index > last) 6344 return -EINVAL; 6345 6346 mtree_lock(mt); 6347 ret = mas_store_gfp(&mas, entry, gfp); 6348 mtree_unlock(mt); 6349 6350 return ret; 6351 } 6352 EXPORT_SYMBOL(mtree_store_range); 6353 6354 /** 6355 * mtree_store() - Store an entry at a given index. 6356 * @mt: The maple tree 6357 * @index: The index to store the value 6358 * @entry: The entry to store 6359 * @gfp: The GFP_FLAGS to use for allocations 6360 * 6361 * Return: 0 on success, -EINVAL on invalid request, -ENOMEM if memory could not 6362 * be allocated. 6363 */ 6364 int mtree_store(struct maple_tree *mt, unsigned long index, void *entry, 6365 gfp_t gfp) 6366 { 6367 return mtree_store_range(mt, index, index, entry, gfp); 6368 } 6369 EXPORT_SYMBOL(mtree_store); 6370 6371 /** 6372 * mtree_insert_range() - Insert an entry at a given range if there is no value. 6373 * @mt: The maple tree 6374 * @first: The start of the range 6375 * @last: The end of the range 6376 * @entry: The entry to store 6377 * @gfp: The GFP_FLAGS to use for allocations. 6378 * 6379 * Return: 0 on success, -EEXISTS if the range is occupied, -EINVAL on invalid 6380 * request, -ENOMEM if memory could not be allocated. 6381 */ 6382 int mtree_insert_range(struct maple_tree *mt, unsigned long first, 6383 unsigned long last, void *entry, gfp_t gfp) 6384 { 6385 MA_STATE(ms, mt, first, last); 6386 int ret = 0; 6387 6388 if (WARN_ON_ONCE(xa_is_advanced(entry))) 6389 return -EINVAL; 6390 6391 if (first > last) 6392 return -EINVAL; 6393 6394 mtree_lock(mt); 6395 retry: 6396 mas_insert(&ms, entry); 6397 if (mas_nomem(&ms, gfp)) 6398 goto retry; 6399 6400 mtree_unlock(mt); 6401 if (mas_is_err(&ms)) 6402 ret = xa_err(ms.node); 6403 6404 mas_destroy(&ms); 6405 return ret; 6406 } 6407 EXPORT_SYMBOL(mtree_insert_range); 6408 6409 /** 6410 * mtree_insert() - Insert an entry at a given index if there is no value. 6411 * @mt: The maple tree 6412 * @index : The index to store the value 6413 * @entry: The entry to store 6414 * @gfp: The GFP_FLAGS to use for allocations. 6415 * 6416 * Return: 0 on success, -EEXISTS if the range is occupied, -EINVAL on invalid 6417 * request, -ENOMEM if memory could not be allocated. 6418 */ 6419 int mtree_insert(struct maple_tree *mt, unsigned long index, void *entry, 6420 gfp_t gfp) 6421 { 6422 return mtree_insert_range(mt, index, index, entry, gfp); 6423 } 6424 EXPORT_SYMBOL(mtree_insert); 6425 6426 int mtree_alloc_range(struct maple_tree *mt, unsigned long *startp, 6427 void *entry, unsigned long size, unsigned long min, 6428 unsigned long max, gfp_t gfp) 6429 { 6430 int ret = 0; 6431 6432 MA_STATE(mas, mt, 0, 0); 6433 if (!mt_is_alloc(mt)) 6434 return -EINVAL; 6435 6436 if (WARN_ON_ONCE(mt_is_reserved(entry))) 6437 return -EINVAL; 6438 6439 mtree_lock(mt); 6440 retry: 6441 ret = mas_empty_area(&mas, min, max, size); 6442 if (ret) 6443 goto unlock; 6444 6445 mas_insert(&mas, entry); 6446 /* 6447 * mas_nomem() may release the lock, causing the allocated area 6448 * to be unavailable, so try to allocate a free area again. 6449 */ 6450 if (mas_nomem(&mas, gfp)) 6451 goto retry; 6452 6453 if (mas_is_err(&mas)) 6454 ret = xa_err(mas.node); 6455 else 6456 *startp = mas.index; 6457 6458 unlock: 6459 mtree_unlock(mt); 6460 mas_destroy(&mas); 6461 return ret; 6462 } 6463 EXPORT_SYMBOL(mtree_alloc_range); 6464 6465 /** 6466 * mtree_alloc_cyclic() - Find somewhere to store this entry in the tree. 6467 * @mt: The maple tree. 6468 * @startp: Pointer to ID. 6469 * @range_lo: Lower bound of range to search. 6470 * @range_hi: Upper bound of range to search. 6471 * @entry: The entry to store. 6472 * @next: Pointer to next ID to allocate. 6473 * @gfp: The GFP_FLAGS to use for allocations. 6474 * 6475 * Finds an empty entry in @mt after @next, stores the new index into 6476 * the @id pointer, stores the entry at that index, then updates @next. 6477 * 6478 * @mt must be initialized with the MT_FLAGS_ALLOC_RANGE flag. 6479 * 6480 * Context: Any context. Takes and releases the mt.lock. May sleep if 6481 * the @gfp flags permit. 6482 * 6483 * Return: 0 if the allocation succeeded without wrapping, 1 if the 6484 * allocation succeeded after wrapping, -ENOMEM if memory could not be 6485 * allocated, -EINVAL if @mt cannot be used, or -EBUSY if there are no 6486 * free entries. 6487 */ 6488 int mtree_alloc_cyclic(struct maple_tree *mt, unsigned long *startp, 6489 void *entry, unsigned long range_lo, unsigned long range_hi, 6490 unsigned long *next, gfp_t gfp) 6491 { 6492 int ret; 6493 6494 MA_STATE(mas, mt, 0, 0); 6495 6496 if (!mt_is_alloc(mt)) 6497 return -EINVAL; 6498 if (WARN_ON_ONCE(mt_is_reserved(entry))) 6499 return -EINVAL; 6500 mtree_lock(mt); 6501 ret = mas_alloc_cyclic(&mas, startp, entry, range_lo, range_hi, 6502 next, gfp); 6503 mtree_unlock(mt); 6504 return ret; 6505 } 6506 EXPORT_SYMBOL(mtree_alloc_cyclic); 6507 6508 int mtree_alloc_rrange(struct maple_tree *mt, unsigned long *startp, 6509 void *entry, unsigned long size, unsigned long min, 6510 unsigned long max, gfp_t gfp) 6511 { 6512 int ret = 0; 6513 6514 MA_STATE(mas, mt, 0, 0); 6515 if (!mt_is_alloc(mt)) 6516 return -EINVAL; 6517 6518 if (WARN_ON_ONCE(mt_is_reserved(entry))) 6519 return -EINVAL; 6520 6521 mtree_lock(mt); 6522 retry: 6523 ret = mas_empty_area_rev(&mas, min, max, size); 6524 if (ret) 6525 goto unlock; 6526 6527 mas_insert(&mas, entry); 6528 /* 6529 * mas_nomem() may release the lock, causing the allocated area 6530 * to be unavailable, so try to allocate a free area again. 6531 */ 6532 if (mas_nomem(&mas, gfp)) 6533 goto retry; 6534 6535 if (mas_is_err(&mas)) 6536 ret = xa_err(mas.node); 6537 else 6538 *startp = mas.index; 6539 6540 unlock: 6541 mtree_unlock(mt); 6542 mas_destroy(&mas); 6543 return ret; 6544 } 6545 EXPORT_SYMBOL(mtree_alloc_rrange); 6546 6547 /** 6548 * mtree_erase() - Find an index and erase the entire range. 6549 * @mt: The maple tree 6550 * @index: The index to erase 6551 * 6552 * Erasing is the same as a walk to an entry then a store of a NULL to that 6553 * ENTIRE range. In fact, it is implemented as such using the advanced API. 6554 * 6555 * Return: The entry stored at the @index or %NULL 6556 */ 6557 void *mtree_erase(struct maple_tree *mt, unsigned long index) 6558 { 6559 void *entry = NULL; 6560 6561 MA_STATE(mas, mt, index, index); 6562 trace_ma_op(__func__, &mas); 6563 6564 mtree_lock(mt); 6565 entry = mas_erase(&mas); 6566 mtree_unlock(mt); 6567 6568 return entry; 6569 } 6570 EXPORT_SYMBOL(mtree_erase); 6571 6572 /* 6573 * mas_dup_free() - Free an incomplete duplication of a tree. 6574 * @mas: The maple state of a incomplete tree. 6575 * 6576 * The parameter @mas->node passed in indicates that the allocation failed on 6577 * this node. This function frees all nodes starting from @mas->node in the 6578 * reverse order of mas_dup_build(). There is no need to hold the source tree 6579 * lock at this time. 6580 */ 6581 static void mas_dup_free(struct ma_state *mas) 6582 { 6583 struct maple_node *node; 6584 enum maple_type type; 6585 void __rcu **slots; 6586 unsigned char count, i; 6587 6588 /* Maybe the first node allocation failed. */ 6589 if (mas_is_none(mas)) 6590 return; 6591 6592 while (!mte_is_root(mas->node)) { 6593 mas_ascend(mas); 6594 if (mas->offset) { 6595 mas->offset--; 6596 do { 6597 mas_descend(mas); 6598 mas->offset = mas_data_end(mas); 6599 } while (!mte_is_leaf(mas->node)); 6600 6601 mas_ascend(mas); 6602 } 6603 6604 node = mte_to_node(mas->node); 6605 type = mte_node_type(mas->node); 6606 slots = ma_slots(node, type); 6607 count = mas_data_end(mas) + 1; 6608 for (i = 0; i < count; i++) 6609 ((unsigned long *)slots)[i] &= ~MAPLE_NODE_MASK; 6610 mt_free_bulk(count, slots); 6611 } 6612 6613 node = mte_to_node(mas->node); 6614 mt_free_one(node); 6615 } 6616 6617 /* 6618 * mas_copy_node() - Copy a maple node and replace the parent. 6619 * @mas: The maple state of source tree. 6620 * @new_mas: The maple state of new tree. 6621 * @parent: The parent of the new node. 6622 * 6623 * Copy @mas->node to @new_mas->node, set @parent to be the parent of 6624 * @new_mas->node. If memory allocation fails, @mas is set to -ENOMEM. 6625 */ 6626 static inline void mas_copy_node(struct ma_state *mas, struct ma_state *new_mas, 6627 struct maple_pnode *parent) 6628 { 6629 struct maple_node *node = mte_to_node(mas->node); 6630 struct maple_node *new_node = mte_to_node(new_mas->node); 6631 unsigned long val; 6632 6633 /* Copy the node completely. */ 6634 memcpy(new_node, node, sizeof(struct maple_node)); 6635 /* Update the parent node pointer. */ 6636 val = (unsigned long)node->parent & MAPLE_NODE_MASK; 6637 new_node->parent = ma_parent_ptr(val | (unsigned long)parent); 6638 } 6639 6640 /* 6641 * mas_dup_alloc() - Allocate child nodes for a maple node. 6642 * @mas: The maple state of source tree. 6643 * @new_mas: The maple state of new tree. 6644 * @gfp: The GFP_FLAGS to use for allocations. 6645 * 6646 * This function allocates child nodes for @new_mas->node during the duplication 6647 * process. If memory allocation fails, @mas is set to -ENOMEM. 6648 */ 6649 static inline void mas_dup_alloc(struct ma_state *mas, struct ma_state *new_mas, 6650 gfp_t gfp) 6651 { 6652 struct maple_node *node = mte_to_node(mas->node); 6653 struct maple_node *new_node = mte_to_node(new_mas->node); 6654 enum maple_type type; 6655 unsigned char request, count, i; 6656 void __rcu **slots; 6657 void __rcu **new_slots; 6658 unsigned long val; 6659 6660 /* Allocate memory for child nodes. */ 6661 type = mte_node_type(mas->node); 6662 new_slots = ma_slots(new_node, type); 6663 request = mas_data_end(mas) + 1; 6664 count = mt_alloc_bulk(gfp, request, (void **)new_slots); 6665 if (unlikely(count < request)) { 6666 memset(new_slots, 0, request * sizeof(void *)); 6667 mas_set_err(mas, -ENOMEM); 6668 return; 6669 } 6670 6671 /* Restore node type information in slots. */ 6672 slots = ma_slots(node, type); 6673 for (i = 0; i < count; i++) { 6674 val = (unsigned long)mt_slot_locked(mas->tree, slots, i); 6675 val &= MAPLE_NODE_MASK; 6676 ((unsigned long *)new_slots)[i] |= val; 6677 } 6678 } 6679 6680 /* 6681 * mas_dup_build() - Build a new maple tree from a source tree 6682 * @mas: The maple state of source tree, need to be in MAS_START state. 6683 * @new_mas: The maple state of new tree, need to be in MAS_START state. 6684 * @gfp: The GFP_FLAGS to use for allocations. 6685 * 6686 * This function builds a new tree in DFS preorder. If the memory allocation 6687 * fails, the error code -ENOMEM will be set in @mas, and @new_mas points to the 6688 * last node. mas_dup_free() will free the incomplete duplication of a tree. 6689 * 6690 * Note that the attributes of the two trees need to be exactly the same, and the 6691 * new tree needs to be empty, otherwise -EINVAL will be set in @mas. 6692 */ 6693 static inline void mas_dup_build(struct ma_state *mas, struct ma_state *new_mas, 6694 gfp_t gfp) 6695 { 6696 struct maple_node *node; 6697 struct maple_pnode *parent = NULL; 6698 struct maple_enode *root; 6699 enum maple_type type; 6700 6701 if (unlikely(mt_attr(mas->tree) != mt_attr(new_mas->tree)) || 6702 unlikely(!mtree_empty(new_mas->tree))) { 6703 mas_set_err(mas, -EINVAL); 6704 return; 6705 } 6706 6707 root = mas_start(mas); 6708 if (mas_is_ptr(mas) || mas_is_none(mas)) 6709 goto set_new_tree; 6710 6711 node = mt_alloc_one(gfp); 6712 if (!node) { 6713 new_mas->status = ma_none; 6714 mas_set_err(mas, -ENOMEM); 6715 return; 6716 } 6717 6718 type = mte_node_type(mas->node); 6719 root = mt_mk_node(node, type); 6720 new_mas->node = root; 6721 new_mas->min = 0; 6722 new_mas->max = ULONG_MAX; 6723 root = mte_mk_root(root); 6724 while (1) { 6725 mas_copy_node(mas, new_mas, parent); 6726 if (!mte_is_leaf(mas->node)) { 6727 /* Only allocate child nodes for non-leaf nodes. */ 6728 mas_dup_alloc(mas, new_mas, gfp); 6729 if (unlikely(mas_is_err(mas))) 6730 return; 6731 } else { 6732 /* 6733 * This is the last leaf node and duplication is 6734 * completed. 6735 */ 6736 if (mas->max == ULONG_MAX) 6737 goto done; 6738 6739 /* This is not the last leaf node and needs to go up. */ 6740 do { 6741 mas_ascend(mas); 6742 mas_ascend(new_mas); 6743 } while (mas->offset == mas_data_end(mas)); 6744 6745 /* Move to the next subtree. */ 6746 mas->offset++; 6747 new_mas->offset++; 6748 } 6749 6750 mas_descend(mas); 6751 parent = ma_parent_ptr(mte_to_node(new_mas->node)); 6752 mas_descend(new_mas); 6753 mas->offset = 0; 6754 new_mas->offset = 0; 6755 } 6756 done: 6757 /* Specially handle the parent of the root node. */ 6758 mte_to_node(root)->parent = ma_parent_ptr(mas_tree_parent(new_mas)); 6759 set_new_tree: 6760 /* Make them the same height */ 6761 new_mas->tree->ma_flags = mas->tree->ma_flags; 6762 rcu_assign_pointer(new_mas->tree->ma_root, root); 6763 } 6764 6765 /** 6766 * __mt_dup(): Duplicate an entire maple tree 6767 * @mt: The source maple tree 6768 * @new: The new maple tree 6769 * @gfp: The GFP_FLAGS to use for allocations 6770 * 6771 * This function duplicates a maple tree in Depth-First Search (DFS) pre-order 6772 * traversal. It uses memcpy() to copy nodes in the source tree and allocate 6773 * new child nodes in non-leaf nodes. The new node is exactly the same as the 6774 * source node except for all the addresses stored in it. It will be faster than 6775 * traversing all elements in the source tree and inserting them one by one into 6776 * the new tree. 6777 * The user needs to ensure that the attributes of the source tree and the new 6778 * tree are the same, and the new tree needs to be an empty tree, otherwise 6779 * -EINVAL will be returned. 6780 * Note that the user needs to manually lock the source tree and the new tree. 6781 * 6782 * Return: 0 on success, -ENOMEM if memory could not be allocated, -EINVAL If 6783 * the attributes of the two trees are different or the new tree is not an empty 6784 * tree. 6785 */ 6786 int __mt_dup(struct maple_tree *mt, struct maple_tree *new, gfp_t gfp) 6787 { 6788 int ret = 0; 6789 MA_STATE(mas, mt, 0, 0); 6790 MA_STATE(new_mas, new, 0, 0); 6791 6792 mas_dup_build(&mas, &new_mas, gfp); 6793 if (unlikely(mas_is_err(&mas))) { 6794 ret = xa_err(mas.node); 6795 if (ret == -ENOMEM) 6796 mas_dup_free(&new_mas); 6797 } 6798 6799 return ret; 6800 } 6801 EXPORT_SYMBOL(__mt_dup); 6802 6803 /** 6804 * mtree_dup(): Duplicate an entire maple tree 6805 * @mt: The source maple tree 6806 * @new: The new maple tree 6807 * @gfp: The GFP_FLAGS to use for allocations 6808 * 6809 * This function duplicates a maple tree in Depth-First Search (DFS) pre-order 6810 * traversal. It uses memcpy() to copy nodes in the source tree and allocate 6811 * new child nodes in non-leaf nodes. The new node is exactly the same as the 6812 * source node except for all the addresses stored in it. It will be faster than 6813 * traversing all elements in the source tree and inserting them one by one into 6814 * the new tree. 6815 * The user needs to ensure that the attributes of the source tree and the new 6816 * tree are the same, and the new tree needs to be an empty tree, otherwise 6817 * -EINVAL will be returned. 6818 * 6819 * Return: 0 on success, -ENOMEM if memory could not be allocated, -EINVAL If 6820 * the attributes of the two trees are different or the new tree is not an empty 6821 * tree. 6822 */ 6823 int mtree_dup(struct maple_tree *mt, struct maple_tree *new, gfp_t gfp) 6824 { 6825 int ret = 0; 6826 MA_STATE(mas, mt, 0, 0); 6827 MA_STATE(new_mas, new, 0, 0); 6828 6829 mas_lock(&new_mas); 6830 mas_lock_nested(&mas, SINGLE_DEPTH_NESTING); 6831 mas_dup_build(&mas, &new_mas, gfp); 6832 mas_unlock(&mas); 6833 if (unlikely(mas_is_err(&mas))) { 6834 ret = xa_err(mas.node); 6835 if (ret == -ENOMEM) 6836 mas_dup_free(&new_mas); 6837 } 6838 6839 mas_unlock(&new_mas); 6840 return ret; 6841 } 6842 EXPORT_SYMBOL(mtree_dup); 6843 6844 /** 6845 * __mt_destroy() - Walk and free all nodes of a locked maple tree. 6846 * @mt: The maple tree 6847 * 6848 * Note: Does not handle locking. 6849 */ 6850 void __mt_destroy(struct maple_tree *mt) 6851 { 6852 void *root = mt_root_locked(mt); 6853 6854 rcu_assign_pointer(mt->ma_root, NULL); 6855 if (xa_is_node(root)) 6856 mte_destroy_walk(root, mt); 6857 6858 mt->ma_flags = mt_attr(mt); 6859 } 6860 EXPORT_SYMBOL_GPL(__mt_destroy); 6861 6862 /** 6863 * mtree_destroy() - Destroy a maple tree 6864 * @mt: The maple tree 6865 * 6866 * Frees all resources used by the tree. Handles locking. 6867 */ 6868 void mtree_destroy(struct maple_tree *mt) 6869 { 6870 mtree_lock(mt); 6871 __mt_destroy(mt); 6872 mtree_unlock(mt); 6873 } 6874 EXPORT_SYMBOL(mtree_destroy); 6875 6876 /** 6877 * mt_find() - Search from the start up until an entry is found. 6878 * @mt: The maple tree 6879 * @index: Pointer which contains the start location of the search 6880 * @max: The maximum value of the search range 6881 * 6882 * Takes RCU read lock internally to protect the search, which does not 6883 * protect the returned pointer after dropping RCU read lock. 6884 * See also: Documentation/core-api/maple_tree.rst 6885 * 6886 * In case that an entry is found @index is updated to point to the next 6887 * possible entry independent whether the found entry is occupying a 6888 * single index or a range if indices. 6889 * 6890 * Return: The entry at or after the @index or %NULL 6891 */ 6892 void *mt_find(struct maple_tree *mt, unsigned long *index, unsigned long max) 6893 { 6894 MA_STATE(mas, mt, *index, *index); 6895 void *entry; 6896 #ifdef CONFIG_DEBUG_MAPLE_TREE 6897 unsigned long copy = *index; 6898 #endif 6899 6900 trace_ma_read(__func__, &mas); 6901 6902 if ((*index) > max) 6903 return NULL; 6904 6905 rcu_read_lock(); 6906 retry: 6907 entry = mas_state_walk(&mas); 6908 if (mas_is_start(&mas)) 6909 goto retry; 6910 6911 if (unlikely(xa_is_zero(entry))) 6912 entry = NULL; 6913 6914 if (entry) 6915 goto unlock; 6916 6917 while (mas_is_active(&mas) && (mas.last < max)) { 6918 entry = mas_next_slot(&mas, max, false); 6919 if (likely(entry && !xa_is_zero(entry))) 6920 break; 6921 } 6922 6923 if (unlikely(xa_is_zero(entry))) 6924 entry = NULL; 6925 unlock: 6926 rcu_read_unlock(); 6927 if (likely(entry)) { 6928 *index = mas.last + 1; 6929 #ifdef CONFIG_DEBUG_MAPLE_TREE 6930 if (MT_WARN_ON(mt, (*index) && ((*index) <= copy))) 6931 pr_err("index not increased! %lx <= %lx\n", 6932 *index, copy); 6933 #endif 6934 } 6935 6936 return entry; 6937 } 6938 EXPORT_SYMBOL(mt_find); 6939 6940 /** 6941 * mt_find_after() - Search from the start up until an entry is found. 6942 * @mt: The maple tree 6943 * @index: Pointer which contains the start location of the search 6944 * @max: The maximum value to check 6945 * 6946 * Same as mt_find() except that it checks @index for 0 before 6947 * searching. If @index == 0, the search is aborted. This covers a wrap 6948 * around of @index to 0 in an iterator loop. 6949 * 6950 * Return: The entry at or after the @index or %NULL 6951 */ 6952 void *mt_find_after(struct maple_tree *mt, unsigned long *index, 6953 unsigned long max) 6954 { 6955 if (!(*index)) 6956 return NULL; 6957 6958 return mt_find(mt, index, max); 6959 } 6960 EXPORT_SYMBOL(mt_find_after); 6961 6962 #ifdef CONFIG_DEBUG_MAPLE_TREE 6963 atomic_t maple_tree_tests_run; 6964 EXPORT_SYMBOL_GPL(maple_tree_tests_run); 6965 atomic_t maple_tree_tests_passed; 6966 EXPORT_SYMBOL_GPL(maple_tree_tests_passed); 6967 6968 #ifndef __KERNEL__ 6969 extern void kmem_cache_set_non_kernel(struct kmem_cache *, unsigned int); 6970 void mt_set_non_kernel(unsigned int val) 6971 { 6972 kmem_cache_set_non_kernel(maple_node_cache, val); 6973 } 6974 6975 extern void kmem_cache_set_callback(struct kmem_cache *cachep, 6976 void (*callback)(void *)); 6977 void mt_set_callback(void (*callback)(void *)) 6978 { 6979 kmem_cache_set_callback(maple_node_cache, callback); 6980 } 6981 6982 extern void kmem_cache_set_private(struct kmem_cache *cachep, void *private); 6983 void mt_set_private(void *private) 6984 { 6985 kmem_cache_set_private(maple_node_cache, private); 6986 } 6987 6988 extern unsigned long kmem_cache_get_alloc(struct kmem_cache *); 6989 unsigned long mt_get_alloc_size(void) 6990 { 6991 return kmem_cache_get_alloc(maple_node_cache); 6992 } 6993 6994 extern void kmem_cache_zero_nr_tallocated(struct kmem_cache *); 6995 void mt_zero_nr_tallocated(void) 6996 { 6997 kmem_cache_zero_nr_tallocated(maple_node_cache); 6998 } 6999 7000 extern unsigned int kmem_cache_nr_tallocated(struct kmem_cache *); 7001 unsigned int mt_nr_tallocated(void) 7002 { 7003 return kmem_cache_nr_tallocated(maple_node_cache); 7004 } 7005 7006 extern unsigned int kmem_cache_nr_allocated(struct kmem_cache *); 7007 unsigned int mt_nr_allocated(void) 7008 { 7009 return kmem_cache_nr_allocated(maple_node_cache); 7010 } 7011 7012 void mt_cache_shrink(void) 7013 { 7014 } 7015 #else 7016 /* 7017 * mt_cache_shrink() - For testing, don't use this. 7018 * 7019 * Certain testcases can trigger an OOM when combined with other memory 7020 * debugging configuration options. This function is used to reduce the 7021 * possibility of an out of memory even due to kmem_cache objects remaining 7022 * around for longer than usual. 7023 */ 7024 void mt_cache_shrink(void) 7025 { 7026 kmem_cache_shrink(maple_node_cache); 7027 7028 } 7029 EXPORT_SYMBOL_GPL(mt_cache_shrink); 7030 7031 #endif /* not defined __KERNEL__ */ 7032 /* 7033 * mas_get_slot() - Get the entry in the maple state node stored at @offset. 7034 * @mas: The maple state 7035 * @offset: The offset into the slot array to fetch. 7036 * 7037 * Return: The entry stored at @offset. 7038 */ 7039 static inline struct maple_enode *mas_get_slot(struct ma_state *mas, 7040 unsigned char offset) 7041 { 7042 return mas_slot(mas, ma_slots(mas_mn(mas), mte_node_type(mas->node)), 7043 offset); 7044 } 7045 7046 /* Depth first search, post-order */ 7047 static void mas_dfs_postorder(struct ma_state *mas, unsigned long max) 7048 { 7049 7050 struct maple_enode *p, *mn = mas->node; 7051 unsigned long p_min, p_max; 7052 7053 mas_next_node(mas, mas_mn(mas), max); 7054 if (!mas_is_overflow(mas)) 7055 return; 7056 7057 if (mte_is_root(mn)) 7058 return; 7059 7060 mas->node = mn; 7061 mas_ascend(mas); 7062 do { 7063 p = mas->node; 7064 p_min = mas->min; 7065 p_max = mas->max; 7066 mas_prev_node(mas, 0); 7067 } while (!mas_is_underflow(mas)); 7068 7069 mas->node = p; 7070 mas->max = p_max; 7071 mas->min = p_min; 7072 } 7073 7074 /* Tree validations */ 7075 static void mt_dump_node(const struct maple_tree *mt, void *entry, 7076 unsigned long min, unsigned long max, unsigned int depth, 7077 enum mt_dump_format format); 7078 static void mt_dump_range(unsigned long min, unsigned long max, 7079 unsigned int depth, enum mt_dump_format format) 7080 { 7081 static const char spaces[] = " "; 7082 7083 switch(format) { 7084 case mt_dump_hex: 7085 if (min == max) 7086 pr_info("%.*s%lx: ", depth * 2, spaces, min); 7087 else 7088 pr_info("%.*s%lx-%lx: ", depth * 2, spaces, min, max); 7089 break; 7090 case mt_dump_dec: 7091 if (min == max) 7092 pr_info("%.*s%lu: ", depth * 2, spaces, min); 7093 else 7094 pr_info("%.*s%lu-%lu: ", depth * 2, spaces, min, max); 7095 } 7096 } 7097 7098 static void mt_dump_entry(void *entry, unsigned long min, unsigned long max, 7099 unsigned int depth, enum mt_dump_format format) 7100 { 7101 mt_dump_range(min, max, depth, format); 7102 7103 if (xa_is_value(entry)) 7104 pr_cont("value %ld (0x%lx) [" PTR_FMT "]\n", xa_to_value(entry), 7105 xa_to_value(entry), entry); 7106 else if (xa_is_zero(entry)) 7107 pr_cont("zero (%ld)\n", xa_to_internal(entry)); 7108 else if (mt_is_reserved(entry)) 7109 pr_cont("UNKNOWN ENTRY (" PTR_FMT ")\n", entry); 7110 else 7111 pr_cont(PTR_FMT "\n", entry); 7112 } 7113 7114 static void mt_dump_range64(const struct maple_tree *mt, void *entry, 7115 unsigned long min, unsigned long max, unsigned int depth, 7116 enum mt_dump_format format) 7117 { 7118 struct maple_range_64 *node = &mte_to_node(entry)->mr64; 7119 bool leaf = mte_is_leaf(entry); 7120 unsigned long first = min; 7121 int i; 7122 7123 pr_cont(" contents: "); 7124 for (i = 0; i < MAPLE_RANGE64_SLOTS - 1; i++) { 7125 switch(format) { 7126 case mt_dump_hex: 7127 pr_cont(PTR_FMT " %lX ", node->slot[i], node->pivot[i]); 7128 break; 7129 case mt_dump_dec: 7130 pr_cont(PTR_FMT " %lu ", node->slot[i], node->pivot[i]); 7131 } 7132 } 7133 pr_cont(PTR_FMT "\n", node->slot[i]); 7134 for (i = 0; i < MAPLE_RANGE64_SLOTS; i++) { 7135 unsigned long last = max; 7136 7137 if (i < (MAPLE_RANGE64_SLOTS - 1)) 7138 last = node->pivot[i]; 7139 else if (!node->slot[i] && max != mt_node_max(entry)) 7140 break; 7141 if (last == 0 && i > 0) 7142 break; 7143 if (leaf) 7144 mt_dump_entry(mt_slot(mt, node->slot, i), 7145 first, last, depth + 1, format); 7146 else if (node->slot[i]) 7147 mt_dump_node(mt, mt_slot(mt, node->slot, i), 7148 first, last, depth + 1, format); 7149 7150 if (last == max) 7151 break; 7152 if (last > max) { 7153 switch(format) { 7154 case mt_dump_hex: 7155 pr_err("node " PTR_FMT " last (%lx) > max (%lx) at pivot %d!\n", 7156 node, last, max, i); 7157 break; 7158 case mt_dump_dec: 7159 pr_err("node " PTR_FMT " last (%lu) > max (%lu) at pivot %d!\n", 7160 node, last, max, i); 7161 } 7162 } 7163 first = last + 1; 7164 } 7165 } 7166 7167 static void mt_dump_arange64(const struct maple_tree *mt, void *entry, 7168 unsigned long min, unsigned long max, unsigned int depth, 7169 enum mt_dump_format format) 7170 { 7171 struct maple_arange_64 *node = &mte_to_node(entry)->ma64; 7172 unsigned long first = min; 7173 int i; 7174 7175 pr_cont(" contents: "); 7176 for (i = 0; i < MAPLE_ARANGE64_SLOTS; i++) { 7177 switch (format) { 7178 case mt_dump_hex: 7179 pr_cont("%lx ", node->gap[i]); 7180 break; 7181 case mt_dump_dec: 7182 pr_cont("%lu ", node->gap[i]); 7183 } 7184 } 7185 pr_cont("| %02X %02X| ", node->meta.end, node->meta.gap); 7186 for (i = 0; i < MAPLE_ARANGE64_SLOTS - 1; i++) { 7187 switch (format) { 7188 case mt_dump_hex: 7189 pr_cont(PTR_FMT " %lX ", node->slot[i], node->pivot[i]); 7190 break; 7191 case mt_dump_dec: 7192 pr_cont(PTR_FMT " %lu ", node->slot[i], node->pivot[i]); 7193 } 7194 } 7195 pr_cont(PTR_FMT "\n", node->slot[i]); 7196 for (i = 0; i < MAPLE_ARANGE64_SLOTS; i++) { 7197 unsigned long last = max; 7198 7199 if (i < (MAPLE_ARANGE64_SLOTS - 1)) 7200 last = node->pivot[i]; 7201 else if (!node->slot[i]) 7202 break; 7203 if (last == 0 && i > 0) 7204 break; 7205 if (node->slot[i]) 7206 mt_dump_node(mt, mt_slot(mt, node->slot, i), 7207 first, last, depth + 1, format); 7208 7209 if (last == max) 7210 break; 7211 if (last > max) { 7212 switch(format) { 7213 case mt_dump_hex: 7214 pr_err("node " PTR_FMT " last (%lx) > max (%lx) at pivot %d!\n", 7215 node, last, max, i); 7216 break; 7217 case mt_dump_dec: 7218 pr_err("node " PTR_FMT " last (%lu) > max (%lu) at pivot %d!\n", 7219 node, last, max, i); 7220 } 7221 } 7222 first = last + 1; 7223 } 7224 } 7225 7226 static void mt_dump_node(const struct maple_tree *mt, void *entry, 7227 unsigned long min, unsigned long max, unsigned int depth, 7228 enum mt_dump_format format) 7229 { 7230 struct maple_node *node = mte_to_node(entry); 7231 unsigned int type = mte_node_type(entry); 7232 unsigned int i; 7233 7234 mt_dump_range(min, max, depth, format); 7235 7236 pr_cont("node " PTR_FMT " depth %d type %d parent " PTR_FMT, node, 7237 depth, type, node ? node->parent : NULL); 7238 switch (type) { 7239 case maple_dense: 7240 pr_cont("\n"); 7241 for (i = 0; i < MAPLE_NODE_SLOTS; i++) { 7242 if (min + i > max) 7243 pr_cont("OUT OF RANGE: "); 7244 mt_dump_entry(mt_slot(mt, node->slot, i), 7245 min + i, min + i, depth, format); 7246 } 7247 break; 7248 case maple_leaf_64: 7249 case maple_range_64: 7250 mt_dump_range64(mt, entry, min, max, depth, format); 7251 break; 7252 case maple_arange_64: 7253 mt_dump_arange64(mt, entry, min, max, depth, format); 7254 break; 7255 7256 default: 7257 pr_cont(" UNKNOWN TYPE\n"); 7258 } 7259 } 7260 7261 void mt_dump(const struct maple_tree *mt, enum mt_dump_format format) 7262 { 7263 void *entry = rcu_dereference_check(mt->ma_root, mt_locked(mt)); 7264 7265 pr_info("maple_tree(" PTR_FMT ") flags %X, height %u root " PTR_FMT "\n", 7266 mt, mt->ma_flags, mt_height(mt), entry); 7267 if (xa_is_node(entry)) 7268 mt_dump_node(mt, entry, 0, mt_node_max(entry), 0, format); 7269 else if (entry) 7270 mt_dump_entry(entry, 0, 0, 0, format); 7271 else 7272 pr_info("(empty)\n"); 7273 } 7274 EXPORT_SYMBOL_GPL(mt_dump); 7275 7276 /* 7277 * Calculate the maximum gap in a node and check if that's what is reported in 7278 * the parent (unless root). 7279 */ 7280 static void mas_validate_gaps(struct ma_state *mas) 7281 { 7282 struct maple_enode *mte = mas->node; 7283 struct maple_node *p_mn, *node = mte_to_node(mte); 7284 enum maple_type mt = mte_node_type(mas->node); 7285 unsigned long gap = 0, max_gap = 0; 7286 unsigned long p_end, p_start = mas->min; 7287 unsigned char p_slot, offset; 7288 unsigned long *gaps = NULL; 7289 unsigned long *pivots = ma_pivots(node, mt); 7290 unsigned int i; 7291 7292 if (ma_is_dense(mt)) { 7293 for (i = 0; i < mt_slot_count(mte); i++) { 7294 if (mas_get_slot(mas, i)) { 7295 if (gap > max_gap) 7296 max_gap = gap; 7297 gap = 0; 7298 continue; 7299 } 7300 gap++; 7301 } 7302 goto counted; 7303 } 7304 7305 gaps = ma_gaps(node, mt); 7306 for (i = 0; i < mt_slot_count(mte); i++) { 7307 p_end = mas_safe_pivot(mas, pivots, i, mt); 7308 7309 if (!gaps) { 7310 if (!mas_get_slot(mas, i)) 7311 gap = p_end - p_start + 1; 7312 } else { 7313 void *entry = mas_get_slot(mas, i); 7314 7315 gap = gaps[i]; 7316 MT_BUG_ON(mas->tree, !entry); 7317 7318 if (gap > p_end - p_start + 1) { 7319 pr_err(PTR_FMT "[%u] %lu >= %lu - %lu + 1 (%lu)\n", 7320 mas_mn(mas), i, gap, p_end, p_start, 7321 p_end - p_start + 1); 7322 MT_BUG_ON(mas->tree, gap > p_end - p_start + 1); 7323 } 7324 } 7325 7326 if (gap > max_gap) 7327 max_gap = gap; 7328 7329 p_start = p_end + 1; 7330 if (p_end >= mas->max) 7331 break; 7332 } 7333 7334 counted: 7335 if (mt == maple_arange_64) { 7336 MT_BUG_ON(mas->tree, !gaps); 7337 offset = ma_meta_gap(node); 7338 if (offset > i) { 7339 pr_err("gap offset " PTR_FMT "[%u] is invalid\n", node, offset); 7340 MT_BUG_ON(mas->tree, 1); 7341 } 7342 7343 if (gaps[offset] != max_gap) { 7344 pr_err("gap " PTR_FMT "[%u] is not the largest gap %lu\n", 7345 node, offset, max_gap); 7346 MT_BUG_ON(mas->tree, 1); 7347 } 7348 7349 for (i++ ; i < mt_slot_count(mte); i++) { 7350 if (gaps[i] != 0) { 7351 pr_err("gap " PTR_FMT "[%u] beyond node limit != 0\n", 7352 node, i); 7353 MT_BUG_ON(mas->tree, 1); 7354 } 7355 } 7356 } 7357 7358 if (mte_is_root(mte)) 7359 return; 7360 7361 p_slot = mte_parent_slot(mas->node); 7362 p_mn = mte_parent(mte); 7363 MT_BUG_ON(mas->tree, max_gap > mas->max); 7364 if (ma_gaps(p_mn, mas_parent_type(mas, mte))[p_slot] != max_gap) { 7365 pr_err("gap " PTR_FMT "[%u] != %lu\n", p_mn, p_slot, max_gap); 7366 mt_dump(mas->tree, mt_dump_hex); 7367 MT_BUG_ON(mas->tree, 1); 7368 } 7369 } 7370 7371 static void mas_validate_parent_slot(struct ma_state *mas) 7372 { 7373 struct maple_node *parent; 7374 struct maple_enode *node; 7375 enum maple_type p_type; 7376 unsigned char p_slot; 7377 void __rcu **slots; 7378 int i; 7379 7380 if (mte_is_root(mas->node)) 7381 return; 7382 7383 p_slot = mte_parent_slot(mas->node); 7384 p_type = mas_parent_type(mas, mas->node); 7385 parent = mte_parent(mas->node); 7386 slots = ma_slots(parent, p_type); 7387 MT_BUG_ON(mas->tree, mas_mn(mas) == parent); 7388 7389 /* Check prev/next parent slot for duplicate node entry */ 7390 7391 for (i = 0; i < mt_slots[p_type]; i++) { 7392 node = mas_slot(mas, slots, i); 7393 if (i == p_slot) { 7394 if (node != mas->node) 7395 pr_err("parent " PTR_FMT "[%u] does not have " PTR_FMT "\n", 7396 parent, i, mas_mn(mas)); 7397 MT_BUG_ON(mas->tree, node != mas->node); 7398 } else if (node == mas->node) { 7399 pr_err("Invalid child " PTR_FMT " at parent " PTR_FMT "[%u] p_slot %u\n", 7400 mas_mn(mas), parent, i, p_slot); 7401 MT_BUG_ON(mas->tree, node == mas->node); 7402 } 7403 } 7404 } 7405 7406 static void mas_validate_child_slot(struct ma_state *mas) 7407 { 7408 enum maple_type type = mte_node_type(mas->node); 7409 void __rcu **slots = ma_slots(mte_to_node(mas->node), type); 7410 unsigned long *pivots = ma_pivots(mte_to_node(mas->node), type); 7411 struct maple_enode *child; 7412 unsigned char i; 7413 7414 if (mte_is_leaf(mas->node)) 7415 return; 7416 7417 for (i = 0; i < mt_slots[type]; i++) { 7418 child = mas_slot(mas, slots, i); 7419 7420 if (!child) { 7421 pr_err("Non-leaf node lacks child at " PTR_FMT "[%u]\n", 7422 mas_mn(mas), i); 7423 MT_BUG_ON(mas->tree, 1); 7424 } 7425 7426 if (mte_parent_slot(child) != i) { 7427 pr_err("Slot error at " PTR_FMT "[%u]: child " PTR_FMT " has pslot %u\n", 7428 mas_mn(mas), i, mte_to_node(child), 7429 mte_parent_slot(child)); 7430 MT_BUG_ON(mas->tree, 1); 7431 } 7432 7433 if (mte_parent(child) != mte_to_node(mas->node)) { 7434 pr_err("child " PTR_FMT " has parent " PTR_FMT " not " PTR_FMT "\n", 7435 mte_to_node(child), mte_parent(child), 7436 mte_to_node(mas->node)); 7437 MT_BUG_ON(mas->tree, 1); 7438 } 7439 7440 if (i < mt_pivots[type] && pivots[i] == mas->max) 7441 break; 7442 } 7443 } 7444 7445 /* 7446 * Validate all pivots are within mas->min and mas->max, check metadata ends 7447 * where the maximum ends and ensure there is no slots or pivots set outside of 7448 * the end of the data. 7449 */ 7450 static void mas_validate_limits(struct ma_state *mas) 7451 { 7452 int i; 7453 unsigned long prev_piv = 0; 7454 enum maple_type type = mte_node_type(mas->node); 7455 void __rcu **slots = ma_slots(mte_to_node(mas->node), type); 7456 unsigned long *pivots = ma_pivots(mas_mn(mas), type); 7457 7458 for (i = 0; i < mt_slots[type]; i++) { 7459 unsigned long piv; 7460 7461 piv = mas_safe_pivot(mas, pivots, i, type); 7462 7463 if (!piv && (i != 0)) { 7464 pr_err("Missing node limit pivot at " PTR_FMT "[%u]", 7465 mas_mn(mas), i); 7466 MAS_WARN_ON(mas, 1); 7467 } 7468 7469 if (prev_piv > piv) { 7470 pr_err(PTR_FMT "[%u] piv %lu < prev_piv %lu\n", 7471 mas_mn(mas), i, piv, prev_piv); 7472 MAS_WARN_ON(mas, piv < prev_piv); 7473 } 7474 7475 if (piv < mas->min) { 7476 pr_err(PTR_FMT "[%u] %lu < %lu\n", mas_mn(mas), i, 7477 piv, mas->min); 7478 MAS_WARN_ON(mas, piv < mas->min); 7479 } 7480 if (piv > mas->max) { 7481 pr_err(PTR_FMT "[%u] %lu > %lu\n", mas_mn(mas), i, 7482 piv, mas->max); 7483 MAS_WARN_ON(mas, piv > mas->max); 7484 } 7485 prev_piv = piv; 7486 if (piv == mas->max) 7487 break; 7488 } 7489 7490 if (mas_data_end(mas) != i) { 7491 pr_err("node" PTR_FMT ": data_end %u != the last slot offset %u\n", 7492 mas_mn(mas), mas_data_end(mas), i); 7493 MT_BUG_ON(mas->tree, 1); 7494 } 7495 7496 for (i += 1; i < mt_slots[type]; i++) { 7497 void *entry = mas_slot(mas, slots, i); 7498 7499 if (entry && (i != mt_slots[type] - 1)) { 7500 pr_err(PTR_FMT "[%u] should not have entry " PTR_FMT "\n", 7501 mas_mn(mas), i, entry); 7502 MT_BUG_ON(mas->tree, entry != NULL); 7503 } 7504 7505 if (i < mt_pivots[type]) { 7506 unsigned long piv = pivots[i]; 7507 7508 if (!piv) 7509 continue; 7510 7511 pr_err(PTR_FMT "[%u] should not have piv %lu\n", 7512 mas_mn(mas), i, piv); 7513 MAS_WARN_ON(mas, i < mt_pivots[type] - 1); 7514 } 7515 } 7516 } 7517 7518 static void mt_validate_nulls(struct maple_tree *mt) 7519 { 7520 void *entry, *last = (void *)1; 7521 unsigned char offset = 0; 7522 void __rcu **slots; 7523 MA_STATE(mas, mt, 0, 0); 7524 7525 mas_start(&mas); 7526 if (mas_is_none(&mas) || (mas_is_ptr(&mas))) 7527 return; 7528 7529 while (!mte_is_leaf(mas.node)) 7530 mas_descend(&mas); 7531 7532 slots = ma_slots(mte_to_node(mas.node), mte_node_type(mas.node)); 7533 do { 7534 entry = mas_slot(&mas, slots, offset); 7535 if (!last && !entry) { 7536 pr_err("Sequential nulls end at " PTR_FMT "[%u]\n", 7537 mas_mn(&mas), offset); 7538 } 7539 MT_BUG_ON(mt, !last && !entry); 7540 last = entry; 7541 if (offset == mas_data_end(&mas)) { 7542 mas_next_node(&mas, mas_mn(&mas), ULONG_MAX); 7543 if (mas_is_overflow(&mas)) 7544 return; 7545 offset = 0; 7546 slots = ma_slots(mte_to_node(mas.node), 7547 mte_node_type(mas.node)); 7548 } else { 7549 offset++; 7550 } 7551 7552 } while (!mas_is_overflow(&mas)); 7553 } 7554 7555 /* 7556 * validate a maple tree by checking: 7557 * 1. The limits (pivots are within mas->min to mas->max) 7558 * 2. The gap is correctly set in the parents 7559 */ 7560 void mt_validate(struct maple_tree *mt) 7561 __must_hold(mas->tree->ma_lock) 7562 { 7563 unsigned char end; 7564 7565 MA_STATE(mas, mt, 0, 0); 7566 mas_start(&mas); 7567 if (!mas_is_active(&mas)) 7568 return; 7569 7570 while (!mte_is_leaf(mas.node)) 7571 mas_descend(&mas); 7572 7573 while (!mas_is_overflow(&mas)) { 7574 MAS_WARN_ON(&mas, mte_dead_node(mas.node)); 7575 end = mas_data_end(&mas); 7576 if (MAS_WARN_ON(&mas, (end < mt_min_slot_count(mas.node)) && 7577 (mas.max != ULONG_MAX))) { 7578 pr_err("Invalid size %u of " PTR_FMT "\n", 7579 end, mas_mn(&mas)); 7580 } 7581 7582 mas_validate_parent_slot(&mas); 7583 mas_validate_limits(&mas); 7584 mas_validate_child_slot(&mas); 7585 if (mt_is_alloc(mt)) 7586 mas_validate_gaps(&mas); 7587 mas_dfs_postorder(&mas, ULONG_MAX); 7588 } 7589 mt_validate_nulls(mt); 7590 } 7591 EXPORT_SYMBOL_GPL(mt_validate); 7592 7593 void mas_dump(const struct ma_state *mas) 7594 { 7595 pr_err("MAS: tree=" PTR_FMT " enode=" PTR_FMT " ", 7596 mas->tree, mas->node); 7597 switch (mas->status) { 7598 case ma_active: 7599 pr_err("(ma_active)"); 7600 break; 7601 case ma_none: 7602 pr_err("(ma_none)"); 7603 break; 7604 case ma_root: 7605 pr_err("(ma_root)"); 7606 break; 7607 case ma_start: 7608 pr_err("(ma_start) "); 7609 break; 7610 case ma_pause: 7611 pr_err("(ma_pause) "); 7612 break; 7613 case ma_overflow: 7614 pr_err("(ma_overflow) "); 7615 break; 7616 case ma_underflow: 7617 pr_err("(ma_underflow) "); 7618 break; 7619 case ma_error: 7620 pr_err("(ma_error) "); 7621 break; 7622 } 7623 7624 pr_err("Store Type: "); 7625 switch (mas->store_type) { 7626 case wr_invalid: 7627 pr_err("invalid store type\n"); 7628 break; 7629 case wr_new_root: 7630 pr_err("new_root\n"); 7631 break; 7632 case wr_store_root: 7633 pr_err("store_root\n"); 7634 break; 7635 case wr_exact_fit: 7636 pr_err("exact_fit\n"); 7637 break; 7638 case wr_split_store: 7639 pr_err("split_store\n"); 7640 break; 7641 case wr_slot_store: 7642 pr_err("slot_store\n"); 7643 break; 7644 case wr_append: 7645 pr_err("append\n"); 7646 break; 7647 case wr_node_store: 7648 pr_err("node_store\n"); 7649 break; 7650 case wr_spanning_store: 7651 pr_err("spanning_store\n"); 7652 break; 7653 case wr_rebalance: 7654 pr_err("rebalance\n"); 7655 break; 7656 } 7657 7658 pr_err("[%u/%u] index=%lx last=%lx\n", mas->offset, mas->end, 7659 mas->index, mas->last); 7660 pr_err(" min=%lx max=%lx alloc=" PTR_FMT ", depth=%u, flags=%x\n", 7661 mas->min, mas->max, mas->alloc, mas->depth, mas->mas_flags); 7662 if (mas->index > mas->last) 7663 pr_err("Check index & last\n"); 7664 } 7665 EXPORT_SYMBOL_GPL(mas_dump); 7666 7667 void mas_wr_dump(const struct ma_wr_state *wr_mas) 7668 { 7669 pr_err("WR_MAS: node=" PTR_FMT " r_min=%lx r_max=%lx\n", 7670 wr_mas->node, wr_mas->r_min, wr_mas->r_max); 7671 pr_err(" type=%u off_end=%u, node_end=%u, end_piv=%lx\n", 7672 wr_mas->type, wr_mas->offset_end, wr_mas->mas->end, 7673 wr_mas->end_piv); 7674 } 7675 EXPORT_SYMBOL_GPL(mas_wr_dump); 7676 7677 #endif /* CONFIG_DEBUG_MAPLE_TREE */ 7678