Skip to content

Avoid repeated opcode allocation in coherent WASM 0.6 source - #722

Merged
EHotwagner merged 4 commits into
mainfrom
routine/wasm-admission-dispatch-20261018
Oct 17, 2026
Merged

EHotwagner merged 4 commits into
mainfrom
routine/wasm-admission-dispatch-20261018

Conversation

@EHotwagner

Copy link
Copy Markdown
Contributor

The admission instruction loop constructs an eight-element list and equality comparer for every opcode in the generated Worker. Replace that lookup with exact pattern matching for the same eight one-u32 instructions in a coherent unpublished 0.6.0 pair and SDK. The byte/u32 parser, first-error offsets, refusal set, ABI, capacities and original pre-create deadlines remain unchanged. This removes concrete repeated allocation; it does not establish a prior timeout's CPU cause or guarantee future scheduling.

Add public regression coverage for all eight opcodes, one/two/five-byte operands and exact truncated/overflow/unterminated offsets. A separate owned module receives65,536 genuine nop instructions, then uses three actual fresh installed Workers through initial load, candidate abort and new candidate preparation. The existing 250ms limited requests, stage observations and cleanup assertions remain. No private module, warmup, phase reset or clock widening is introduced.

Current mandatory ApiCompat compares against authentic published0.5 P805400/treefa2, manifest4874 and signed served archive hashes. Its original policy remains byte-identical historical evidence data. The finite0.5 installed binder explicitly refuses unpublished0.6; future publication and qualifier inputs require genuine receipts.

Validation:

  • Independent exact-source and Atlas review PASS at 5d39d89dc2bc2ebe36f9423a26baf12f52d6578e; the review caught and resolved the stale0.4 baseline/missing0.5 historical policy reader before execution.
  • Existing complete inert workflow preflight PASS on the clean committed candidate, including actual version/lock/receipt/transport/install controls. An earlier invocation correctly refused dirty executor source; that original refusal is retained.
  • F#/Fable, actual generated Worker, compiler/native syntax/browser cleanup and full job fit remain UNRUN. Existing one-job35-minute hosted profile and15-second per-browser-case cap are unchanged. Required native qualification remains mandatory.

Owning outcome: Game718; WASM-SHARED-01. Atlas game/closed-worker-build-boundary captures source and remaining gates. Published0.5 and all prior accepted P/Q evidence stay immutable. This source PR selects no publication, installed operation, consumer/image/native activation or whole product acceptance.

@EHotwagner
EHotwagner merged commit bc78722 into main Oct 17, 2026
35 checks passed
@EHotwagner
EHotwagner deleted the routine/wasm-admission-dispatch-20261018 branch October 17, 2026 23:53
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