Skip to content

fix: serialize unsafe backend structural mutations - #66

Closed
pathscale wants to merge 1 commit into
masterfrom
fix/index-backend-structural-visibility
Closed

fix: serialize unsafe backend structural mutations#66
pathscale wants to merge 1 commit into
masterfrom
fix/index-backend-structural-visibility

Conversation

@pathscale

Copy link
Copy Markdown
Owner

Summary

  • gate Arctic and Congee structural mutations with per-index read/write exclusion
  • keep point and range reads concurrent while preventing reads from observing structural rewrites
  • add shared-instance and separate-instance backend concurrency regressions

Evidence

Before the fix, repeated whole-library runs reproduced:

  • Arctic raw-cursor structural assertion (repetition 59)
  • missing immediate Congee read (repetition 17)

After the fix:

  • focused unique-index tests pass
  • whole-library stress passes 100/100
  • aggregate four-backend stress passes 500/500
  • isolated WorkTablesIndex and upstream IndexSet stress each pass 500/500
  • full workspace tests pass: 189 library, 522 integration with 4 ignored, 67 codegen, and doctests
  • cargo fmt and warnings-denied Clippy pass

Caveat

A longer full-library campaign observed one rare WorkTablesIndex immediate-read miss at repetition 249. This PR does not change that backend; the added diagnostics preserve the evidence for follow-up review.

@pathscale pathscale closed this Aug 9, 2026
@pathscale
pathscale deleted the fix/index-backend-structural-visibility branch August 9, 2026 01:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant