Module state

Module state 

Source
Expand description

Runtime state management utilities.

This module provides utilities for managing shared state across processes in the runtime system.

Structs§

DataspaceRegistry
A dataspace registry for async coordination between processes.
ResourceLease
An exclusive lease on a resource.
ResourceRegistry
A registry for scarce, externally backed resources.
ResourceRegistryAPIHandler
An API handler for reporting the state of all registered resources.
ResourceRegistryState
State used for the resource registry API handler.
ResourceRegistryWorker
A worker that exposes the resource registry over the control plane.
ResourceStatus
Reported state of a single resource.
Subscription
A subscription to updates for a specific type/identifier combination.

Enums§

AcquireError
An error that occurred while acquiring a resource.
DataspaceUpdate
An update received by a subscription, indicating that a value was asserted, retracted, or sent as a transient message.
Identifier
An identifier used to key values in a DataspaceRegistry.
IdentifierFilter
A filter used to match identifiers when subscribing to a DataspaceRegistry.
ResourceKind
The kind of an external resource.

Traits§

ResourceSpecification
A specification naming one resource, and the blueprint for creating it.