Skip to main content

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.
Sublease
A sublease on part of a leased resource.
Subleases
Subleases on a leased 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.