Struct wiggle::BorrowChecker

pub struct BorrowChecker { /* fields omitted */ }

Implementations

impl BorrowChecker

pub unsafe fn new() -> Self

A BorrowChecker manages run-time validation of borrows from a GuestMemory. It keeps track of regions of guest memory which are possible to alias with Rust references (via the GuestSlice and GuestStr structs, which implement std::ops::Deref and std::ops::DerefMut. It also enforces that GuestPtr::read and GuestPtr::write do not access memory with an outstanding borrow. The safety of this mechanism depends on creating exactly one BorrowChecker per WebAssembly memory. There must be no other reads or writes of WebAssembly the memory by either Rust or WebAssembly code while there are any outstanding borrows, as given by BorrowChecker::has_outstanding_borrows().

pub fn has_outstanding_borrows(&self) -> bool

Indicates whether any outstanding borrows are known to the BorrowChecker. 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.