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
typescript mvcc transactions snapshot-isolation jepsen elle database-internals serializability isolation-levels write-skew
-
Updated
Aug 23, 2026 - TypeScript