RFR: 8367332: Replace BlockTree tree logic with an intrusive red-black tree

Johan Sjölen jsjolen at openjdk.org
Wed Oct 8 12:05:25 UTC 2025


On Thu, 11 Sep 2025 09:40:21 GMT, Casper Norrbin <cnorrbin at openjdk.org> wrote:

> Hi everyone,
> 
> Metaspace's `BlockTree` is currently implemented as a simple binary search tree, using the memory blocks it stores as the nodes. While this is straightforward and generally fine, it can become unbalanced depending on insert/remove order, leading to degraded performance.
> 
> This is a good fit for the utilities `IntrusiveRBTree`, instead of using internal tree logic. With it, we can replace all tree functions and instead rely on a few insert/remove calls. `BlockTree` still remains as the layer coordinating these blocks, and still handles the list of same-size nodes. The intrusive red-black tree only handles balancing and linking/unlinking nodes in the tree structure. 
> 
> Validation and printing are preserved by using the hooks provided by the red-black tree. We keep the same checks (and get a few more from the rb-tree), and the printed output is kept identical. The only real difference is that the red-black tree traverses the tree instead.
> 
> Testing:
> - Oracle tiers 1-8

Looks good to me. Thanks for the cleanup.

src/hotspot/share/memory/metaspace/blockTree.hpp line 105:

> 103:     static Node* cast_to_node(const TreeNode* tree_node) {
> 104:       return (Node*)((uintptr_t)tree_node - offset_of(Node, _tree_node));
> 105:     }

We should really have this as a separate static function for the IntrusiveRBNode. It's also technically not a cast, it finds the outer data.

-------------

Marked as reviewed by jsjolen (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/27212#pullrequestreview-3313971296
PR Review Comment: https://git.openjdk.org/jdk/pull/27212#discussion_r2413245653


More information about the hotspot-runtime-dev mailing list