Vopr loom audit docs#26

Open

cuzzo wants to merge 33 commits intovopr-loom-auditfrom

vopr-loom-audit-docs

Commits on May 7, 2026

feat(loom): coverage-loom build step + atomic-coverage report tool

cuzzo
and
claude
committed
chore(loom): tag thread-only acquire paths with LOOM-EXCLUDE markers

cuzzo
and
claude
committed
test(loom): cover updateFlow + multi-cell MVCC + ParkingMutex.tryLock

cuzzo
and
claude
committed
test(loom): cover post-park lock_timed_out epilogue + FSM rwlock cycle pre-check

cuzzo
and
claude
committed
chore(runtime): remove dead AtomicInbox MPSC stack and broken race tests

cuzzo
and
claude
committed
test(loom): multi-fiber harness for versioned.updateMulti contention

cuzzo
and
claude
committed

Commits on May 8, 2026

test(loom): multi-fiber harness for Arc/Weak refcount races (Tier 4a)

cuzzo
and
claude
committed
refactor(streams): use comptime SimAtomic alias for atomic types

cuzzo
and
claude
committed
fix(streams): self-referencing Atomic alias regression from 6cc9a50a

cuzzo
and
claude
committed
docs: ParkingMutex perf-vs-pthread gap blocks lib streams migration

cuzzo
and
claude
committed
test(loom): cover scheduler.zig idleStealFrom active_tasks accounting (S6)

cuzzo
and
claude
committed
test(loom): cover scheduler.zig wake paths + in_inbox CAS + dirty_mask (S2+S5+S1 partial)

cuzzo
and
claude
committed
test(loom): cover scheduler.zig pickTwo + submitFsmResume cross-scheduler (S9 + S1)

cuzzo
and
claude
committed
test(loom): cover scheduler.zig pinTask/pinFsmTask + WaitGroup.done + RemoteCall (S10+S11+S3)

cuzzo
and
claude
committed
test(loom): cover scheduler.zig scanLockWaiters timeout-fire (S8 partial)

cuzzo
and
claude
committed
test(loom): link WaitGroup + Semaphore atomic sites (N1 batch 1)

cuzzo
and
claude
committed
test(loom): link io_uring submit fns + SchedulerRegistry (N1 batch 2)

cuzzo
and
claude
committed
test(loom): link sleepTask atomic site (N1 batch 3)

cuzzo
and
claude
committed
test(vopr): coverage scanner + build step + retry markers

cuzzo
and
claude
committed
test(vopr): add atomic-ptr-vopr-test, link lib/atomic_ptr.zig (V5)

cuzzo
and
claude
committed
test(vopr): SimClock + SimRandom comptime shims (V6+V7)

cuzzo
and
claude
committed
test(vopr): scheduler-timeout-vopr-test drives lock-wait + sleep timeout (V8)

cuzzo
and
claude
committed
test(vopr): scheduler-timeout-vopr is now an executable -- SimClock activates (V10)

cuzzo
and
claude
committed
docs: getting-started guide for Loom + VOPR test systems

cuzzo
and
claude
committed
docs(loom-vopr): five revisions per cross-doc review

cuzzo
and
claude
committed
Update loom-vopr-getting-started.md
cuzzo
authored
docs(loom-vopr): trim VOPR §1 to match Loom's brevity

cuzzo
and
claude
committed
docs: add concurrent-systems cheat sheet + link from loom-vopr guide

cuzzo
and
claude
committed
docs(cheat-sheet): TOC links + Valgrind sub-bullets + typo fix

cuzzo
and
claude
committed
Update correct-systems-programming-cheat-sheet.md
cuzzo
authored
Update correct-systems-programming-cheat-sheet.md
cuzzo
authored
docs(cheat-sheet): link to loom-vopr-getting-started from LOOM & VOPR note

cuzzo
and
claude
committed
Update correct-systems-programming-cheat-sheet.md
cuzzo
authored

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Vopr loom audit docs#26

Vopr loom audit docs#26
cuzzo wants to merge 33 commits intovopr-loom-auditfrom
vopr-loom-audit-docs

Commits on May 7, 2026

feat(loom): coverage-loom build step + atomic-coverage report tool

chore(loom): tag thread-only acquire paths with LOOM-EXCLUDE markers

test(loom): cover updateFlow + multi-cell MVCC + ParkingMutex.tryLock

test(loom): cover post-park lock_timed_out epilogue + FSM rwlock cycle pre-check

chore(runtime): remove dead AtomicInbox MPSC stack and broken race tests

test(loom): multi-fiber harness for versioned.updateMulti contention

Commits on May 8, 2026

test(loom): multi-fiber harness for Arc/Weak refcount races (Tier 4a)

refactor(streams): use comptime SimAtomic alias for atomic types

fix(streams): self-referencing Atomic alias regression from 6cc9a50a

docs: ParkingMutex perf-vs-pthread gap blocks lib streams migration

test(loom): cover scheduler.zig idleStealFrom active_tasks accounting (S6)

test(loom): cover scheduler.zig wake paths + in_inbox CAS + dirty_mask (S2+S5+S1 partial)

test(loom): cover scheduler.zig pickTwo + submitFsmResume cross-scheduler (S9 + S1)

test(loom): cover scheduler.zig pinTask/pinFsmTask + WaitGroup.done + RemoteCall (S10+S11+S3)

test(loom): cover scheduler.zig scanLockWaiters timeout-fire (S8 partial)

test(loom): link WaitGroup + Semaphore atomic sites (N1 batch 1)

test(loom): link io_uring submit fns + SchedulerRegistry (N1 batch 2)

test(loom): link sleepTask atomic site (N1 batch 3)

test(vopr): coverage scanner + build step + retry markers

test(vopr): add atomic-ptr-vopr-test, link lib/atomic_ptr.zig (V5)

test(vopr): SimClock + SimRandom comptime shims (V6+V7)

test(vopr): scheduler-timeout-vopr-test drives lock-wait + sleep timeout (V8)

test(vopr): scheduler-timeout-vopr is now an executable -- SimClock activates (V10)

docs: getting-started guide for Loom + VOPR test systems

docs(loom-vopr): five revisions per cross-doc review

Update loom-vopr-getting-started.md

docs(loom-vopr): trim VOPR §1 to match Loom's brevity

docs: add concurrent-systems cheat sheet + link from loom-vopr guide

docs(cheat-sheet): TOC links + Valgrind sub-bullets + typo fix

Update correct-systems-programming-cheat-sheet.md

Update correct-systems-programming-cheat-sheet.md

docs(cheat-sheet): link to loom-vopr-getting-started from LOOM & VOPR note

Update correct-systems-programming-cheat-sheet.md