Repository navigation

store: loom+shuttle concurrency model checking for ArrayTable - #1214

Closed

phlip9 wants to merge 8 commits into

reardencode:masterfrom

phlip9:phlip9/store-array-table-model

Closed

store: loom+shuttle concurrency model checking for ArrayTable#1214
phlip9 wants to merge 8 commits into
reardencode:masterfrom
phlip9:phlip9/store-array-table-model

Commits on Oct 25, 2026
- store: ArrayTable persists through an ArrayFile seam
  phlip9
  committed
  2b68889
- test: model-check ArrayTable write-behind under loom and shuttle
  phlip9
  committed
  fc2ed7d
- store: a set below a truncate point reaches disk
  phlip9
  committed
  dd81adb
- store: fd-only get reads absent across a racing truncate
  phlip9
  committed
  026ed2b
- store: a dirty mark after a clean sees the clean's reset
  phlip9
  committed
  39bd4cc
- store: a rewriting flush always publishes its length
  phlip9
  committed
  028e135
- ci: model-check script and workflow for the ArrayTable suite
  phlip9
  committed
  50b26ec
- docs: model checking owner rows, roles, budgets, and residuals
  phlip9
  committed
  1d137d7