Skip to content

Fix mutex ownership semantics in concurrency models - #6

Open
pralav-25 wants to merge 1 commit into
mainfrom
codex/non-reentrant-locks-2026-10-19
Open

pralav-25 wants to merge 1 commit into
mainfrom
codex/non-reentrant-locks-2026-10-19

Conversation

@pralav-25

Copy link
Copy Markdown
Owner

Summary

  • Allow lock acquisition only when the lock is free, so locks are non-reentrant.
  • Allow release only by the worker that owns the lock.
  • Align the deadlock and write-skew models with their documented mutex semantics.

Validation

  • Reviewed the change against the existing model operations; current experiments acquire free locks and release them from the owning worker.
  • Tests were not run.

@vercel

vercel Bot commented Oct 19, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
interleave-pralav Ready Ready Preview Oct 19, 2026 9:39am UTC

This branch was successfully deployed

1 active deployment
Preview — c63a86bb Deployed Oct 19, 2026 by vercel[bot]
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