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