Struct AdmittedDistributedRun 

pub struct AdmittedDistributedRun<'group, 'model> { /* private fields */ }

A collectively admitted, plan-sealed distributed execution.

This token is the only public route to MPI numerical communication. It borrows the execution group mutably, preventing overlapping collective streams, and owns every dynamically sized workspace required through host reacceptance.

Implementations

§

impl AdmittedDistributedRun<'_, '_>

Signature links:AdmittedDistributedRun

pub const fn system(&self) -> &DistributedLinearSystem

Signature links:systemDistributedLinearSystem

Exact distributed algebra object sealed by admission.

pub const fn complete(&self) -> &CanonicalCsrSystemView

Signature links:completeCanonicalCsrSystemView

Exact complete host verifier sealed by admission.

pub const fn plan(&self) -> SolverPlan

Signature links:planSolverPlan

The sole solver plan sealed by collective admission.

pub const fn admission_fingerprint(&self) -> DistributedAdmissionFingerprintV1

Signature links:admission_fingerprintDistributedAdmissionFingerprintV1

Exact system/layout/plan identity agreed by every rank.

pub fn solve_and_replicate(self) -> Result<LinearSolution, Diagnostic>

Signature links:solve_and_replicateResultLinearSolutionDiagnostic

Solve owned rows, reconstruct by explicit global indices on every rank, and independently reaccept the replicated vector through host CSR.

Errors

Returns a common stable diagnostic for synchronized action, preconditioner, reduction, producer, gather, or host-verifier failure.

pub fn solve_and_replicate_with_trace( self, ) -> Result<MpiLinearSolveResult, Diagnostic>

Signature links:solve_and_replicate_with_traceResultMpiLinearSolveResultDiagnostic

Solve and return the complete accepted vector with the exact collective sequence that produced and agreed it.

The trace storage is reserved during admission from a checked bound on the maximum Krylov iteration count. Recording a collective boundary cannot allocate after the admitted run exists.

Errors

Returns a common stable diagnostic for synchronized action, preconditioner, reduction, producer, gather, or host-verifier failure, or EQ0807 if the runtime exceeds its pre-admitted trace bound.

pub fn solve_and_replicate_with_local_action( self, action: &mut dyn MpiRankLocalCsrAction, ) -> Result<MpiLinearSolveResult, Diagnostic>

Signature links:solve_and_replicate_with_local_actionMpiRankLocalCsrActionResultMpiLinearSolveResultDiagnostic

Solve with a caller-owned rank-local CSR action and return the complete accepted vector plus the exact MPI collective trace.

Only owned-row sparse action is delegated. MPI continues to own halo exchange, Krylov vectors, reductions, gather, and host reacceptance.

Errors

Returns a common stable diagnostic for any synchronized execution failure, including an injected action failure.

Trait Implementations

§

impl Debug for AdmittedDistributedRun<'_, '_>

Signature links:DebugAdmittedDistributedRun

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.