Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

More fixes to support Wasmer JS #4192

Merged
merged 26 commits into from
Oct 30, 2023
Merged

More fixes to support Wasmer JS #4192

merged 26 commits into from
Oct 30, 2023

Conversation

Michael-F-Bryan
Copy link
Contributor

@Michael-F-Bryan Michael-F-Bryan commented Aug 31, 2023

This PR adds a couple extra fixes that are needed to make wasmer-js work.

  • Replace the wasm_bindgen_downcast crate with our own implementation because Symbol-based type checking isn't thread safe - this meant we corrupt the heap if a trap is raised on one thread and consumed from another (e.g. via WasiRuntimeError::as_exit_code())
  • Fixes some broken links which get rejected by clippy when compiling to wasm32-unknown-unknown

@Michael-F-Bryan Michael-F-Bryan force-pushed the wasmer-js-fixes branch 2 times, most recently from 203e72e to ab71f9e Compare September 11, 2023 08:05
@Michael-F-Bryan Michael-F-Bryan force-pushed the wasmer-js-fixes branch 3 times, most recently from f2135f4 to 24d971d Compare October 2, 2023 08:39
@Michael-F-Bryan Michael-F-Bryan force-pushed the wasmer-js-fixes branch 2 times, most recently from 3b2ddcb to 8ec4f1d Compare October 5, 2023 05:29
Copy link
Member

@syrusakbary syrusakbary left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@Michael-F-Bryan Michael-F-Bryan marked this pull request as ready for review October 25, 2023 15:07
@syrusakbary
Copy link
Member

Tests are failing. We can fix and merge @Michael-F-Bryan

@syrusakbary syrusakbary disabled auto-merge October 30, 2023 09:38
@syrusakbary syrusakbary merged commit 448a557 into master Oct 30, 2023
52 of 53 checks passed
@syrusakbary syrusakbary deleted the wasmer-js-fixes branch October 30, 2023 09:38
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.

2 participants