Struct SyncupLogView 

pub struct SyncupLogView { /* private fields */ }

A scanned snapshot of one node’s replicated log, indexed by VLSN.

Built by walking the log and recording, per VLSN, its VlsnEntry (LSN, fingerprint, sync-flag). Implements SyncupView so the pure matchpoint search (find_matchpoint) and verify_rollback truth table can run against a real environment’s log.

Port of the data the JE ReplicaSyncupReader exposes (scanBackwards, findPrevSyncEntry, plus the MatchpointSearchResults counters). JE walks strictly backward for efficiency; this snapshot collects the same per-VLSN facts in one pass (the log is the source of truth either way) and answers backward queries from the in-memory map. The O(n) one-pass scan is marked below; a streaming backward reader is the upgrade path if syncup ever runs on logs too large to snapshot.

Implementations

impl SyncupLogView

pub fn scan(env_home: &Path) -> Option<Self>

Build a view by scanning the log under env_home.

Reads every entry once (forward over files for simplicity), recording the per-VLSN fingerprint/sync-flag the matchpoint search needs. Returns None only if a FileManager cannot be opened for env_home.

pub fn scan_with_manager(fm: &FileManager) -> Self

Build a view from an already-open FileManager (used by the live syncup driver, which already holds one, and by tests).

pub fn num_passed_commits(&self, matchpoint: Vlsn) -> u64

Count the commit/abort records strictly above matchpoint (JE MatchpointSearchResults.getNumPassedCommits). verify_rollback uses this to force HardRecovery when the backward scan stepped over a txn end even if lastTxnEnd <= matchpoint numerically.

pub fn entries(&self) -> impl Iterator<Item = (Vlsn, &VlsnEntry)>

All VLSN→VlsnEntry pairs, ascending. Used by the feeder side of the syncup protocol to answer EntryRequest.

Trait Implementations

impl SyncupView for SyncupLogView

fn last_sync(&self) -> Vlsn

Highest sync-point VLSN (VLSNRange.getLastSync) — the first matchpoint candidate.

fn last_txn_end(&self) -> Vlsn

Highest commit/abort VLSN (VLSNRange.getLastTxnEnd) — the rollback safety boundary.

fn first_vlsn(&self) -> Vlsn

First contiguous VLSN available (VLSNRange.getFirst). The search may not go below this.

fn entry(&self, vlsn: Vlsn) -> Option<VlsnEntry>

Look up the entry at vlsn, or None if this node does not hold it.