[Webkit-unassigned] [Bug 283476] Inconsistent CompileError in WebAssembly Module Compilation

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=283476

David Degazio <d_degazio at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WONTFIX

--- Comment #4 from David Degazio <d_degazio at apple.com> ---
As far as I can tell this is behaving correctly. We validate functions within a module in parallel, so the order in which they are validated is nondeterministic - this is permitted by the spec, which imposes no particular validation order, so long as a CompileError is raised on an invalid module at some point during validation (https://webassembly.github.io/spec/js-api/index.html#compile-a-webassembly-module). In the first PoC, while sequential validation would encounter the error in function index 1 first, it looks like another compiler thread starts validating function index 2 and encounters the validation error there first. You can observe that disabling parallel compilation (by passing --useConcurrentJIT=0 to the jsc shell) makes us report the error message from function index 1 consistently.

Closing with WONTFIX as this is expected behavior and correct according to the spec.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20241203/fb64542a/attachment.htm>