Skip to main content

Module query_registry

Module query_registry 

Source
Expand description

Query registry — process-level query identity and cancellation.

Every query execution must first obtain a unique, non-zero QueryId from the QueryRegistry. The registry also holds the unified cancellation source, deadline, and weak handles so that KILL QUERY works regardless of which layer initiated cancellation.

Structs§

CancelToken
Thread-safe token that tracks whether a query was cancelled and why.
QueryGuard
RAII guard that unregisters a query from the registry on drop.
QueryId
Typed, non-zero query identifier.
QueryMetadata
Metadata stored in the registry for each active query.
QueryRegistry
Process-level query registry.