Skip to content

Conversation

@csegarragonz
Copy link
Collaborator

@csegarragonz csegarragonz commented Feb 2, 2024

This PR sets the right thread environment for threads executing WAMR modules. It fixes a long-standing segmentation fault with wasi_proc_exit and also allows to remove an ifdef in our WAMR fork about OS threads being initialised.

Follow-up:

  • Maybe this unlocks the segue PR?
  • Resurrect MPI kernels in faasm/examples

@codecov
Copy link

codecov bot commented Feb 2, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (df5d3d4) 68.40% compared to head (4e43053) 68.51%.
Report is 2 commits behind head on main.

❗ Current head 4e43053 differs from pull request most recent head d61d0ef. Consider uploading reports for the commit d61d0ef to get more accurate results

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #829      +/-   ##
==========================================
+ Coverage   68.40%   68.51%   +0.10%     
==========================================
  Files          71       71              
  Lines        6935     6943       +8     
==========================================
+ Hits         4744     4757      +13     
+ Misses       2191     2186       -5     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@csegarragonz csegarragonz force-pushed the fix-proc-exit branch 8 times, most recently from 4e43053 to d288b72 Compare February 6, 2024 18:05
@csegarragonz csegarragonz merged commit 968bb3f into main Feb 7, 2024
@csegarragonz csegarragonz deleted the fix-proc-exit branch February 7, 2024 08:55
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