Skip to content

BTree: let method clear recycle root memory #94800

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
35 changes: 23 additions & 12 deletions library/alloc/src/collections/btree/map.rs
Original file line number Diff line number Diff line change
@@ -13,7 +13,7 @@ use crate::alloc::{Allocator, Global};

use super::borrow::DormantMutRef;
use super::dedup_sorted_iter::DedupSortedIter;
use super::navigate::{LazyLeafRange, LeafRange};
use super::navigate::{LazyLeafRange, LeafRange, RootVessel};
use super::node::{self, marker, ForceResult::*, Handle, NodeRef, Root};
use super::search::SearchResult::*;

@@ -559,6 +559,7 @@ impl<K, V> BTreeMap<K, V> {

impl<K, V, A: Allocator> BTreeMap<K, V, A> {
/// Clears the map, removing all elements.
/// Keeps a part of the allocated memory for reuse.
///
/// # Examples
///
@@ -574,12 +575,18 @@ impl<K, V, A: Allocator> BTreeMap<K, V, A> {
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn clear(&mut self) {
// avoid moving the allocator
mem::drop(BTreeMap {
root: mem::replace(&mut self.root, None),
length: mem::replace(&mut self.length, 0),
alloc: ManuallyDrop::new(&*self.alloc),
});
if let Some(root) = self.root.take() {
let mut iter = IntoIter {
range: root.into_dying().full_range(),
length: self.length,
alloc: unsafe { ManuallyDrop::take(&mut self.alloc) },
};
self.length = 0;
while let Some(kv) = iter.dying_next(Some(&mut self.root)) {
// SAFETY: we consume the dying handle immediately.
unsafe { kv.drop_key_val() };
}
}
}

/// Makes a new empty BTreeMap with a reasonable choice for B.
@@ -1606,14 +1613,14 @@ impl<K, V, A: Allocator> Drop for IntoIter<K, V, A> {
fn drop(&mut self) {
// Continue the same loop we perform below. This only runs when unwinding, so we
// don't have to care about panics this time (they'll abort).
while let Some(kv) = self.0.dying_next() {
while let Some(kv) = self.0.dying_next(None) {
// SAFETY: we consume the dying handle immediately.
unsafe { kv.drop_key_val() };
}
}
}

while let Some(kv) = self.dying_next() {
while let Some(kv) = self.dying_next(None) {
let guard = DropGuard(self);
// SAFETY: we don't touch the tree before consuming the dying handle.
unsafe { kv.drop_key_val() };
@@ -1625,11 +1632,15 @@ impl<K, V, A: Allocator> Drop for IntoIter<K, V, A> {
impl<K, V, A: Allocator> IntoIter<K, V, A> {
/// Core of a `next` method returning a dying KV handle,
/// invalidated by further calls to this function and some others.
///
/// If `root_recycling` is given some vessel, this method recycles the last
/// leaf and stores it as a fresh root in the vessel.
fn dying_next(
&mut self,
root_recycling: Option<&mut RootVessel<K, V>>,
) -> Option<Handle<NodeRef<marker::Dying, K, V, marker::LeafOrInternal>, marker::KV>> {
if self.length == 0 {
self.range.deallocating_end(&self.alloc);
self.range.deallocating_end(&self.alloc, root_recycling);
None
} else {
self.length -= 1;
@@ -1643,7 +1654,7 @@ impl<K, V, A: Allocator> IntoIter<K, V, A> {
&mut self,
) -> Option<Handle<NodeRef<marker::Dying, K, V, marker::LeafOrInternal>, marker::KV>> {
if self.length == 0 {
self.range.deallocating_end(&self.alloc);
self.range.deallocating_end(&self.alloc, None);
None
} else {
self.length -= 1;
@@ -1658,7 +1669,7 @@ impl<K, V, A: Allocator> Iterator for IntoIter<K, V, A> {

fn next(&mut self) -> Option<(K, V)> {
// SAFETY: we consume the dying handle immediately.
self.dying_next().map(unsafe { |kv| kv.into_key_val() })
self.dying_next(None).map(unsafe { |kv| kv.into_key_val() })
}

fn size_hint(&self) -> (usize, Option<usize>) {
4 changes: 3 additions & 1 deletion library/alloc/src/collections/btree/map/tests.rs
Original file line number Diff line number Diff line change
@@ -1408,14 +1408,16 @@ fn test_bad_zst() {
#[test]
fn test_clear() {
let mut map = BTreeMap::new();
map.clear();
assert_eq!(map.height(), None);
for &len in &[MIN_INSERTS_HEIGHT_1, MIN_INSERTS_HEIGHT_2, 0, node::CAPACITY] {
for i in 0..len {
map.insert(i, ());
}
assert_eq!(map.len(), len);
map.clear();
map.check();
assert_eq!(map.height(), None);
assert_eq!(map.height(), Some(0), "len={len}");
}
}

39 changes: 32 additions & 7 deletions library/alloc/src/collections/btree/navigate.rs
Original file line number Diff line number Diff line change
@@ -3,7 +3,7 @@ use core::hint;
use core::ops::RangeBounds;
use core::ptr;

use super::node::{marker, ForceResult::*, Handle, NodeRef};
use super::node::{marker, ForceResult::*, Handle, NodeRef, Root};

use crate::alloc::Allocator;
// `front` and `back` are always both `None` or both `Some`.
@@ -12,6 +12,8 @@ pub struct LeafRange<BorrowType, K, V> {
back: Option<Handle<NodeRef<BorrowType, K, V, marker::Leaf>, marker::Edge>>,
}

pub type RootVessel<K, V> = Option<Root<K, V>>;

impl<'a, K: 'a, V: 'a> Clone for LeafRange<marker::Immut<'a>, K, V> {
fn clone(&self) -> Self {
LeafRange { front: self.front.clone(), back: self.back.clone() }
@@ -198,9 +200,14 @@ impl<K, V> LazyLeafRange<marker::Dying, K, V> {
}

#[inline]
pub fn deallocating_end<A: Allocator>(&mut self, alloc: &A) {
/// Fused: no harm if invoked multiple times on the same range object.
pub fn deallocating_end<A: Allocator>(
&mut self,
alloc: &A,
root_recycling: Option<&mut RootVessel<K, V>>,
) {
if let Some(front) = self.take_front() {
front.deallocating_end(alloc)
front.deallocating_end(alloc, root_recycling)
}
}
}
@@ -501,10 +508,28 @@ impl<K, V> Handle<NodeRef<marker::Dying, K, V, marker::Leaf>, marker::Edge> {
/// both sides of the tree, and have hit the same edge. As it is intended
/// only to be called when all keys and values have been returned,
/// no cleanup is done on any of the keys or values.
fn deallocating_end<A: Allocator>(self, alloc: &A) {
let mut edge = self.forget_node_type();
while let Some(parent_edge) = unsafe { edge.into_node().deallocate_and_ascend(alloc) } {
edge = parent_edge.forget_node_type();
///
/// If `root_recycling` is given some vessel, this method recycles the leaf
/// and stores it as a fresh root in the vessel, instead of deallocating it.
fn deallocating_end<A: Allocator>(
self,
alloc: &A,
root_recycling: Option<&mut RootVessel<K, V>>,
) {
let leaf = self.into_node();
let mut parent_edge = match root_recycling {
None => unsafe { leaf.deallocate_and_ascend(alloc) },
Some(root_recycling) => {
let (leaf, parent_edge) = unsafe { leaf.recycle_and_ascend() };
*root_recycling = Some(leaf.forget_type());
parent_edge
}
};
loop {
parent_edge = match parent_edge {
Some(edge) => unsafe { edge.into_node().deallocate_and_ascend(alloc) },
None => return,
}
}
}
}
63 changes: 50 additions & 13 deletions library/alloc/src/collections/btree/node.rs
Original file line number Diff line number Diff line change
@@ -394,20 +394,57 @@ impl<K, V> NodeRef<marker::Dying, K, V, marker::LeafOrInternal> {
self,
alloc: &A,
) -> Option<Handle<NodeRef<marker::Dying, K, V, marker::Internal>, marker::Edge>> {
let height = self.height;
let node = self.node;
let ret = self.ascend().ok();
unsafe {
alloc.deallocate(
node.cast(),
if height > 0 {
Layout::new::<InternalNode<K, V>>()
} else {
Layout::new::<LeafNode<K, V>>()
},
);
match self.force() {
ForceResult::Leaf(node) => unsafe { node.deallocate_and_ascend(alloc) },
ForceResult::Internal(node) => unsafe { node.deallocate_and_ascend(alloc) },
}
ret
}
}

impl<K, V> NodeRef<marker::Dying, K, V, marker::Internal> {
/// Overload for internal nodes.
pub unsafe fn deallocate_and_ascend<A: Allocator>(
self,
alloc: &A,
) -> Option<Handle<NodeRef<marker::Dying, K, V, marker::Internal>, marker::Edge>> {
debug_assert!(self.height > 0);
let node = self.node;
let parent_edge = self.ascend().ok();
unsafe { alloc.deallocate(node.cast(), Layout::new::<InternalNode<K, V>>()) };
parent_edge
}
}

impl<K, V> NodeRef<marker::Dying, K, V, marker::Leaf> {
/// Overload for leaf nodes.
pub unsafe fn deallocate_and_ascend<A: Allocator>(
self,
alloc: &A,
) -> Option<Handle<NodeRef<marker::Dying, K, V, marker::Internal>, marker::Edge>> {
debug_assert!(self.height == 0);
let node = self.node;
let parent_edge = self.ascend().ok();
unsafe { alloc.deallocate(node.cast(), Layout::new::<LeafNode<K, V>>()) };
parent_edge
}
}

impl<K, V> NodeRef<marker::Dying, K, V, marker::Leaf> {
/// Similar to `ascend`, gets a reference to a node's parent node, but also
/// clears and returns the current leaf node. This is unsafe because that
/// leaf node will still be accessible from the dying tree, despite having
/// been reinitialized and being returned in an exclusive `NodeRef`.
pub unsafe fn recycle_and_ascend(
self,
) -> (
NodeRef<marker::Owned, K, V, marker::Leaf>,
Option<Handle<NodeRef<marker::Dying, K, V, marker::Internal>, marker::Edge>>,
) {
debug_assert!(self.height == 0);
let node = self.node;
let parent_edge = self.ascend().ok();
unsafe { LeafNode::init(node.as_ptr()) };
(NodeRef { height: 0, node, _marker: PhantomData }, parent_edge)
}
}

1 change: 1 addition & 0 deletions library/alloc/src/collections/btree/set.rs
Original file line number Diff line number Diff line change
@@ -572,6 +572,7 @@ impl<T, A: Allocator> BTreeSet<T, A> {
}

/// Clears the set, removing all elements.
/// Keeps a part of the allocated memory for reuse.
///
/// # Examples
///