Skip to content

Fix mine-W-noinit not resetting W in threadenter#1640

Merged
sim642 merged 2 commits into
masterfrom
mine-W-noinit-threadenter
Dec 19, 2024
Merged

Fix mine-W-noinit not resetting W in threadenter#1640
sim642 merged 2 commits into
masterfrom
mine-W-noinit-threadenter

Conversation

@sim642
Copy link
Copy Markdown
Member

@sim642 sim642 commented Dec 16, 2024

This privatization is supposed to keep in the set $$W$$ globals may-written by the current thread. Currently threadenter propagates this set to the created thread which may thus create spurious side effects on behalf of the created thread who doesn't ever write the global.

This PR fixes that by resetting $$W$$ in threadenter.

(This is orthogonal to #1613 which also suffers from the same issue on the same test.)

@sim642 sim642 changed the title Fix mine-W-noinit not resetting W in threadenter Fix mine-W-noinit not resetting W in threadenter Dec 16, 2024
@sim642 sim642 added this to the v2.6.0 milestone Dec 19, 2024
@sim642 sim642 merged commit e36e738 into master Dec 19, 2024
@sim642 sim642 deleted the mine-W-noinit-threadenter branch December 19, 2024 10:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants