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§
- Cancel
Token - Thread-safe token that tracks whether a query was cancelled and why.
- Query
Guard - RAII guard that unregisters a query from the registry on drop.
- QueryId
- Typed, non-zero query identifier.
- Query
Metadata - Metadata stored in the registry for each active query.
- Query
Registry - Process-level query registry.