pub struct Hub<A, F>where
A: HalApi,
F: GlobalIdentityHandlerFactory,{Show 16 fields
pub adapters: Registry<Adapter<A>, Id<Adapter<Api>>, F>,
pub devices: Registry<Device<A>, Id<Device<Api>>, F>,
pub pipeline_layouts: Registry<PipelineLayout<A>, Id<PipelineLayout<Api>>, F>,
pub shader_modules: Registry<ShaderModule<A>, Id<ShaderModule<Api>>, F>,
pub bind_group_layouts: Registry<BindGroupLayout<A>, Id<BindGroupLayout<Api>>, F>,
pub bind_groups: Registry<BindGroup<A>, Id<BindGroup<Api>>, F>,
pub command_buffers: Registry<CommandBuffer<A>, Id<CommandBuffer<Api>>, F>,
pub render_bundles: Registry<RenderBundle<A>, Id<RenderBundle<Api>>, F>,
pub render_pipelines: Registry<RenderPipeline<A>, Id<RenderPipeline<Api>>, F>,
pub compute_pipelines: Registry<ComputePipeline<A>, Id<ComputePipeline<Api>>, F>,
pub query_sets: Registry<QuerySet<A>, Id<QuerySet<Api>>, F>,
pub buffers: Registry<Buffer<A>, Id<Buffer<Api>>, F>,
pub staging_buffers: Registry<StagingBuffer<A>, Id<StagingBuffer<Api>>, F>,
pub textures: Registry<Texture<A>, Id<Texture<Api>>, F>,
pub texture_views: Registry<TextureView<A>, Id<TextureView<Api>>, F>,
pub samplers: Registry<Sampler<A>, Id<Sampler<Api>>, F>,
}
Expand description
All the resources for a particular backend in a Global
.
To obtain global
’s Hub
for some HalApi
backend type A
,
call A::hub(global)
.
§Locking
Each field in Hub
is a Registry
holding all the values of a
particular type of resource, all protected by a single RwLock
.
So for example, to access any Buffer
, you must acquire a read
lock on the Hub
s entire buffers
registry. The lock guard
gives you access to the Registry
’s Storage
, which you can
then index with the buffer’s id. (Yes, this design causes
contention; see #2272.)
But most wgpu
operations require access to several different
kinds of resource, so you often need to hold locks on several
different fields of your Hub
simultaneously. To avoid
deadlock, there is an ordering imposed on the fields, and you may
only acquire new locks on fields that come after all those you
are already holding locks on, in this ordering. (The ordering is
described in the documentation for the Access
trait.)
We use Rust’s type system to statically check that wgpu_core
can
only ever acquire locks in the correct order:
-
A value of type
Token<T>
represents proof that the owner only holds locks on theHub
fields holding resources of typeT
or earlier in the lock ordering. A special value of typeToken<Root>
, obtained by calling [Token::root
], represents proof that noHub
field locks are held. -
To lock the
Hub
field holding resources of typeT
, you must call itsread
orwrite
methods. These require you to pass in a&mut Token<A>
, for someA
that implementsAccess<T>
. This implementation exists only ifT
followsA
in the field ordering, which statically ensures that you are indeed allowed to lock this newHub
field. -
The locking methods return both an
RwLock
guard that you can use to access the field’s resources, and a newToken<T>
value. These both borrow from the lifetime of yourToken<A>
, so since you passed that by mutable reference, you cannot access it again until you drop the new token and lock guard.
Because a thread only ever has access to the Token<T>
for the
last resource type T
it holds a lock for, and the Access
trait
implementations only permit acquiring locks for types U
that
follow T
in the lock ordering, it is statically impossible for a
program to violate the locking order.
This does assume that threads cannot call Token<Root>
when they
already hold locks (dynamically enforced in debug builds) and that
threads cannot send their Token
s to other threads (enforced by
making Token
neither Send
nor Sync
).
Fields§
§adapters: Registry<Adapter<A>, Id<Adapter<Api>>, F>
§devices: Registry<Device<A>, Id<Device<Api>>, F>
§pipeline_layouts: Registry<PipelineLayout<A>, Id<PipelineLayout<Api>>, F>
§shader_modules: Registry<ShaderModule<A>, Id<ShaderModule<Api>>, F>
§bind_group_layouts: Registry<BindGroupLayout<A>, Id<BindGroupLayout<Api>>, F>
§bind_groups: Registry<BindGroup<A>, Id<BindGroup<Api>>, F>
§command_buffers: Registry<CommandBuffer<A>, Id<CommandBuffer<Api>>, F>
§render_bundles: Registry<RenderBundle<A>, Id<RenderBundle<Api>>, F>
§render_pipelines: Registry<RenderPipeline<A>, Id<RenderPipeline<Api>>, F>
§compute_pipelines: Registry<ComputePipeline<A>, Id<ComputePipeline<Api>>, F>
§query_sets: Registry<QuerySet<A>, Id<QuerySet<Api>>, F>
§buffers: Registry<Buffer<A>, Id<Buffer<Api>>, F>
§staging_buffers: Registry<StagingBuffer<A>, Id<StagingBuffer<Api>>, F>
§textures: Registry<Texture<A>, Id<Texture<Api>>, F>
§texture_views: Registry<TextureView<A>, Id<TextureView<Api>>, F>
§samplers: Registry<Sampler<A>, Id<Sampler<Api>>, F>
Implementations§
source§impl<A, F> Hub<A, F>where
A: HalApi,
F: GlobalIdentityHandlerFactory,
impl<A, F> Hub<A, F>where
A: HalApi,
F: GlobalIdentityHandlerFactory,
pub fn generate_report(&self) -> HubReport
Auto Trait Implementations§
impl<A, F> !Freeze for Hub<A, F>
impl<A, F> !RefUnwindSafe for Hub<A, F>
impl<A, F> Send for Hub<A, F>where
<F as IdentityHandlerFactory<Id<Adapter<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<Device<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<PipelineLayout<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<ShaderModule<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<BindGroupLayout<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<BindGroup<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<CommandBuffer<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<RenderBundle<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<RenderPipeline<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<ComputePipeline<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<QuerySet<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<Buffer<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<StagingBuffer<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<Texture<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<TextureView<Api>>>>::Filter: Send,
<F as IdentityHandlerFactory<Id<Sampler<Api>>>>::Filter: Send,
A: Send,
impl<A, F> Sync for Hub<A, F>where
<F as IdentityHandlerFactory<Id<Adapter<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<Device<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<PipelineLayout<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<ShaderModule<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<BindGroupLayout<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<BindGroup<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<CommandBuffer<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<RenderBundle<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<RenderPipeline<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<ComputePipeline<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<QuerySet<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<Buffer<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<StagingBuffer<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<Texture<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<TextureView<Api>>>>::Filter: Sync,
<F as IdentityHandlerFactory<Id<Sampler<Api>>>>::Filter: Sync,
A: Send + Sync,
impl<A, F> Unpin for Hub<A, F>where
<F as IdentityHandlerFactory<Id<Adapter<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<Device<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<PipelineLayout<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<ShaderModule<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<BindGroupLayout<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<BindGroup<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<CommandBuffer<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<RenderBundle<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<RenderPipeline<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<ComputePipeline<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<QuerySet<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<Buffer<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<StagingBuffer<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<Texture<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<TextureView<Api>>>>::Filter: Unpin,
<F as IdentityHandlerFactory<Id<Sampler<Api>>>>::Filter: Unpin,
<A as Api>::Device: Unpin,
<A as Api>::Queue: Unpin,
<A as Api>::Buffer: Unpin,
<A as Api>::Fence: Unpin,
<A as Api>::PipelineLayout: Unpin,
<A as Api>::ShaderModule: Unpin,
<A as Api>::BindGroup: Unpin,
<A as Api>::RenderPipeline: Unpin,
<A as Api>::ComputePipeline: Unpin,
<A as Api>::QuerySet: Unpin,
<A as Api>::TextureView: Unpin,
<A as Api>::Sampler: Unpin,
<A as Api>::Adapter: Unpin,
<A as Api>::CommandEncoder: Unpin,
<A as Api>::SurfaceTexture: Unpin,
<A as Api>::BindGroupLayout: Unpin,
A: Unpin,
<A as Api>::Texture: Unpin,
<A as Api>::CommandBuffer: Unpin,
impl<A, F> !UnwindSafe for Hub<A, F>
Blanket Implementations§
source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> FmtForward for T
impl<T> FmtForward for T
source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self
to use its Binary
implementation when Debug
-formatted.source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self
to use its Display
implementation when
Debug
-formatted.source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self
to use its LowerExp
implementation when
Debug
-formatted.source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self
to use its LowerHex
implementation when
Debug
-formatted.source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self
to use its Octal
implementation when Debug
-formatted.source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self
to use its Pointer
implementation when
Debug
-formatted.source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self
to use its UpperExp
implementation when
Debug
-formatted.source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self
to use its UpperHex
implementation when
Debug
-formatted.source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moresource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moresource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self
, then passes self.as_ref()
into the pipe function.source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self
, then passes self.as_mut()
into the pipe
function.source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self
, then passes self.deref()
into the pipe function.source§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> Tap for T
impl<T> Tap for T
source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B>
of a value. Read moresource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B>
of a value. Read moresource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R>
view of a value. Read moresource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R>
view of a value. Read moresource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target
of a value. Read moresource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target
of a value. Read moresource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap()
only in debug builds, and is erased in release builds.source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref()
only in debug builds, and is erased in release
builds.source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut()
only in debug builds, and is erased in release
builds.source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref()
only in debug builds, and is erased in release
builds.