orneryd / NornicDB / 23415736188

88%

Build Type

push

github

Committed by orneryd

Commit Message

fix(storage): complete MVCC snapshot isolation semantics

Implement end-to-end storage-layer Snapshot Isolation with anchored
transaction reads, normalized conflict handling, and graph-consistent
snapshot validation.

Changes:

anchor each transaction to a begin-time MVCC read snapshot
route committed node, edge, and label-scan reads through snapshot-visible MVCC paths
enforce commit-time conflict detection for node, edge, endpoint, and adjacency races
normalize lower-level Badger conflicts to ErrConflict with clearer concurrent-modification messages
add regression coverage for anchored read-your-writes behavior, repeatable label scans,
write-write conflicts, concurrent delete/edge races, snapshot-consistent edge traversal,
write skew, and contention aborts
update docs to describe the final Snapshot Isolation and MVCC retention contract,
including retained-floor behavior and the explicit standard-SI write-skew note

Coverage Stats

175 of 260 new or added lines in 1 file covered. (67.31%)

88 existing lines in 17 files now uncovered.

102471 of 116412 relevant lines covered (88.02%)

1.02 hits per line