signal: filter ignored dispositions and synchronize child oracle (493, 598) - #970
Open
ryanbreen wants to merge 7 commits into
Open
signal: filter ignored dispositions and synchronize child oracle (493, 598)#970ryanbreen wants to merge 7 commits into
ryanbreen wants to merge 7 commits into
Conversation
…, 598) Cache ignored dispositions for constant-time wait and delivery predicates. Discard ignored signals at generation and disposition installation. Drive blocked futex waits with default and handled SIGCHLD, pin their results in the strict scorer, and reap each block-I/O oracle child before advancing. Co-authored-by: Ryan Breen <ryan@breen.io> Co-authored-by: Claude Code <noreply@anthropic.com>
Record the caller census, POSIX mechanism, child barrier, and mutation. Preserve the original strict failure and the separate gate samples with their source revision, plus the limits of the observations. Co-authored-by: Ryan Breen <ryan@breen.io> Co-authored-by: Claude Code <noreply@anthropic.com>
Address V-2, V-3 and V-4: publish futex measurements for sampling-thread reporting, remove signal-delivery output, and validate executable reap control flow and handler assertion ordering with negative mutations. Co-authored-by: Ryan Breen <ryan@breen.io> Co-authored-by: Claude Code <noreply@anthropic.com>
Append V-2, V-3 and V-4 closure evidence, exact predicate mutation, committed source anchors, and architecture gate results with revisions. Co-authored-by: Ryan Breen <ryan@breen.io> Co-authored-by: Claude Code <noreply@anthropic.com>
Co-authored-by: Ryan Breen <ryan@breen.io> Co-authored-by: Claude Code <noreply@anthropic.com>
Co-authored-by: Ryan Breen <ryan@breen.io> Co-authored-by: Claude Code <noreply@anthropic.com>
Record strict 2/3 and stop before service, x86, or PR landing. Co-authored-by: Ryan Breen <ryan@breen.io> Co-authored-by: Claude Code <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Addresses issues 493 and 598.
Cache installed ignored dispositions so delivery and interruptible waits share an O(1) predicate. Discard ignored signals at generation and disposition installation, preserve handled/fatal/stop delivery, and retain SIGCONT's generation-time resume action. Reap each block-I/O oracle child before advancing stages or asserting handler delivery.
The boot-only futex oracle injects pending SIGCHLD after the waiter is published as blocked. Strict scoring requires default SIGCHLD to time out and handled SIGCHLD to return EINTR. Removing the disposition filter makes the default arm fail in a guest run.
Validation at code commit
5e1a3923:The round document contains POSIX references, the HEAD-derived caller census, mutation, claim-lint records, and limitations. Gate transcripts and serials are alongside it. No Tier-1/Tier-2 edits, GPU DMA lifetime repair, or full POSIX compliance claim.