fix(fspy): replace quiescence locking with crash-tolerant shared-memory publication - #675

Open

wan9chi wants to merge 87 commits into

claude/fspy-shm-capacity-envfrom

claude/fspy-shm-publication-design-76917a

Commits on Aug 14, 2026

fix(fspy): replace quiescence locking with crash-tolerant frame publication

wan9chi
and
claude
committed
9e9213a
docs: add changelog entry for crash-tolerant file-access tracking

wan9chi
and
claude
committed
2f5d389
temp(fspy): benchmark phase instrumentation

wan9chi
and
claude
committed
d2fa1de
Revert "temp(fspy): benchmark phase instrumentation"
wan9chi
committed
ab2749f
perf(fspy): keep first-touch allocation and unmapping off the launch path

wan9chi
and
claude
committed
b1babb7
perf(fspy): make frame claims wait-free and channel close write-free

wan9chi
and
claude
committed
3a84bc0
perf(fspy): restore the header pre-fault on Linux only

wan9chi
and
claude
committed
b53a3fb
perf(fspy): preallocate first-touch blocks instead of pre-faulting on a thread

wan9chi
and
claude
committed
528d1d1
Revert "perf(fspy): preallocate first-touch blocks instead of pre-faulting on a thread"
wan9chi
committed
3e5bea8
perf(fspy): warm the first payload page alongside the header

wan9chi
and
claude
committed
c4ba8dd
Revert "perf(fspy): warm the first payload page alongside the header"
wan9chi
committed
916e292

Commits on Aug 15, 2026

refactor(fspy): borrow committed frames from the mapping instead of copying

wan9chi
and
claude
committed
a5c8ec3
refactor(fspy): rename CollectedAccesses and drop its async wrapper

wan9chi
and
claude
committed
d91b2fb
docs(fspy-shm): add a protocol README to shm_io

wan9chi
and
claude
committed
0a80d2b
docs(fspy-shm): keep shm_io usage-agnostic

wan9chi
and
claude
committed
3336edf
docs(fspy-shm): say u64 and AtomicU64 instead of word

wan9chi
and
claude
committed
2d6aafa
refactor(fspy-shm): fix the channel layout at compile time

wan9chi
and
claude
committed
f2ac098
refactor(fspy-shm): dynamic sizing with typed region views

wan9chi
and
claude
committed
7a4c950
docs(fspy-shm): update the README for dynamic typed-view sizing

wan9chi
and
claude
committed
907a55d
docs(fspy-shm): plainer wording in the README

wan9chi
and
claude
committed
c07dea9
refactor(fspy-shm): derive completeness from counter overshoot

wan9chi
and
claude
committed
1497e51
refactor(fspy): one skip-on-failure send where the usage lives

wan9chi
and
claude
committed
47ce474
refactor(fspy-shm): consolidate to three files

wan9chi
and
claude
committed
46871b9
refactor(fspy-shm): report lost records with a header flag

wan9chi
and
claude
committed
fad9c0b
refactor(fspy-shm): derive the header size from the header struct

wan9chi
and
claude
committed
f063237
refactor(fspy-shm): drop code the simplifications left behind

wan9chi
and
claude
committed
db554cd
refactor(fspy-shm): decode descriptors straight to validated spans

wan9chi
and
claude
committed
df8b8a7
refactor(fspy-shm): wrap the receiver end in a type like the writer's

wan9chi
and
claude
committed
9d5e745
refactor(fspy-shm): fold shared.rs into mod.rs

wan9chi
and
claude
committed
8090249
refactor(fspy-shm): move each side's operations into that side

wan9chi
and
claude
committed
b17bad9
refactor(fspy-shm): merge the receiver and Frames into ShmReader

wan9chi
and
claude
committed
a6f4ddd
refactor(fspy-shm): make the CLOSED gate the loss report

wan9chi
and
claude
committed
fa17277
refactor(fspy-shm): iterate the frozen table instead of snapshotting spans

wan9chi
and
claude
committed
268ffe9
refactor(fspy-shm): build the region views once, at attach

wan9chi
and
claude
committed
080f40f
refactor(fspy-shm): split the sides apart over a shared layout

wan9chi
and
claude
committed
effa74e
refactor(fspy-shm): drop the stored mapping length

wan9chi
and
claude
committed
8e18c62
refactor(fspy-shm): support only regular region lengths

wan9chi
and
claude
committed
d449bc5
refactor(fspy-shm): payload-relative descriptors; unshare the codec halves

wan9chi
and
claude
committed
1702a53
refactor(fspy-shm): rename the reader's constructor to seal

wan9chi
and
claude
committed
f1127ed
refactor(fspy-shm): fix the table length at compile time

wan9chi
and
claude
committed
cd41498
refactor(fspy-shm): claim exact lengths; drop the alignment fossil

wan9chi
and
claude
committed
91e4d7b
refactor(fspy-shm): capacity is the region length again

