Skip to content

Add atomic FFI batches and shared read-only opens - #48

Merged
feichai0017 merged 2 commits into
NoKV-Lab:mainfrom
feichai0017:agent/holt-ffi-upstream
Aug 10, 2026
Merged

Add atomic FFI batches and shared read-only opens#48
feichai0017 merged 2 commits into
NoKV-Lab:mainfrom
feichai0017:agent/holt-ffi-upstream

Conversation

@feichai0017

Copy link
Copy Markdown
Member

DuckDB HoltFS needs one C ABI call for atomic put/delete batches and a non-mutating way to inspect an existing Holt store.

holt_tree_atomic validates the complete operation array before it calls Tree::atomic. holt_tree_open_read_only requires an existing file-backed tree, holds a shared process lock, replays the WAL in memory, and leaves torn manifest and WAL tails unchanged. Read-only handles reject mutations and maintenance. Writers retain exclusive locks.

This port starts from Holt 0.8.4 and preserves its assert_absent guards and oversized WAL preflight.

Validation:

  • cargo test --workspace --all-features --lib --tests --examples --locked (675 passed, 7 ignored)
  • cargo test --workspace --all-features --doc --locked
  • cargo clippy --workspace --all-targets --all-features --locked -- -D warnings
  • workspace and soak-tool format checks
  • Rustdoc with warnings denied
  • normal and DB-normal soak smoke tests
  • release holt-ffi build and C ABI smoke test

songguocheng added 2 commits August 10, 2026 17:41
HoltFS needs one WAL record for partition data and manifest updates. Validate the complete C input array before building the Rust batch.
DuckDB workers need concurrent readers without granting recovery or checkpoint writes. Replay WAL state in memory, preserve torn tails, and reject mutations at both API and file-store boundaries.
Copilot AI lite review requested due to automatic review settings August 10, 2026 09:53

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@feichai0017
feichai0017 merged commit 83c8774 into NoKV-Lab:main Aug 10, 2026
25 checks passed
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.

2 participants