CSN ordinary path prototype - #1

Draft

vbp1 wants to merge 28 commits into

masterfrom

csn-stage1-prototype

Commits on May 5, 2026

Document CSN Stage 1 design baseline
vbp1
committed
3e36ff6
Add CSN infrastructure skeleton
vbp1
committed
f6c56b8
Wire CSN transaction status into lifecycle paths
vbp1
committed
8cf96b8
Add conservative CSN snapshot builder
vbp1
committed
288ea30
Wire CSN tuple visibility through HeapTupleSatisfiesMVCC
vbp1
committed
4fcc9d2
Track CSN oldest-active xid through ProcArray lifecycle
vbp1
committed
8a0c6fc
Add CSN Stage 1 test coverage and stabilization
vbp1
committed
b78875e
Add Stage 2 CSN audit baseline
vbp1
committed
84bf72b
Harden csnlog recovery lifecycle
vbp1
committed
4100001
Harden CSN truncation and horizon retention
vbp1
committed
d49fbff
Harden CSN subxid overflow snapshots
vbp1
committed
b081742
Strengthen CSN prepared transaction restart coverage
vbp1
committed
d7cbea9
Harden CSN snapshot transport contract
vbp1
committed
c313ec6
Finalize Stage 2 CSN validation and status semantics
vbp1
committed
f9e3054
Close Stage 2 2PC primary-only contract
vbp1
committed
e6b3ee5
Add Stage 3 commit fallback harness
vbp1
committed
21d5d2b
Stage 3 C1: publish CSN-safe snapshot state early
vbp1
committed
1e06bc1
Stage 3 D1: track xmin-only CSN holders earlier
vbp1
committed
68b954d
Stage 3 D1: cover snapshot reuse in CSN xmin bookkeeping
vbp1
committed
53d56a3
Stage 3 D1: keep CSN xmin bookkeeping on reset
vbp1
committed
3f831e3
Stage 3 E1: self-clear CSN marker after procarray exit
vbp1
committed
664f7b0
Stage 3 F1: make snapshot membership CSN-aware
vbp1
committed
fa80689
Stage 3 G1: remove ordinary ProcArrayEndTransaction path
vbp1
committed
5316e7d
Expand H1 pre-switch ordinary path proof harness
vbp1
committed
4c5fe3d
Stabilize H1-E ordinary mirror proof harness
vbp1
committed
42599a8
Make ordinary primary transaction end lock-free
vbp1
committed
a8da2c7
Close H1 Milestone A validation gate
vbp1
committed
5f503a5

Commits on Jun 1, 2026

Fix CSN frontend build after rebase
vbp1
committed
94cac2a

Navigation Menu

CSN ordinary path prototype - #1

CSN ordinary path prototype#1
vbp1 wants to merge 28 commits into
masterfrom
csn-stage1-prototype

Commits on May 5, 2026

Document CSN Stage 1 design baseline

Add CSN infrastructure skeleton

Wire CSN transaction status into lifecycle paths

Add conservative CSN snapshot builder

Wire CSN tuple visibility through HeapTupleSatisfiesMVCC

Track CSN oldest-active xid through ProcArray lifecycle

Add CSN Stage 1 test coverage and stabilization

Add Stage 2 CSN audit baseline

Harden csnlog recovery lifecycle

Harden CSN truncation and horizon retention

Harden CSN subxid overflow snapshots

Strengthen CSN prepared transaction restart coverage

Harden CSN snapshot transport contract

Finalize Stage 2 CSN validation and status semantics

Close Stage 2 2PC primary-only contract

Add Stage 3 commit fallback harness

Stage 3 C1: publish CSN-safe snapshot state early

Stage 3 D1: track xmin-only CSN holders earlier

Stage 3 D1: cover snapshot reuse in CSN xmin bookkeeping

Stage 3 D1: keep CSN xmin bookkeeping on reset

Stage 3 E1: self-clear CSN marker after procarray exit

Stage 3 F1: make snapshot membership CSN-aware

Stage 3 G1: remove ordinary ProcArrayEndTransaction path

Expand H1 pre-switch ordinary path proof harness

Stabilize H1-E ordinary mirror proof harness

Make ordinary primary transaction end lock-free

Close H1 Milestone A validation gate

Commits on Jun 1, 2026

Fix CSN frontend build after rebase