Skip to content

pier: do not leak all effects in urth#891

Merged
pkova merged 1 commit intodevelopfrom
pkova/free-act
Oct 9, 2025
Merged

pier: do not leak all effects in urth#891
pkova merged 1 commit intodevelopfrom
pkova/free-act

Conversation

@pkova
Copy link
Copy Markdown
Collaborator

@pkova pkova commented Oct 9, 2025

All ships on edge have been experiencing mysterious crashes in the urth process ever since we merged next/kelvin/409 to develop. It took us two weeks to run this down, but the issue seems to be twofold:

  1. We were leaking all effects in urth, causing a surprisingly slow leak on all but the most busy ships. This PR fixes the leak.

  2. Unifying equality on the home road was enabled in vere-v3.5. ~dozreg-toplud noticed that unifying equality is unsafe in the presence of uncounted references, and it seems likely that some change in vere-v4.0 caused this pattern to occur in urth. This problem was mostly showing up as palloc: page out of heap or other allocator errors caused by the use-after-free. We will most likely disable the unifying equality on the home road later (at least for urth).

All ships on `edge` have been experiencing mysterious crashes in the urth process ever since we merged `next/kelvin/409` to `develop`. It took us two weeks to run this down, but the issue seems to be twofold:

1. We were leaking all effects in urth, causing a surprisingly slow leak on all but the most busy ships. This PR fixes the leak,

2. Unifying equality on the home road was enabled in `vere-v3.5`. `~dozreg-toplud` noticed that unifying equality is unsafe in the presence of uncounted references, and it seems likely that some change in `vere-v4.0` caused this pattern to occur in urth. This problem was mostly showing up as `palloc: page out of heap` or other allocator errors caused by the use-after-free. We will most likely disable the unifying equality on the home road later (at least for urth).
@pkova pkova requested a review from a team as a code owner October 9, 2025 11:28
@pkova pkova merged commit 8ce6901 into develop Oct 9, 2025
2 checks passed
@pkova pkova deleted the pkova/free-act branch October 9, 2025 12:01
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.

1 participant