Skip to content
This repository was archived by the owner on Sep 8, 2025. It is now read-only.

address CM async miri violations#213

Merged
dicej merged 3 commits intomainfrom
miri-fiber
Jun 12, 2025
Merged

address CM async miri violations#213
dicej merged 3 commits intomainfrom
miri-fiber

Conversation

@dicej
Copy link
Collaborator

@dicej dicej commented Jun 12, 2025

add pulley_provenance_test_async_components test

set/restore executor before/after resuming fibers

fix provenance violations related to component async state pointer

Fixes #45

add `pulley_provenance_test_async_components` test

set/restore executor before/after resuming fibers

fix provenance violations related to component async state pointer

Fixes #45

Signed-off-by: Joel Dice <joel.dice@fermyon.com>
/// call.
pub(crate) fn try_new(store: &mut StoreOpaque) -> Option<Self> {
let current_poll_cx = store.concurrent_async_state().current_poll_cx.get();
let current_poll_cx = unsafe { &raw mut (*store.concurrent_async_state()).current_poll_cx };
Copy link
Member

Choose a reason for hiding this comment

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

I do still want to eventually come back and clean all this up, but we can leave that for a future "unsafe review"

Signed-off-by: Joel Dice <joel.dice@fermyon.com>
@dicej
Copy link
Collaborator Author

dicej commented Jun 12, 2025

Ok, I broke other stuff, too. Serves me right for not running more tests locally first. Will debug.

Signed-off-by: Joel Dice <joel.dice@fermyon.com>
@dicej dicej enabled auto-merge June 12, 2025 22:57
@dicej dicej added this pull request to the merge queue Jun 12, 2025
Merged via the queue into main with commit 41765de Jun 12, 2025
44 checks passed
@dicej dicej deleted the miri-fiber branch June 12, 2025 23:23
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Tests are segfaulting on 32-bit platforms

2 participants