pub struct Table { /* private fields */ }
Expand description

The Table type is designed to map u32 handles to resources. The table is now part of the public interface to a WasiCtx - it is reference counted so that it can be shared beyond a WasiCtx with other WASI proposals (e.g. wasi-crypto and wasi-nn) to manage their resources. Elements in the Table are Any typed.

The Table type is intended to model how the Interface Types concept of Resources is shaping up. Right now it is just an approximation.

Implementations§

source§

impl Table

source

pub fn new() -> Self

Create an empty table

source

pub fn with_capacity(capacity: usize) -> Self

Create an empty table with at least the specified capacity.

source

pub fn push<T>(&mut self, entry: T) -> Result<Resource<T>, TableError>
where T: Send + Sync + 'static,

Inserts a new value T into this table, returning a corresponding Resource<T> which can be used to refer to it after it was inserted.

source

pub fn push_child<T, U>( &mut self, entry: T, parent: &Resource<U> ) -> Result<Resource<T>, TableError>
where T: Send + Sync + 'static, U: 'static,

Insert a resource at the next available index, and track that it has a parent resource.

The parent must exist to create a child. All children resources must be destroyed before a parent can be destroyed - otherwise Table::delete will fail with TableError::HasChildren.

Parent-child relationships are tracked inside the table to ensure that a parent resource is not deleted while it has live children. This allows child resources to hold “references” to a parent by table index, to avoid needing e.g. an Arc<Mutex<parent>> and the associated locking overhead and design issues, such as child existence extending lifetime of parent referent even after parent resource is destroyed, possibility for deadlocks.

Parent-child relationships may not be modified once created. There is no way to observe these relationships through the Table methods except for erroring on deletion, or the std::fmt::Debug impl.

source

pub fn get<T: Any + Sized>(&self, key: &Resource<T>) -> Result<&T, TableError>

Get an immutable reference to a resource of a given type at a given index.

Multiple shared references can be borrowed at any given time.

source

pub fn get_mut<T: Any + Sized>( &mut self, key: &Resource<T> ) -> Result<&mut T, TableError>

Get an mutable reference to a resource of a given type at a given index.

source

pub fn get_any_mut(&mut self, key: u32) -> Result<&mut dyn Any, TableError>

Returns the raw Any at the key index provided.

source

pub fn delete<T>(&mut self, resource: Resource<T>) -> Result<T, TableError>
where T: Any,

Same as delete, but typed

source

pub fn iter_entries<'a, T>( &'a mut self, map: HashMap<u32, T> ) -> impl Iterator<Item = (Result<&'a mut dyn Any, TableError>, T)>

Zip the values of the map with mutable references to table entries corresponding to each key. As the keys in the HashMap are unique, this iterator can give mutable references with the same lifetime as the mutable reference to the Table.

source

pub fn iter_children<T>( &self, parent: &Resource<T> ) -> Result<impl Iterator<Item = &(dyn Any + Send + Sync)>, TableError>
where T: 'static,

Iterate over all children belonging to the provided parent

Trait Implementations§

source§

impl Debug for Table

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Default for Table

source§

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

§

impl !RefUnwindSafe for Table

§

impl Send for Table

§

impl Sync for Table

§

impl Unpin for Table

§

impl !UnwindSafe for Table

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> GetSetFdFlags for T

source§

fn get_fd_flags(&self) -> Result<FdFlags, Error>
where T: AsFilelike,

Query the “status” flags for the self file descriptor.
source§

fn new_set_fd_flags(&self, fd_flags: FdFlags) -> Result<SetFdFlags<T>, Error>
where T: AsFilelike,

Create a new SetFdFlags value for use with set_fd_flags. Read more
source§

fn set_fd_flags(&mut self, set_fd_flags: SetFdFlags<T>) -> Result<(), Error>
where T: AsFilelike,

Set the “status” flags for the self file descriptor. Read more
source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Pointee for T

§

type Pointer = u32

source§

fn debug( pointer: <T as Pointee>::Pointer, f: &mut Formatter<'_> ) -> Result<(), Error>

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more