Skip to content

Fix endurance script does not handle tsan errors#18

Open
leducp wants to merge 1 commit into
mainfrom
hardening_must_should
Open

Fix endurance script does not handle tsan errors#18
leducp wants to merge 1 commit into
mainfrom
hardening_must_should

Conversation

@leducp

@leducp leducp commented Jun 10, 2026

Copy link
Copy Markdown
Owner

No description provided.

Theft-safe entry repair: position-tagged locks + CAS commit (VERSION 7)
Harness: never report a swallowed failure as clean
Stress oracles: GC results become assertions, exact conservation, big payloads
Core: registry seqlock fence, wake-on-drop, receive backoff, membership GC, steal counter
shm+API: non-destructive create(), 0600 mode, identity stamp, publish bounds
Skip-marker commit for stolen entries; stall-repair fuzz test
Tests: multi-process MPMC, live_repair effectiveness asserts, ASAN/UBSAN builds
live_repair: timing-independent effectiveness oracle
live_repair: injector poisons via CAS, never a blind store
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