Serializable Snapshot Isolation (SSI) engine tracking rw-antidependencies and detecting dangerous pivot structures to prevent write-skew anomalies.
-
Updated
Sep 10, 2026 - Python
Serializable Snapshot Isolation (SSI) engine tracking rw-antidependencies and detecting dangerous pivot structures to prevent write-skew anomalies.
Serializable Snapshot Isolation (SSI) engine tracking rw-antidependencies and detecting dangerous pivot structures to prevent write-skew anomalies.
A deterministic .NET 10 MVCC laboratory demonstrating write skew, snapshot isolation, and serializable conflict detection with exhaustive schedules and SVG visualizations.
Transaction isolation, implemented and convicted: an MVCC engine with four isolation levels including Cahill's SSI, and a dependency-graph checker that finds G0, G1a, G1b, G1c, G-single and G2-item in observed histories
Interleave two transactions by hand, watch the anomaly happen, then switch database engine and isolation level and watch the same schedule behave completely differently. Verified against real PostgreSQL and MySQL.
To associate your repository with the write-skew topic, visit your repo's landing page and select "manage topics."