mirror of
https://github.com/mii443/wasmer.git
synced 2025-12-07 05:08:19 +00:00
416 lines
15 KiB
Rust
416 lines
15 KiB
Rust
// This file contains code from external sources.
|
|
// Attributions: https://github.com/wasmerio/wasmer/blob/master/ATTRIBUTIONS.md
|
|
|
|
//! Memory management for linear memories.
|
|
//!
|
|
//! `LinearMemory` is to WebAssembly linear memories what `Table` is to WebAssembly tables.
|
|
|
|
use crate::mmap::Mmap;
|
|
use crate::vmcontext::VMMemoryDefinition;
|
|
use more_asserts::assert_ge;
|
|
use serde::{Deserialize, Serialize};
|
|
use std::borrow::BorrowMut;
|
|
use std::cell::UnsafeCell;
|
|
use std::convert::TryInto;
|
|
use std::fmt;
|
|
use std::ptr::NonNull;
|
|
use std::sync::Mutex;
|
|
use thiserror::Error;
|
|
use wasmer_types::{Bytes, MemoryType, Pages};
|
|
use rkyv::{Serialize as RkyvSerialize, Deserialize as RkyvDeserialize, Archive};
|
|
|
|
/// Error type describing things that can go wrong when operating on Wasm Memories.
|
|
#[derive(Error, Debug, Clone, PartialEq, Hash)]
|
|
pub enum MemoryError {
|
|
/// Low level error with mmap.
|
|
#[error("Error when allocating memory: {0}")]
|
|
Region(String),
|
|
/// The operation would cause the size of the memory to exceed the maximum or would cause
|
|
/// an overflow leading to unindexable memory.
|
|
#[error("The memory could not grow: current size {} pages, requested increase: {} pages", current.0, attempted_delta.0)]
|
|
CouldNotGrow {
|
|
/// The current size in pages.
|
|
current: Pages,
|
|
/// The attempted amount to grow by in pages.
|
|
attempted_delta: Pages,
|
|
},
|
|
/// The operation would cause the size of the memory size exceed the maximum.
|
|
#[error("The memory is invalid because {}", reason)]
|
|
InvalidMemory {
|
|
/// The reason why the provided memory is invalid.
|
|
reason: String,
|
|
},
|
|
/// Caller asked for more minimum memory than we can give them.
|
|
#[error("The minimum requested ({} pages) memory is greater than the maximum allowed memory ({} pages)", min_requested.0, max_allowed.0)]
|
|
MinimumMemoryTooLarge {
|
|
/// The number of pages requested as the minimum amount of memory.
|
|
min_requested: Pages,
|
|
/// The maximum amount of memory we can allocate.
|
|
max_allowed: Pages,
|
|
},
|
|
/// Caller asked for a maximum memory greater than we can give them.
|
|
#[error("The maximum requested memory ({} pages) is greater than the maximum allowed memory ({} pages)", max_requested.0, max_allowed.0)]
|
|
MaximumMemoryTooLarge {
|
|
/// The number of pages requested as the maximum amount of memory.
|
|
max_requested: Pages,
|
|
/// The number of pages requested as the maximum amount of memory.
|
|
max_allowed: Pages,
|
|
},
|
|
/// A user defined error value, used for error cases not listed above.
|
|
#[error("A user-defined error occurred: {0}")]
|
|
Generic(String),
|
|
}
|
|
|
|
/// Implementation styles for WebAssembly linear memory.
|
|
#[derive(Debug, Clone, PartialEq, Eq, Hash, Serialize, Deserialize, RkyvSerialize, RkyvDeserialize, Archive)]
|
|
pub enum MemoryStyle {
|
|
/// The actual memory can be resized and moved.
|
|
Dynamic {
|
|
/// Our chosen offset-guard size.
|
|
///
|
|
/// It represents the size in bytes of extra guard pages after the end
|
|
/// to optimize loads and stores with constant offsets.
|
|
offset_guard_size: u64,
|
|
},
|
|
/// Address space is allocated up front.
|
|
Static {
|
|
/// The number of mapped and unmapped pages.
|
|
bound: Pages,
|
|
/// Our chosen offset-guard size.
|
|
///
|
|
/// It represents the size in bytes of extra guard pages after the end
|
|
/// to optimize loads and stores with constant offsets.
|
|
offset_guard_size: u64,
|
|
},
|
|
}
|
|
|
|
impl MemoryStyle {
|
|
/// Returns the offset-guard size
|
|
pub fn offset_guard_size(&self) -> u64 {
|
|
match self {
|
|
Self::Dynamic { offset_guard_size } => *offset_guard_size,
|
|
Self::Static {
|
|
offset_guard_size, ..
|
|
} => *offset_guard_size,
|
|
}
|
|
}
|
|
}
|
|
|
|
/// Trait for implementing Wasm Memory used by Wasmer.
|
|
pub trait Memory: fmt::Debug + Send + Sync {
|
|
/// Returns the memory type for this memory.
|
|
fn ty(&self) -> &MemoryType;
|
|
|
|
/// Returns the memory style for this memory.
|
|
fn style(&self) -> &MemoryStyle;
|
|
|
|
/// Returns the number of allocated wasm pages.
|
|
fn size(&self) -> Pages;
|
|
|
|
/// Grow memory by the specified amount of wasm pages.
|
|
fn grow(&self, delta: Pages) -> Result<Pages, MemoryError>;
|
|
|
|
/// Return a [`VMMemoryDefinition`] for exposing the memory to compiled wasm code.
|
|
///
|
|
/// The pointer returned in [`VMMemoryDefinition`] must be valid for the lifetime of this memory.
|
|
fn vmmemory(&self) -> NonNull<VMMemoryDefinition>;
|
|
}
|
|
|
|
/// A linear memory instance.
|
|
#[derive(Debug)]
|
|
pub struct LinearMemory {
|
|
// The underlying allocation.
|
|
mmap: Mutex<WasmMmap>,
|
|
|
|
// The optional maximum size in wasm pages of this linear memory.
|
|
maximum: Option<Pages>,
|
|
|
|
/// The WebAssembly linear memory description.
|
|
memory: MemoryType,
|
|
|
|
/// Our chosen implementation style.
|
|
style: MemoryStyle,
|
|
|
|
// Size in bytes of extra guard pages after the end to optimize loads and stores with
|
|
// constant offsets.
|
|
offset_guard_size: usize,
|
|
|
|
/// The owned memory definition used by the generated code
|
|
vm_memory_definition: VMMemoryDefinitionOwnership,
|
|
|
|
// Records whether we're using a bounds-checking strategy which requires
|
|
// handlers to catch trapping accesses.
|
|
pub(crate) needs_signal_handlers: bool,
|
|
}
|
|
|
|
/// A type to help manage who is responsible for the backing memory of them
|
|
/// `VMMemoryDefinition`.
|
|
#[derive(Debug)]
|
|
enum VMMemoryDefinitionOwnership {
|
|
/// The `VMMemoryDefinition` is owned by the `Instance` and we should use
|
|
/// its memory. This is how a local memory that's exported should be stored.
|
|
VMOwned(NonNull<VMMemoryDefinition>),
|
|
/// The `VMMemoryDefinition` is owned by the host and we should manage its
|
|
/// memory. This is how an imported memory that doesn't come from another
|
|
/// Wasm module should be stored.
|
|
HostOwned(Box<UnsafeCell<VMMemoryDefinition>>),
|
|
}
|
|
|
|
/// We must implement this because of `VMMemoryDefinitionOwnership::VMOwned`.
|
|
/// This is correct because synchronization of memory accesses is controlled
|
|
/// by the VM.
|
|
// REVIEW: I don't believe ^; this probably shouldn't be `Send`...
|
|
// mutations from other threads into this data could be a problem, but we probably
|
|
// don't want to use atomics for this in the generated code.
|
|
// TODO:
|
|
unsafe impl Send for LinearMemory {}
|
|
|
|
/// This is correct because all internal mutability is protected by a mutex.
|
|
unsafe impl Sync for LinearMemory {}
|
|
|
|
#[derive(Debug)]
|
|
struct WasmMmap {
|
|
// Our OS allocation of mmap'd memory.
|
|
alloc: Mmap,
|
|
// The current logical size in wasm pages of this linear memory.
|
|
size: Pages,
|
|
}
|
|
|
|
impl LinearMemory {
|
|
/// Create a new linear memory instance with specified minimum and maximum number of wasm pages.
|
|
///
|
|
/// This creates a `LinearMemory` with owned metadata: this can be used to create a memory
|
|
/// that will be imported into Wasm modules.
|
|
pub fn new(memory: &MemoryType, style: &MemoryStyle) -> Result<Self, MemoryError> {
|
|
unsafe { Self::new_internal(memory, style, None) }
|
|
}
|
|
|
|
/// Create a new linear memory instance with specified minimum and maximum number of wasm pages.
|
|
///
|
|
/// This creates a `LinearMemory` with metadata owned by a VM, pointed to by
|
|
/// `vm_memory_location`: this can be used to create a local memory.
|
|
///
|
|
/// # Safety
|
|
/// - `vm_memory_location` must point to a valid location in VM memory.
|
|
pub unsafe fn from_definition(
|
|
memory: &MemoryType,
|
|
style: &MemoryStyle,
|
|
vm_memory_location: NonNull<VMMemoryDefinition>,
|
|
) -> Result<Self, MemoryError> {
|
|
Self::new_internal(memory, style, Some(vm_memory_location))
|
|
}
|
|
|
|
/// Build a `LinearMemory` with either self-owned or VM owned metadata.
|
|
unsafe fn new_internal(
|
|
memory: &MemoryType,
|
|
style: &MemoryStyle,
|
|
vm_memory_location: Option<NonNull<VMMemoryDefinition>>,
|
|
) -> Result<Self, MemoryError> {
|
|
if memory.minimum > Pages::max_value() {
|
|
return Err(MemoryError::MinimumMemoryTooLarge {
|
|
min_requested: memory.minimum,
|
|
max_allowed: Pages::max_value(),
|
|
});
|
|
}
|
|
// `maximum` cannot be set to more than `65536` pages.
|
|
if let Some(max) = memory.maximum {
|
|
if max > Pages::max_value() {
|
|
return Err(MemoryError::MaximumMemoryTooLarge {
|
|
max_requested: max,
|
|
max_allowed: Pages::max_value(),
|
|
});
|
|
}
|
|
if max < memory.minimum {
|
|
return Err(MemoryError::InvalidMemory {
|
|
reason: format!(
|
|
"the maximum ({} pages) is less than the minimum ({} pages)",
|
|
max.0, memory.minimum.0
|
|
),
|
|
});
|
|
}
|
|
}
|
|
|
|
let offset_guard_bytes = style.offset_guard_size() as usize;
|
|
|
|
// If we have an offset guard, or if we're doing the static memory
|
|
// allocation strategy, we need signal handlers to catch out of bounds
|
|
// acceses.
|
|
let needs_signal_handlers = offset_guard_bytes > 0
|
|
|| match style {
|
|
MemoryStyle::Dynamic { .. } => false,
|
|
MemoryStyle::Static { .. } => true,
|
|
};
|
|
|
|
let minimum_pages = match style {
|
|
MemoryStyle::Dynamic { .. } => memory.minimum,
|
|
MemoryStyle::Static { bound, .. } => {
|
|
assert_ge!(*bound, memory.minimum);
|
|
*bound
|
|
}
|
|
};
|
|
let minimum_bytes = minimum_pages.bytes().0;
|
|
let request_bytes = minimum_bytes.checked_add(offset_guard_bytes).unwrap();
|
|
let mapped_pages = memory.minimum;
|
|
let mapped_bytes = mapped_pages.bytes();
|
|
|
|
let mut mmap = WasmMmap {
|
|
alloc: Mmap::accessible_reserved(mapped_bytes.0, request_bytes)
|
|
.map_err(MemoryError::Region)?,
|
|
size: memory.minimum,
|
|
};
|
|
|
|
let base_ptr = mmap.alloc.as_mut_ptr();
|
|
let mem_length = memory.minimum.bytes().0.try_into().unwrap();
|
|
Ok(Self {
|
|
mmap: Mutex::new(mmap),
|
|
maximum: memory.maximum,
|
|
offset_guard_size: offset_guard_bytes,
|
|
needs_signal_handlers,
|
|
vm_memory_definition: if let Some(mem_loc) = vm_memory_location {
|
|
{
|
|
let mut ptr = mem_loc;
|
|
let md = ptr.as_mut();
|
|
md.base = base_ptr;
|
|
md.current_length = mem_length;
|
|
}
|
|
VMMemoryDefinitionOwnership::VMOwned(mem_loc)
|
|
} else {
|
|
VMMemoryDefinitionOwnership::HostOwned(Box::new(UnsafeCell::new(
|
|
VMMemoryDefinition {
|
|
base: base_ptr,
|
|
current_length: mem_length,
|
|
},
|
|
)))
|
|
},
|
|
memory: *memory,
|
|
style: style.clone(),
|
|
})
|
|
}
|
|
|
|
/// Get the `VMMemoryDefinition`.
|
|
///
|
|
/// # Safety
|
|
/// - You must ensure that you have mutually exclusive access before calling
|
|
/// this function. You can get this by locking the `mmap` mutex.
|
|
unsafe fn get_vm_memory_definition(&self) -> NonNull<VMMemoryDefinition> {
|
|
match &self.vm_memory_definition {
|
|
VMMemoryDefinitionOwnership::VMOwned(ptr) => *ptr,
|
|
VMMemoryDefinitionOwnership::HostOwned(boxed_ptr) => {
|
|
NonNull::new_unchecked(boxed_ptr.get())
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
impl Memory for LinearMemory {
|
|
/// Returns the type for this memory.
|
|
fn ty(&self) -> &MemoryType {
|
|
&self.memory
|
|
}
|
|
|
|
/// Returns the memory style for this memory.
|
|
fn style(&self) -> &MemoryStyle {
|
|
&self.style
|
|
}
|
|
|
|
/// Returns the number of allocated wasm pages.
|
|
fn size(&self) -> Pages {
|
|
// TODO: investigate this function for race conditions
|
|
unsafe {
|
|
let md_ptr = self.get_vm_memory_definition();
|
|
let md = md_ptr.as_ref();
|
|
Bytes::from(md.current_length).try_into().unwrap()
|
|
}
|
|
}
|
|
|
|
/// Grow memory by the specified amount of wasm pages.
|
|
///
|
|
/// Returns `None` if memory can't be grown by the specified amount
|
|
/// of wasm pages.
|
|
fn grow(&self, delta: Pages) -> Result<Pages, MemoryError> {
|
|
let mut mmap_guard = self.mmap.lock().unwrap();
|
|
let mmap = mmap_guard.borrow_mut();
|
|
// Optimization of memory.grow 0 calls.
|
|
if delta.0 == 0 {
|
|
return Ok(mmap.size);
|
|
}
|
|
|
|
let new_pages = mmap
|
|
.size
|
|
.checked_add(delta)
|
|
.ok_or(MemoryError::CouldNotGrow {
|
|
current: mmap.size,
|
|
attempted_delta: delta,
|
|
})?;
|
|
let prev_pages = mmap.size;
|
|
|
|
if let Some(maximum) = self.maximum {
|
|
if new_pages > maximum {
|
|
return Err(MemoryError::CouldNotGrow {
|
|
current: mmap.size,
|
|
attempted_delta: delta,
|
|
});
|
|
}
|
|
}
|
|
|
|
// Wasm linear memories are never allowed to grow beyond what is
|
|
// indexable. If the memory has no maximum, enforce the greatest
|
|
// limit here.
|
|
if new_pages >= Pages::max_value() {
|
|
// Linear memory size would exceed the index range.
|
|
return Err(MemoryError::CouldNotGrow {
|
|
current: mmap.size,
|
|
attempted_delta: delta,
|
|
});
|
|
}
|
|
|
|
let delta_bytes = delta.bytes().0;
|
|
let prev_bytes = prev_pages.bytes().0;
|
|
let new_bytes = new_pages.bytes().0;
|
|
|
|
if new_bytes > mmap.alloc.len() - self.offset_guard_size {
|
|
// If the new size is within the declared maximum, but needs more memory than we
|
|
// have on hand, it's a dynamic heap and it can move.
|
|
let guard_bytes = self.offset_guard_size;
|
|
let request_bytes =
|
|
new_bytes
|
|
.checked_add(guard_bytes)
|
|
.ok_or_else(|| MemoryError::CouldNotGrow {
|
|
current: new_pages,
|
|
attempted_delta: Bytes(guard_bytes).try_into().unwrap(),
|
|
})?;
|
|
|
|
let mut new_mmap =
|
|
Mmap::accessible_reserved(new_bytes, request_bytes).map_err(MemoryError::Region)?;
|
|
|
|
let copy_len = mmap.alloc.len() - self.offset_guard_size;
|
|
new_mmap.as_mut_slice()[..copy_len].copy_from_slice(&mmap.alloc.as_slice()[..copy_len]);
|
|
|
|
mmap.alloc = new_mmap;
|
|
} else if delta_bytes > 0 {
|
|
// Make the newly allocated pages accessible.
|
|
mmap.alloc
|
|
.make_accessible(prev_bytes, delta_bytes)
|
|
.map_err(MemoryError::Region)?;
|
|
}
|
|
|
|
mmap.size = new_pages;
|
|
|
|
// update memory definition
|
|
unsafe {
|
|
let mut md_ptr = self.get_vm_memory_definition();
|
|
let md = md_ptr.as_mut();
|
|
md.current_length = new_pages.bytes().0.try_into().unwrap();
|
|
md.base = mmap.alloc.as_mut_ptr() as _;
|
|
}
|
|
|
|
Ok(prev_pages)
|
|
}
|
|
|
|
/// Return a `VMMemoryDefinition` for exposing the memory to compiled wasm code.
|
|
fn vmmemory(&self) -> NonNull<VMMemoryDefinition> {
|
|
let _mmap_guard = self.mmap.lock().unwrap();
|
|
unsafe { self.get_vm_memory_definition() }
|
|
}
|
|
}
|