wan9chi
and
claude
committed
c0a6ab9
refactor(fspy-shm): flatten the counters into Meta; drop the reserve

wan9chi
and
claude
committed
612e93e
refactor(fspy-shm): parse descriptor fields, don't validate them

wan9chi
and
claude
committed
2ce915c
refactor(fspy-shm): give the length field its full 32 bits

wan9chi
and
claude
committed
21ac689
refactor(fspy-shm): declare the views before the region that owns them

wan9chi
and
claude
committed
d5aaec3
refactor(fspy-shm): validate inside the constructors

wan9chi
and
claude
committed
4cdb7e6
refactor(fspy-shm): underscore the owner fields; drop into_memory

wan9chi
and
claude
committed
99f5093
refactor(fspy-shm): parse slots into SlotState

wan9chi
and
claude
committed
27a1cfe

Commits on Aug 16, 2026

refactor(fspy-shm): net-zero refusals make the gate bit unreachable

wan9chi
and
claude
committed
20522b9
docs(fspy-shm): tighten the comments

wan9chi
and
claude
committed
70eb9c4
refactor(fspy-shm): exact width conversions

wan9chi
and
claude
committed
eafdf80
refactor(fspy-shm): one bounds check, one cast

wan9chi
and
claude
committed
199dc44
refactor(fspy-shm): seal without walking the table

wan9chi
and
claude
committed
9578fad
fix(fspy): restore the SHM_CAPACITY import on Windows

wan9chi
and
claude
committed
f0a19e2
refactor(fspy-shm): name the payload pointer, drop the dead parameters

wan9chi
and
claude
committed
268c6e8
refactor(fspy-shm): the reader keeps no layout and no SLOTS

wan9chi
and
claude
committed
4480826
refactor(fspy-shm): mark the frame iterator fused

wan9chi
and
claude
committed
9911f84
fix(fspy): drop the unused wincode dependency

wan9chi
and
claude
committed
beb784b
refactor(fspy-shm): counters give up rather than wrap

wan9chi
and
claude
committed
ca73296
fix(fspy): update Cargo.lock for the dropped dependency

wan9chi
and
claude
committed
7968ab4

Commits on Aug 17, 2026

Revert "refactor(fspy-shm): counters give up rather than wrap"

wan9chi
and
claude
committed
b84ea5c
fix(fspy-shm): report the losses only the writer can see

wan9chi
and
claude
committed
43e894f
fix(fspy-shm): build the round-trip test's paths per platform

wan9chi
and
claude
committed
2d57f12
perf(fspy-shm): drop the pre-fault thread

wan9chi
and
claude
committed
954c991
refactor(fspy-shm): seal with one swap

wan9chi
and
claude
committed
1ffd6e2
docs(fspy-shm): cut the protocol docs down

wan9chi
and
claude
committed
3b7a543
docs(fspy-shm): stop hard-wrapping the README

wan9chi
and
claude
committed
6b61b84
docs(fspy-shm): say why the seal clamps its slot count

wan9chi
and
claude
committed
e0894be
docs(fspy-shm): note why an overshot count is not an error

wan9chi
and
claude
committed
f3db8e8
refactor(fspy-shm): split what the channel reports from what it panics on

wan9chi
and
claude
committed
96abd84
refactor(fspy-shm): state the failures as expects

wan9chi
and
claude
committed
30588aa
perf(fspy-shm): report a loss with a store

wan9chi
and
claude
committed
af3d07e
refactor(fspy-shm): let the table's own bounds decide

wan9chi
and
claude
committed
08150ee
feat(fspy): let the caller size the tracking channel

wan9chi
and
claude
committed
5ca10c9
refactor(fspy-shm): choose the slot count at run time

wan9chi
and
claude
committed
a5e27a9
Merge branch 'claude/fspy-shm-capacity-env' into shm publication design

wan9chi
and
claude
committed
25dd95a
Merge branch 'claude/fspy-shm-capacity-env' into shm publication design

wan9chi
and
claude
committed
a267ab1
Merge branch 'claude/fspy-shm-capacity-env' into shm publication design

wan9chi
and
claude
committed
b5eb0eb
Merge branch 'claude/fspy-shm-capacity-env' into shm publication design

wan9chi
and
claude
committed
836bdcb
Merge branch 'claude/fspy-shm-capacity-env', and make record loss an error

wan9chi
and
claude
committed
88216bc
docs: write the tracking changelog entries for users

wan9chi
and
claude
committed
fe70860
refactor(fspy): let the caller decide what an attach failure means

wan9chi
and
claude
committed
b17256b
refactor(fspy-shm): state the table's alignment instead of implying it

wan9chi
and
claude
committed
aa075b2
refactor(fspy): let sender say whether there is a sender

wan9chi
and
claude
committed
eb5e2ec
test(fspy): pin the check that lets the rest of the channel assume a region

wan9chi
and
claude
committed
97a6c40
refactor(vt): check the tracking error where the accesses are taken

wan9chi
and
claude
committed
a9a30a4