Skip to main content

Registry

Struct Registry 

Source
pub struct Registry { /* private fields */ }
Expand description

Collection of available and currently leased physical resource groups.

Registry queries only count currently available groups. A group remains in the registry while leased, but none of its capabilities can be acquired until its ResourceLease is returned.

Implementations§

Source§

impl Registry

Source

pub fn new() -> Self

Creates an empty registry with a unique identity.

The identity prevents a lease from accidentally being returned to a different registry.

Source

pub fn register<T: 'static + Send>( &mut self, slot: ModuleSlot, module_id: ModuleID, resource: T, )

Registers a module resource as a single-capability physical group.

Source

pub fn register_group<C: ResourceGroupCapabilities>( &mut self, slot: ModuleSlot, module_id: ModuleID, capabilities: C, ) -> Result<(), RegistryError>

Registers several logical capabilities backed by one physical module resource.

§Errors

Returns RegistryError::DuplicateCapability if the tuple contains a concrete capability type more than once.

Source

pub fn register_local_group<C: ResourceGroupCapabilities>( &mut self, slot: ModuleSlot, module_id: ModuleID, local_id: u16, capabilities: C, ) -> Result<(), RegistryError>

Registers a physical module group with a stable driver-defined local ID.

Local IDs only need to be unique within a module slot. They are useful when an app needs to correlate capabilities across boots.

§Errors

Returns RegistryError::DuplicateCapability for duplicate capability types or RegistryError::DuplicateResourceId when local_id is already registered for slot.

Source

pub fn register_groups<G: ResourceGroups>( &mut self, slot: ModuleSlot, module_id: ModuleID, groups: G, ) -> Result<(), RegistryError>

Atomically registers several physical groups from one module.

§Errors

Returns RegistryError::DuplicateCapability if any group repeats a concrete capability type.

Source

pub fn register_platform<T: 'static + Send>(&mut self, resource: T)

Registers a platform resource as a single-capability physical group.

Source

pub fn register_platform_group<C: ResourceGroupCapabilities>( &mut self, capabilities: C, ) -> Result<(), RegistryError>

Registers several logical capabilities backed by one physical platform resource.

§Errors

Returns RegistryError::DuplicateCapability if the tuple contains a concrete capability type more than once.

Source

pub fn resource_count<T: 'static + Send>(&self) -> usize

Returns the number of currently available groups providing T.

Source

pub fn has<T: 'static + Send>(&self) -> bool

Returns whether at least one currently available group provides T.

Source

pub fn has_at_least<T: 'static + Send>(&self, count: usize) -> bool

Returns whether at least count currently available groups provide T.

Source

pub fn has_resource_set<S: ResourceSet>(&self) -> bool

Returns whether all resource types in S can be leased from different available physical groups.

Source

pub fn take_resource<T: 'static + Send>(&mut self) -> Option<ResourceLease<T>>

Leases one available physical group through capability T.

Source

pub fn take_resources<T: 'static + Send>( &mut self, count: usize, ) -> Option<Vec<ResourceLease<T>>>

Atomically leases count different groups through capability T.

A count of zero succeeds with an empty vector.

Source

pub fn take_resource_set<S: ResourceSet>(&mut self) -> Option<S::Leases>

Atomically leases one resource of every type in S from different physical groups.

Source

pub fn return_resource<T: 'static + Send>(&mut self, lease: ResourceLease<T>)

Returns a lease and makes its complete physical group available again.

§Panics

Panics if the lease came from a different registry or if internal lease invariants have been violated.

Trait Implementations§

Source§

impl Default for Registry

Source§

fn default() -> Self

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

Auto Trait Implementations§

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> Az for T

Source§

fn az<Dst>(self) -> Dst
where T: Cast<Dst>,

Casts the value.
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<Src, Dst> CastFrom<Src> for Dst
where Src: Cast<Dst>,

Source§

fn cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> CheckedAs for T

Source§

fn checked_as<Dst>(self) -> Option<Dst>
where T: CheckedCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> CheckedCastFrom<Src> for Dst
where Src: CheckedCast<Dst>,

Source§

fn checked_cast_from(src: Src) -> Option<Dst>

Casts the value.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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<Src, Dst> LosslessTryInto<Dst> for Src
where Dst: LosslessTryFrom<Src>,

Source§

fn lossless_try_into(self) -> Option<Dst>

Performs the conversion.
Source§

impl<Src, Dst> LossyInto<Dst> for Src
where Dst: LossyFrom<Src>,

Source§

fn lossy_into(self) -> Dst

Performs the conversion.
Source§

impl<T> OverflowingAs for T

Source§

fn overflowing_as<Dst>(self) -> (Dst, bool)
where T: OverflowingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> OverflowingCastFrom<Src> for Dst
where Src: OverflowingCast<Dst>,

Source§

fn overflowing_cast_from(src: Src) -> (Dst, bool)

Casts the value.
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> SaturatingAs for T

Source§

fn saturating_as<Dst>(self) -> Dst
where T: SaturatingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> SaturatingCastFrom<Src> for Dst
where Src: SaturatingCast<Dst>,

Source§

fn saturating_cast_from(src: Src) -> Dst

Casts the value.
Source§

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

Source§

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>,

Source§

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.
Source§

impl<T> UnwrappedAs for T

Source§

fn unwrapped_as<Dst>(self) -> Dst
where T: UnwrappedCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> UnwrappedCastFrom<Src> for Dst
where Src: UnwrappedCast<Dst>,

Source§

fn unwrapped_cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<T> WrappingAs for T

Source§

fn wrapping_as<Dst>(self) -> Dst
where T: WrappingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> WrappingCastFrom<Src> for Dst
where Src: WrappingCast<Dst>,

Source§

fn wrapping_cast_from(src: Src) -> Dst

Casts the value.