Module commit_repair 

Commit durability and asynchronous repair orchestration (§1.6, bd-22n.11).

The critical path only appends+syncs systematic symbols. Repair symbols are generated/append-synced asynchronously after commit acknowledgment.

Structs

BatchResult

Result of processing a single batch through the coordinator.

CommitPipelineConfig

Capacity/config knobs for the two-phase commit pipeline.

CommitReceipt

Commit result produced by the critical path.

CommitRepairConfig

Runtime behavior toggle for async repair generation.

CommitRepairCoordinator

Two-phase commit durability coordinator.

CommitRepairEvent

Timestamped lifecycle event for one commit sequence.

CommitRequest

Request sent from writers to the write coordinator.

DeterministicRepairGenerator

Deterministic repair generator with configurable delay/failure injection.

FirstCommitterWinsValidator

First-committer-wins validator: any overlap between the request’s write set and already-committed pages is a conflict.

GroupCommitConfig

Group commit coordinator configuration.

GroupCommitCoordinator

Group commit coordinator that batches write-coordinator requests to amortize fsync cost (§5.9.2.1, bd-l4gl).

InMemoryCommitRepairIo

In-memory IO sink useful for deterministic testing/instrumentation.

InMemoryWalWriter

In-memory WAL writer for deterministic testing and instrumentation.

PublishedVersion

Published version notification for a committed transaction.

SendPermit

Two-phase permit returned by reserve().

TrackedSendPermit

Tracked permit wrapper for safety-critical channels.

TrackedSender

Tracked sender variant that counts leaked permits (dropped without send/abort).

TwoPhaseCommitReceiver

Receiver side of the two-phase bounded MPSC commit channel.

TwoPhaseCommitSender

Sender side of the two-phase bounded MPSC commit channel.

Enums

BatchPhase

Phase label recorded during coordinator batch processing for ordering verification.

CommitRepairEventKind

Commit/repair lifecycle events used for timing and invariant validation.

GroupCommitResponse

Response returned to each writer after batch processing.

RepairState

Repair state for a commit sequence.

Constants

DEFAULT_COMMIT_CHANNEL_CAPACITY

Default bounded capacity for commit-channel backpressure.

Traits

CommitRepairIo

Storage sink for systematic/repair symbol append+sync operations.

RepairSymbolGenerator

Generator for repair symbols from committed systematic symbols.

WalBatchWriter

Batch WAL writer abstraction for the group commit coordinator.

WriteSetValidator

Write-set conflict validator using first-committer-wins (FCW) logic.

Functions

conformal_batch_size

Conformal batch-size controller using upper quantiles.

little_law_capacity

Little’s-law-based capacity estimate.

optimal_batch_size

Classical optimal group-commit batch size: sqrt(t_fsync / t_validate).

two_phase_commit_channel

Build a bounded two-phase commit channel.