Repository navigation

S2: fix the second SSI write-skew miss (lazy-read_lsn boundary + scan on waited WRITE grants) - #257

Merged

gburd merged 15 commits into

masterfrom

fix/ssi-second-miss

Nov 4, 2026

Merged

S2: fix the second SSI write-skew miss (lazy-read_lsn boundary + scan on waited WRITE grants)#257
gburd merged 15 commits into
masterfrom
fix/ssi-second-miss

Commits on Nov 2, 2026
- test/ssi: Adya cycle checker + SSI production-readiness report skeleton
  libdb-agent
  committed
  bb741ff
- test/ssi: working Adya cycle checker + expose SSI in Rust/Zig bindings
  libdb-agent
  committed
  b06ac85
- test/ssi: reproducer proving SSI misses a cross-page write skew (FAILS on master)
  libdb-agent
  committed
  84086bb
- rfc: RFC 0023 -- SSI must detect conflicts across multi-level B-tree descent
  libdb-agent
  committed
  2ae0136
- lock: SSI must not drop its own SIREAD marker when write-locking the page
  libdb-agent
  committed
  cced5c4
Commits on Nov 3, 2026
- test/ssi: wire the cross-leaf gate + Adya checker into the isolation tier
  libdb-agent
  committed
  0ec1d5a
- docs+report: SSI cross-leaf write skew fixed; update verdict to production-on-btree
  libdb-agent
  committed
  7753548
- lang: expose DB_TXN_SERIALIZABLE / SSI aborts in the Rust and Zig bindings
  libdb-agent
  committed
  7d2040f
- docs: SSI retry guidance uses DB_TXN_SERIALIZABLE and retries the whole txn
  gburd
  committed
  ac0d26d
- test/ssi+report: correct the verdict — a second write-skew miss remains
  gburd
  committed
  caa8eb2
- lock,mp: SSI must detect write skew on waited writes and at the lazy-read_lsn boundary
  gburd
  committed
  697c965
- report: SSI production-ready on B-tree — both write-skew misses fixed
  gburd
  committed
  d7a0a13
- lock,mp: SSI livelocked under retry; restore a strict edge test, scan from the reader side
  gburd
  committed
  2097393
- test/isolation: gate SSI progress, not just serializability
  gburd
  committed
  12ed935
Commits on Nov 4, 2026
- lang/rust: cargo fmt the SSI error variants (CI rustfmt check)
  gburd
  committed
  d805a4e

Commits

Commits on Nov 2, 2026

Commits on Nov 3, 2026

Commits on Nov 4, 2026