Struct DatabaseCore 

pub struct DatabaseCore { /* private fields */ }

The shared storage core (spec §10.1, S1A-001): one catalog, one epoch clock, shared caches, a shared WAL, and a live map of name → Arc<Table>.

DatabaseCore owns every storage resource — the durable root, the exclusive lease, the catalog, the commit log, the epoch authority, the transaction state, the mounted tables, and the page caches — plus the lifecycle state machine (S1A-004). It is shared through an Arc: the exclusive Database owner holds one reference, and every crate::handle::DatabaseHandle issued by crate::manager::DatabaseManager holds another. The core deliberately does not store one mutable “current principal” (spec §4.6): per-caller identity lives on the handle types, not inside shared storage state.

Implementations

impl DatabaseCore

pub fn root(&self) -> &Path

The canonical filesystem root this core was opened at.

pub fn file_identity(&self) -> Result<DatabaseFileIdentity>

The stable directory-handle identity of this core’s root (S1A-003).

pub fn lifecycle_state(&self) -> LifecycleState

The current lifecycle state (S1A-004).

pub fn is_open(&self) -> bool

Whether this core currently admits new operations.

pub fn operation_guard(self: &Arc<Self>) -> Result<OperationGuard>

Admit one operation against this core (S1A-004: “every operation holds an OperationGuard”). Rejected unless the core is crate::core::LifecycleState::Open.

pub fn shutdown(self: &Arc<Self>, drain_deadline: Duration) -> Result<()>

Ordered core shutdown (spec §10.1, S1A-004):

1. Transition Open → Draining.
2. Reject new sessions and writes (new Self::operation_guards fail from this point).
3. Cancel non-commit-critical queries — a no-op in Stage 1A: the embedded core has no central query registry yet (Stage 1D adds one), and every in-flight operation is treated as commit-critical and drained rather than cancelled.
4. Wait for in-flight operations, up to drain_deadline. On timeout the core stays Draining and a later call may resume the shutdown.
5. Sync required durable state (group-sync the shared WAL).
6. Stop workers — the Stage 1A core runs no background worker set.
7. Release the file lock (and the process open-registry entries).
8. Mark Closed.

Repeated calls after Closed return Ok(()). Dropping one handle has no storage side effects; only this method (or the last Arc drop) closes storage.

Trait Implementations

impl Debug for DatabaseCore

Manual Debug for DatabaseCore, mirroring Database’s (see above). The core has no cached principal by design (spec §4.6).

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.