为了保证概念的严谨性,翻译时保留了英文原文。
This post explains how to implement heap allocators from scratch. It presents and discusses different allocator designs, including bump allocation, linked list allocation, and fixed-size block allocation. For each of the three designs, we will create a basic implementation that can be used for our kernel.
这篇文章解释了如何从头开始实现堆内存分配器。它介绍并讨论了不同的分配器设计,包括 bump分配、链表分配和固定大小块分配。对于这三种设计中的每一种,我们都将创建一个可用于我们的内核的基本实现。
This blog is openly developed on GitHub. If you have any problems or questions, please open an issue there. You can also leave comments at the bottom. The complete source code for this post can be found in the post-11
branch.
该博客是在 GitHub 上公开开发的。如果您有任何问题或疑问,请在那里提出问题。也可以在底部留言评论。这篇文章的完整源代码可以在 post-11
分支中找到。
1. Introduction 介绍
In the previous post, we added basic support for heap allocations to our kernel. For that, we created a new memory region in the page tables and used the linked_list_allocator
crate to manage that memory. While we have a working heap now, we left most of the work to the allocator crate without trying to understand how it works.
在上一篇文章中,我们向内核添加了对堆内存分配的基本支持。为此,我们在页表中创建了一个新的内存区域,并使用 linked_list_allocator
crate 来管理该内存。虽然现在有了一个可以工作的堆,但我们将大部分工作留给了外部分配器 crate,而没有尝试了解它是如何工作的。
In this post, we will show how to create our own heap allocator from scratch instead of relying on an existing allocator crate. We will discuss different allocator designs, including a simplistic bump allocator and a basic fixed-size block allocator , and use this knowledge to implement an allocator with improved performance (compared to the linked_list_allocator
crate).
在这篇文章中,我们将展示如何从头开始创建我们自己的堆分配器,而不是依赖于外部的 分配器crate。我们将讨论不同的分配器设计,包括简单的 bump 分配器和基本的固定大小块分配器,并使用这些知识来实现性能改进的分配器(与 linked_list_allocator
crate 相比)。
1.1 Design Goals 设计目标
The responsibility of an allocator is to manage the available heap memory. It needs to return unused memory on alloc
calls and keep track of memory freed by dealloc
so that it can be reused again. Most importantly, it must never hand out memory that is already in use somewhere else because this would cause undefined behavior.
分配器的职责是管理可用的堆内存。它需要在 alloc
调用上返回未使用的内存,并跟踪 dealloc
释放的内存,以便可以再次重用。最重要的是,它绝不能重复分配已经在其他地方使用的内存,因为这会导致未定义的行为。
Apart from correctness, there are many secondary design goals. For example, the allocator should effectively utilize the available memory and keep fragmentation low. Furthermore, it should work well for concurrent applications and scale to any number of processors. For maximal performance, it could even optimize the memory layout with respect to the CPU caches to improve cache locality and avoid false sharing.
除了正确性之外,还有许多次要的设计目标。例如,分配器应该有效地利用可用内存并保持低碎片。此外,它应该适用于并发应用程序,并可扩展到任意数量的处理器。为了获得最佳性能,它甚至可以优化 CPU 缓存的内存布局,以提高缓存局部性并避免错误共享。
These requirements can make good allocators very complex. For example, jemalloc has over 30.000 lines of code. This complexity is often undesired in kernel code, where a single bug can lead to severe security vulnerabilities. Fortunately, the allocation patterns of kernel code are often much simpler compared to userspace code, so that relatively simple allocator designs often suffice.
这些要求会使好的分配器变得非常复杂。例如,jemalloc
有超过 30,000 行代码。这种复杂性在内核代码中通常是不受欢迎的,因为单个错误可能会导致严重的安全漏洞。幸运的是,与用户空间代码相比,内核代码的分配模式通常要简单得多,因此相对简单的分配器设计通常就足够了。
In the following, we present three possible kernel allocator designs and explain their advantages and drawbacks.
下面,我们提出三种可能的内核分配器设计并解释它们的优点和缺点。
2. Bump Allocator 线性分配器
The most simple allocator design is a bump allocator (also known as stack allocator). It allocates memory linearly and only keeps track of the number of allocated bytes and the number of allocations. It is only useful in very specific use cases because it has a severe limitation: it can only free all memory at once.
最简单的分配器设计是 bump分配器(也称为栈分配器,线性分配器)。它线性分配内存,并且只跟踪已分配的字节数和分配的数量。它仅在非常特定的用例中有用,因为它有一个严重的限制:它只能一次释放所有内存。
2.1 Idea 思想
The idea behind a bump allocator is to linearly allocate memory by increasing ("bumping" ) a next
variable, which points to the start of the unused memory. At the beginning, next
is equal to the start address of the heap. On each allocation, next
is increased by the allocation size so that it always points to the boundary between used and unused memory:
bump 分配器背后的想法是通过增加(" bumping")一个 next
变量来线性分配内存,该变量指向未使用内存的开头。一开始, next
等于堆的起始地址。每次分配时, next
都会增加分配大小,以便它始终指向已用内存和未用内存之间的边界:
The next
pointer only moves in a single direction and thus never hands out the same memory region twice. When it reaches the end of the heap, no more memory can be allocated, resulting in an out-of-memory error on the next allocation.
next
指针仅在一个方向上移动,因此永远不会两次分配相同的内存区域。当它到达堆末尾时,无法再分配更多内存,从而导致下次分配时出现内存不足错误。
A bump allocator is often implemented with an allocation counter, which is increased by 1 on each alloc
call and decreased by 1 on each dealloc
call. When the allocation counter reaches zero, it means that all allocations on the heap have been deallocated. In this case, the next
pointer can be reset to the start address of the heap, so that the complete heap memory is available for allocations again.
bump 分配器通常使用分配计数器来实现,每次 alloc
调用时分配计数器加 1,每次 dealloc
调用时减 1。当分配计数器达到零时,意味着堆上的所有分配都已被释放。在这种情况下,可以将 next
指针重置为堆的起始地址,以便完整的堆内存再次可供分配。
2.2 Implementation 实现
We start our implementation by declaring a new allocator::bump
submodule:
我们通过声明一个新的 allocator::bump
子模块来开始我们的实现:
rust
// in src/allocator.rs
pub mod bump;
The content of the submodule lives in a new src/allocator/bump.rs
file, which we create with the following content:
子模块的内容位于一个新的 src/allocator/bump.rs
文件中,我们使用以下内容创建该文件:
rust
// in src/allocator/bump.rs
pub struct BumpAllocator {
heap_start: usize,
heap_end: usize,
next: usize,
allocations: usize,
}
impl BumpAllocator {
/// Creates a new empty bump allocator.
pub const fn new() -> Self {
BumpAllocator {
heap_start: 0,
heap_end: 0,
next: 0,
allocations: 0,
}
}
/// Initializes the bump allocator with the given heap bounds.
///
/// This method is unsafe because the caller must ensure that the given
/// memory range is unused. Also, this method must be called only once.
pub unsafe fn init(&mut self, heap_start: usize, heap_size: usize) {
self.heap_start = heap_start;
self.heap_end = heap_start + heap_size;
self.next = heap_start;
}
}
The heap_start
and heap_end
fields keep track of the lower and upper bounds of the heap memory region. The caller needs to ensure that these addresses are valid, otherwise the allocator would return invalid memory. For this reason, the init
function needs to be unsafe
to call.
heap_start
和 heap_end
字段跟踪堆内存区域的下限和上限。调用者需要确保这些地址有效,否则分配器将返回无效内存。因此, init
函数需要通过 unsafe
来调用。
The purpose of the next
field is to always point to the first unused byte of the heap, i.e., the start address of the next allocation. It is set to heap_start
in the init
function because at the beginning, the entire heap is unused. On each allocation, this field will be increased by the allocation size ("bumped") to ensure that we don't return the same memory region twice.
next
字段的目的是始终指向堆的第一个未使用的字节 ,即下一次分配的起始地址。在 init
函数中将其设置为 heap_start
,因为一开始,整个堆都未使用。每次分配时,该字段都会增加分配大小("增加"),以确保我们不会两次返回相同的内存区域。
The allocations
field is a simple counter for the active allocations with the goal of resetting the allocator after the last allocation has been freed. It is initialized with 0.
allocations
字段是活动分配的简单计数器,目的是在释放最后一个分配后重置分配器。它被初始化为0。
We chose to create a separate init
function instead of performing the initialization directly in new
in order to keep the interface identical to the allocator provided by the linked_list_allocator
crate. This way, the allocators can be switched without additional code changes.
我们选择创建一个单独的 init
函数,而不是直接在 new
中执行初始化,以便保持接口与 linked_list_allocator
crate提供的分配器相同。这样,无需更改额外的代码即可切换分配器。
2.3 Implementing GlobalAlloc
实现 GlobalAlloc
As explained in the previous post, all heap allocators need to implement the GlobalAlloc
trait, which is defined like this:
正如上一篇文章中所解释的,所有堆分配器都需要实现 GlobalAlloc
特征,其定义如下:
rust
pub unsafe trait GlobalAlloc {
unsafe fn alloc(&self, layout: Layout) -> *mut u8;
unsafe fn dealloc(&self, ptr: *mut u8, layout: Layout);
unsafe fn alloc_zeroed(&self, layout: Layout) -> *mut u8 { ... }
unsafe fn realloc(
&self,
ptr: *mut u8,
layout: Layout,
new_size: usize
) -> *mut u8 { ... }
}
Only the alloc
and dealloc
methods are required; the other two methods have default implementations and can be omitted.
仅需要 alloc
和 dealloc
方法;另外两个方法有默认实现,可以省略。
2.3.1 First Implementation Attempt
第一次实现尝试
Let's try to implement the alloc
method for our BumpAllocator
:
让我们尝试为 BumpAllocator
实现 alloc
方法:
rust
// in src/allocator/bump.rs
use alloc::alloc::{GlobalAlloc, Layout};
unsafe impl GlobalAlloc for BumpAllocator {
unsafe fn alloc(&self, layout: Layout) -> *mut u8 {
// TODO alignment and bounds check
let alloc_start = self.next;
self.next = alloc_start + layout.size();
self.allocations += 1;
alloc_start as *mut u8
}
unsafe fn dealloc(&self, _ptr: *mut u8, _layout: Layout) {
todo!();
}
}
First, we use the next
field as the start address for our allocation. Then we update the next
field to point to the end address of the allocation, which is the next unused address on the heap. Before returning the start address of the allocation as a *mut u8
pointer, we increase the allocations
counter by 1.
首先,我们使用 next
字段作为分配的起始地址。然后我们更新 next
字段以指向分配的结束地址,这是堆上 下一个未使用的地址。在将分配的起始地址作为 *mut u8
指针返回之前,我们将 allocations
计数器加 1。
Note that we don't perform any bounds checks or alignment adjustments, so this implementation is not safe yet. This does not matter much because it fails to compile anyway with the following error:
请注意,我们不执行任何边界检查或对齐调整,因此此实现尚不安全。这并不重要,因为无论如何它都无法编译并出现以下错误:
rust
error[E0594]: cannot assign to `self.next` which is behind a `&` reference
--> src/allocator/bump.rs:29:9
|
29 | self.next = alloc_start + layout.size();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `self` is a `&` reference, so the data it refers to cannot be written
(The same error also occurs for the self.allocations += 1
line. We omitted it here for brevity.)
( self.allocations += 1
行也会出现同样的错误。为了简洁起见,我们在此处省略了它。)
The error occurs because the alloc
and dealloc
methods of the GlobalAlloc
trait only operate on an immutable &self
reference, so updating the next
and allocations
fields is not possible. This is problematic because updating next
on every allocation is the essential principle of a bump allocator.
发生错误的原因是 GlobalAlloc
特征的 alloc
和 dealloc
方法仅对不可变的 &self
引用进行操作,因此更新 next
和 allocations
字段是不可能的。这是有问题的,因为每次分配时更新 next
是 bump 分配器的基本原则。
2.3.2 GlobalAlloc
and Mutability GlobalAlloc
和可变性
Before we look at a possible solution to this mutability problem, let's try to understand why the GlobalAlloc
trait methods are defined with &self
arguments: As we saw in the previous post, the global heap allocator is defined by adding the #[global_allocator]
attribute to a static
that implements the GlobalAlloc
trait. Static variables are immutable in Rust, so there is no way to call a method that takes &mut self
on the static allocator. For this reason, all the methods of GlobalAlloc
only take an immutable &self
reference.
在我们研究这个可变性问题的可能解决方案之前,让我们尝试理解为什么 GlobalAlloc
特征方法是用 &self
参数定义的:正如我们在上一篇文章中看到的,全局堆分配器是通过将 #[global_allocator]
属性添加到实现 GlobalAlloc
特征的 static
来定义的。静态变量在 Rust 中是不可变的 ,因此无法调用静态分配器上采用 &mut self
的方法。因此, GlobalAlloc
的所有方法仅采用不可变的 &self
引用。
Fortunately, there is a way to get a &mut self
reference from a &self
reference: We can use synchronized interior mutability by wrapping the allocator in a spin::Mutex
spinlock. This type provides a lock
method that performs mutual exclusion and thus safely turns a &self
reference to a &mut self
reference. We've already used the wrapper type multiple times in our kernel, for example for the VGA text buffer.
幸运的是,有一种方法可以从 &self
引用获取 &mut self
引用:我们可以通过将分配器包装在 spin::Mutex
自旋锁中来使用同步内部可变性。此类型提供了执行互斥的 lock
方法,从而安全地将 &self
引用转换为 &mut self
引用。我们已经在内核中多次使用了包装类型,例如 VGA 文本缓冲区。
2.3.3 A Locked
Wrapper Type Locked
包装类型
With the help of the spin::Mutex
wrapper type, we can implement the GlobalAlloc
trait for our bump allocator. The trick is to implement the trait not for the BumpAllocator
directly, but for the wrapped spin::Mutex<BumpAllocator>
type:
在 spin::Mutex
包装类型的帮助下,我们可以为 bump分配器实现 GlobalAlloc
特征。诀窍是不直接为 BumpAllocator
实现特征,而是为包装的 spin::Mutex<BumpAllocator>
类型实现特征:
rust
unsafe impl GlobalAlloc for spin::Mutex<BumpAllocator> {...}
Unfortunately, this still doesn't work because the Rust compiler does not permit trait implementations for types defined in other crates:
不幸的是,这仍然不起作用,因为 Rust 编译器不允许对其他包中定义的类型进行特征实现:
rust
error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
--> src/allocator/bump.rs:28:1
|
28 | unsafe impl GlobalAlloc for spin::Mutex<BumpAllocator> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
| | |
| | `spin::mutex::Mutex` is not defined in the current crate
| impl doesn't use only types from inside the current crate
|
= note: define and implement a trait or new type instead
To fix this, we need to create our own wrapper type around spin::Mutex
:
为了解决这个问题,我们需要围绕 spin::Mutex
创建我们自己的包装类型:
rust
// in src/allocator.rs
/// A wrapper around spin::Mutex to permit trait implementations.
pub struct Locked<A> {
inner: spin::Mutex<A>,
}
impl<A> Locked<A> {
pub const fn new(inner: A) -> Self {
Locked {
inner: spin::Mutex::new(inner),
}
}
pub fn lock(&self) -> spin::MutexGuard<A> {
self.inner.lock()
}
}
The type is a generic wrapper around a spin::Mutex<A>
. It imposes no restrictions on the wrapped type A
, so it can be used to wrap all kinds of types, not just allocators. It provides a simple new
constructor function that wraps a given value. For convenience, it also provides a lock
function that calls lock
on the wrapped Mutex
. Since the Locked
type is general enough to be useful for other allocator implementations too, we put it in the parent allocator
module.
该类型是 spin::Mutex<A>
的通用包装器。它对包装类型 A
没有任何限制,因此它可以用于包装所有类型,而不仅仅是分配器。它提供了一个简单的 new
构造函数来包装给定值。为了方便起见,它还提供了一个 lock
函数,可以在包装的 Mutex
上调用 lock
。由于 Locked
类型足够通用,对于其他分配器实现也很有用,因此我们将其放在父 allocator
模块中。
2.3.4 Implementation for Locked<BumpAllocator>
Locked<BumpAllocator>
的实现
The Locked
type is defined in our own crate (in contrast to spin::Mutex
), so we can use it to implement GlobalAlloc
for our bump allocator. The full implementation looks like this:
Locked
类型是在我们自己的 crate 中定义的(与 spin::Mutex
相比),因此我们可以使用它来为 bump分配器实现 GlobalAlloc
。完整的实现如下所示:
rust
// in src/allocator/bump.rs
use super::{align_up, Locked};
use alloc::alloc::{GlobalAlloc, Layout};
use core::ptr;
unsafe impl GlobalAlloc for Locked<BumpAllocator> {
unsafe fn alloc(&self, layout: Layout) -> *mut u8 {
let mut bump = self.lock(); // get a mutable reference
let alloc_start = align_up(bump.next, layout.align());
let alloc_end = match alloc_start.checked_add(layout.size()) {
Some(end) => end,
None => return ptr::null_mut(),
};
if alloc_end > bump.heap_end {
ptr::null_mut() // out of memory
} else {
bump.next = alloc_end;
bump.allocations += 1;
alloc_start as *mut u8
}
}
unsafe fn dealloc(&self, _ptr: *mut u8, _layout: Layout) {
let mut bump = self.lock(); // get a mutable reference
bump.allocations -= 1;
if bump.allocations == 0 {
bump.next = bump.heap_start;
}
}
}
The first step for both alloc
and dealloc
is to call the Mutex::lock
method through the inner
field to get a mutable reference to the wrapped allocator type. The instance remains locked until the end of the method, so that no data race can occur in multithreaded contexts (we will add threading support soon).
alloc
和 dealloc
的第一步是通过 inner
字段调用 Mutex::lock
方法,以获取对包装的可变引用分配器类型。该实例将保持锁定状态,直到方法结束,以便在多线程上下文中不会发生数据争用(我们将很快添加线程支持)。
Compared to the previous prototype, the alloc
implementation now respects alignment requirements and performs a bounds check to ensure that the allocations stay inside the heap memory region. The first step is to round up the next
address to the alignment specified by the Layout
argument. The code for the align_up
function is shown in a moment. We then add the requested allocation size to alloc_start
to get the end address of the allocation. To prevent integer overflow on large allocations, we use the checked_add
method. If an overflow occurs or if the resulting end address of the allocation is larger than the end address of the heap, we return a null pointer to signal an out-of-memory situation. Otherwise, we update the next
address and increase the allocations
counter by 1 like before. Finally, we return the alloc_start
address converted to a *mut u8
pointer.
与之前的原型相比, alloc
实现现在遵循对齐要求并执行边界检查以确保分配保留在堆内存区域内。第一步是将 next
地址向上舍入到 Layout
参数指定的对齐方式。稍后将显示 align_up
函数的代码。然后,我们将请求的分配大小添加到 alloc_start
中以获得分配的结束地址。为了防止大量分配时的整数溢出,我们使用 checked_add
方法。如果发生溢出或者分配的结果结束地址大于堆的结束地址,我们将返回一个空指针以表示内存不足的情况。否则,我们会像以前一样更新 next
地址并将 allocations
计数器加 1。最后,我们返回转换为 *mut u8
指针的 alloc_start
地址。
The dealloc
function ignores the given pointer and Layout
arguments. Instead, it just decreases the allocations
counter. If the counter reaches 0
again, it means that all allocations were freed again. In this case, it resets the next
address to the heap_start
address to make the complete heap memory available again.
dealloc
函数忽略给定的指针和 Layout
参数。相反,它只是减少 allocations
计数器。如果计数器再次达到 0
,则意味着所有分配再次被释放。在这种情况下,它将 next
地址重置为 heap_start
地址,以使整个堆内存再次可用。
2.3.5 Address Alignment 地址对齐
The align_up
function is general enough that we can put it into the parent allocator
module. A basic implementation looks like this:
align_up
函数足够通用,我们可以将其放入父 allocator
模块中。基本实现如下所示:
rust
// in src/allocator.rs
/// Align the given address `addr` upwards to alignment `align`.
fn align_up(addr: usize, align: usize) -> usize {
let remainder = addr % align;
if remainder == 0 {
addr // addr already aligned
} else {
addr - remainder + align
}
}
The function first computes the remainder of the division of addr
by align
. If the remainder is 0
, the address is already aligned with the given alignment. Otherwise, we align the address by subtracting the remainder (so that the new remainder is 0) and then adding the alignment (so that the address does not become smaller than the original address).
该函数首先计算 addr
除以 align
的余数。如果余数为 0
,则该地址已经与给定的对齐方式对齐。否则,我们通过减去余数(使得新的余数为0)然后加上对齐(使得地址不会变得小于原始地址)来对齐地址。
Note that this isn't the most efficient way to implement this function. A much faster implementation looks like this:
请注意,这不是实现此功能的最有效方法。更快的实现如下所示:
rust
/// Align the given address `addr` upwards to alignment `align`.
///
/// Requires that `align` is a power of two.
fn align_up(addr: usize, align: usize) -> usize {
(addr + align - 1) & !(align - 1)
}
This method requires align
to be a power of two, which can be guaranteed by utilizing the GlobalAlloc
trait (and its Layout
parameter). This makes it possible to create a bitmask to align the address in a very efficient way. To understand how it works, let's go through it step by step, starting on the right side:
此方法要求 align
是 2 的幂,这可以通过利用 GlobalAlloc
特征(及其 Layout
参数)来保证。这使得创建位掩码以非常有效的方式对齐地址成为可能。为了理解它是如何工作的,让我们从右侧开始一步步进行:
-
Since
align
is a power of two, its binary representation has only a single bit set (e.g.0b000100000
). This means thatalign - 1
has all the lower bits set (e.g.0b00011111
).由于
align
是 2 的幂,因此其二进制表示只有一个位集(例如0b000100000
)。这意味着align - 1
已设置所有较低位(例如0b00011111
)。 -
By creating the bitwise
NOT
through the!
operator, we get a number that has all the bits set except for the bits lower thanalign
(e.g.0b...111111111100000
).通过通过
!
运算符创建按位NOT
,我们得到一个数字,其中设置了除低于align
的位之外的所有位(例如0b...111111111100000
)。 -
By performing a bitwise
AND
on an address and!(align - 1)
, we align the address downwards . This works by clearing all the bits that are lower thanalign
.通过对地址和
!(align - 1)
执行按位AND
,我们将地址向下对齐。这是通过清除所有低于align
的位来实现的。 -
Since we want to align upwards instead of downwards, we increase the
addr
byalign - 1
before performing the bitwiseAND
. This way, already aligned addresses remain the same while non-aligned addresses are rounded to the next alignment boundary. -
由于我们想要向上而不是向下对齐,因此在执行按位
AND
之前,我们将addr
增加align - 1
。这样,已对齐的地址保持不变,而未对齐的地址则舍入到下一个对齐边界。
Which variant you choose is up to you. Both compute the same result, only using different methods.
您选择哪种方法取决于您。两者计算相同的结果,只是使用不同的方法。
2.4 Using It 使用它
To use the bump allocator instead of the linked_list_allocator
crate, we need to update the ALLOCATOR
static in allocator.rs
:
要使用bump 分配器而不是 linked_list_allocator
crate,我们需要更新 allocator.rs
中的 静态 ALLOCATOR
:
rust
// in src/allocator.rs
use bump::BumpAllocator;
#[global_allocator]
static ALLOCATOR: Locked<BumpAllocator> = Locked::new(BumpAllocator::new());
Here it becomes important that we declared BumpAllocator::new
and Locked::new
as const
functions. If they were normal functions, a compilation error would occur because the initialization expression of a static
must be evaluable at compile time.
在这里,我们将 BumpAllocator::new
和 Locked::new
声明为 const
函数变得很重要。如果它们是普通函数,则会发生编译错误,因为 static
的初始化表达式必须在编译时可计算。
We don't need to change the ALLOCATOR.lock().init(HEAP_START, HEAP_SIZE)
call in our init_heap
function because the bump allocator provides the same interface as the allocator provided by the linked_list_allocator
.
我们不需要更改 init_heap
函数中的 ALLOCATOR.lock().init(HEAP_START, HEAP_SIZE)
调用,因bump分配器提供与 linked_list_allocator
提供的分配器相同的接口。
Now our kernel uses our bump allocator! Everything should still work, including the heap_allocation
tests that we created in the previous post:
现在我们的内核使用我们的bump分配器!一切都应该仍然有效,包括我们在上一篇文章中创建的 heap_allocation
测试:
css
> cargo test --test heap_allocation
[...]
Running 3 tests
simple_allocation... [ok]
large_vec... [ok]
many_boxes... [ok]
2.5 Discussion 讨论
The big advantage of bump allocation is that it's very fast. Compared to other allocator designs (see below) that need to actively look for a fitting memory block and perform various bookkeeping tasks on alloc
and dealloc
, a bump allocator can be optimized to just a few assembly instructions. This makes bump allocators useful for optimizing the allocation performance, for example when creating a virtual DOM library.
bump分配的一大优点是速度非常快。与需要主动寻找合适的内存块并在 alloc
和 dealloc
上执行各种簿记任务的其他分配器设计(见下文)相比,bump分配器可以优化为仅一些组装说明。这使得bump分配器对于优化分配性能非常有用,例如在创建虚拟 DOM 库时。
While a bump allocator is seldom used as the global allocator, the principle of bump allocation is often applied in the form of arena allocation, which basically batches individual allocations together to improve performance. An example of an arena allocator for Rust is contained in the toolshed
crate.
虽然bump分配器很少用作全局分配器,但bump分配的原理通常以[竞技场分配]的形式应用,它基本上将各个分配批处理在一起以提高性能。 Rust 的 arena 分配器示例包含在 toolshed
箱中。
2.5.1 The Drawback of a Bump Allocator
Bump 分配器的缺点
The main limitation of a bump allocator is that it can only reuse deallocated memory after all allocations have been freed. This means that a single long-lived allocation suffices to prevent memory reuse. We can see this when we add a variation of the many_boxes
test:
Bump 分配器的主要限制是它只能在释放所有分配后重用已释放的内存。这意味着单个长期分配足以防止内存重用。当我们添加 many_boxes
测试的用例时,我们可以看到这一点:
rust
// in tests/heap_allocation.rs
#[test_case]
fn many_boxes_long_lived() {
let long_lived = Box::new(1); // new
for i in 0..HEAP_SIZE {
let x = Box::new(i);
assert_eq!(*x, i);
}
assert_eq!(*long_lived, 1); // new
}
Like the many_boxes
test, this test creates a large number of allocations to provoke an out-of-memory failure if the allocator does not reuse freed memory. Additionally, the test creates a long_lived
allocation, which lives for the whole loop execution.
与 many_boxes
测试类似,此测试会创建大量分配,如果分配器不重用已释放的内存,则会引发内存不足故障。此外,该测试还创建一个 long_lived
分配,该分配在整个循环执行期间都有效。
When we try to run our new test, we see that it indeed fails:
当我们尝试运行新测试时,我们发现它确实失败了:
rust
> cargo test --test heap_allocation
Running 4 tests
simple_allocation... [ok]
large_vec... [ok]
many_boxes... [ok]
many_boxes_long_lived... [failed]
Error: panicked at 'allocation error: Layout { size_: 8, align_: 8 }', src/lib.rs:86:5
Let's try to understand why this failure occurs in detail: First, the long_lived
allocation is created at the start of the heap, thereby increasing the allocations
counter by 1. For each iteration of the loop, a short-lived allocation is created and directly freed again before the next iteration starts. This means that the allocations
counter is temporarily increased to 2 at the beginning of an iteration and decreased to 1 at the end of it. The problem now is that the bump allocator can only reuse memory after all allocations have been freed, i.e., when the allocations
counter falls to 0. Since this doesn't happen before the end of the loop, each loop iteration allocates a new region of memory, leading to an out-of-memory error after a number of iterations.
让我们尝试详细了解为什么会发生此故障:首先, long_lived
分配是在堆的开头创建的,从而使 allocations
计数器增加 1。对于每次迭代循环中,会创建一个短期分配,并在下一次迭代开始之前再次直接释放。这意味着 allocations
计数器在迭代开始时暂时增加到 2,并在迭代结束时减少到 1。现在的问题是,Bump 分配器只能在所有分配都被释放后(即,当 allocations
计数器降至 0 时)才能重用内存。由于这不会在循环结束之前发生,因此每个循环迭代分配新的内存区域,在多次迭代后导致内存不足错误。
2.5.2 Fixing the Test? 修复测试?
There are two potential tricks that we could utilize to fix the test for our bump allocator:
我们可以利用两个潜在的技巧来修复Bump 分配器的测试:
-
We could update
dealloc
to check whether the freed allocation was the last allocation returned byalloc
by comparing its end address with thenext
pointer. In case they're equal, we can safely resetnext
back to the start address of the freed allocation. This way, each loop iteration reuses the same memory block.我们可以更新
dealloc
,通过将其结束地址与next
指针进行比较来检查释放的分配是否是alloc
返回的最后一个分配。如果它们相等,我们可以安全地将next
重置回已释放分配的起始地址。这样,每次循环迭代都会重用相同的内存块。 -
We could add an
alloc_back
method that allocates memory from the end of the heap using an additionalnext_back
field. Then we could manually use this allocation method for all long-lived allocations, thereby separating short-lived and long-lived allocations on the heap. Note that this separation only works if it's clear beforehand how long each allocation will live. Another drawback of this approach is that manually performing allocations is cumbersome and potentially unsafe.我们可以添加一个
alloc_back
方法,该方法使用附加的next_back
字段从堆末尾分配内存。然后我们可以手动对所有长期分配使用这种分配方法,从而将堆上的短期分配和长期分配分开。请注意,只有事先明确每个分配的生存时间,这种分离才有效。这种方法的另一个缺点是手动执行分配很麻烦并且可能不安全。
While both of these approaches work to fix the test, they are not a general solution since they are only able to reuse memory in very specific cases. The question is: Is there a general solution that reuses all freed memory?
虽然这两种方法都可以修复测试,但它们不是通用解决方案,因为它们只能在非常特定的情况下重用内存。问题是:是否有一个通用的解决方案可以重用所有已释放的内存?
2.5.3 Reusing All Freed Memory?
重用所有释放的内存?
As we learned in the previous post, allocations can live arbitrarily long and can be freed in an arbitrary order. This means that we need to keep track of a potentially unbounded number of non-continuous, unused memory regions, as illustrated by the following example:
正如我们在上一篇文章中了解到的,分配可以存在任意长的时间,并且可以按任意顺序释放。这意味着我们需要跟踪可能无限数量的非连续、未使用的内存区域,如下例所示:
The graphic shows the heap over the course of time. At the beginning, the complete heap is unused, and the next
address is equal to heap_start
(line 1). Then the first allocation occurs (line 2). In line 3, a second memory block is allocated and the first allocation is freed. Many more allocations are added in line 4. Half of them are very short-lived and already get freed in line 5, where another new allocation is also added.
该图显示了随时间变化的堆。一开始,完整的堆未被使用, next
地址等于 heap_start
(第1行)。然后发生第一次分配(第 2 行)。在第 3 行中,分配了第二个内存块,并释放了第一个分配的内存块。第 4 行中添加了更多分配。其中一半的分配非常短暂,并且已在第 5 行中释放,其中还添加了另一个新分配。
Line 5 shows the fundamental problem: We have five unused memory regions with different sizes, but the next
pointer can only point to the beginning of the last region. While we could store the start addresses and sizes of the other unused memory regions in an array of size 4 for this example, this isn't a general solution since we could easily create an example with 8, 16, or 1000 unused memory regions.
第 5 行显示了根本问题:我们有五个不同大小的未使用内存区域,但 next
指针只能指向最后一个区域的开头。虽然在此示例中我们可以将其他未使用内存区域的起始地址和大小存储在大小为 4 的数组中,但这不是通用解决方案,因为我们可以轻松创建具有 8、16 或 1000 个未使用内存区域的示例。
Normally, when we have a potentially unbounded number of items, we can just use a heap-allocated collection. This isn't really possible in our case, since the heap allocator can't depend on itself (it would cause endless recursion or deadlocks). So we need to find a different solution.
通常,当我们有可能无限数量的项目时,我们可以只使用堆分配的集合。在我们的例子中,这实际上是不可能的,因为堆分配器不能依赖于自身(这会导致无休止的递归或死锁)。所以我们需要找到不同的解决方案。
3. Linked List Allocator 链表分配器
A common trick to keep track of an arbitrary number of free memory areas when implementing allocators is to use these areas themselves as backing storage. This utilizes the fact that the regions are still mapped to a virtual address and backed by a physical frame, but the stored information is not needed anymore. By storing the information about the freed region in the region itself, we can keep track of an unbounded number of freed regions without needing additional memory.
在实现分配器时跟踪任意数量的空闲内存区域的常见技巧是使用这些区域本身作为后备存储。这利用了以下事实:区域仍然映射到虚拟地址并由物理页支持,但不再需要存储的信息。通过将有关已释放区域的信息存储在区域本身中,我们可以跟踪无限数量的已释放区域,而无需额外的内存。
The most common implementation approach is to construct a single linked list in the freed memory, with each node being a freed memory region:
最常见的实现方法是在释放的内存中构造一个单链表,每个节点都是一个释放的内存区域:
Each list node contains two fields: the size of the memory region and a pointer to the next unused memory region. With this approach, we only need a pointer to the first unused region (called head
) to keep track of all unused regions, regardless of their number. The resulting data structure is often called a free list.
每个列表节点包含两个字段:内存区域的大小和指向下一个未使用的内存区域的指针。通过这种方法,我们只需要一个指向第一个未使用区域(称为 head
)的指针来跟踪所有未使用区域,无论其数量如何。生成的数据结构通常称为空闲列表。
As you might guess from the name, this is the technique that the linked_list_allocator
crate uses. Allocators that use this technique are also often called pool allocators.
正如您可能从名称中猜到的,这是 linked_list_allocator
crate 使用的技术。使用这种技术的分配器通常也称为池分配器。
3.1 Implementation
In the following, we will create our own simple LinkedListAllocator
type that uses the above approach for keeping track of freed memory regions. This part of the post isn't required for future posts, so you can skip the implementation details if you like.
接下来,我们将创建自己的简单 LinkedListAllocator
类型,该类型使用上述方法来跟踪已释放的内存区域。以后的帖子不需要这部分内容,因此如果您愿意,可以跳过实现细节。
3.1.1 The Allocator Type 分配器类型
We start by creating a private ListNode
struct in a new allocator::linked_list
submodule:
我们首先在新的 allocator::linked_list
子模块中创建一个私有 ListNode
结构:
rust
// in src/allocator.rs
pub mod linked_list;
rust
// in src/allocator/linked_list.rs
struct ListNode {
size: usize,
next: Option<&'static mut ListNode>,
}
Like in the graphic, a list node has a size
field and an optional pointer to the next node, represented by the Option<&'static mut ListNode>
type. The &'static mut
type semantically describes an owned object behind a pointer. Basically, it's a Box
without a destructor that frees the object at the end of the scope.
如图所示,列表节点有一个 size
字段和一个指向下一个节点的可选指针,由 Option<&'static mut ListNode>
类型表示。 &'static mut
类型在语义上描述了指针背后的拥有对象。基本上,它是一个没有析构函数的 Box
,可以在作用域末尾释放对象。
We implement the following set of methods for ListNode
:
我们为 ListNode
实现以下一组方法:
rust
// in src/allocator/linked_list.rs
impl ListNode {
const fn new(size: usize) -> Self {
ListNode { size, next: None }
}
fn start_addr(&self) -> usize {
self as *const Self as usize
}
fn end_addr(&self) -> usize {
self.start_addr() + self.size
}
}
The type has a simple constructor function named new
and methods to calculate the start and end addresses of the represented region. We make the new
function a const function, which will be required later when constructing a static linked list allocator. Note that any use of mutable references in const functions (including setting the next
field to None
) is still unstable. In order to get it to compile, we need to add #![feature(const_mut_refs)]
to the beginning of our lib.rs
.
该类型有一个名为 new
的简单构造函数以及计算所表示区域的起始和结束地址的方法。我们将 new
函数设为 const 函数,稍后在构造静态链表分配器时将需要它。请注意,在 const 函数中使用可变引用(包括将 next
字段设置为 None
)仍然不稳定。为了让它编译,我们需要将 #![feature(const_mut_refs)]
添加到 lib.rs
的开头。
With the ListNode
struct as a building block, we can now create the LinkedListAllocator
struct:
使用 ListNode
结构作为构建块,我们现在可以创建 LinkedListAllocator
结构:
rust
// in src/allocator/linked_list.rs
pub struct LinkedListAllocator {
head: ListNode,
}
impl LinkedListAllocator {
/// Creates an empty LinkedListAllocator.
pub const fn new() -> Self {
Self {
head: ListNode::new(0),
}
}
/// Initialize the allocator with the given heap bounds.
///
/// This function is unsafe because the caller must guarantee that the given
/// heap bounds are valid and that the heap is unused. This method must be
/// called only once.
pub unsafe fn init(&mut self, heap_start: usize, heap_size: usize) {
self.add_free_region(heap_start, heap_size);
}
/// Adds the given memory region to the front of the list.
unsafe fn add_free_region(&mut self, addr: usize, size: usize) {
todo!();
}
}
The struct contains a head
node that points to the first heap region. We are only interested in the value of the next
pointer, so we set the size
to 0 in the ListNode::new
function. Making head
a ListNode
instead of just a &'static mut ListNode
has the advantage that the implementation of the alloc
method will be simpler.
该结构包含一个指向第一个堆区域的 head
节点。我们只对 next
指针的值感兴趣,因此我们在 ListNode::new
函数中将 size
设置为 0。将 head
设为 ListNode
而不仅仅是 &'static mut ListNode
的优点是 alloc
方法的实现会更简单。
Like for the bump allocator, the new
function doesn't initialize the allocator with the heap bounds. In addition to maintaining API compatibility, the reason is that the initialization routine requires writing a node to the heap memory, which can only happen at runtime. The new
function, however, needs to be a const
function that can be evaluated at compile time because it will be used for initializing the ALLOCATOR
static. For this reason, we again provide a separate, non-constant init
method.
与bump 分配器一样, new
函数不会使用堆边界初始化分配器。除了保持 API 兼容性之外,原因还在于初始化例程需要将节点写入堆内存,而这只能在运行时发生。但是, new
函数需要是可以在编译时计算的 const
函数,因为它将用于初始化 ALLOCATOR
静态。为此,我们再次提供一个单独的非常量 init
方法。
The init
method uses an add_free_region
method, whose implementation will be shown in a moment. For now, we use the todo!
macro to provide a placeholder implementation that always panics.
init
方法使用 add_free_region
方法,稍后将显示其实现。目前,我们使用 todo!
宏来提供一个始终会发生恐慌的占位符实现。
The add_free_region
Method add_free_region
方法
The add_free_region
method provides the fundamental push operation on the linked list. We currently only call this method from init
, but it will also be the central method in our dealloc
implementation. Remember, the dealloc
method is called when an allocated memory region is freed again. To keep track of this freed memory region, we want to push it to the linked list.
add_free_region
方法提供了链表上基本的推送操作。我们目前仅从 init
调用此方法,但它也将是我们 dealloc
实现中的核心方法。请记住,当再次释放已分配的内存区域时,将调用 dealloc
方法。为了跟踪这个已释放的内存区域,我们希望将其推送到链表中。
The implementation of the add_free_region
method looks like this:
add_free_region
方法的实现如下所示:
rust
// in src/allocator/linked_list.rs
use super::align_up;
use core::mem;
impl LinkedListAllocator {
/// Adds the given memory region to the front of the list.
unsafe fn add_free_region(&mut self, addr: usize, size: usize) {
// ensure that the freed region is capable of holding ListNode
assert_eq!(align_up(addr, mem::align_of::<ListNode>()), addr);
assert!(size >= mem::size_of::<ListNode>());
// create a new list node and append it at the start of the list
let mut node = ListNode::new(size);
node.next = self.head.next.take();
let node_ptr = addr as *mut ListNode;
node_ptr.write(node);
self.head.next = Some(&mut *node_ptr)
}
}
The method takes the address and size of a memory region as an argument and adds it to the front of the list. First, it ensures that the given region has the necessary size and alignment for storing a ListNode
. Then it creates the node and inserts it into the list through the following steps:
该方法将内存区域的地址和大小作为参数,并将其添加到列表的前面。首先,它确保给定区域具有存储 ListNode
所需的大小和对齐方式。然后它创建节点并将其插入到列表中,步骤如下:
Step 0 shows the state of the heap before add_free_region
is called. In step 1, the method is called with the memory region marked as freed
in the graphic. After the initial checks, the method creates a new node
on its stack with the size of the freed region. It then uses the Option::take
method to set the next
pointer of the node to the current head
pointer, thereby resetting the head
pointer to None
.
步骤 0 显示调用 add_free_region
之前堆的状态。在步骤 1 中,调用该方法时,内存区域在图形中标记为 freed
。初始检查后,该方法在其堆栈上创建一个新的 node
,其大小与已释放区域的大小相同。然后它使用 Option::take
方法将节点的 next
指针设置为当前的 head
指针,从而将 head
指针重置为 None
。
In step 2, the method writes the newly created node
to the beginning of the freed memory region through the write
method. It then points the head
pointer to the new node. The resulting pointer structure looks a bit chaotic because the freed region is always inserted at the beginning of the list, but if we follow the pointers, we see that each free region is still reachable from the head
pointer.
在步骤2中,该方法通过 write
方法将新创建的 node
写入到已释放的内存区域的开头。然后它将 head
指针指向新节点。生成的指针结构看起来有点混乱,因为释放的区域总是插入到列表的开头,但如果我们跟踪指针,我们会看到每个空闲区域仍然可以从 head
指针到达。
The find_region
Method find_region
方法
The second fundamental operation on a linked list is finding an entry and removing it from the list. This is the central operation needed for implementing the alloc
method. We implement the operation as a find_region
method in the following way:
链表上的第二个基本操作是查找条目并将其从链表中删除。这是实现 alloc
方法所需的核心操作。我们通过以下方式将操作实现为 find_region
方法:
rust
// in src/allocator/linked_list.rs
impl LinkedListAllocator {
/// Looks for a free region with the given size and alignment and removes
/// it from the list.
///
/// Returns a tuple of the list node and the start address of the allocation.
fn find_region(&mut self, size: usize, align: usize)
-> Option<(&'static mut ListNode, usize)>
{
// reference to current list node, updated for each iteration
let mut current = &mut self.head;
// look for a large enough memory region in linked list
while let Some(ref mut region) = current.next {
if let Ok(alloc_start) = Self::alloc_from_region(®ion, size, align) {
// region suitable for allocation -> remove node from list
let next = region.next.take();
let ret = Some((current.next.take().unwrap(), alloc_start));
current.next = next;
return ret;
} else {
// region not suitable -> continue with next region
current = current.next.as_mut().unwrap();
}
}
// no suitable region found
None
}
}
The method uses a current
variable and a while let
loop to iterate over the list elements. At the beginning, current
is set to the (dummy) head
node. On each iteration, it is then updated to the next
field of the current node (in the else
block). If the region is suitable for an allocation with the given size and alignment, the region is removed from the list and returned together with the alloc_start
address.
该方法使用 current
变量和 while let
循环来迭代列表元素。一开始, current
设置为(虚拟) head
节点。在每次迭代中,它都会更新为当前节点的 next
字段(在 else
块中)。如果该区域适合具有给定大小和对齐方式的分配,则该区域将从列表中删除并与 alloc_start
地址一起返回。
When the current.next
pointer becomes None
, the loop exits. This means we iterated over the whole list but found no region suitable for an allocation. In that case, we return None
. Whether a region is suitable is checked by the alloc_from_region
function, whose implementation will be shown in a moment.
当 current.next
指针变为 None
时,循环退出。这意味着我们迭代了整个列表,但没有发现适合分配的区域。在这种情况下,我们返回 None
。区域是否合适由 alloc_from_region
函数检查,其实现稍后将显示。
Let's take a more detailed look at how a suitable region is removed from the list:
让我们更详细地看看如何从列表中删除合适的区域:
Step 0 shows the situation before any pointer adjustments. The region
and current
regions and the region.next
and current.next
pointers are marked in the graphic. In step 1, both the region.next
and current.next
pointers are reset to None
by using the Option::take
method. The original pointers are stored in local variables called next
and ret
.
步骤 0 显示任何指针调整之前的情况。 region
和 current
区域以及 region.next
和 current.next
指针已在图形中标记。在步骤1中,使用 Option::take
方法将 region.next
和 current.next
指针重置为 None
。原始指针存储在名为 next
和 ret
的局部变量中。
In step 2, the current.next
pointer is set to the local next
pointer, which is the original region.next
pointer. The effect is that current
now directly points to the region after region
, so that region
is no longer an element of the linked list. The function then returns the pointer to region
stored in the local ret
variable.
在步骤2中, current.next
指针被设置为本地 next
指针,即原始的 region.next
指针。效果是 current
现在直接指向 region
之后的区域,因此 region
不再是链表的元素。然后,该函数返回指向存储在本地 ret
变量中的 region
的指针。
The alloc_from_region
Function alloc_from_region
函数
The alloc_from_region
function returns whether a region is suitable for an allocation with a given size and alignment. It is defined like this:
alloc_from_region
函数返回区域是否适合具有给定大小和对齐方式的分配。它的定义如下:
rust
// in src/allocator/linked_list.rs
impl LinkedListAllocator {
/// Try to use the given region for an allocation with given size and
/// alignment.
///
/// Returns the allocation start address on success.
fn alloc_from_region(region: &ListNode, size: usize, align: usize)
-> Result<usize, ()>
{
let alloc_start = align_up(region.start_addr(), align);
let alloc_end = alloc_start.checked_add(size).ok_or(())?;
if alloc_end > region.end_addr() {
// region too small
return Err(());
}
let excess_size = region.end_addr() - alloc_end;
if excess_size > 0 && excess_size < mem::size_of::<ListNode>() {
// rest of region too small to hold a ListNode (required because the
// allocation splits the region in a used and a free part)
return Err(());
}
// region suitable for allocation
Ok(alloc_start)
}
}
First, the function calculates the start and end address of a potential allocation, using the align_up
function we defined earlier and the checked_add
method. If an overflow occurs or if the end address is behind the end address of the region, the allocation doesn't fit in the region and we return an error.
首先,该函数使用我们之前定义的 align_up
函数和 checked_add
方法计算潜在分配的起始和结束地址。如果发生溢出或者结束地址位于区域的结束地址之后,则分配不适合该区域,我们将返回错误。
The function performs a less obvious check after that. This check is necessary because most of the time an allocation does not fit a suitable region perfectly, so that a part of the region remains usable after the allocation. This part of the region must store its own ListNode
after the allocation, so it must be large enough to do so. The check verifies exactly that: either the allocation fits perfectly (excess_size == 0
) or the excess size is large enough to store a ListNode
.
此后该函数执行不太明显的检查。此检查是必要的,因为大多数时候分配并不完全适合合适的区域,因此分配后该区域的一部分仍然可用。这部分区域在分配后必须存储自己的 ListNode
,因此它必须足够大才能这样做。检查准确地验证了:要么分配完全适合( excess_size == 0
),要么多余的大小足以存储 ListNode
。
Implementing GlobalAlloc
With the fundamental operations provided by the add_free_region
and find_region
methods, we can now finally implement the GlobalAlloc
trait. As with the bump allocator, we don't implement the trait directly for the LinkedListAllocator
but only for a wrapped Locked<LinkedListAllocator>
. The Locked
wrapper adds interior mutability through a spinlock, which allows us to modify the allocator instance even though the alloc
and dealloc
methods only take &self
references.
通过 add_free_region
和 find_region
方法提供的基本操作,我们现在终于可以实现 GlobalAlloc
特征了。与Bump分配器一样,我们不直接为 LinkedListAllocator
实现该特征,而仅为包装的 Locked<LinkedListAllocator>
实现该特征。 Locked
包装器通过自旋锁添加内部可变性,这允许我们修改分配器实例,即使 alloc
和 dealloc
方法仅采用 &self
The implementation looks like this:
实现如下所示:
rust
// in src/allocator/linked_list.rs
use super::Locked;
use alloc::alloc::{GlobalAlloc, Layout};
use core::ptr;
unsafe impl GlobalAlloc for Locked<LinkedListAllocator> {
unsafe fn alloc(&self, layout: Layout) -> *mut u8 {
// perform layout adjustments
let (size, align) = LinkedListAllocator::size_align(layout);
let mut allocator = self.lock();
if let Some((region, alloc_start)) = allocator.find_region(size, align) {
let alloc_end = alloc_start.checked_add(size).expect("overflow");
let excess_size = region.end_addr() - alloc_end;
if excess_size > 0 {
allocator.add_free_region(alloc_end, excess_size);
}
alloc_start as *mut u8
} else {
ptr::null_mut()
}
}
unsafe fn dealloc(&self, ptr: *mut u8, layout: Layout) {
// perform layout adjustments
let (size, _) = LinkedListAllocator::size_align(layout);
self.lock().add_free_region(ptr as usize, size)
}
}
Let's start with the dealloc
method because it is simpler: First, it performs some layout adjustments, which we will explain in a moment. Then, it retrieves a &mut LinkedListAllocator
reference by calling the Mutex::lock
function on the Locked
wrapper. Lastly, it calls the add_free_region
function to add the deallocated region to the free list.
让我们从 dealloc
方法开始,因为它更简单:首先,它执行一些布局调整,我们稍后将对此进行解释。然后,它通过调用 Locked
包装器上的 Mutex::lock
函数来检索 &mut LinkedListAllocator
引用。最后,它调用 add_free_region
函数将释放的区域添加到空闲列表中。
The alloc
method is a bit more complex. It starts with the same layout adjustments and also calls the Mutex::lock
function to receive a mutable allocator reference. Then it uses the find_region
method to find a suitable memory region for the allocation and remove it from the list. If this doesn't succeed and None
is returned, it returns null_mut
to signal an error as there is no suitable memory region.
alloc
方法有点复杂。它以相同的布局调整开始,并且还调用 Mutex::lock
函数来接收可变分配器引用。然后它使用 find_region
方法找到适合分配的内存区域并将其从列表中删除。如果此操作不成功并且返回 None
,则会返回 null_mut
以发出错误信号,因为没有合适的内存区域。
In the success case, the find_region
method returns a tuple of the suitable region (no longer in the list) and the start address of the allocation. Using alloc_start
, the allocation size, and the end address of the region, it calculates the end address of the allocation and the excess size again. If the excess size is not null, it calls add_free_region
to add the excess size of the memory region back to the free list. Finally, it returns the alloc_start
address casted as a *mut u8
pointer.
在成功的情况下, find_region
方法返回合适区域(不再在列表中)和分配的起始地址的元组。使用 alloc_start
、分配大小和区域的结束地址,它再次计算分配的结束地址和超出的大小。如果超出的大小不为空,则调用 add_free_region
将内存区域的超出的大小添加回空闲列表。最后,它返回转换为 *mut u8
指针的 alloc_start
地址。
Layout Adjustments
So what are these layout adjustments that we make at the beginning of both alloc
and dealloc
? They ensure that each allocated block is capable of storing a ListNode
. This is important because the memory block is going to be deallocated at some point, where we want to write a ListNode
to it. If the block is smaller than a ListNode
or does not have the correct alignment, undefined behavior can occur.
那么我们在 alloc
和 dealloc
开头进行的布局调整是什么呢?它们确保每个分配的块都能够存储 ListNode
。这很重要,因为内存块将在某个时刻被释放,此时我们要向其写入 ListNode
。如果块小于 ListNode
或没有正确对齐,则可能会发生未定义的行为。
The layout adjustments are performed by the size_align
function, which is defined like this:
布局调整由 size_align
函数执行,其定义如下:
rust
// in src/allocator/linked_list.rs
impl LinkedListAllocator {
/// Adjust the given layout so that the resulting allocated memory
/// region is also capable of storing a `ListNode`.
///
/// Returns the adjusted size and alignment as a (size, align) tuple.
fn size_align(layout: Layout) -> (usize, usize) {
let layout = layout
.align_to(mem::align_of::<ListNode>())
.expect("adjusting alignment failed")
.pad_to_align();
let size = layout.size().max(mem::size_of::<ListNode>());
(size, layout.align())
}
}
First, the function uses the align_to
method on the passed Layout
to increase the alignment to the alignment of a ListNode
if necessary. It then uses the pad_to_align
method to round up the size to a multiple of the alignment to ensure that the start address of the next memory block will have the correct alignment for storing a ListNode
too. In the second step, it uses the max
method to enforce a minimum allocation size of mem::size_of::<ListNode>
. This way, the dealloc
function can safely write a ListNode
to the freed memory block.
首先,如果需要,该函数会在传递的 Layout
上使用 align_to
方法将对齐方式增加到 ListNode
的对齐方式。然后,它使用 pad_to_align
方法将大小四舍五入为对齐方式的倍数,以确保下一个内存块的起始地址也将具有正确的对齐方式来存储 ListNode
。在第二步中,它使用 max
方法强制执行最小分配大小 mem::size_of::<ListNode>
。这样, dealloc
函数就可以安全地将 ListNode
写入已释放的内存块中。
3.2 Using it 使用它
We can now update the ALLOCATOR
static in the allocator
module to use our new LinkedListAllocator
:
我们现在可以更新 allocator
模块中的 ALLOCATOR
静态以使用新的 LinkedListAllocator
:
rust
// in src/allocator.rs
use linked_list::LinkedListAllocator;
#[global_allocator]
static ALLOCATOR: Locked<LinkedListAllocator> =
Locked::new(LinkedListAllocator::new());
Since the init
function behaves the same for the bump and linked list allocators, we don't need to modify the init
call in init_heap
.
由于 init
函数对于Bump分配器和链表分配器的行为相同,因此我们不需要修改 init_heap
中的 init
调用。
When we now run our heap_allocation
tests again, we see that all tests pass now, including the many_boxes_long_lived
test that failed with the bump allocator:
当我们现在再次运行 heap_allocation
测试时,我们看到所有测试现在都通过了,包括因Bump分配器而失败的 many_boxes_long_lived
测试:
css
> cargo test --test heap_allocation
simple_allocation... [ok]
large_vec... [ok]
many_boxes... [ok]
many_boxes_long_lived... [ok]
This shows that our linked list allocator is able to reuse freed memory for subsequent allocations.
这表明我们的链表分配器能够重用释放的内存进行后续分配。
3.3 Discussion 讨论
In contrast to the bump allocator, the linked list allocator is much more suitable as a general-purpose allocator, mainly because it is able to directly reuse freed memory. However, it also has some drawbacks. Some of them are only caused by our basic implementation, but there are also fundamental drawbacks of the allocator design itself.
与Bump分配器相比,链表分配器更适合作为通用分配器,主要是因为它能够直接重用释放的内存。然而,它也有一些缺点。其中一些只是由我们的基本实现引起的,但分配器设计本身也存在根本缺陷。
Merging Freed Blocks 合并释放的块
The main problem with our implementation is that it only splits the heap into smaller blocks but never merges them back together. Consider this example:
我们的实现的主要问题是它只将堆分割成更小的块,但从不将它们合并在一起。考虑这个例子:
In the first line, three allocations are created on the heap. Two of them are freed again in line 2 and the third is freed in line 3. Now the complete heap is unused again, but it is still split into four individual blocks. At this point, a large allocation might not be possible anymore because none of the four blocks is large enough. Over time, the process continues, and the heap is split into smaller and smaller blocks. At some point, the heap is so fragmented that even normal sized allocations will fail.
在第一行中,在堆上创建了三个分配。其中两个在第 2 行中再次释放,第三个在第 3 行中释放。现在完整的堆再次未使用,但它仍然分为四个单独的块。此时,可能不再可能进行大的分配,因为四个块都不够大。随着时间的推移,该过程继续进行,堆被分成越来越小的块。在某些时候,堆碎片如此之多,甚至正常大小的分配也会失败。
To fix this problem, we need to merge adjacent freed blocks back together. For the above example, this would mean the following:
为了解决这个问题,我们需要将相邻的释放块重新合并在一起。对于上面的例子,这意味着:
Like before, two of the three allocations are freed in line 2
. Instead of keeping the fragmented heap, we now perform an additional step in line 2a
to merge the two rightmost blocks back together. In line 3
, the third allocation is freed (like before), resulting in a completely unused heap represented by three distinct blocks. In an additional merging step in line 3a
, we then merge the three adjacent blocks back together.
与之前一样,三个分配中的两个在 2
行中被释放。现在,我们不再保留碎片堆,而是在 2a
行中执行一个附加步骤,将两个最右边的块重新合并在一起。在 3
行中,第三个分配被释放(像以前一样),导致完全未使用的堆由三个不同的块表示。在 3a
行的附加合并步骤中,我们将三个相邻的块重新合并在一起。
The linked_list_allocator
crate implements this merging strategy in the following way: Instead of inserting freed memory blocks at the beginning of the linked list on deallocate
, it always keeps the list sorted by start address. This way, merging can be performed directly on the deallocate
call by examining the addresses and sizes of the two neighboring blocks in the list. Of course, the deallocation operation is slower this way, but it prevents the heap fragmentation we saw above.
linked_list_allocator
箱通过以下方式实现此合并策略:它始终保持列表按起始地址排序,而不是在 deallocate
上的链接列表的开头插入已释放的内存块。这样,通过检查列表中两个相邻块的地址和大小,可以直接在 deallocate
调用上执行合并。当然,这种方式的释放操作会比较慢,但它可以防止我们上面看到的堆碎片。
Performance 表现
As we learned above, the bump allocator is extremely fast and can be optimized to just a few assembly operations. The linked list allocator performs much worse in this category. The problem is that an allocation request might need to traverse the complete linked list until it finds a suitable block.
正如我们在上面了解到的,Bump分配器速度非常快,并且可以针对少量装配操作进行优化。链表分配器在这一类别中的表现要差得多。问题是分配请求可能需要遍历完整的链表,直到找到合适的块。
Since the list length depends on the number of unused memory blocks, the performance can vary extremely for different programs. A program that only creates a couple of allocations will experience relatively fast allocation performance. For a program that fragments the heap with many allocations, however, the allocation performance will be very bad because the linked list will be very long and mostly contain very small blocks.
由于列表长度取决于未使用的内存块的数量,因此不同程序的性能可能会有很大差异。仅创建几个分配的程序将体验相对较快的分配性能。然而,对于通过多次分配对堆进行碎片化的程序,分配性能将非常糟糕,因为链表将非常长并且大部分包含非常小的块。
It's worth noting that this performance issue isn't a problem caused by our basic implementation but a fundamental problem of the linked list approach. Since allocation performance can be very important for kernel-level code, we explore a third allocator design in the following that trades improved performance for reduced memory utilization.
值得注意的是,这个性能问题不是我们的基本实现引起的问题,而是链表方法的根本问题。由于分配性能对于内核级代码非常重要,因此我们在下面探讨了第三种分配器设计,该设计以提高性能来降低内存利用率。