principle-separate-before-serializing-shared-state
About principle-separate-before-serializing-shared-state
A concurrency principle skill for deciding whether actors truly need shared mutable state and how to prevent races when they do. It recommends separate owned state by default, with structural serialization only for genuine shared-write requirements.
Key features
- 01Identify shared mutable state
- 02Eliminate shared write targets by default
- 03Assign actors separate owned state
- 04Serialize genuine shared writes structurally
Use cases
- 01Design concurrent workers that update state
- 02Prevent races in shared files or branches
- 03Choose between separate state and locking
- 04Structure concurrent API definition and use
Install
Copy the command and run it in a terminal.
npx skills add https:/ / github.com/ michael-denyer/ pstack-claude --skill principle-separate-before-serializing-shared-stateAfter installing, type/principle-separate-before-serializing-shared-statein Claude Code to confirm it loaded.
Details
From the project READMESeparate Before Serializing Shared State
When concurrent actors might share mutable state, first ask whether they need the same mutable object. If not, eliminate the sharing. When sharing is real, enforce serialization structurally: lockfiles, sequential phases, exclusive ownership. Instructions and conventions are not concurrency control.
Why: Concurrent writes to shared state create race conditions that are intermittent, hard to reproduce, and expensive to debug.
Pattern:
- Identify shared mutable state (files both read and write, branches both push to, APIs both define and consume).
- Default: eliminate the shared write target. Ask: do these actors need one canonical object, or are they publishing independent facts? Give each actor its own owned file, key, branch, or state directory, and merge only at the read/reporting boundary. Two workers writing their own
lastXfield into onestate.jsonis still shared mutation.indexer-state.json+metrics-state.jsonis not. - Only when one shared write target is a real invariant, serialize access structurally (lockfiles, sequential phases, single-writer actor, or atomic compare-and-swap). Treat "we need a lock" as a design smell to check, not as the default answer.