uqa_storage/mvcc/serializable/
coordinator.rs

1//
2// Unified Query Algebra
3//
4// Copyright (c) 2023-2026 Cognica, Inc.
5//
6
7//! Provider admission orders common participant recovery, snapshot capture and retained graph changes.
8
9mod local;
10
11use std::sync::Arc;
12
13use super::{SerializableGraph, SerializableParticipant, SerializableTransactionId};
14use crate::{
15    mvcc::{CommittedRecordSnapshot, VersionError, VersionResult, VersionedPersistence},
16    read_control::StorageReadControl,
17};
18
19pub use local::LocalSerializableState;
20
21/// Provider-authoritative liveness while shared SSI admission is held. Lease destruction must not acquire this admission or resolve a logical transaction. Admission retains its physical owner independently of every participant.
22pub trait SerializableLeases {
23    fn retain(
24        &self,
25        id: SerializableTransactionId,
26        control: &StorageReadControl,
27    ) -> VersionResult<SerializableParticipant>;
28
29    fn is_alive(
30        &self,
31        id: SerializableTransactionId,
32        control: &StorageReadControl,
33    ) -> VersionResult<bool>;
34
35    fn reclaim(&self);
36}
37
38pub type SerializableOperation<'a> =
39    dyn FnMut(&mut SerializableGraph, &dyn SerializableLeases) -> VersionResult<()> + 'a;
40
41/// Shared SSI state transport paired with its authoritative physical receipts. Providers own only admission, liveness and atomic checkpoint replacement; common storage owns the conflict and recovery algorithms.
42pub trait SerializableCoordinator: VersionedPersistence {
43    /// Invoke the operation exactly once after loading retained state under exclusive SSI admission. Retain its graph mutations before releasing admission, including when the operation fails or cancels after confirming physical outcomes. Persistence failure takes precedence and never proves a main transaction aborted. Persist a prepared physical receipt binding in an earlier admission before publishing main records; reacquire admission for publication and outcome resolution. The operation may perform bounded main-record operations, but must not reenter SSI admission, wait for logical locks or execute application callbacks. Retain no main physical writer across the operation.
44    fn with_serializable_admission(
45        &self,
46        control: &StorageReadControl,
47        operation: &mut SerializableOperation<'_>,
48    ) -> VersionResult<()>;
49
50    /// Admit the original participant and its fixed committed snapshot at one shared boundary. Every nested or pinned view must retain this participant. This low-level capability requires all publishers to use the coordinated observation/publication protocol before SQL SSI can be enabled.
51    fn admit_serializable_snapshot(
52        &self,
53        read_only: bool,
54        control: &StorageReadControl,
55    ) -> VersionResult<(SerializableParticipant, Arc<dyn CommittedRecordSnapshot>)> {
56        admit_serializable(self, read_only, control, || self.snapshot(control))
57    }
58
59    /// Reconcile exact physical receipts and recover only participants whose lease owner is authoritatively gone. Unknown receipts block recovery rather than implying abort.
60    fn recover_serializable_participants(&self, control: &StorageReadControl) -> VersionResult<()> {
61        self.with_serializable_admission(control, &mut |graph, leases| {
62            recover(self, graph, leases, control)
63        })
64    }
65}
66
67/// Capture an owner-specific fixed view once, after common recovery and retained participant admission. The provider retains the resulting allocation even when capture fails; no application callback or transaction work is replayed.
68pub fn admit_serializable<C: SerializableCoordinator + ?Sized, T>(
69    coordinator: &C,
70    read_only: bool,
71    control: &StorageReadControl,
72    capture: impl FnOnce() -> VersionResult<T>,
73) -> VersionResult<(SerializableParticipant, T)> {
74    let mut capture = Some(capture);
75    let mut result = None;
76    coordinator.with_serializable_admission(control, &mut |graph, leases| {
77        let capture = capture.take().ok_or(VersionError::InvalidEncoding(
78            "serializable admission operation was replayed",
79        ))?;
80        recover(coordinator, graph, leases, control)?;
81        let participant =
82            graph.admit_with_lease(read_only, control, |id| leases.retain(id, control))?;
83        let view = capture()?;
84        result = Some((participant, view));
85        Ok(())
86    })?;
87    result.ok_or(VersionError::InvalidEncoding(
88        "serializable admission operation was not invoked",
89    ))
90}
91
92pub(crate) fn recover<C: SerializableCoordinator + ?Sized>(
93    coordinator: &C,
94    graph: &mut SerializableGraph,
95    leases: &dyn SerializableLeases,
96    control: &StorageReadControl,
97) -> VersionResult<()> {
98    graph.reconcile_publications(control, |transaction| {
99        coordinator.commit_status(transaction, control)
100    })?;
101    graph.recover_abandoned(
102        control,
103        |id| leases.is_alive(id, control),
104        |transaction| coordinator.abort(transaction, control),
105    )?;
106    graph.reclaim();
107    leases.reclaim();
108    Ok(())
109}
uqa_storage/mvcc/serializable/coordinator.rs

uqa_storage/mvcc/serializable/
coordinator.rs
