19 KiB
Unreleased
Released YYYY-MM-DD.
Added
- TODO (or remove section if none)
Changed
- TODO (or remove section if none)
Deprecated
- TODO (or remove section if none)
Removed
- TODO (or remove section if none)
Fixed
- TODO (or remove section if none)
Security
- TODO (or remove section if none)
3.11.1
Released 2022-10-18.
Security
- Fixed a bug where when
std::vec::IntoIterwas ported tobumpalo::collections::vec::IntoIter, it didn't get its underlyingBump's lifetime threaded through. This meant thatrustcwas not checking the borrows forbumpalo::collections::IntoIterand this could result in use-after-free bugs.
3.11.0
Released 2022-08-17.
Added
- Added support for per-
Bumpallocation limits. These are enforced only in the slow path when allocating new chunks in theBump, not in the bump allocation hot path, and therefore impose near zero overhead. - Added the
bumpalo::boxed::Box::into_innermethod.
Changed
- Updated to Rust 2021 edition.
- The minimum supported Rust version (MSRV) is now 1.56.0.
3.10.0
Released 2022-06-01.
Added
- Implement
bumpalo::collections::FromIteratorInforOptionandResult, just likecoredoes forFromIterator. - Implement
bumpalo::collections::FromIteratorInforbumpalo::boxed::Box<'a, [T]>. - Added running tests under MIRI in CI for additional confidence in unsafe code.
- Publicly exposed
bumpalo::collections::Vec::drain_filtersince the correspondingstd::vec::Vecmethod has stabilized.
Changed
Bump::newwill not allocate a backing chunk until the first allocation inside the bump arena now.
Fixed
- Properly account for alignment changes when growing or shrinking an existing allocation.
- Removed all internal integer-to-pointer casts, to play better with UB checkers like MIRI.
3.9.1
Released 2022-01-06.
Fixed
- Fixed link to logo in docs and README.md
3.9.0
Released 2022-01-05.
Changed
-
The minimum supported Rust version (MSRV) has been raised to Rust 1.54.0.
-
bumpalo::collections::Vec<T>implements relevant traits for all arrays of any sizeNvia const generics. Previously, it was just arrays up to length 32. Similar forbumpalo::boxed::Box<[T; N]>.
3.8.0
Released 2021-10-19.
Added
-
Added the
CollectInandFromIteratorIntraits to make building a collection from an iterator easier. These new traits live in thebumpalo::collectionsmodule and are implemented bybumpalo::collections::{String,Vec}. -
Added the
Bump::iter_allocated_chunks_rawmethod, which is anunsafe, raw version ofBump::iter_allocated_chunks. The new method does not take an exclusive borrow of theBumpand yields raw pointer-and-length pairs for each chunk in the bump. It is the caller's responsibility to ensure that no allocation happens in theBumpwhile iterating over chunks and that there are no active borrows of allocated data if they want to turn any pointer-and-length pairs into slices.
3.7.1
Released 2021-09-17.
Changed
- The packaged crate uploaded to crates.io when
bumpalois published is now smaller, thanks to excluding unnecessary files.
3.7.0
Released 2020-05-28.
Added
- Added
BorrowandBorrowMuttrait implementations forbumpalo::collections::Vecandbumpalo::collections::String. #108
Changed
- When allocating a new chunk fails, don't immediately give up. Instead, try allocating a chunk that is half that size, and if that fails, then try half of that size, etc until either we successfully allocate a chunk or we fail to allocate the minimum chunk size and then finally give up. #111
3.6.1
Released 2020-02-18.
Added
- Improved performance of
Bump'sAllocator::grow_zeroedtrait method implementation. #99
3.6.0
Released 2020-01-29.
Added
-
Added a few new flavors of allocation:
-
try_allocfor fallible, by-value allocation -
try_alloc_withfor fallible allocation with an infallible initializer function -
alloc_try_withfor infallible allocation with a fallible initializer function -
try_alloc_try_withmethod for fallible allocation with a fallible initializer function
We already have infallible, by-value allocation (
alloc) and infallible allocation with an infallible initializer (alloc_with). With these new methods, we now have every combination covered.Thanks to Tamme Schichler for contributing these methods!
-
3.5.0
Released 2020-01-22.
Added
-
Added experimental, unstable support for the unstable, nightly Rust
allocator_apifeature.The
allocator_apifeature defines anAllocatortrait and exposes custom allocators forstdtypes. Bumpalo has a matchingallocator_apicargo feature to enable implementingAllocatorand usingBumpwithstdcollections.First, enable the
allocator_apifeature in yourCargo.toml:[dependencies] bumpalo = { version = "3.5", features = ["allocator_api"] }Next, enable the
allocator_apinightly Rust feature in yoursrc/lib.rsorsrc/main.rs:# #[cfg(feature = "allocator_api")] # { #![feature(allocator_api)] # }Finally, use
stdcollections withBump, so that their internal heap allocations are made within the given bump arena:# #![cfg_attr(feature = "allocator_api", feature(allocator_api))] # #[cfg(feature = "allocator_api")] # { #![feature(allocator_api)] use bumpalo::Bump; // Create a new bump arena. let bump = Bump::new(); // Create a `Vec` whose elements are allocated within the bump arena. let mut v = Vec::new_in(&bump); v.push(0); v.push(1); v.push(2); # }I'm very excited to see custom allocators in
stdcoming along! Thanks to Arthur Gautier for implementing support for theallocator_apifeature for Bumpalo.
3.4.0
Released 2020-06-01.
Added
- Added the
bumpalo::boxed::Box<T>type. It is an owned pointer referencing a bump-allocated value, and it runsT'sDropimplementation on the referenced value when dropped. This type can be used by enabling the"boxed"cargo feature flag.
3.3.0
Released 2020-05-13.
Added
-
Added fallible allocation methods to
Bump:try_new,try_with_capacity, andtry_alloc_layout. -
Added
Bump::chunk_capacity -
Added
bumpalo::collections::Vec::try_reserve[_exact]
3.2.1
Released 2020-03-24.
Security
-
When
reallocing, if we allocate new space, we need to copy the old allocation's bytes into the new space. There areold_sizenumber of bytes in the old allocation, but we were accidentally copyingnew_sizenumber of bytes, which could lead to copying bytes into the realloc'd space from past the chunk that we're bump allocating out of, from unknown memory.If an attacker can cause
reallocs, and can read therealoced data back, this could allow them to read things from other regions of memory that they shouldn't be able to. For example, if some crypto keys happened to live in memory right after a chunk we were bump allocating out of, this could allow the attacker to read the crypto keys.Beyond just fixing the bug and adding a regression test, I've also taken two additional steps:
-
While we were already running the testsuite under
valgrindin CI, becausevalgrindexits with the same code that the program did, if there are invalid reads/writes that happen not to trigger a segfault, the program can still exit OK and we will be none the wiser. I've enabled the--error-exitcode=1flag forvalgrindin CI so that tests eagerly fail in these scenarios. -
I've written a quickcheck test to exercise
realloc. Without the bug fix in this patch, this quickcheck immediately triggers invalid reads when run undervalgrind. We didn't previously have quickchecks that exercisedreallocbecausereallocisn't publicly exposed directly, and instead can only be indirectly called. This new quickcheck test exercisesreallocviabumpalo::collections::Vec::resizeandbumpalo::collections::Vec::shrink_to_fitcalls.
This bug was introduced in version 3.0.0.
See #69 for details.
-
3.2.0
Released 2020-02-07.
Added
- Added the
bumpalo::collections::Vec::into_bump_slice_mutmethod to turn abumpalo::collections::Vec<'bump, T>into a&'bump mut [T].
3.1.2
Released 2020-01-07.
Fixed
- The
bumpalo::collections::format!macro did not used to accept a trailing comma likeformat!(in bump; "{}", 1,), but it does now.
3.1.1
Released 2020-01-03.
Fixed
- The
bumpalo::collections::vec!macro did not used to accept a trailing comma likevec![in bump; 1, 2,], but it does now.
3.1.0
Released 2019-12-27.
Added
- Added the
Bump::allocated_bytesdiagnostic method for counting the total number of bytes aBumphas allocated.
3.0.0
Released 2019-12-20.
Added
-
Added
Bump::alloc_strfor copying string slices into aBump. -
Added
Bump::alloc_slice_copyandBump::alloc_slice_clonefor copying or cloning slices into aBump. -
Added
Bump::alloc_slice_fill_iterfor allocating a slice in theBumpfrom an iterator. -
Added
Bump::alloc_slice_fill_copyandBump::alloc_slice_fill_clonefor creating slices of lengthnthat are filled with copies or clones of an initial element. -
Added
Bump::alloc_slice_fill_defaultfor creating slices of lengthnwith the element type's default instance. -
Added
Bump::alloc_slice_fill_withfor creating slices of lengthnwhose elements are initialized with a function or closure. -
Added
Bump::iter_allocated_chunksas a replacement for the oldBump::each_allocated_chunk. Theiter_allocated_chunksversion returns an iterator, which is more idiomatic than its old, callback-taking counterpart. Additionally,iter_allocated_chunksexposes the chunks asMaybeUninits instead of slices, which makes it usable in more situations without triggering undefined behavior. See also the note about bump direction in the "changed" section; if you're iterating chunks, you're likely affected by that change! -
Added
Bump::with_capacityso that you can pre-allocate a chunk with the requested space.
Changed
-
BREAKING: The direction we allocate within a chunk has changed. It used to be "upwards", from low addresses within a chunk towards high addresses. It is now "downwards", from high addresses towards lower addresses.
Additionally, the order in which we iterate over allocated chunks has changed! We used to iterate over chunks from oldest chunk to youngest chunk, and now we do the opposite: the youngest chunks are iterated over first, and the oldest chunks are iterated over last.
If you were using
Bump::each_allocated_chunkto iterate over data that you had previously allocated, and you want to iterate in order of oldest-to-youngest allocation, you need to reverse the chunks iterator and also reverse the order in which you loop through the data within a chunk!For example, if you had this code:
unsafe { bump.each_allocated_chunk(|chunk| { for byte in chunk { // Touch each byte in oldest-to-youngest allocation order... } }); }It should become this code:
let mut chunks: Vec<_> = bump.iter_allocated_chunks().collect(); chunks.reverse(); for chunk in chunks { for byte in chunk.iter().rev() { let byte = unsafe { byte.assume_init() }; // Touch each byte in oldest-to-youngest allocation order... } }The good news is that this change yielded a speed up in allocation throughput of 3-19%!
See https://github.com/fitzgen/bumpalo/pull/37 and https://fitzgeraldnick.com/2019/11/01/always-bump-downwards.html for details.
-
BREAKING: The
collectionscargo feature is no longer on by default. You must explicitly turn it on if you intend to use thebumpalo::collectionsmodule. -
Bump::resetwill now retain only the last allocated chunk (the biggest), rather than only the first allocated chunk (the smallest). This should enableBumpto better adapt to workload sizes and quickly reach a steady state where new chunks are not requested from the global allocator.
Removed
-
The
Bump::each_allocated_chunkmethod is removed in favor ofBump::iter_allocated_chunks. Note that its safety requirements for reading from the allocated chunks are slightly different from the oldeach_allocated_chunk: only up to 16-byte alignment is supported now. If you allocate anything with greater alignment than that into the bump arena, there might be uninitilized padding inserted in the chunks, and therefore it is no longer safe to read them viaMaybeUninit::assume_init. See also the note about bump direction in the "changed" section; if you're iterating chunks, you're likely affected by that change! -
The
stdcargo feature has been removed, since this crate is now always no-std.
Fixed
- Fixed a bug involving potential integer overflows with large requested allocation sizes.
2.6.0
Released 2019-08-19.
- Implement
SendforBump.
2.5.0
Released 2019-07-01.
- Add
alloc_slice_copyandalloc_slice_clonemethods that allocate space for slices and either copy (with boundT: Copy) or clone (with boundT: Clone) the provided slice's data into the newly allocated space.
2.4.3
Released 2019-05-20.
- Fixed a bug where chunks were always deallocated with the default chunk layout, not the layout that the chunk was actually allocated with (i.e. if we started growing largers chunks with larger layouts, we would deallocate those chunks with an incorrect layout).
2.4.2
Released 2019-05-17.
- Added an implementation
DefaultforBump. - Made it so that if bump allocation within a chunk overflows, we still try to allocate a new chunk to bump out of for the requested allocation. This can avoid some OOMs in scenarios where the chunk we are currently allocating out of is very near the high end of the address space, and there is still available address space lower down for new chunks.
2.4.1
Released 2019-04-19.
- Added readme metadata to Cargo.toml so it shows up on crates.io
2.4.0
Released 2019-04-19.
- Added support for
reallocing in-place when the pointer beingrealloced is the last allocation made from the bump arena. This should speed up variousString,Vec, andformat!operations in many cases.
2.3.0
Released 2019-03-26.
- Add the
alloc_withmethod, that (usually) avoids stack-allocating the allocated value and then moving it into the bump arena. This avoids potential stack overflows in release mode when allocating very large objects, and also somememcpycalls. This is similar to thecopylesscrate. Read thealloc_withdoc comments and the original issue proposing this API for more.
2.2.2
Released 2019-03-18.
- Fix a regression from 2.2.1 where chunks were not always aligned to the chunk footer's alignment.
2.2.1
Released 2019-03-18.
- Fix a regression in 2.2.0 where newly allocated bump chunks could fail to have capacity for a large requested bump allocation in some corner cases.
2.2.0
Released 2019-03-15.
- Chunks in an arena now start out small, and double in size as more chunks are requested.
2.1.0
Released 2019-02-12.
- Added the
into_bump_slicemethod onbumpalo::collections::Vec<T>.
2.0.0
Released 2019-02-11.
- Removed the
BumpAllocSafetrait. - Correctly detect overflows from large allocations and panic.
1.2.0
Released 2019-01-15.
- Fixed an overly-aggressive
debug_assert!that had false positives. - Ported to Rust 2018 edition.
1.1.0
Released 2018-11-28.
- Added the
collectionsmodule, which contains ports ofstd's collection types that are compatible with backing their storage inBumparenas. - Lifted the limits on size and alignment of allocations.