Struct wasmtime_wiggle::WasmtimeGuestMemory

pub struct WasmtimeGuestMemory { /* fields omitted */ }

Lightweight wasmtime::Memory wrapper so we can implement the wiggle::GuestMemory trait on it.

Implementations

impl WasmtimeGuestMemory

pub fn new(mem: Memory) -> Self

Trait Implementations

impl GuestMemory for WasmtimeGuestMemory

fn base(&self) -> (*mut u8, u32)

Returns the base allocation of this guest memory, located in host memory.

fn has_outstanding_borrows(&self) -> bool

Indicates whether any outstanding borrows are known to the GuestMemory. This function must be false in order for it to be safe to recursively call into a WebAssembly module, or to manipulate the WebAssembly memory by any other means.

fn is_borrowed(&self, r: Region) -> bool

Check if a region of linear memory is borrowed. This is called during any GuestPtr::read or GuestPtr::write operation to ensure that wiggle is not reading or writing a region of memory which Rust believes it has exclusive access to.

fn borrow(&self, r: Region) -> Result<BorrowHandle, GuestError>

Borrow a region of linear memory. This is used when constructing a GuestSlice or GuestStr. Those types will give Rust &mut access to the region of linear memory, therefore, the GuestMemory impl must guarantee that at most one BorrowHandle is issued to a given region, GuestMemory::has_outstanding_borrows is true for the duration of the borrow, and that GuestMemory::is_borrowed of any overlapping region is false for the duration of the borrow.

fn unborrow(&self, h: BorrowHandle)

Unborrow a previously borrowed region. As long as GuestSlice and GuestStr are implemented correctly, a BorrowHandle should only be unborrowed once.

fn validate_size_align(
    &self,
    offset: u32,
    align: usize,
    len: u32
) -> Result<*mut u8, GuestError>

Validates a guest-relative pointer given various attributes, and returns the corresponding host pointer.

fn ptr<T>(&'a self, offset: <T as Pointee>::Pointer) -> GuestPtr<'a, T> where
    T: Pointee + ?Sized, 

Convenience method for creating a GuestPtr at a particular offset.