Skip to content

fix: make pool locking portable - #8

Merged
davidprokopec merged 1 commit into
developfrom
portable-lock
Aug 18, 2026
Merged

fix: make pool locking portable#8
davidprokopec merged 1 commit into
developfrom
portable-lock

Conversation

@davidprokopec

Copy link
Copy Markdown
Owner

Summary

  • replace rename-based directory locking with an atomic hard-link lock
  • fence dead-owner recovery by owner token and inode
  • keep server and TUI pool mutations mutually exclusive across processes and platforms

Verification

  • bun run check (26 tests)
  • 50 consecutive store concurrency test runs
  • 100 concurrent critical sections observed maximum concurrency of 1

This fixes the Linux CI failure in the preceding merged PR before any dev package was published.

@davidprokopec
davidprokopec merged commit 88e3257 into develop Aug 18, 2026
2 checks passed
@davidprokopec
davidprokopec deleted the portable-lock branch August 18, 2026 23:00
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